arxiv: v2 [math.kt] 3 Apr 2018

Transcription

1 EQUIVARIANT K-HOMOLOGY FOR HYPERBOLIC REFLECTION GROUPS arxiv: v [athkt] 3 Apr 018 JEAN-FRANÇOIS LAFONT, IVONNE J ORTIZ, ALEXANDER D RAHM, AND RUBÉN J SÁNCHEZ-GARCÍA Abstract We copute the equivariant K-hoology of the classifying space for proper actions, for cocopact 3-diensional hyperbolic reflection groups This coincides with the topological K-theory of the reduced C -algebra associated to the group, via the Bau-Connes conjecture We show that, for any such reflection group, the associated K-theory groups are torsion-free As a result we can proote previous rational coputations to integral coputations Our proof relies on a new efficient algebraic criterion for checking torsion-freeness of K-theory groups, which could be applied to any other classes of groups 1 Introduction For a discrete group Γ, a general proble is to copute K (Cr Γ), the topological K-theory of the reduced C -algebra of Γ The Bau-Connes Conjecture predicts that this functor can be deterined, in a hoological anner, fro the coplex representation rings of the finite subgroups of Γ This viewpoint led to general recipes for coputing the rational topological K-theory K (Cr Γ) Q of groups, through the use of Chern characters (see for instance Lück and Oliver [17] and Lück [14], [16], as well as related earlier work of Ade [1]) When Γ has sall hoological diension, one can soeties even give copletely explicit forulas for the rational topological K-theory, see for instance Lafont, Ortiz, and Sánchez- García [1] for the case where Γ is a 3-orbifold group On the other hand, perforing integral calculations for these K-theory groups is uch harder For -diensional crystallographic groups, such calculations have been done in M Yang s thesis [6] This was subsequently extended to the class of cocopact planar groups by Lück and Sta [19], and to certain higher diensional diensional crystallographic groups by Davis and Lück [5] (see also Langer and Lück [13]) For 3-diensional groups, Lück [15] copleted this calculation for the sei-direct product Hei 3 (Z) Z 4 of the 3-diensional integral Heisenberg group with a specific action of the cyclic group Z 4 Soe further coputations were copleted by Isely [8] for groups of the for Z Z; by Rah [3] for the class of Bianchi groups; by Pooya and Valette [] for solvable Bauslag-Solitar groups; and by Flores, Pooya and Valette [6] for laplighter groups of finite groups Our present paper has two ain goals Our first goal is to add to the list of exaples, by providing a forula for the integral K-theory groups of cocopact 3-diensional hyperbolic reflection groups Date: April 4, 018 1

2 LAFONT, ORTIZ, RAHM, AND SÁNCHEZ-GARCÍA Main Theore Let Γ be a cocopact 3-diensional hyperbolic reflection group, generated by reflections in the side of a hyperbolic polyhedron P H 3 Then K 0 (C r (Γ)) = Z cf(γ) and K 1 (C r (Γ)) = Z cf(γ) χ(c), where the integers cf(γ), χ(c) can be explicitly coputed fro the cobinatorics of the polyhedron P Here, cf(γ) denotes the nuber of conjugacy classes of eleents of finite order in Γ, and χ(c) denotes the Euler characteristic of the Bredon chain coplex By a celebrated result of Andre ev [], there is a siple algorith that inputs a Coxeter group Γ, and decides whether or not there exists a hyperbolic polyhedron P Γ H 3 which generates Γ In particular, given an arbitrary Coxeter group, one can easily verify if it satisfies the hypotheses of our Main Theore Note that the lack of torsion in the K-theory is not a property shared by all discrete groups acting on hyperbolic 3-space For exaple, -torsion occurs in K 0 (Cr (Γ)) whenever Γ is a Bianchi group containing a -dihedral subgroup C C (see [3]) In fact, the key difficulty in the proof of our Main Theore lies in showing that these K-theory groups are torsion-free Soe previous integral coputations yielded K-theory groups that are torsion-free, though in those papers the torsionfreeness was a consequence of ad-hoc coputations Our second goal is to give a general criterion which explains the lack of torsion, and can be efficiently checked This allows a systeatic, algorithic approach to the question of whether a K- theory group is torsion-free Let us briefly describe the contents of the paper In Section, we provide background aterial on hyperbolic reflection groups, topological K-theory, and the Bau-Connes Conjecture We also introduce our ain tool, the Atiyah-Hirzebruch type spectral sequence In Section 3, we use the spectral sequence to show that the K-theory groups we are interested in coincide with the Bredon hoology groups H Fin 0 (Γ; R C ) and H Fin 1 (Γ; R C ) respectively We also explain, using the Γ-action on H 3, why the hoology group H Fin 1 (Γ; R C ) is torsion-free In contrast, showing that H Fin 0 (Γ; R C ) is torsion-free is uch ore difficult In Section 4, we give a geoetric proof for this fact in a restricted setting In Section 5, we give a linear algebraic proof in the general case, inspired by the representation ring splitting technique of [3] In particular, we establish a novel criterion (Theore 5) for verifying that H Fin 0 (Γ; R C ) is torsion-free, for any collection of groups Γ with prescribed types of finite subgroups In Sections 61 and 6, we further illustrate this criterion by applying it to the Heisenberg seidirect product group of [15] and to the crystallographic groups of [5] respectively As the rank of the K-theory groups can be easily coputed, this gives an alternate proof of the integral K-theoretic coputations in [15] and [5] Finally, in Section 7, we return to our Coxeter groups, and provide an explicit forula for the rank of the Bredon hoology groups (and hence for the K-groups we are interested in), in ters of the cobinatorics of the polyhedron P Our paper concludes with two fairly long appendices, which contain all the character tables and induction hooorphiss used in our proofs, aking our results explicit and self-contained

