Scholarly article on topic 'On the classifying space for proper actions of groups with cyclic torsion'

On the classifying space for proper actions of groups with cyclic torsion Academic research paper on "Mathematics"

0
0
Share paper
Academic journal
Forum Mathematicum
OECD Field of science
Keywords
{""}

Academic research paper on topic "On the classifying space for proper actions of groups with cyclic torsion"

Forum Math. 26 (2014), 271-294 DOI 10.1515/FORM.2011.159

Forum Malhenialicuni

© de Gruyter 2014

On the classifying space for proper actions of groups with cyclic torsion

Yago Antolín and Ramón Flores Communicated by Andrew Ranicki

Abstract. In this paper we introduce a common framework for describing the topological part of the Baum-Connes conjecture for a wide class of groups. We compute the Bredon homology for groups with aspherical presentation, one-relator quotients of products of locally indicable groups, extensions of Zn by cyclic groups, and fuchsian groups. We take advantage of the torsion structure of these groups to use appropriate models of the universal space for proper actions which allow us, in turn, to extend some technology defined by Mislin in the case of one-relator groups.

Keywords. Bredon homology, classifying space for proper actions, aspherical presentations, Hempel groups, Baum-Connes conjecture.

2010 Mathematics Subject Classification. Primary 55N91; secondary 20F05, 20J05.

1 Introduction

In [28], Mislin computed the Bredon homology of one-relator groups with coefficients in the complex representation ring. These homology groups were defined in the sixties by Bredon in the context of equivariant Homotopy Theory. Since the statement by Baum-Connes of their famous conjecture (see [5] for a thorough account and Section 5 below for a quick review), there has been a growing interest in the computation of the Bredon homology groups, as they give, via a spectral sequence, a very close approximation to the topological part of the conjecture. Moreover, they are reasonably accessible from the point of view of the computations.

Let G be a discrete group. To deal with the topological part of the Baum-Connes conjecture, it is necessary to recall some basics of the theory of proper G-actions. A model for the classifying space for proper G-actions E G is a G-CW-complex X with the property that, for each subgroup H of G, the subcomplex of fixed points is contractible if H is finite, and empty if H is infinite. The latter condition

The authors were supported by MCI (Spain) through project MTM2008-01550 and EPSRC through project EP/H032428/1 (first author) and project MTM2010-20692 (second author).

means precisely that all cell stabilizers are finite, and, in this case, we say that the G-action is proper. The model X for E G is important in our context because it is the target of the topological side of the Baum-Connes conjecture. We also denote by (X)sing the singular part of X, that is, the subcomplex consisting of all points in X fixed by some non-trivial element of G, and we say that (X)sing is a model for (E G)smg. It is worth noting that both models for E G and (E G)sing are well-defined up to G -homotopy equivalence.

In this paper we extend Mislin's result [28, Corollary 3.23] to a wider class of groups. The key observation here is that the computation of the Bredon homology of one-relator groups does not use in full potential the shape of the concrete relation, but it relies only in two facts: the existence (up to conjugation) of a unique maximal finite subgroup, and the construction of a model for E G whose singular part is 0-dimensional.

We consider here the class Gcct of groups for which there is a finite family of cyclic subgroups such that every non-trivial torsion element of the group belongs to exactly one member of the family up to unique conjugation. If G e Gcct, Proposition 2.1 gives a model X for E G such that for every non-trivial finite subgroup H < G the fixed-point set (X)H is just a vertex of the model. Hence the singular part of X is 0-dimensional, and we have all the needed assumptions to compute the Bredon homology groups (Theorem 4.2) and hence the Kasparov KK-groups (Proposition 5.2).

Aside from the computations, the other main achievement of our article is the identification of well-known families of groups which belong to the class Gcct: groups with an aspherical presentation, one-relator products of locally indica-ble groups, some extensions of Zn by cyclic groups, and some fuchsian groups. For the first two families, moreover, we describe some particular models of E G which turn sharper our homology computations. For the particular class of Hempel groups (see Definition 3.1), we show that they have Cohen-Lyndon aspherical presentations, and we use Magnus induction and hierarchical decompositions to prove that Baum-Connes holds; then, our methods are also valid to compute analytical K-groups Ktop(C;(G)) in this case. Note that the validity of the conjecture is not known for more general classes of groups of cohomological dimension two.

The paper is structured as follows: in Section 2 we formally introduce the class Get, as well as some background that will be needed in the rest of the paper; in Section 3 we present some families of groups in the class, including some particular models of the classifying space for proper actions and interesting relationships with surface groups and other one-relator groups; Section 4 is devoted to Bredon homology, which we describe in a little survey before undertaking our computations, and we finish in Section 5 with the computation of the topological part of the Baum-Connes conjecture for aspherical groups.

2 The class of groups Gcct

In this article we will deal with groups that have, up to conjugation, a finite family of maximal malnormal cyclic subgroups. Precisely we deal with groups satisfying the following condition:

(C) There is a finite family of non-trivial finite cyclic subgroups such

that for each non-trivial torsion subgroup H of G, there exists a unique A e A and a unique coset gG^ e G/G^ such that H 6 gG^g-1.

In particular, the groups G^ are maximal malnormal in G. Recall that a subgroup H of a group G is malnormal if H n gHg"1 = {1} for all g e G — H. The class of groups G satisfying the condition (C) will be denoted by Gcct.

Observe that any finite cyclic group and any torsion-free group is in Gcct. Moreover, this class is also closed by free products, so for example, the infinite dihedral group is in Gcct. In the following section we will describe many interesting examples.

Our main objective is to describe the Bredon homology for a group G in Gcct. Our approach to this computation will be through the classifying space for proper G-actions, so we recall here a classical model which turns out to be very useful for our purposes. More sophisticated and particular models for E G will appear later in the article.

Proposition 2.1. Let G and satisfy (C). Then there exists a model C for

E G with dim(Csing) = 0.

Proof. We adapt the proof of [20, Proposition 8] to our context. Let X be the left G-set {gG^ : A e A, g e G}. A subgroup H of G fixes gG^ e X if and only if g_1Hg c G^, so H is finite and, by condition (C), H fixes exactly one element of X.

Let E a model for the universal space EG (for example [14, Example 1B.7]). Recall that the join X * E is the quotient space of X x E x [0,1] under the identifications