3 EQUIVARIANT K-HOMOLOGY FOR HYPERBOLIC REFLECTION GROUPS 3 Acknowledgents Portions of this work were carried out during ultiple collaborative visits at Ohio State University, Miai University, and the University of Southapton The authors would like to thank these institutions for their hospitality The authors would also like to thank the anonyous referee for several helpful suggestions Lafont was partly supported by the NSF, under grant DMS Ortiz was partly supported by the NSF, under grant DMS Rah was supported by Gabor Wiese s University of Luxebourg grant AMFOR Background Material 1 K-theory and the Bau-Connes Conjecture Associated to a discrete group Γ, one has C r Γ, the reduced C -algebra of Γ This algebra is defined to be the closure, with respect to the operator nor, of the linear span of the iage of the regular representation λ : Γ B(l (Γ)) of Γ on the Hilbert space l (Γ) of square-suable coplex valued functions on Γ This algebra encodes various analytic properties of the group Γ [1] For a C -algebra A, one can define the topological K-theory groups K (A) := π 1 (GL(A)), which are the hootopy groups of the space GL(A) of invertible atrices with entries in A Due to Bott periodicity, there are canonical isoorphiss K (A) = K + (A), and thus it is sufficient to consider K 0 (A) and K 1 (A) In the special case where A = C r Γ, the Bau-Connes Conjecture predicts that there is a canonical isoorphis K Γ n(x) K n (C r (Γ)), where X is a odel for EΓ (the classifying space for Γ-actions with isotropy in the faily of finite subgroups), and K Γ ( ) is the equivariant K-hoology functor The Bau-Connes conjecture has been verified for any classes of groups We refer the interested reader to the onograph by Mislin and Valette [1], or the survey article by Lück and Reich [18] for ore inforation on these topics Hyperbolic reflection groups We will assue soe failiarity with the geoetry and topology of Coxeter groups, which the reader can obtain fro Davis book [4] By a d-diensional hyperbolic polyhedron, we ean a bounded region of hyperbolic d-space H d deliited by a given finite nuber of (geodesic) hyperplanes, that is, the intersection of a collection of half-spaces associated to the hyperplanes Let P H d be a polyhedron such that all the interior angles between intersecting faces are of the for π/ ij, where the ij are integer (although soe pairs of faces ay be disjoint) Let Γ = Γ P be the associated Coxeter group, generated by reflections in the hyperplanes containing the faces of P The Γ-space H d is then a odel for EΓ, with fundaental doain P This is a strict fundaental doain no further points of P are identified under the group action and hence P = Γ\H d Recall that Γ adits the following Coxeter presentation: (1) Γ = s 1,, s n (s i s j ) ij, where n is the nuber of distinct hyperplanes enclosing P, s i denotes the reflection on the i th face, and ij are integers such that: ii = 1 for all i, and, if i j, the corresponding faces eet with interior angle π/ ij We will write ij = if the corresponding faces do not intersect For the rest of this article, d = 3, and X is H 3 with the Γ-action described above, with fundaental doain P

4 4 LAFONT, ORTIZ, RAHM, AND SÁNCHEZ-GARCÍA 3 Cell structure of the orbit space Fix an ordering of the faces of P with indexing set J = {1,, n} We will write S for the subgroup generated by a subset S Γ At a vertex of P, the concurrent faces (a iniu of three) ust generate a reflection group acting on the -sphere, hence it ust be a spherical triangle group This forces the nuber of incident faces to be exactly three The only finite Coxeter groups acting by reflections on S are the triangle groups (,, ) for soe, (, 3, 3), (, 3, 4) and (, 3, 5), where we use the notation () (p, q, r) = s 1, s, s 3 s 1, s, s 3, (s 1 s ) p, (s 1 s 3 ) q, (s s 3 ) r Fro our copact polyhedron P, we obtain an induced Γ-CW-structure on X = H 3 with: one orbit of 3-cells, with trivial stabilizer; n orbits of -cells (faces) with stabilizers s i s i = Z/ (i = 1,, n); one orbit of 1-cells (edges) for each unordered pair i, j J with ij, with stabilizer a dihedral group D ij this group structure can be read off straight fro the Coxeter presentation s i, s j s i, s j, (s is j ) ij ; one orbit of 0-cells (vertices) per unordered triple i, j, k J with s i, s j, s k finite, with stabilizer the triangle group s i, s j, s k = ( ij, ik, jk ) We introduce the following notation for the siplices of P: (3) f i (faces), e ij = f i f j (edges), v ijk = f i f j f k = e ij e ik e jk (vertices), whenever the intersections are non-epty 4 A spectral sequence We ultiately want to copute the K-theory groups of the reduced C -algebra of Γ via the Bau-Connes conjecture Note that the conjecture holds for these groups: Coxeter groups have the Haagerup property [3] and hence satisfy Bau-Connes [7] Therefore, it suffices to copute the equivariant K-hoology groups K Γ (X), since X is a odel of EΓ In turn, these groups can be obtained fro the Bredon hoology of X, calculated via an equivariant Atiyah-Hirzebruch spectral sequence coing fro the skeletal filtration of the Γ- CW-coplex X (cf [0]) The second page of this spectral sequence is given by the Bredon hoology groups { (4) Ep,q H Fin p (Γ; R C ) q even, = 0 q odd The coefficients R C of the Bredon hoology groups are given by the coplex representation ring of the cell stabilizers, which are finite subgroups In order to siplify notation, we will often write H p to denote H Fin p (Γ; R C ) In our case di(x) = 3, so the Atiyah-Hirzebruch spectral sequence is particularly easy to analyze, and gives the following: Proposition 1 There are short exact sequences 0 coker(d 3 3,0) K Γ 0 (X) H 0 and 0 H 1 K Γ 1 (X) ker(d 3 3,0) 0,

5 EQUIVARIANT K-HOMOLOGY FOR HYPERBOLIC REFLECTION GROUPS 5 where d 3 3,0 : E 3 3,0 = H 3 E 3 0, = H is the differential on the E 3 -page of the Atiyah-Hirzebruch spectral sequence Proof This follows at once fro a result of Mislin [0, Theore 59] 5 Bredon Hoology To lighten the notation, we write Γ e for the stabilizer in Γ of the cell e The Bredon hoology groups in Equation (4) are defined to be the hoology groups of the following chain coplex: (5) e I d R C (Γ e ) d e I d 1 R C (Γ e ), where I d is a set of orbit representatives of d-cells (d 0) in X The differentials d are defined via the geoetric boundary ap and induction between representation rings More precisely, if ge is in the boundary of e (e I d, e I d 1, g Γ), then restricted to R C (Γ e ) R C (Γ e ) is given by the coposition R C (Γ e ) ind R C (Γ ge ) = R C (Γ e ), where the first ap is the induction hooorphis of representation rings associated to the subgroup inclusion Γ e Γ ge, and the second is the isoorphis induced by conjugation Γ ge = gγ e g 1 Finally, we add a sign depending on a chosen (and thereafter fixed) orientation on the faces of P The value d (e) equals the su of these aps over all boundary cells of e Since P is a strict fundaental doain, we can choose the faces of P as orbit representatives With this choice of orbit representatives, the g in the previous paragraph is always the identity We will iplicitly ake this assuption fro now on 3 Analyzing the Bredon chain coplex for Γ Let S = {s i : 1 i n} be the set of Coxeter generators and J = {1,, n} Since X is 3-diensional, the Bredon chain coplex associated to X reduces to (6) 0 C 3 3 C C 1 1 C 0 0 We now have to analyze the differentials in the above chain coplex Recall that for a finite group G, the coplex representation ring R C (G) is defined as the free abelian group with basis the set of irreducible representations of G (the ring structure is not relevant in this setting) Hence R C (G) = Z c(g), where we write c(g) for the set of conjugacy classes in G 31 Analysis of 3 Let G be a finite group with irreducible representations ρ 1,, ρ of degree n 1,, n, and τ the only representation of the trivial subgroup {1 G } G Then τ induces the regular representation of G: (7) Ind G {1 G }(τ) = n 1 ρ n ρ Lea 1 Let X be a Γ-CW-coplex with finite stabilizers, and k N If there is a unique orbit of k-cells and this orbit has trivial stabilizer, then H k = 0, provided that k 0 Proof The Bredon odule C k equals R C ( 1 ) = Z with generator τ, the trivial representation Then k (τ) 0 iplies ker( k ) = 0; and therefore the corresponding hoology group vanishes

6 6 LAFONT, ORTIZ, RAHM, AND SÁNCHEZ-GARCÍA Fro the lea, we can easily see that H 3 = 0 if 3 0 Indeed, for 3 = 0 to occur, one would need all boundary faces of P to be pairwise identified This cannot happen since P is a strict fundaental doain the group acts by reflections on the faces The Lea then forces H 3 = 0, and Proposition 1 gives us: Corollary 1 We have K Γ 1 (X) = H 1, and there is a short exact sequence 0 H 0 K Γ 0 (X) H 0 3 Analysis of Let f be a face of P and e f an edge Suppose, using the notation of Equation (3), that f = f i and e = e ij Then we have a ap R C ( s i ) R C ( s i, s j ) induced by inclusion Recall that s i = C and s i, s j = D ij Denote the characters of these two finite groups as specified in Tables 1 and ; and denote by a character nae with the suffix the character induced in the abient larger group C e s i ρ ρ 1 1 Table 1 Character table of s i = C D (s i s j ) r s j (s i s j ) r χ χ 1 1 χ 3 ( 1) r ( 1) r χ 4 ( 1) r ( 1) r+1 φ p cos ( ) πpr 0 Table Character table of i, s j = D, where i < j and 0 r 1, while 1 p / 1 if is even, and 1 p ( 1)/ if is odd, and where the hat denotes a character which appears only when is even A straightforward analysis (provided in Section B of Appendix B) shows that ρ 1 = χ 1 + χ 4 + φ p, if i < j, or ρ = χ + χ 3 + φ p, ρ 1 = χ 1 + χ 3 + φ p, ρ = χ + χ 4 + φ p, if j < i Thus the induction ap on the representation rings is the orphis of free abelian groups Z Z c(d ij ) given by (a, b) ±(a, b, b, â, a + b,, a + b) or (a, b) ±(a, b, â, b, a + b,, a + b),

7 EQUIVARIANT K-HOMOLOGY FOR HYPERBOLIC REFLECTION GROUPS 7 where again the hat denotes an entry which appears only when ij is even Using the analysis above, we can now show the following Theore 1 If P is copact, then H = 0 Fro this theore and Corollary 1, we iediately obtain: Corollary K Γ 0 (X) = H 0 and K Γ 1 (X) = H 1 Proof of Theore 1 Fix an orientation on the polyhedron P, and consider the induced orientations on the faces At an edge we have two incident faces f i and f j with opposite orientations So without loss of generality we have, as a ap of free abelian groups, (8) R C ( s i ) R C ( s j ) R C ( s i, s j ), (a i, b i a j, b j ) (a i a j, b i b j, a i b j, b i a j, S,, S), where S = a i + b i a j b j, and the eleents with a hat appear only when ij is even Note that we use vertical bars for clarity, to separate eleents coing fro different representation rings By the preceding analysis, (x) = 0 iplies that, for each i, j J such that the corresponding faces f i and f j eet, we have (1) a i = a j and b i = b j, and () a i = a j = b i = b j, if ij is even Suppose that f 1,, f n are the faces of P Let x = (a 1, b 1 a n, b n ) C be an eleent in Ker( ) Note that P is connected (since P is hoeoorphic to D 3 ), so by (1) and () above, we have that a 1 = = a n and b 1 = = b n Since the stabilizer of a vertex is a spherical triangle group, there is an even ij, which also forces a = b Therefore, we have x = (a, a a, a), so x = 3 (a) (note that the choice of orientation above forces all signs to be positive) This yields ker( ) i( 3 ), which gives the vanishing of the second hoology group 33 Analysis of 1 Let e = e ij be an edge and v = v ijk e a vertex, using the notation of Equation (3) We study all possible induction hooorphiss R C ( s i, s j ) R C ( s i, s j, s k ) in Appendix B, and in this section use these coputations to verify that H 1 is torsion-free Theore There is no torsion in H 1 Proof Consider the Bredon chain coplex C C 1 1 C 0 To prove that H 1 = ker( 1 )/i( ) is torsion-free, it suffices to prove that C 1 /i( ) is torsion-free Let α C 1 and 0 k Z such that kα i( ) We shall prove that α i( ) Since kα i( ), we can find β C with (β) = kα Suppose that P has n faces, and write β = (a 1, b 1 a n, b n ) C, using vertical bars to separate eleents coing fro different representation rings We shall see that one can find a 1-chain β, hoologous to β, and with every entry of β a ultiple of k At an edge e ij, the differential is described in Equation (8) Since every entry of (β) is a ultiple of k, we conclude fro Equation (8) that for every pair of intersecting faces f i and f j, a i a j (od k) and b i b j (od k)

8 8 LAFONT, ORTIZ, RAHM, AND SÁNCHEZ-GARCÍA Equation (8) also shows that 1 P = (1, 1 1, 1), the foral su over all generators of representation rings of face stabilizers of P C, is in the kernel of In particular, setting β = β a 1 1 P, we see that (β ) = (β) = α and we can assue without loss of generality that β satisfies a 1 0 (od k) Let us consider the coefficients for the 1-chain β For every face f j intersecting f 1, we have a 1 a j 0 (od k), which iplies a j 0 (od k) Since P is connected, repeating this arguent we arrive at a i 0 (od k) for all i In addition, there are even ij (the stabilizer of a vertex is a spherical triangle group), and hence (8) also yields a i b j 0 (od k), which iplies b j 0 (od k) Exactly the sae arguent as above then ensures that b i 0 (od k) for all i Since all coefficients of β are divisible by k, we conclude that α = (β /k) i( ), as desired We note that a siilar ethod of proof can be used, in any cases, to show that H 0 is torsion-free though the arguent becoes uch ore coplicated This approach is carried out in Section 4 Corollary 3 Let cf(γ) be the nuber of conjugacy classes of eleents of finite order in Γ, and χ(c) the Euler characteristic of the Bredon chain coplex (6) Then we have H 1 = Z cf(γ) χ(c) Proof The Euler characteristic of a chain coplex coincides with the alternating su of the ranks of the hoology groups, giving us χ(c) = rank(h 0 ) rank(h 1 ) + rank(h ) rank(h 3 ) Since H 3 = H = 0, we have rank(h 1 ) = rank(h 0 ) χ(c), and rank(h 0 ) = cf(γ) [0] Since H 1 is torsion-free (Theore ), the result follows Note that both cf(γ) and χ(c) can be obtained directly fro the geoetry of the polyhedron P or, equivalently, fro the Coxeter integers ij We discuss this further, and give explicit forulas, in Section 7 Reark 1 A previous article by three of the authors [1] gave an algorith to copute the rank of the Bredon hoology for groups Γ with a cocopact, 3- anifold odel X for the classifying space EΓ The interested reader can easily check that the coputations in the present paper agree with the calculations in [1] To coplete the coputation of the Bredon hoology, and hence of the equivariant K-hoology, all that reains is to copute the torsion subgroup of H 0 We will show that in fact H 0 is also torsion-free Theore 3 There is no torsion in H 0 We postpone the proof to Section 5 below We note the following iediate consequence of Theore 3 Corollary 4 K Γ 0 (X) is torsion-free of rank cf(γ) Our Main Theore now follows iediately by cobining Corollaries, 3, and 4 Moreover, in Section 7, we will give a forula for cf(γ) and χ(c) fro the cobinatorics of the polyhedron

9 EQUIVARIANT K-HOMOLOGY FOR HYPERBOLIC REFLECTION GROUPS 9 4 No torsion in H 0 the geoetric approach We present a geoetric proof for a restricted version of Theore 3 The ethod of proof is siilar to the proof of Theore, but with further technical difficulties We will show: Theore 4 Assue the copact polyhedron P is such that all vertex stabilizers are of the for D Z, where 3 can vary fro vertex to vertex Then there is no torsion in the 0-diensional Bredon hoology group H Fin 0 (Γ; R C ) First, we discuss soe terinology and the overall strategy of the proof Fix k an integer Our overall objective is to rule out k-torsion in H 0 Let β C 1 (in the Bredon chain coplex of Γ) such that 1 (β) is the zero vector odulo k Note that an eleent α C 0 has order k in H 0 = C 0 /i( 1 ) if and only if kα = 1 (β) Recall that C 1 = R C ( s i, s j ), e ij edge is the direct su of the representation rings (as abelian groups) of the edge stabilizers The coefficients of x supported along a particular edge e ij is by definition the projection of x to Z nij = R C ( s i, s j ), where n ij is the diension of the representation ring of the edge stabilizer We say an eleent x is k-divisible along an edge e ij provided the coefficients of x supported along e ij are congruent to zero od k By establishing k-divisibility of β along an edge e ij, we ean: substituting β by a hoologous eleent β C 1 (hoologous eans that 1 (β) = 1 (β )), such that β is k-divisible along e ij When the 1-chain β is clear fro the context, we will abuse terinology and siply say that the edge e is k-divisible We soeties refer to an edge with stabilizer D n as an n-edge, or edge of type n Our goal is to replace β with a hoologous chain β for which all the edges are k-divisible, that is, (1) 1 (β ) = 1 (β), and () every coefficient in the 1-chain β is divisible by k If we can do this, it follows that α = 1 (β /k), and hence that α is zero in H 0 The construction of β is eleentary, but soewhat involved It proceeds via a series of steps, which will be described in the following subsections Sections 41 to 49 contain the conceptual, geoetric arguents needed for the proof At several steps in the proof, we require soe technical algebraic leas For the sake of exposition, we defer these leas and their proofs to the very last Section Coloring the 1-skeleton Recall that β C 1 = e P (1) R C(Γ e ), so we can view β as a foral su of coplex representations of the stabilizers of the various edges in the 1-skeleton of P The edge stabilizers are dihedral groups Let us -color the edges of the polyhedron, blue if the stabilizer is D, and red if the stabilizer is D, where 3 Fro our constraints on the vertex groups, we see that every vertex has exactly two incident blue edges Of course, any graph with all vertices of degree decoposes as a disjoint union of cycles The collection of blue edges thus fors a graph, consisting of pairwise disjoint loops, separating the boundary of the polyhedron P (topologically a -sphere) into a finite collection of regions, at least two of which ust be contractible The red edges appear in the interior of these individual regions, joining pairs of vertices on the boundary of the region Fixing one such contractible region R, the copleent

10 10 LAFONT, ORTIZ, RAHM, AND SÁNCHEZ-GARCÍA will be planar We will henceforth fix a planar ebedding of this copleent This allows us to view all the reaining regions as lying in the plane R R 1 R R4 R 3 R 5 Figure 1 Exaple of enueration of regions (see Section 4) 4 Enuerating the regions Our strategy for odifying β is as follows We will work region by region At each stage, we will odify β by only changing it on edges contained in the closure of a region In order to do this, we need to enuerate the regions We have already identified the (contractible) region R this will be the last region dealt with In order to decide the order in which we will deal with the reaining regions, we define a partial ordering on the set of regions For distinct regions R, R, we write R < R if and only if R is contained in a bounded coponent of R \ R This defines a partial ordering on the finite set of regions For exaple, any region which is inial with respect to this ordering ust be siply connected (hence contractible) We can thus enuerate the regions R 1, R, so that, for any i < j, we have R j R i (Figure 1) We will now deal with the regions in the order they are enuerated Concretely, the choice of enueration eans that by the tie we get to the i th region, we have already dealt with all the regions which are interior to R i (ie in the bounded coponents of R \ R i ) 43 Enuerating faces within a region We now want to establish k-divisibility of the red edges inside a fixed region R To do this, we first need to order the -faces inside R Consider the graph G dual to the decoposition of R into -faces This graph has one vertex for each -face in R, and an edge joining a pair of vertices if the corresponding -faces share a (necessarily red) edge Notice that every vertex of R lies on a pair of blue edges It follows that, if we reove the blue edges fro the region R, the result deforation retracts to G If s denotes the nuber of regions R i < R with R R i non-epty, then the first hoology H 1 (G) = H 1 (R) will be free abelian of rank s We now choose any spanning tree T for the graph G, and note that G \ T consists of precisely s edges, each of which is dual to a red edge inside the region R Since T is a tree, we can enuerate its vertices v 1, v,, v n so that (1) v 1 is a leaf of the tree (vertex of degree one), and () the subgraph induced by any {v 1,, v k }, 1 k n, is connected

11 EQUIVARIANT K-HOMOLOGY FOR HYPERBOLIC REFLECTION GROUPS 11 F 1 F 13 F 1 F 11 F 7 F 8 F 10 v 1 v 11 v 1 v 13 F F 4 F 9 v v 7 F 3 F 5 v 3 v 4 v 5 v 8 v 10 F 6 v 6 v 9 Figure Contractible region, its dual tree T with an enueration of its vertices, and the corresponding enueration of the faces in the region (see Section 43) Since vertices of the dual tree correspond to -faces in R, this gives us an enueration of the -faces F 1, F,, F n inside the region R Figure illustrates this process for a contractible region, while Figure 3 gives an illustration for a non-contractible region F 15 F 14 F 13 v 15 v 14 v 13 F 16 F 1 v 16 v 1 F 1 F 17 F 10 F 11 v 1 v 17 v 10 v 11 F F 9 v v 4 v 9 F 3 F 4 F 5 F 7 F 8 v 3 v 5 v7 v 8 F 6 v 6 Figure 3 Non-contractible region and its dual graph G A spanning tree T for G consisting of all edges except (v 4, v 17 ) and (v 17, v 10 ) The enueration of the vertices, and corresponding enueration of the faces is done according to Section Establishing k-divisibility of red edges dual to a spanning tree Continuing to work within a fixed region R, we now explain how to establish k- divisibility of all the red edges which are dual to the edges in the spanning tree T As explained in Section 43, we have an enueration F 1, F, of the -faces contained inside the region R With our choice of enueration, we have guaranteed that each F k+1 shares precisely one distinguished red edge with k i=1 F i,

12 1 LAFONT, ORTIZ, RAHM, AND SÁNCHEZ-GARCÍA distinguished in the sense that this red edge is dual to the unique edge in the tree T connecting the vertex v k+1 to the subtree spanned by v 1,, v k We orient the (blue) edges along the boundary loops of R clockwise, and the red edges cutting through R in an arbitrary anner For each -face F i, we want to choose corresponding eleents η i in the representation ring R C (Γ Fi ) = Z, where Γ Fi = C is the stabilizer of F i These η i shall ( be chosen such that all red edges dual to T are k-divisible for the 1-chain β + ηi ), which is clearly hoologous to β Pick an η 1 arbitrarily We now assue that η 1,, η k are given, and explain how to choose η k+1 By our choice of enueration of vertices, the vertex v k+1 is adjacent to soe v j where j k Dual to the two vertices v j, v k+1 we have a pair F j, F k+1 of -faces inside the region R Dual to the edge that joins v j to v k+1 is the (red) edge F j F k+1 We see that (η j + η k+1 ) is the only ter which can change the portion of β supported on the edge F j F k+1 Since η j is already given, we want to choose η k+1 in order to ensure that the resulting 1-chain is k-divisible on the edge F j F k+1 This will arrange key property () for the (red) edge F j F k+1 That such an η k+1 can be chosen is the content of( Lea 3 in Section 411 Iterating this process, we find that the 1-chain β + ηi ) is hoologous ( to β, and that all red edges dual to edges in T are k-divisible for β + ηi ) γ 5 γ 3 γ 4 γ 1 γ R 1 R R 3 R 4 v 5 v 4 v 1 v 3 v R 5 Figure 4 (Left) Non-contratible region R with blue loops and red edges (Right) Graph B associated to R (See Section 45) 45 Foring the graph B Perforing the process in Section 44 for each region R (including the region R ), we finally obtain a 1-chain hoologous to our original β (which by abuse of notation we will still denote β) which is k-divisible except possibly along: s i red edges inside each region R i, where s i denotes the nuber of regions entirely enclosed by the region R i who share a boundary with R i ; all the blue edges inside the 1-skeleton, which we recall decopose into a finite collection of blue loops We now use these to for a graph B, which captures all the reaining potentially bad edges for the chain β, ie edges that are still not k-divisible B is fored with one vertex for each blue loop Note that each reaining red edge that is potentially not k-divisible joins a pair of vertices which lie on soe blue loops γ 1, γ (as all

13 EQUIVARIANT K-HOMOLOGY FOR HYPERBOLIC REFLECTION GROUPS 13 v 5 v 4 v 1 v 3 v Figure 5 Enueration of vertices in B corresponding to enueration of regions in Figure 1 (see Section 45) vertices lie on blue loops) For each such red edge, we define an edge in the graph B joining the two vertices v i corresponding to the blue loops γ i (Figure 4) Lea The graph B is a tree Proof It follows iediately fro the discussion in Section 43 that B is connected Thus it suffices to show B has no ebedded cycles Observe that, since blue loops separate the plane into two connected coponents, the corresponding vertex of B likewise partitions the graph B into two connected coponents (corresponding to the interior coponent and the exterior coponent deterined by the blue loop) Thus if there is an ebedded cycle, then for each vertex v of B, it ust reain within one connected coponent of B \{v} This eans that any ebedded cycle has the property that all the vertices it passes through correspond to blue coponents lying in the closure of a single region R (and all red edges lie inside that region R) Now by way of contradiction, assue that e 1,, e k fors a cycle in B, cyclically joining vertices γ 1,, γ k, where the γ i are blue loops inside the closure of the region R We can concatenate the corresponding (red) edges e i along with paths on the blue loops γ i to obtain an ebedded edge loop η contained in the closure of the region R Now pick a pair of -faces F 1, F inside the region R, where F 1 is contained inside the loop η, while F is contained outside of the loop η, eg pick the -faces on either side of the red edge e 1 Note that, by construction, the closed loop η separates these regions fro each other These two regions correspond to vertices v 1, v in the graph G associated to the region R Since T was a spanning tree for the graph G, it follows that we can find a sequence of edges in the tree T connecting v 1 to v This gives rise to a sequence of -faces connecting F 1 to F, where each consecutive face share an edge distinct fro any of the red edges e i Thus we obtain a continuous path joining F 1 to F which is copletely disjoint fro η, a contradiction We conclude that B cannot contain any cycles, and hence is a tree Notice that each vertex in B corresponds to a blue loop, which lies in the closure of precisely two regions There will thus be a unique such region which lies in the bounded coponent of the copleent of the loop This establishes a bijection between the regions and the vertices of B Fro the enueration of regions in Section 4, we can use the bijection to enuerate vertices of B For exaple, the vertex with sallest labelling will always correspond to the boundary of a contractable region We refer the reader to Figure 5 for an illustration of this labelling

14 14 LAFONT, ORTIZ, RAHM, AND SÁNCHEZ-GARCÍA 46 Coefficients along the blue loops Our next goal is to odify β in order to ake all the reaining red edges (ie edges in the graph B) k-divisible Note that the 1-chain β ight not be an integral 1-cycle, but it is a 1-cycle od k We will now exploit this property to analyze the behavior of the 1-chain β along the blue loops Proposition Let γ be any blue loop, oriented clockwise Then the coefficients on the blue edges are all congruent to each other odulo k, that is, if (a, b, c, d) and (a, b, c, d ) are the coefficients along any two blue edges in a given blue loop, then (a, b, c, d) (a, b, c, d ) od k Moreover, along any red edge in the graph B, the coefficient is congruent to zero od k, except possibly if the edge has an even label, in which case the coefficient is congruent to (0, 0, ẑ, ẑ, 0,, 0) for soe z (which ay vary fro edge to edge) Proof To see this, we argue inductively according to the ordering of the blue connected coponents (see Section 45) Base Case For the initial case, consider the blue loop corresponding to vertex v 1 in the tree B By hypothesis, this blue loop γ has a single (red) edge incident to it which is potentially not k-divisible, corresponding to the unique edge in the tree B incident to v 1 Let w denote the single vertex on γ where that red edge is incident, allowing us to view γ as a path starting and terinating at w Since all the reaining red edges incident to γ are k-divisible, applying Lea 4 in Section 411 (with all the ẑ 0) for each incident k-divisible red edge shows that all the coefficients along the path γ are congruent to each other od k Note that, in this base case, we are always in the cases i < j < k or j < k < i of Lea 4, according to whether the k-divisible red edge lies in the unbounded or bounded region deterined by the blue loop γ This establishes the first stateent of the Proposition To get the second stateent, we apply Lea 5 in Section 411 at the vertex w, and we are done Inductive Step Now inductively, let us assue that we are focusing on the blue loop γ i corresponding to soe vertex v i in B We assue that all the blue loops γ j corresponding to vertices v j with j < i already satisfy the desired property We also assue that all red edges in the graph B connected to vertices v j with j < i have coefficients of the for described in the Proposition Fro the directed structure of the graph B, the vertex v i has a unique edge e connecting to a vertex v j with index j > i, and all the reaining edges in B connect to a v j for soe j < i By the inductive hypothesis, this tells us that all but one of these red edges have coefficients congruent to (0, 0, ẑ j, ẑ j, 0,, 0) for soe z j (which ight depend on the edge) Again, viewing γ i as a path starting and terinating at the sae vertex w (where e is incident to γ), we ay apply Lea 4 and conclude that γ i has coefficients along all edges that are congruent to each other Applying Lea 5 at the vertex w, shows that the coefficients along the edge e ust also be of the for (0, 0, ẑ, ẑ, 0,, 0) for soe z This copletes the inductive step and the proof of the Proposition 47 Equivalence classes of red edges Now consider a red edge which is potentially not k-divisible, corresponding to an edge in the graph B joining vertices

15 EQUIVARIANT K-HOMOLOGY FOR HYPERBOLIC REFLECTION GROUPS 15 v i to v j The red edge thus joins the blue loop γ i to the blue loop γ j Fro Proposition, we see that the coefficient along the red edge ust be congruent to (0, 0, ẑ, ẑ, 0,, 0) for soe z In particular, there is a single residue class that deterines the coefficients along the red edge (odulo k) Next let us oentarily focus on a blue loop γ, and assue the coefficients along the edges of γ are all congruent to (a, b, c, d) odulo k, as ensured by Proposition (Figure 6) We define an equivalence relation on all the red edges with even label incident to γ, by defining the two equivalence classes: (a) the incident red edges that lie in the bounded region corresponding to γ, and (b) those that lie in the unbounded region It follows fro Lea 4 (Section 411), that all edges in the equivalence class (a) have corresponding coefficients congruent to (0, 0, ẑ j, ẑ j, 0,, 0) where each z j b a, while all edges in equivalence class (b) have corresponding coefficients congruent to (0, 0, ẑ j, ẑ j, 0,, 0) where each z j c a (Figure 6) γ z j b a congruent to (a, b, c, d) z j c a Figure 6 Bad red edges incident to blue loop γ All interior edges have coefficients satisfying one congruence, while all exterior edges have coefficients satisfying a different congruence (Section 47) This equivalence relation is defined locally, and can be extended over all blue loops in the 1-skeleton, resulting in an equivalence relation on the collection of all red edges with even label Observe that, by construction, each equivalence class has the property that there is a single corresponding residue class z od k, with the property that all the edges within that equivalence class have coefficient congruent to (0, 0, ẑ, ẑ, 0,, 0), ie the z is the sae for the entire equivalence class Corollary 5 The edges in the graph B that are not k-divisible are a finite union of equivalence classes for this relation Proof Let e be an edge in B, and assue that e is equivalent to an edge e which is not an edge in B Since all edges that are not in B are k-divisible, it follows that the coefficient on e is congruent to zero od k Thus the value of z for the equivalence class E containing e is z = 0 Since e E, this forces e to be k-divisible, a contradiction

16 16 LAFONT, ORTIZ, RAHM, AND SÁNCHEZ-GARCÍA 48 Establishing k-divisibility of the reaining red edges Observe that the edges in each equivalence class for a connected subgraph, and hence a subtree (see Lea ), of the graph B This collection of subtrees partitions the graph B Any vertex of B is incident to at ost two such subtrees the incident red edges lying inside and outside the corresponding blue loop We now proceed to establish k-divisibility of the reaining red edges for our chain Fix an equivalence class E of red edges, and associate to it a 1-chain α E whose coefficients are given as follows: (1) if a blue loop γ has an incident red edge e E, and e lies in the bounded region of γ, then assign (0, 1, 0, 0) to each blue edge on γ; () if a blue loop γ has an incident red edge e E, and e lies in the unbounded region of γ, then assign (0, 0, 1, 0) to each blue edge on γ; (3) along the red edges in the equivalence class (recall that all these edges have even labels), assign ±(0, 0, ˆ1, ˆ1, 0,, 0), with sign chosen to ensure that the local 1-cycle condition holds at both endpoints (see Lea 4) Notice that, one can choose the signs in (3) coherently because the equivalence class defines a subtree of the tree B and thus there are no cycles (these could have potentially forced the sign along an edge to be both positive and negative) Another key feature of the 1-chains α E is that they are linearly independent More precisely, two distinct equivalence classes E, E have associated 1-chains α E and α E whose supports are disjoint, except possibly along a single blue loop γ In the case where the supports overlap along γ, adding ultiples of α E does not affect the z-value along the class E (and vice versa) It is now iediate fro the equality case of Lea 4 in Section 411 that the 1-chain α E is in fact an integral 1-cycle Subtracting ultiples of α E fro our given chain β, we ay thus obtain a hoologous 1-chain for which all the red edges in E are now k-divisible Repeating this for each of the equivalence classes, we have now obtained a hoologous 1-chain (still denoted β) for which all the red edges are k-divisible 49 Establishing k-divisibility of the reaining blue edges We now have obtained a 1-chain with prescribed differential, whose coefficients along all red edges are k-divisible It reains to establish k-divisibility of the blue loops for the 1-chain If γ is one of the blue loops, then since all incident red edges are k-divisible, we see that all the edges on γ have coefficients which are congruent to either (a, b, c, d), (a, b, a, b), (a, a, c, c), or (a, a, a, a), according to the equivalence classes that are incident to γ (see also Proposition ) Let us discuss, as an exaple, the case (a, b, a, b) Note that this case occurs if the only incident red edges to γ with even label lie in the unbounded region deterined by γ Consider the pair of integral 1-cycles α 13, α 4 supported on γ, obtained by assigning to each edge on γ the coefficient (1, 0, 1, 0) and (0, 1, 0, 1) respectively Fro the equality case of Lea 4 we see that α 13, α 4 are in fact 1-cycles By adding ultiples of α 13, α 4, we can now arrange for the coefficients along the blue loop γ to all be k-divisible The three other cases can be dealt with siilarly; we leave the details to the reader 410 Copleting the proof Perforing this process described in Section 49 for all the blue coponents, we finally obtain the desired 1-chain β Since β now satisfies properties (1) and () entioned at the beginning of the proof, we conclude

17 EQUIVARIANT K-HOMOLOGY FOR HYPERBOLIC REFLECTION GROUPS 17 that the given hypothetical torsion class α H 0 was in fact the zero class This copletes the proof of Theore 4 Reark It is not obvious how to adapt the strategy in the geoetric proof above to the case when other vertex stabilizer types are allowed In the case of vertex stabilizers of the type (, 3, 3), (, 3, 4), and (, 3, 5), ost of the arguents can be adapted The ain difficulty lies in the arguents of Section 44, which rely heavily on Lea 4 in Section 411 Unfortunately, the analogue of that Lea does not see to hold when one allows these other types of vertices as endpoints of the edge For vertices with stabilizer (,, ), additionally difficulties arise, notably in Sections 47, 48, and Local Analysis The geoetric proof that H Fin 0 (Γ; R C ) is torsion free, Theore 4, relies on a detailed local analysis of the induction hooorphis at the vertices of the polyhedron P We state and prove the results needed here Although rather technical, they are all, unless an explicit proof is given, straightforward consequences of the induction hooorphiss in Appendix B Let us introduce soe notation Throughout this section, α will denote an integral 1-chain that is also a 1-cycle (od k), ie 1 (α) 0 Our goal is to understand how this condition constrains the coefficients of α At every vertex v = v ijk, there are three incident edges e 1 = e ij, e = e ik and e 3 = e jk, and let x 1, x and x 3 be α projected along those edges, written as colun vectors Write A 1 for the integer atrix representing the induction hooorphis fro e 1 to v, that is, R C ( s i, s j ) R C ( s i, s j, s k ) (as always, we will iplicitly identify representation rings with free abelian groups, via the bases explicitly described in Appendix A), and define A and A 3 analogously for e and e 3 So each of these atrices is a subatrix of 1 in atrix for Then the value of 1 (x) at the vertex v = v ijk (that is, projected to R C ( s i, s j, s k )) is given by the atrix product (±A 1 ± A ± A 3 ) x 1, with signs depending on edge orientations The product above is zero odulo k, by the hypothesis on α being a 1-cycle od k We can reduce odulo k all the entries and, abusing notation, still call the resulting atrices and vectors A 1, A, A 3, x 1, x and x 3 Furtherore, for siplicity, let us redefine A 1 as A 1 etc as needed to take account of the chosen orientations Then we have that the colun vector representing α locally at v (ie along the incident edges) is in the kernel of the atrix representing 1 locally at v, that is, x 1 x x 3 x x 3 ker (A 1 A A 3 ) One iportant consequence is that we can perfor row operations on the atrix A = (A 1 A A 3 ) without changing its kernel and, in particular, we ay row reduce A, for instance into its Herite noral for, to siplify calculations (Obviously, row reduction ust be perfored odulo k, that is, in Z/kZ) Another consequence is that, to study the consequences of establishing k-divisibility of an edge, we only need to reove the corresponding atrix block and vector For exaple, if k-divisibility of e 1 has been established for ( α, ) that is, if x 1 is zero odulo k, then the equation above is equivalent to x ker (A x A 3 ), and we can now row reduce this atrix to help us calculate 3 its kernel, if needed Recall that, throughout Section 4, we are only interested in

18 18 LAFONT, ORTIZ, RAHM, AND SÁNCHEZ-GARCÍA the case where all vertices have stabilizers of the for (,, ), with > (see stateent of Theore 4) So let us now focus on that case For a (,, ), >, vertex, recall that we assue j < k and we have, fro Figures 1, 13 and 14, induction atrices M (1)<, M ()<, (if i < k) or M, > (if i > k), and M, where M (1)<, = , M ()<, = (if i < j) or M (1)>, , M, = ( Idc(D) (if i > j), Id c(d) and M (1)> ()> (1)< ()<,, respectively M,, equals M,, respectively M,, with the nd and 3rd coluns interchanged In the following leas, recall that α is an integral 1-chain which is also a 1- cycle od k Moreover, in Leas 4 and 5, let denote coefficients that only appear when is even, and recall the standard labelling of faces: the -edge lies between the faces labelled F j and F k, and the labelling always satisfies (without loss of generality) that j < k Finally, recall that we refer to an edge with stabiliser D as an -edge, or edge of type Lea 3 Let α be an integral 1-chain, which we assue is also a 1-cycle od k Let F 1, F be a pair of adjacent -faces, sharing a coon edge e, with endpoint v whose stabilizer is of the for (,, ), with > Assue that we are given an η 1 = (n 1, 1 ) in the representation ring R C (C ) associated to the stabilizer of the -face F 1 Then there exists a choice of η = (n, ) in the representation ring R C (C ) associated to the stabilizer of the -face F, with the property that α + (η 1 + η ) has coefficient along e congruent to zero od k (ie the edge e is now k-divisible) Proof The edge e has stabilizer D, with > We will assue the orientations along the edges and faces are as given in Figure 7 Assue the coefficients of α supported on the edge e are given by (a, b, ĉ, ˆd, r 1,, r k ) We choose η := (a + n 1, r a) A straightforward coputation using the induction forulas shows that, with this choice of η, the coefficient of α := α + (η 1 + η ) along the edge e is of the for z := (0, b, ĉ, ˆd, 0, r,, r k ) That is to say, we chose η in order to force a = r 1 = 0 We are left with checking that the reaining coefficients of α are all congruent to zero od k To see this, we use the fact that α is also a 1-cycle od k Fro the labelings of the faces around the vertex v, and the order in which we label faces (one region at a tie), we see that we are in one of the two cases i < j < k or ),

19 EQUIVARIANT K-HOMOLOGY FOR HYPERBOLIC REFLECTION GROUPS 19 ē 1 ē e F j F i+1 ē 3 ē 4 Figure 7 Local picture near the edge e (Lea 3) j < k < i Let us consider the case i < j < k, and assue that the coefficients along the -edges incident to v are given by x := (x 1, x, x 3, x 4 ) and y := (y 1, y, y 3, y 4 ) As α is a 1-cycle od k, we have ( M (1)<, ) x M ()<, M, y 0, z Note that the last k rows of the atrix are identical, giving rise to k identical relations x + x 4 y y 4 + r i 0 (for 1 i k) Since r 1 = 0, these equations iediately iply that all the reaining r i 0 Let us now assue that is odd The first and third row of the atrix give rise to equations x 1 y 1 0 and x 1 + x 3 y 1 y 3 0, forcing x 3 y 3 0 Using the second row, we get x 3 y 3 + b 0, which iediately gives b 0 This copletes the proof when i < j < k and is odd The case where is even is analogous one just uses the equations obtained fro the first five rows of the atrix to conclude that a, b, ĉ, and ˆd are all congruent to zero od k Finally, if j < k ( < i, then one proceeds in a ) copletely siilar anner, but using the block atrix M (1)>, M ()>, M, instead It is again straightforward to work through the equations we leave the details to the reader Lea 4 Consider a vertex of type (,, ), >, with the incident - edges oriented copatibly If the coefficients of α along the -edge are congruent to (0, 0, ẑ, ẑ, 0,, 0) for soe z, then the coefficients (a, b, c, d) and (a, b, c, d ) along the pair of -edges satisfy the following congruences: (i) if i < j < k, then (a, b, c, d) (a, b, c, d ), and ẑ b a d c; (ii) if j < i < k, then (a, b, c, d) (a, c, b, d ), and ẑ c a d b; (iii) if j < k < i, then (a, b, c, d) (a, b, c, d ), and ẑ c a d b; and we have oriented the -edge so that the vertex is its source (With the opposite orientation, siply replace ẑ by ẑ) Moreover, the sae stateent holds if one changes all congruences to equalities Proof Let x 1 = (a, b, c, d), x = (a, b, c, d ) and x 3 = (0, 0, ẑ, ẑ, 0,, 0) be the coefficients of α along the edges incident to the vertex Consider the case i < j < k