(x,e,0) ~ (x,e',0) and (x,e,1) ~ (x0,e, 1).

The product X x E x [0,1] is a G-set with G acting trivially in the interval [0,1] and induces an action on X * E.

Let H be a subgroup of G. If H is infinite, then H fixes no point of X or E. If H is non-trivial finite, it acts freely on X x E x (0,1], and fixes exactly one point of X x E x {0°. Hence (X * E)H is contractible and 0-dimensional. If H is trivial, then it fixes X * E, which is contractible since E is contractible. Thus, C = X * E is a model for E G, such that dim(Csing) = 0. □

Remark 2.2. Our class of groups Gcct is a subclass of the groups with appropriate maximal finite subgroups considered in [24, 4.11]. A particular model for E G is also provided there.

A useful tool to show that a group G and a family of subgroups {G^eA of G satisfy the condition (C) is the following theorem:

Theorem 2.3 ([19, Theorem 6]). Let G be a group and a finite family of

finite subgroups. If there exists an exact sequence of ZG-modules

0 ! 0 Z[G/GA] © P ! P„_ 1 !•••! Po ! Z

where P, P«_1,..., P0 are ZG -projective, then for every finite subgroup H of G, there exists a unique A e A and a unique gG^ e G/G^ such that H is contained in SGxS_1.

We remark that Alonso [1] find bounds for the dimension of the E G of groups satisfying the hypothesis of the previous theorem.

3 Examples of groups in the class Gcct

In this section we introduce some families of groups which will be proved to be in the class Gcct. Let us fix some notation first.

Notation. We find useful to have different notations for a group given by a presentation and the presentation itself. We use a double bar (X || R) to distinguish a presentation from the group being presented (X | R).

Let G be a group and r e G .If g lies in a unique maximal infinite cyclic subgroup C of G, we denote by ppg the unique generator of C for which g is a positive power. In this event, if g is the n-th power of ppg, we denote n by logG (g).

If X is a subset of G, we denote by GX the image of X under left-conjugation by G, that is, GX = {gxg_1 : x e X, g e G}. When X = {x} we usually write Gx instead of G{x°.

3.1 Groups with aspherical presentation

Let F be a free group freely generated by a finite set X = {x1,..., x„}, let R be a subset of F and G := (X | R). In a free group, each element lies in a unique maximal infinite cyclic subgroup of F. For r e R, let Gr be the image of ( Vr) in G, a finite cyclic subgroup of G.

Recall that a CW-complex is aspherical if its universal covering is contractible. By the Hurewicz-Whitehead Theorem a CW-complex is contractible if and only if it is acyclic and simply connected.

There exist several concepts of aspherical presentations, see [10]. We will say that a presentation (X || R) is aspherical if the abelianized of (FR) is isomorphic to 0reR Z[G/Gr], and then a group is aspherical if it admits an aspherical presentation. It is a famous conjecture of Eilenberg-Ganea that the torsion-free aspherical groups are precisely the groups of cohomological dimension two. We now review the topological significance of asphericity.

Recall that the Cayley graph of G with respect to X is a G -graph r with vertex set G and edge set G x X; for an edge e = (g, x) the initial vertex te is g and the terminal vertex re is g • x. The augmented cellular chain complex of r is

Z[G x X] ! ZG ! Z ! 0

where 9(g, x) = gx — g.

It is well known that the kernel of 9 is isomorphic to (FR)ab and the kernel map 9: (FR)ab ! Z[G x X] is induced by the total free derivative

—: F ! Z[F x X],

which is defined by f ! (jf,..., jf). The map f ! f is a derivation from F ! ZF, i.e. it satisfies the identity

9fif2 = f + 9f

9xi 9xt 9xt

Hence gx^ is uniquely determined by its values on X, and is equal to 0 if i ^ j and 1 if i = j. See [9, Proposition 5.4] or [13, Corollary 9.4] for a proof. Hence, there is the following exact sequence of ZG -modules:

0 ! (FR ! Z[G x X] ! ZG ! Z ! 0. (3.1)

From now on we assume that (X || R) is aspherical, that is

(FRL ^ M Z[G/Gr].

This is the case, for example, when R consists of a single element by Lyndon's identity theorem (see [26]). Let R0 C R be the set of r e R for which Gr ^ 1. Then, by Theorem 2.3, G and {Gr °reRo satisfy condition (C).

With our assumption the sequence (3.1) becomes

0 ! 0 Z[G/Gr] ! 0 ZG ! ZG ! Z ! 1. (3.2)

r2R X2X

We describe now a model for E G, which is built exactly the same way as the usual for one-relator groups. The construction is basically the same as in [2, Review 7.4] which deal with a special case when |R| = 2, so we omit the details.

Recall that the Cayley complex of (X || R), denoted C = C (X || R), is a 2-di-mensional CW-complex with exactly one 0-cell denoted [1], with set of 1-cells, denoted [X], in bijective correspondence with X by a map denoted X ! [X], x ! [x], and with set of 2-cells, denoted [R], in bijective correspondence with R by a map denoted R ! [R], r ! [r]. The attaching maps are determined by the 1-cells. Each r is a word in X±1, and we take the closure of the 2-cell [r] to be a polygon whose (counter-wise) boundary has the corresponding labeling in the 1-cells and their inverses, and this labeling gives the attaching map for [r]; the inverse of a 1-cell is the same 1-cell with the opposite orientation. The fundamental group of C, with base-point the unique 0-cell, has a natural identification with G = (X | R). _

Let C be the universal cover of C. The 1 -skeleton of C is the Cayley graph of G with respect to X .It can be checked that C is simply connected and the augmented cellular complex of C is the ZG -complex

0 ! Z[G x [R]]!Z[G x [X]] ! Z[G x {[1]}] ! Z ! 0.

For [r] e [R], let (g, [r]) be the lift of the 2-cell of [r] in C corresponding to the vertex g e G. Let C' denote the CW-complex that is obtained from C by identifying the 2-cells (g, [r]) and (g Vr, [r]), for each g e G and r e R. We denote this identified cell by (gGr, [r]). It can be checked that C' is again simply connected, and the augmented chain complex of C' is the exact sequence (3.2). Hence C' is contractible.

If Gr = {1} for each r e R, that is R = VR, then C = C' is acyclic and hence contractible; in particular C is aspherical and C is an E G.

If VR 7 R, G does permute the open cells of C', but C' is not a G-CW-com-plex since, for some r e R, Vr fixes the 2-cell that is in the equivalence class of (1, [r]) but does not fix it pointwise since it does not fix the 1-cells where this cell is attached.

Let C'' denote the CW-complex obtained from C' by subdividing each 2-cell (gGr, [r]) into logF r 2-cells. If we think of (gGr, [r]) as a polygon with |r |-sides, the subdivision corresponds to adding a new vertex in the center, dividing from this vertex into logF r subpolygons, such that Vr permutes them.

Notice that C00 has one free G-orbit of 2-cells for each r 2 R. Also, for each r 2 R, we have also added a free G-orbit of 1-cells to C0. Finally for each r 2 R we have added a G/ Gr-orbit of 0-cells to C0. The CW-complex C00 is then a con-tractible G -CW-complex whose augmented cellular chain complex is exact and has the form

0 ! ZG|R| ! ZG|R|+|X 1 ! ZG © ( 0 Z[G/Gr] ] ! Z ! 0. (3.3)

r eR '

Now by (C) for each non-trivial torsion subgroup H of G there exists a unique r 2 R and gGr 2 G/Gr such that H < gGr, and therefore H fixes only the 0-cell obtained on the subdivision of the 2-cell (gGr, [r]) of C0. Then C00 is an E G.

3.2 One-relator products of locally indicable groups

Recall that a group is indicable if either it is trivial or it has an infinite cyclic quotient. A group is locally indicable if every finitely generated subgroup is indicable. Notice that a locally indicable group is torsion-free.

Let A, B be locally indicable groups having finite dimensional Eilenberg-Mac-Lane spaces CA and C B respectively. Let r e A * B such that r is not conjugate to an element of A nor of B. It can be deduced, from Bass-Serre theory, that the centralizer CA*B (r) is infinite cyclic, and hence we can define A* Vr. Denote

G = (A * B)/(A*BrE and Gr = ( A*VF) / (r)< G.

Let now CA*B be the CW-complex obtained by attaching a 1-cell e to the disjoint union of CA and CB, where the endpoints are 0-cells in CA and CB; then CA*B is connected and has the homotopy type of an Eilenberg-MacLane space K(A * B, 1). Choose a map

0: S1 !

that represents A*p/r, where ca*b denotes the 1-skeleton of CA*B. We will assume that the basepoint for S1 goes under 0 to a vertex v of CA*B.

Let C Gr be a model for K(Gr ,1). If Gr = 1, we may think of C as a disk and p: S1 ! C as the natural inclusion to the boundary. If Gr is a non-trivial cyclic group of order logA*B (r), Cis a CW-complex with one cell in each dimension and p: S1 ! C is the natural projection.

In [16, Theorem 1], it is showed that the following push-out (Figure 1) has the homotopy type of K(G, 1). In the sequel, the push-out of this diagram will be denoted C G.

Figure 1. The push-out that gives a K(G, 1).

Using this construction, in [16, Proposition 7] Howie shows that there is a sequence of ZG -modules

0 ! Z[G/Gr] © P ! P„_1 !----> Po ! Z

where P, Pn_1,..., P0 are ZG -projective, and thus the subgroup Gr and G satisfy condition (C) by Theorem 2.3.

We now describe how to obtain an E G from CG with dimE Gsing < 0. Let CG denote the universal cover of CG. Observe that if A*Vr = r, then G is torsionfree, and we take CG as our model for E G.

Assume then A*B~r 7 r, so we will modify CG to have all the singular action in dimension 0. Let a be the 2-cell of CGr and let a denote a lift of a in CG. For n > 2 we remove G -equivariantly the orbit of the n-dimensional cells of CG corresponding to the n-dimensional cell of C Gr, and we identify two 2-cells ga and g'a if g' e gGr. Notice that this two cells have the same boundary. We denote the 2-cell identified with a by Gra, and we claim that the obtained space, denoted by CG, is still contractible.

The latter construction is not a G-CW-complex, because A*Br fixes the 2-cell Gr a but does not fix it pointwise since it does not fix the 1-cells where it is attached. So, to obtain a G-CW-complex, we subdivide each 2-cell gGra like in the case of aspherical presentations. Formally, we remove the G-orbit of Gra and we add a G/ Gr-orbit of 0-cells {gGru : g e G}, and a G-orbit of 1-cells from {gf : g e G° with f attached to gv to gGr u and finally a G-orbit of 2-cells {gP : g e G} with gp attached to the path that starts at g A * Vr v, then goes through the edge g A*Br f, then goes through gf _1 and finally through the subpath of the lift of 0 that goes from gv to g A*Br v.

We denote this new complex by CG. Clearly it is a G -CW-complex. Let H be a finite subgroup of G, by condition (C) there exists a unique gGr e G/Gr such that H < gGrg_1, and therefore H fixes only the 0-cell gu. Then CG is an E G and dim(CG )smg = 0.

Let us now prove the previous claim. We have to show that the space C0G is simply connected and acyclic. Since the removed cells where attached to each other,

the space remains simply connected. By construction of the push-out, we have a Mayer-Vietoris exact sequence which locally looks like

••• ! H2(CA*£) © H2(CGr) ! H2(CG) ! H1 S1

! H1(CA*£) © H1(CGr) !••• .

Since 0 is injective at the level, the map H1 S1 ! H1(CA*B) © H1(CGr) is injective. Moreover, by construction of CG, for i > 2, Hi (C'G) = Hi (CA*B). Hence for i > 2, Hi (Cg) = Hi(Ca*b) = Hi (Cg) = 0. Since the boundary of a and A*/ra in the 1-skeleton is the same, the identification does not change the H1 (C G). Then the space CG is acyclic.

Let (CA,dA) and (CB, dB) denote the integral cellular chain complexes of CA and CB, the universal covers of CA and C B. Then the integral cellular chain complex (C, d) of C''G has the form at the module level

• Ci s (ZG ®za CiA) © (ZG ®Zb CiB) for i > 2,

• C1 ^ (ZG CA) © (ZG ®zb CB) © Z[G x {e, f}],

• Co s (ZG ®zA C0A) © (ZG ®ZB C0B) © ZG/Gr,

and dk: Ck ! Ck_1 are induced by (1 <g> © (1 <8> dB) for k > 2.

3.3 Hempel groups and Cohen-Lyndon asphericity

In this subsection we discuss a family of two-relator groups wich include one-relator quotients of fundamental groups of surfaces. Originally, Hempel [15] and Howie [17] studied one-relator quotients of the fundamental groups of orientable surfaces from a topological point of view. Hempel showed that such a group is an HNN-extension of a one relator group. These groups have recently attracted the attention of various authors, see [2], [7] or [18].

In [2] a family of two-relator groups with a presentation of the form

(x,y,Z1,... ,Zd || [x,y] • u,r), (3.4)

where d > 1, u e (z1,..., z^ | ) and r e (x, y, z1,..., z^ | ), was studied.

By the classification of closed surfaces, any closed surface S with Euler characteristic < —2 can be decomposed as a connected sum of a torus and projective planes or a torus and more tori. In any case, the fundamental group of S admits a presentation of the form (x, y, z1,..., z^ || [x, y] • u) with u e (z1,..., z^ | ).

We will restrict to a subfamily of these two-relator groups, which we called Hempel groups. The definition involves some technicality, but one may think of a Hempel group as a group admitting a presentation as (3.4) where r cannot be re-

placed by a positive power x. If Y is a subset of a set X, we say that g e (X | ) involves some element of Y if there is some element of Y in the freely reduced word in X representing g.

Definition 3.1. Let d > 1 and F = (x, y,z1,..., Zd | ), and for f e F, i e Z we denote y' f by lf. Let also X1 := {1x° U {zj : j = 1,..., d, i = 0,1,...}, u e (z1,..., zd | ) and r e F .We say that r is a Hempel relator for the presentation (x, y, z1,..., Zd || [x, y] • u), and that (x, y, z1,..., Zd || [x, y]u, r) is a Hempel presentation if the following conditions hold:

(H1) The element r belongs to (X1 | ) 6 F.

(H2) In (X1 | ), r is not conjugate to any element of ((0u)_1 • (1x).

(H3) With respect to X1 , r is cyclically reduced.

(H4) With respect to X1, r involves some element of {0z1,..., 0Zd}.

A group G admitting a Hempel presentation will be called a Hempel group.

Lemma 3.2 ([2, Lemma 5.4]). Let d > 1, F = (x, y, z1,..., Zd | ), r e F, and u e (z1,..., Zd | ). Then there exist w e F, v e (F([x, y]u) and a e Aut(F) that fixes [x, y] and z1,... Zd such that r0 = w (va(r)) is either a non-negative power of x or a Hempel relator for (x, y, z1 ,..., Zd || [x, y]u). □

Example 3.3. Let S be the fundamental group of an orientable, compact, connected, closed surface of genus g > 2, and s an element of S. Then S/ (Ss) is a Hempel group. ( )

The group S has presentation (x1,y1,... ,xg, yg || [x1,y1] ••• [xg, yg]). Let F = (x1, y1, xg, yg | ) and r e F such that the image of r under the natural projection to S is s.

We apply the process described in Lemma 3.2 to r and the above presentation of S. If r0 is a Hempel relator, then S/(Ss) is a Hempel group; if not, r0 = x^. In an analogous way, we can apply the same process to x^ and the presentation (x2, y2,..., xg, yg, x1, y1 | [x2, y2] • • • [xg, yg][x1, y1]). Since a fixes x1, we obtain a Hempel relator and hence S/ (Ss) is a Hempel group.

In [2, Notation 6.2] it is shown that Hempel groups are HNN-extensions of one-relator groups, and it is implicit in [2, Theorem 7.3] that Hempel presentations are aspherical in the sense of 3.1.

Instead of invoking this results, we will show something stronger, namely that Hempel groups are Cohen-Lyndon aspherical, which is one of the strongest ways of being aspherical.

In [11], D. E. Cohen and R. C. Lyndon showed that the normal subgroup generated by a single element r of a free group F has free basis form of certain sets of conjugates of r.

The following definition is not standard, but suits with our objectives. See [27, III.10.7].

Definition 3.4. Let F be a free group and R be a subset of F .Let G := F/ (F R) and for each r e R, Gr := CF (r)/ (r) = ( Vr | r) a finite cyclic subgroup of G. Then R is Cohen-Lyndon aspherical in F if and only if

(i) (FR) has a basis of conjugates of R,

(ii) (FR)ab with the left G-action induced by the left F-conjugation action (FR) is naturally isomorphic to 0reR Z[G/Gr].

Definition 3.5. A Cohen-Lyndon aspherical presentation (X || R) is a presentation where R is a Cohen-Lyndon aspherical subset of (X | ).

A Cohen-Lyndon aspherical group is a group that admits a Cohen-Lyndon aspherical presentation.

As mentioned above, the first example of Cohen-Lyndon groups are one-relator groups ([11]). A one-relator group is a group which admits a presentation (X || R) with R having a single element.

Theorem 3.6 (The Cohen-Lyndon Theorem). If F is a free group and r e F—{1°, then {r° is Cohen-Lyndon aspherical in F. □

In [10], Chiswell, Collins and Huebschmann proved this theorem using the Magnus induction. Let us briefly recall this technique (also called Magnus breakdown), which is probably the main tool to study one-relator groups, and was used by Magnus to prove the celebrated Freiheitssatz (see [27, Section IV.5] for a reference).

Review 3.7 (Magnus induction). Let (X || r) be a one-relator presentation of a group G. A Magnus subgroup G with respect to the presentation (X || r) is a subgroup generated by a subset Y of X such that r is not a word on Y±1; Magnus' Freiheitssatz states that this subgroup is freely generated by Y.

The Magnus breakdown process takes a one-relator group and express it as (a subgroup of) an HNN-extension of a one-relator group with a "simpler relation". More precisely, given a one-relator group G, there exists a finite sequence of groups G0, G1,..., Gn such that

(i) Gn = G and G0 is a cyclic group.

(ii) G0, G1,..., Gn are one-relator groups.

(iii) For i = 1,..., n, G; is a subgroup of an HNN-extension of G;_1 where the associated subgroups are Magnus subgroups with respect to the same presentation.

In [10], Chiswell, Collins and Huebschmann give a proof of the Cohen-Lyndon Theorem using the Magnus induction and two results which respectively allow to construct new Cohen-Lyndon aspherical presentations from a given one by HNN-extensions:

Theorem 3.8 ([10, Theorem 3.4]). Let F be a free group and R a subset of F. Let {x1,..., xd } and {y1,..., yd } be two subsets in F such that {x1,..., xd } freely generates (x1,..., xd) and {y1,..., yd } freely generates (y1,..., yd) and

(x1 ,...,xd)n (Fr) = (y1 ,...,yd)n (Fr) = 0. Let t be a symbol.

Then RC := R U {(* x;)y_1 : i e 1,..., d} is Cohen-Lyndon aspherical in F * (t | ) if and only if R is Cohen-Lyndon aspherical in F. □

These authors provide also a method to simplify presentations:

Lemma 3.9 ([10, Lemma 5.1]). Let F be a free group, R a subset of F * (x | ) and f e F. Further let 0: F * (x | ) ! F, x ! f, and h ! h for all h e F. If RC := R U {xf _1} is Cohen-Lyndon aspherical in F * (x | ), then 0(R) is Cohen-Lyndon aspherical in F. □

We are going to show that Hempel groups are Cohen-Lyndon aspherical and hence they lie in our family Gcct.

Theorem 3.10. Let (x, y, z1 ,..., Zd || [x, y]u, r) be a Hempel presentation of a certain group.

Then {[x, y]u, r } is Cohen-Lyndon aspherical in F = (x, y, z 1,..., Zd | ) and (x, y, z1 ,..., Zd | [x, y]u, r) is an HNN-extension of a one-relator group where the associated subgroups are Magnus subgroups.

The second part of the theorem was proved in [2, Notation 6.2]. Proof. For f e F, i e Z we denote f by1 f. Let

^ : {'Z1, . . . , 'zd, . . . , jZ1, . . . , jzd

We simply write 1Z for ^Z.

By (H1) there is a least integer v such that r lie in the subgroup (1x, Since 1x = 0u • x, we can identify (1x, [M]Z | r) with (x, [M]Z | r ) , and thus view r as an element of a free group with two specified free-generating sets. By condition (H2), r is not conjugate to any element of (x) and hence with respect to {x}U[0'v]Z, r involves some element of vZ. By (H4), with respect to {1x}U [0'v] Z, r involves some element of 0Z. Let

G[0,v] := (x, [0'v]Z | r) = (1x, [0'v]Z | r), G[0,(v_1)] := (x, [0'(v_1)]Z | ), G[1,v] := (1x, [1'v]Z | ).

By Magnus' Freiheitssatz, the natural maps form G[0 (v_1)] and G[1v] to G[0 v] are injective.

There is an isomorphism

y: G[0;(v_1)] ! G[1,v] given by x ! 1x and 'z* ! 1+1z*, and we can form the HNN-extension

G[0,v] *(y: G[0;(v_1)] ! G[1,v])

which gives us the group (recall that 1x = 0u • x)

(x,y, [0'v]Z | r, yx = 0u • x, (y(i z*) = i _1z* : i = 1,...v)). (3.5)

By the Cohen-Lyndon Theorem, {r} is Cohen-Lyndon aspherical in (x, [0'v]Z | ). Now by Theorem 3.8, {r, yx = 0u^x}U{y(iz*) = i _1z* : i = 1,...v)} is Cohen-Lyndon aspherical in (x, y, [0'v]Z | ).

Applying repeatedly Lemma 3.9, we can eliminate the free factor ([1,v]Z | ) and the set of relations {y(z*) = i_1z* : i = 1,... v}, so we finally obtain that {r, [x, y]u} is Cohen-Lyndon aspherical in (x, y, z1,..., z^ | ). □

3.4 Other examples

In [25], Luck and Stamm are interested in groups where the finite subgroups satisfy a property similar to our condition (C). They provide two families of examples, which we adapt to satisfy condition (C).

• Extensions 1 ! Zn ! G ! C ! 1, where C is a finite and cyclic and the conjugation action of C in Zn is free outside 0 e Zn. See [25, Lemma 6.3].

• Cocompact NEC-groups that do not contain finite dihedral subgroups. By [25, Lemma 4.5], they satisfy our property (C). An example of such groups are groups with presentation

(a1,..., ar, c1,..., ct || cj1 = • • • = = c_1 • • • c_1^2 • • • a^T = 1) (3.6) where y; > 2 for i = 1,..., t.

4 Bredon homology

Let G be a group in Gcct. By (C) there is a model for the classifying space for proper G-actions E G with 0-dimensional singular part, which allows to compute the Bredon homology of G .In turn, this will open the way to describe the topo-logical part of the Baum-Connes conjecture for these groups (see Section 5).

4.1 Background on Bredon homology

Our main source for this section has been [28, Section 3], while the original and main reference goes back to [8].

Let G be a discrete group and F a non-empty family of subgroups of G closed under subgroups and conjugation. The reader should have in mind the family of finite subgroups of G, which we will denote by Fin(G), or simply Fin if the group is understood.

The orbit category Dg (G) is the category whose objects are left coset spaces G/K with K e F, and morphism sets mor(G/K, G/L) given by the G-maps G/K ! G/L; this set can be naturally identified with

(G/L)K := {gL e G/L : KgL = gL} = {gL e G/L : g_1Kg 6 L}, (4.1)

that is, the cosets fixed by the K-multiplication action on G/L.

Let G-Modg and Modg-G be respectively the category of covariant and con-travariant functors Dg(G) ! Ab from the orbit category to the category Ab of abelian groups. Morphisms in G-Modg and Modg-G are natural transformations of functors. Notice that if F consists only on the trivial group, then G-Modg and Modg-G are the usual categories of right and left ZG-modules.

The category Modg-G is abelian ([28, page 8]), and an object P e Modg-G is called projective if the functor

mor(P, -): Modg -G ! Ab

is exact. Every M e Modg-G admits a projective resolution and projective resolutions are unique up to chain homotopy.

Let M e Modg-G and N e G-Modg. By definition M »g N is the abelian group

X M(G/K) ®z N(G/K)^/~,

where ~ is the equivalence relation generated by

M(0)(m) » n ~ m » N(0)(n),

with 0 e mor(G/K, G/L) and m e M(G/L), n e N(G/K).

Let now Z denote the constant functor which assigns to each object the abelian group Z. Then, for example

Z »g N = X N(G/K)/~,

G/KeDF(G)

In this context, we have n ~ m if and only if n e N(G/L) and m = N(0)(n) for 0 e mor(Z, G/L). Hence

Z »g N = colimG/KSDF(G)N(G/K).

Now Tor; (—, N) is defined as the i -th left derived functor of the categorical tensor product functor — <g)g; N : Modg -G ! Ab, and the Bredon homology groups of G with coefficients in N e G -Modg are given by

HF(G; N) := Tor; (Z, N), i > 0,

where Z denotes the constant functor which assigns to each object the abelian group Z.

For example, one has

HF(G; N) = Z <g>F N = colimG/KeDF(G)N(G/K). (4.2)

Let X be a G -CW-complex such that all the G-stabilizers of X lie in F, and N e G -Modg; then one defines Bredon homology groups of X with coefficients in N as

HF(X; N) := H; (C«(X) »g N), i > 0,

Cj (X): Df(G) ! Ab

is defined by G/H ! Z[AH ], being the latter the free abelian group on the j -di-

mensional cells of X fixed by H. It can be shown ([28, Section 3]) that

c*(E F) ! Z

is a projective resolution and hence the functors Hp(EF; —) and Hp(G; —) are equivalent, where EF is the classifying space of G for the family F.

4.2 Bredon homology of groups in Gcct

From now on, we concentrate on the case F = Fin(G), the class of finite subgroups of G. Let Rc denote the covariant functor Dg(G) ! Ab which sends every left coset space G/H to the underlying abelian group of the complex representation ring RC (H). Recall that every G-map f: G/H ! G/K with f (H) = gK gives rise to a group homomorphism f0: H ! K, h ! g_1hg, which is unique up to conjugation in K. Since inner automorphisms act trivially on the complex representation ring, it follows that the functor Rc sends the map f to the homomorphism Rc (H) ! Rc (K) induced by f0.

The main goal of this section is the description of the Bredon homology with coefficients in the complex representation ring Rc for a group G in Gcct, and the reason of the choice of the category of coefficients comes from its role in the context of the Baum-Connes conjecture.

To undertake our problem, we first characterise the special shape of the orbit category Dg(G) of these groups. So, in the sequel G will be a group and {Ga}a2a will be a family of non-trivial cyclic subgroups of G that satisfy (C). For A e A, let F(A) := {K : K 6 GA°, the set of subgroups of GA.

By (C), the set F of finite subgroups of G is the union up to conjugation of the sets F(A), that is

F = {gK : A e A, {1} ^ KA 6 GA, g e G/GA} U {{1}}.

For A, ^ e A, a e G/GA, b e G/GM and {1} ^ K 6 GA, {1} ^ LM 6 GM, suppose that mor(G/aK^, G/bLM) ^ 0; then by (4.1) there is some g e G such that gaKAg_1 6 bLM and the uniqueness in condition (C) implies that A = Moreover, since Ga is cyclic, we have K 6 L by the structure of the subgroups of a cyclic group.

It is easy to show the converse, that is

mor(G/aKA,G/bLM) ^0 " A = ^ and KA 6 LM (4.3) and for the case of the trivial group we have

mor(G/{1},G/bLM) = G/bLM and mor(G/aKA,G/{1}) = 0. (4.4)

Hence, the only non-trivial morphisms in this orbit category are inclusions.

Now we are ready to compute the 0-th Bredon homology groups we are interested in. By (4.2)

Hf(G; Rc) = colimG/KeDF(G) RC (K). Hence, if A is non-empty, we have

Hf(G; Rc) = n (colimKe^.A/Rc(K)).

By (4.3) and (4.4) all the subgroups in F W are, up to conjugation, cyclic subgroups of the cyclic G^, and the morphisms are given by restriction of representations, we have

Hf(G; Rc) = n RC(Ga). AeA

In case A is empty, we have that Hf (G; RC) = RC ({1}) = Z. Now we deal with the higher homology groups. As seen before, a classifying space for proper actions E G can be used to compute Hf (G; Rc). For example, it is known that the virtually free groups are exactly the groups which admit a tree as a model of E G, and their Bredon homology with coefficients in the complex representation ring has been described by Mislin in [28, Theorem 3.17].

We denote by BG the orbit space (E G)/G, sometimes called "classifying space for G-proper bundles" (see [5, Appendix 3] for the motivation of the name). Note that an n -dimensional model for E G produces n -dimensional models for its orbit space. Moreover, we define dim(E G)sing to be the minimum of dim(Xsing) where X is a model for E G.

The following result relates the Bredon homology of E G and the ordinary homology of B G:

Lemma 4.1 ([28, Lemma 3.21]). Let G be an arbitrary group. Then there is a natural map

Hfin(E G; RC) ! Hi (BG; Z)

which is an isomorphism in dimension i > dim(E G)sing + 1 and injective in dimension i = dim(E G)sing + 1. □

Now we are ready to state the main result of this section.

Theorem 4.2. Let G be a group on the class Gcct and let {G^}^eA be the subgroups for which condition (C) holds. Then

(i) Hf (G; Rc) = Hi (BG; Z) for i > 2.

(ii) Hf(G; Rc) = (G/ Tor(G)) ab where Tor(G) denotes the subgroup of G generated by the torsion elements.

(iii) Hf(G; Rc ) = QUeA Rc (Ga) if A ^ 0, or Hfin(G; Rc ) = Z, if A = 0. Proof.Statement (i) follows from Lemma 4.1, since by Proposition 2.1

dim(E G)sing = 0.

Statement (iii) has been proved at the beginning of this section, so it only remains to prove (ii).

By Proposition 2.1, we have a model X of E G such that dim(E G)sing = 0. Moreover, following the construction of the proof of Proposition 2.1, we can assume that the vertex set of X is in bijection with G t {gG^ : A e A, g e G}. Hence, we get the following exact augmented cellular chain complex of ZG -modules:

----> 0 ZG ! 0 ZG ! ZG © (0 Z[G/GA]j ! Z ! 0

/2 /1 VeA '

where J is the number of free G -orbits of i -dimensional cells in X.

Also using the cellular structure of X, we have the following projective resolution of Z in Modgin-G:

----> C2(X) ! Ci(X) ! C0(X) ! Z ! 0

Ci (X): Dgin(G) ! Ab, Q (X)(G/H) = |Zg/. if H = {^

for i = 1,2,____For i = 0 we have

Co(X): Dgin (G) ! Ab, Co(X)(G/H) = Z [G/ GA] if H ^ {1} where G^ is the unique subgroup that contains a conjugate of H, and

Co(X)(G/{1°) = ZG © (0 Z[G/GA]

Let us write C for Ct (X) <g> g Rc and C* for the ordinary cellular chain complex C*(X/ G). Then we have

Co s Z © [0 Rc (GA)Y Co s Z © [0 Z VeA ' VeA

We have the diagram in Figure 2, where ^ = (Id, e) and

e: n Re (Ga) ! n Z

is the augmentation. Now we are ready to check the statements of the theorem. By [23, Proposition 3] (see also [4]), ^1(BG) = G/ Tor(G) . Hence,

Hi(BG; Z) s (G/ Tor(G))ab.

ker(^)

d2 di C2 -Ci -Co

ker(e) = nAsa Rc (Ga)

rW Rc (Ga)

d2 di epi

C2 —- Ci

Oasa Z

Figure 2. Comparing the two chain complexes.

By Lemma 4.1, the map

Hf(E G ; RC) ! H1(BG ; Z)

is injective. We have to show that it is surjective too.

The diagram shows that ker d1 = ker d1, thus ker d1 / Im d2 ! ker d1 / Im d2 is onto. □

Remark 4.3. The model for E G of [24, 4.11] is given by a G-pushout which involve EG and EGa for A e A, so a Mayer-Vietoris argument may give some extra information about the higher homology groups H; (BG; Z) appearing in Theorem 4.2 (i).

For the concrete families described above, we may give sharper statements:

Corollary 4.4. Let A and B be locally indicable groups and re A * B not conjugate to an element of A nor of B. Let G := (A * B)/(A*Br) and let Gr be the cyclic subgroup of G generated by the image of Then

(i) Hp(G; RC) = H; (A; Z) © H; (B; Z) for i > 2.

(ii) Hp(G; Rc) = H2(BG; Z).

(iii) Hp(G; Rc ) = (G/ Tor(G)) ab where Tor(G) denotes the subgroup of G generated by the torsion elements.

(iv) Hp (G; Rc ) = Rc (Gr) if Gr ^ {1}, or Hpin(G; Rc ) = Z if Gr = {1}.

Proof. By the discussion in Section 3.2, G and Gr are under the hypotheses of Theorem 4.2, and (ii), (iii) and (iv) follow directly. Statement (i) follows from the cellular chain complex of described in 3.2. □

Corollary 4.5. Let F be a free group and R be subset of F. Let G := F/ (p R) and for each r e R, let Gr be the cyclic subgroup of G generated by the image of ^fr. Suppose that

(FRl - M Z[G/G].

and let T(R) = {r e R : Gr 7 1°. Then

(i) Hf(G; Rc ) = 0 for i >2.

(ii) Hf(G; Rc) = H2(G; Z).

(iii) H?(G; Rc) = (G/ Tor(G)) ab where Tor(G) denotes the subgroup of G generated by the torsion elements.

(iv) Hf(G; Rc) = firer(R) Rc (Gr) if T(R) 7 0, or Hfn(G; Rc) = Z if T(R) = 0.

Proof. By the discussion in Section 3.1, G and {Gr}reT(R) are again under the hypothesis of Theorem 4.2 and we have a 2-dimensional model for E G so (i), (iii) and (iv) follow. It only remains to prove the statement (ii). From the theorem we know that

Hf(G; Rc ) = H2(BG; Z),

which, by the cellular chain complex (3.3) of C00 described in Section 3.1, is isomorphic to the kernel of the induced map (ZG|R| ! ZG|R|+|Xj) ®Z[G] Z.

The complex C0 described in Section 3.1 has cellular chain complex (3.2) and is homotopic to C00, hence H2(BG; Z) is isomorphic to the kernel of the induced map (0r2R Z[G/Gr] ! ZG|X|)®Z[G]Z, which is isomorphic to H2(G, Z). □

In the case of Hempel groups, we can be even more precise:

Theorem 4.6.Let G be a Hempel group with presentation (xi,... ,x£ || w,r), with k > 3, w e [xi, x2] (x3,..., x^) c (xi,..., x^ | ) = F and such that r is a Hempel relator for (xi,..., x^ || w). Let Gr := C p (r)/ (r) = ( Vr | r). Then

(i) Hpin(G; Rc ) = 0 for i >2.

(ii) Hfin(G; Rc) = H2(G; Z) = ((pr U pw) n [F, F])/[F, (pr U pw)]

(iii) Hfn(G;Rc) = ((xi,...,xfc | w, VT))ab.

(iv) HFin(G; Rc) = Rc (Gr) if G r {1} and Z in the other case.

Proof. By Theorem 3.10 we are in the hypothesis of Corollary 4.2. The last equality of (ii) is the classical Hopf identity. □

5 Relation with the Baum-Connes conjecture

Let H be an aspherical group. Beyond their intrinsic interest, the results obtained in the previous section show their relevance in the context of the Baum-Connes conjecture. More concretely, Corollary 4.5 will identify the equivariant version KH (E H) of the K-homology of E H , as defined by Davis-Luck in [12]. Given an arbitrary countable discrete group G, the K-groups KG (E G), which are defined via the non-connective topological K-theory spectrum, can be in turn identified with the Kasparov KK-groups KKG (E G), which are constructed as homotopy classes of G-equivariant elliptic operators over E G. These homotopical invariants are related with the topological algebraic K-groups Kitop(Ci*(G)) of the reduced C *-algebra of G, an object which is defined as the closure of a subalgebra of the Banach algebra B (12 (G)) of bounded operators over the space of square-summable complex functions over the group G, and whose nature is thus essentially analytic. Bott periodicity holds for both the homotopical and the analytical groups, and the relationship is given, for i = 0,1, by an index map

0: KKG (E G) ! Kitop(Ci*(G)).

The Baum-Connes conjecture (or BCC for short) asserts that this index map is an isomorphism for every second countable locally compact group G. Originally stated in its definitive shape by Baum-Connes-Higson in [5], its importance come mainly from two sources: first, it relates two objects of very different nature, being the analytical one particularly inaccessible; and moreover, it implies a number of famous conjectures, as for example Novikov's conjecture on the higher signatures, or the weak version of Hyman Bass' conjecture about the Hattori-Stallings trace; see [28, Section 7] for a good survey on this topic. The BCC has been verified for an important number of groups, and in particular for the groups in the class LHTH, which is defined by means of an analytical property (see [28, Section 5] for a detailed exposition). The class LHTH contains for example the soluble groups, finite groups and free groups; and as it also contains one-relator groups and it is closed under passing to subgroups and HNN-extensions, Theorem 3.10 implies that Hempel groups are in LHTH.

On the other hand, every one-relator group is also aspherical (see Theorem 3.6 above). However, it is unknown if BCC holds for the class of aspherical groups, so it is interesting to investigate the value of the K-groups in both sides of the conjecture for aspherical groups. The main goal of this paragraph is to show how the results in the previous section allow to compute the topological side of the conjecture. The key result here, owed to Mislin [28, Theorem 5.27], is in fact a collapsed version of an appropriate Atiyah-Hirzebruch spectral sequence.

Theorem 5.1. Let G be an arbitrary group such that dimE G < 2. Then there is a natural short exact sequence

0 ! Rc(G) ! Kp(EG) ! Hfin(G; RC),

and a natural isomorphism HFin(G; Rc) ' Kp (E G).

Now the description of the Kasparov aspherical groups comes straight from Corollary 4.5, and generalises Corollary 5.28 from [28]:

Proposition 5.2. Let G be an aspherical group. Then Kp (E G) fits in a short exact sequence

RC(G) ! Kp(EG) ! H2(G; Z) that splits, and moreover there is a natural isomorphism

(G/ Tor(G))ab ' Kp (E G).

In particular, BCC holds for Hempel groups, so we have also computed the analytical of the conjecture for these groups:

Proposition 5.3. Let G be a Hempel group with presentation (xi,..., x^ || w, r), with k > 3, w e [xi, x2] (x3,..., x^) C (xi,..., x^ | ) = F and such that r is a Hempel relator for (xi,..., x^ || w). Let Gr := C p (r)/(r) = ( Vr | r). Then

Kp(EG) ' Kitop(C;(G)) for i = 0, 1,

there is a split short exact sequence

Rc(G) ! Kp(E G) ! ((pr U pw) n [F, F])/[F, (pr U pw)]

and a natural isomorphism

((xi,...,xk | w, Vr))ab ' Kp (E G).

Proof. It is a consequence of Theorem 4.6. □

Acknowledgments. Part of this paper is based on the Ph.D. thesis of the first author at the Universitat Autonoma de Barcelona. The first author is grateful to Warren Dicks for his help during that period.

We are grateful to Ruben Sanchez-Garcia for many useful comments and observations, and also to Brita E. A. Nucinkis, Ian Leary, Giovanni Gandini and David Singerman for helpful conversations.

Bibliography

[1] J.M. Alonso, Quasi-projective and relative cohomological dimension of groups, Trans. Amer. Math. Soc. 325 (1991), no. 2, 715-739.

[2] Y. Antolin, W. Dicks and P. A. Linnell, Non-orientable surface-plus-one-relation groups, J. Algebra 326 (2011), 4-33.

[3] Y. Antolin, W. Dicks and P. A. Linnell, On the Local-indicability Cohen-Lyndon Theorem, Glasg. Math. J. 53 (2011), 637-656.

[4] M. A. Armstrong, On the fundamental group of an orbit space, Proc. Cambridge Philos. Soc. 61 (1965), 639-646.

[5] P. Baum, A. Connes and N. Higson, Classifying space for proper actions and K-the-ory of group C *-algebras, Contemp. Math. 167 (1994), 241-291.

[6] C. Béguin, H. Bettaieb and A. Valette, K-theory for C *-algebras of one-relator groups, K-Theory 16 (1999), 277-298.

[7] O. Bogopolski, A surface groups analogue of a theorem of Magnus, in: Geometric Methods in Group Theory, Contemporary Mathematics 372, American Mathematical Society, Providence, RI, (2005), 59-69.

[8] G. E. Bredon, Equivariant Cohomology Theories, Lecture Notes in Mathematics 34 Springer-Verlag, New York, 1967.

[9] K. S. Brown, Cohomology of Groups, Graduate Texts in Mathematics 87, SpringerVerlag, New York, 1982.

[10] I.M. Chiswell, D.J. Collins and J. Huebschmann, Aspherical group presentations, Math. Z. 178 (1981), 1-36.

[11] D.E. Cohen and R. C. Lyndon, Free bases for normal subgroups of free groups, Trans. Amer. Math. Soc. 108 (1963), 526-537.

[12] J. F. Davis and W. Luck, Spaces over a category and assembly maps in isomorphism conjectures in K- and L-theory, K-Theory 15 (1998), 201-252.

[13] W. Dicks and M. J. Dunwoody, Groups Acting on Graphs, Cambridge Studies in Advanced Mathematics 17, Cambridge University Press, Cambridge, 1989. Errata at: http://mat.uab.cat/~dicks/DDerr.html.

[14] A. Hatcher, Algebraic Topology, Cambridge University Press, Cambridge, 2002.

[15] H. Hempel, One-relator surface groups, Math. Proc. Cambridge Philos. Soc. 108 (1990), 467-474.

[16] J. Howie, Cohomology of one-relator products of locally indicable groups, J. Lond. Math. Soc. (2) 30 (1984), 419-430.

[17] J. Howie, Some results on one-relator surface groups, Bol. Soc. Mat. Mexicana (3) 10 (2004), Special Issue, 255-262. Erratum, ibid, 545-546.

[18] J. Howie and M. S. Saeed, Magnus subgroups of one-relator surface groups, J. Algebra 323 (2010), no. 7, 1860-1871.

[19] J. Howie and J. R. Schneebeli, Groups of finite quasi-projective dimension, Comment. Math. Helv. 54 (1979), 615-628

[20] D. Juan-Pineda and I. J. Leary, On classifying spaces for the family of virtually cyclic subgroups, in: Recent Developments in Algebraic Topology, Contemporary Mathematics 407, American Mathematical Society, Providence, RI, (2006), 135-145.

[21] G. G. Kasparov, Equivariant KK-theory and the Novikov conjecture, Invent. Math. 91 (1988), 147-201.

[22] P. H. Kropholler, Hierarchical decompositions, generalized Tate cohomology, and groups of type (FP)TC, in: Proceedings on the Edinburgh Conference in Geometric Group Theory, London Mathematical Society Lecture Notes 204, Cambridge University Press, Cambridge (1995), 190-216.

[23] I. J. Leary and B. E. A. Nucinkis, Every CW-complex is a classifying space for proper bundles, Topology 40 (2001), no. 3, 539-550.

[24] W. Luck, Survey on classifying spaces for families of subgroups, in: Infinite Groups: Geometric, Combinatorial and Dynamical Aspects, Progress in Mathematics 248, Birkhauser-Verlag, Basel (2005), 269-322.

[25] W. Luck and R. Stamm, Computations of K- and L-theory of cocompact planar groups, K-Theory 21 (2000) 249-292.

[26] R. Lyndon, Cohomology theory of groups with a single defining relation, Ann. of Math. (2) 52 (1950), 650-665.

[27] R. Lyndon and P. E. Schupp, Combinatorial Group Theory, Reprint of the 1977 edition, Classics in Mathematics, Springer-Verlag, Berlin, 2001.

[28] G. Mislin, Equivariant K-homology of the classifying space for proper actions, in: Proper Group Actions and the Baum-Connes Conjecture, Advanced Courses in Mathematics - CRM Barcelona, Birkhauser-Verlag, Basel, 2003.

Received July 18, 2011; revised September 28, 2011. Author information

Yago Antolín, School of Mathematics, University of Southampton, University Road, Southampton SO17 1BJ, UK. E-mail: y.antolin-pichel@soton.ac.uk

Ramón Flores, Departamento de Estadística, Universidad Carlos III, Avda. de la Universidad Carlos III, 22, 28270 Colmenarejo (Madrid), Spain. E-mail: rflores@est-econ.uc3m.es

Copyright of Forum Mathematicum is the property of De Gruyter and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use.