, , November 27, 2006

R = Z

, then we simply say that

G

has periodic cohomology. In this case A. Adem and J. Smith [1] proved that this condition is equivalent to the existence of a finite dimensional free-

G

-CW-complex homotopy equivalent to a sphere. If a group

G

has periodic cohomology then it has periodic cohomology over any commutative ring

R

with a unit. This definition of periodicity using the cup product differs from the general definiton of periodic cohomology of a group. Namely, a group

G

has periodic cohomology after

k

-steps if there exists an integer

q \geq 0

such that the functors

H^{i} (G, -)

and

H^{i + q} (G, -)

are naturally equivalent for all

i > k

. We will call this classical periodic cohomology. It is immediate that the cup product notion of periodic cohomology implies the classical periodic cohomology. It is a conjecture by O. Talelli that the two notions are the same. She has proved that the conjecture holds in the case of the

H ℱ

-groups introduced by P. Kropholler in [8]. This is the smallest class of groups which contains all finite groups and which contains all groups

G

, whenever

G

acts cellularly on a finite dimensional contractible CW-complex with all isotropy subgroups already in

H ℱ

This is a large class of groups. Among others, it contains all countable linear groups, all countable solvable groups and all groups with finite virtual cohomological dimension.

The following was conjectured by O. Talelli in [14], Conjecture III: Conjecture (O. Talelli). Every torsion-free discrete group

G

with classical periodic cohomology after some steps has finite cohomological dimension.

The Conjecture was shown to be true for the class of

H ℱ

-groups by Mislin and Talelli in [9]. In our paper we investigate a weaker condition, implied by cohomological periodicity, for a discrete group

G

Definition 1.2 A discrete group

G

has jump cohomology over

R

if there exists an integer

k \geq 0

, such that if

H

is any subgroup of

G

with

c d_{R} (H) < \infty

, then

c d_{R} (H) \leq k

. The bound

k

will be called the jump height over R. If

R = Z

then we say

G

has jump cohomology and a jump height k.

By naturality of the cup product it follows that if a group

G

has periodic cohomology over

R

, then

G

has jump cohomology over

R

. In section 2 we prove the following proposition which relates the geometric aspects of the notion to the jump cohomology.

Proposition 1.3. Let

G

be a discrete group acting freely and properly on an

e

dimensional CW-complex

E

homotopy equivalent to

S^{n}

and let

k = e - n

. If

H

is any subgroup of

G

with

c d (H) < \infty

(

h d (H) < \infty

), then

c d (H) \leq k

(respectively

h d (H) \leq k

In section 3 we investigate the classes of

H ℱ

-groups and solvable groups without

R

-torsion. We prove the following two theorems.

Theorem 1.4. Let

G

be a discrete group without

R

-torsion with jump cohomology of height

k

over

R

. If

G

is an

H ℱ

-group, then

c d_{R} (G) \leq k

In particular, any

H ℱ

-group

G

has jump cohomology of height

k

over

Q

if and only if

c d_{Q} (G) \leq k

Theorem 1.5. Let

G

be an

R

-torsion-free solvable group with jump cohomology of height

k

over

R

, where

R

is an integral domain. Then

G

has finite cohomological dimension over

R

and

G

has finite Hirsch rank. These theorems give affirmative answers for the case of

H ℱ

-groups and solvable groups to the conjecture we believe is a natural generalization of the conjecture by Talelli. Conjecture. For every discrete group

G

without

R

-torsion the following are equivalent.

(1) $G$ has jump cohomology of height $k$ over $R$ .
(2) $G$ has periodic cohomology over $R$ starting in dimension $k + 1$ .
(3) $c d_{R} (G) \leq k$

This conjecture in particular would imply Talelli's Conjecture. It also says that every groups with periodic cohomology over

Q

must have

c d_{Q} (G) < \infty

. Periodic or jump cohomology is a rather strong condition for the cohomology of

G

. In 3.7 we give the example of the Thompson group

F = 〈 x_{0}, x_{1}, x_{2}, . . . | x_{i}^{- 1} x_{n} x_{i} = x_{n + 1}

for all

i < n

and

n \in N 〉

, which is of type FP

_{\infty}

. It has periodic cohomology with integral coefficients and vanishing cohomology with

Z F

-module coefficients, but it does not have jump cohomology over any ring

R

, since it has an infinite rank abelian subgroup.

Next we apply Theorem 1.4 to obtain the following results, which may be of separate interest to the reader.

Corollary 1.6. If

G

has a non-countable, torsion-free, solvable subgroup, then G does not have periodic cohomology over

R

, where

R

is an integral domain. In particular,

G

cannot act freely and properly on a finite dimensional complex homotopy equivalent to a sphere.

Corollary 1.7. If

G

is a torsion-free solvable group which acts freely and properly on an

(n + 1)

-dimensional complex

E

homotopy equivalent to

S^{n}

, then

G

must be infinite cyclic or trivial.

Lastly, in section 4, we find an obstruction for a countable group acting on certain complexes to be free. We apply our Theorem 1.8 to a class of groups with periodic cohomology starting in dimension 2, obtaining Corollary 1.9. The statement of the Corollary also follows from [13], 3.4.

Theorem 1.8. Let

G

be a finitely generated torsion-free group that acts freely and properly on an

n

-dimensional CW-complex

X

such that the

G

-invariant submodule

(H_{n - 1} (X, R))^{G}

is not trivial. Then

G

is a free group if and only if Ext

_{R G}^{2} (R, H_{n} (X, R)) = 0

. Corollary 1.9. If

G

is a torsion-free countable group that acts freely and properly on an

(n + 1)

-dimensional complex homotopy equivalent to

S^{n}

, then

G

must be free.

2. Periodicity and Boundedness

Unless otherwise specified,

R

will denote any commutative ring with a unit.

A group

G

is said to be

R

-torsion-free if for every element

g \in G

such that

g^{n} = 1

, where

n

is a positive integer,

n \cdot 1

is an invertible element in

R

Definition 2.1. Cohomological dimension of a discrete group

G

over

R

, denoted

c d_{R} (G)

, is defined as

inf

{n :

Ext

_{R G}^{i} (R, -) = 0

for

i > n}

Virtual cohomological dimension of

G

over

R

, denoted

v c d_{R} (G)

, is the cohomological dimension of an

R

-torsion-free subgroup of

G

of finite index, if such a group exists.

Definition 2.2. A discrete group

G

has periodic cohomology over

R

if there is a cohomology class

α \in

Ext

_{R G}^{*} (R, R)

with

| α | > 0

and an integer

n \geq 0

such that the cup product map

α \cup - :

Ext

_{R G}^{i} (R, M) \to

Ext

_{R G}^{i + | α |} (R, M)

is an isomorphism for every

R G

-module

M

and every integer

i \geq n

. The smallest degree of such

α

will be the

p e r i o d

of the periodic cohomology of

G

, denoted

c p_{R} (G)

. If

R = Z

, we say that

G

has periodic cohomology with period

c p (G)

The above notion of periodicity was used by Adem and Smith in [1]. They prove the generalized Wall's conjecture [9] assuming that the periodicity is induced by the cup product with a cohomology class in

H^{*} (G, Z)

Theorem 2.3 (Adem-Smith). A discrete group

G

has periodic cohomology if and only if

G

acts freely and properly on a finite dimensional complex homotopy equivalent to a sphere.

Let us investigate a weaker cohomological condition, which arises naturally, when a group

G

has a periodic cohomology over a ring

R

Definition 2.4. A discrete group

G

has jump cohomology over

R

if there exists an integer

k \geq 0

, such that if

H

is any subgroup of

G

with

c d_{R} (H) < \infty

, then

c d_{R} (H) \leq k

. The bound

k

will be called the jump height over R. If

R = Z

then we simply say

G

has jump cohomology and a jump height k. This next proposition gives a more geometric meaning to the jump height when periodicity is assumed over the ring of integers.

Proposition 2.5. Let

G

be a discrete group acting freely and properly on an

e

dimensional CW-complex

E

homotopy equivalent to

S^{n}

and let

k = e - n

. If

H

is any subgroup of

G

with

c d (H) < \infty

(

h d (H) < \infty

), then

c d (H) \leq k

(respectively

h d (H) \leq k

Proof. We will show the proof of the proposition concerning cohomology.
The proof of the homological version is similar.
Suppose $H$ is a subgroup of $G$ with finite cohomological dimension $m$ over $R$ . We can assume that the induced action of $H$ on $H^{*} (E, Z)$ is trivial, otherwise we can pass to an index two subgroup of $H$ and use the Serre Theorem, [10]. There exists a free $Z H$ -module $F$ such that $H^{m} (H, F) \neq 0$ .
We get the following oriented spherical fibration:
$E ⟶ E \times_{H} E H \overset{π}{⟶} B H$
where $E \times_{H} E H$ is the Borel Construction and it is homotopy equivalent to $E / H$ . The Gysin exact sequence of cohomology associated to this fibration shows:
$H^{m + n} (H, F) \overset{π^{*}}{⟶} H^{m + n} (E / H, F) ⟶ H^{m} (H, F) ⟶ H^{m + n + 1} (H, F)$
Since $H^{m + n} (H, F) = H^{m + n + 1} (H, F) = 0$ the sequence shows that $H^{m + n} (E / H, F) \sim = H^{m} (H, F)$ . So $H^{m + n} (E / H, F) \neq 0$ . This implies $m + n \leq e$ and $m \leq k$ .
□

Remark. If there exist a finite dimensional free-

G

-CW-complex

E

homotopy equivalent to a sphere

S^{n}

, then

G

has a periodic cohomology over any ring

R

. For we can always pass to an index two subgroup of

G

, if necessary, so that we have a trivial action on

H^{*} (E, R) \sim = H o m (H_{*} (E, Z), R)

. Then, as in the proof of the proposition, the Gysin exact sequence of cohomology over

R

shows that the cup product with the Euler class of the spherical fibration induces an isomorphism in cohomology of

G

after dimension

k

, where

k

is the jump height over

R

This, together with Theorem 2.3, yields that, if a group

G

has periodic cohomology, then it has periodic cohomology over any ring

R

Now, suppose

G

has periodic cohomology over

R

starting in dimension

k + 1

. If

H

is any subgroup of

G

with finite cohomological dimension

h

over

R

, then by Shapiro's Lemma we have,

Ext

_{R H}^{k + 1} (R, M) \sim =

Ext

_{R G}^{k + 1} (R,

Coind

_{H}^{G} M) \overset{α^{h} \cup -}{⟶}

Ext

_{R G}^{k + h | α | + 1} (R,

Coind

_{H}^{G} M) \sim =

Ext

_{R H}^{k + h | α | + 1} (R, M) = 0

for any

R H

-module

M

. This establishes the following lemma.

Lemma 2.6. If a group

G

has periodic cohomology over

R

starting in dimension

k + 1

, then

G

has a jump cohomology of height

k

over

R

□ Therefore, among the three cohomological conditions stated in the conjecture, jump cohomology is the weakest. We use the Serre Theorem to generalize these conditions to the virtual notions.

Definition 2.7. We will say that a group

G

has virtual periodic cohomology over

R

if it contains a finite index subgroup with periodic cohomology over

R

. The period of the virtual periodic cohomology of

G

v c p_{R} (G) =

inf

{

period of

H |

| G : H | < \infty,

H

has periodic cohomology over R

}

Note that if

G

has periodic cohomology over

R

then

v c p_{R} (G) \leq c p_{R} (G)

. For example, if

G

is a finite group then

v c p_{R} (G) = 0

for any ring

R

. With these definitions, Proposition 2.4 can be generalized.

Corollary 2.8. Let

G

be a discrete group with virtual periodic cohomology over

R

. There exists an integer

k \geq 0

, such that if

H

is any subgroup of

G

with

v c d_{R} (H) < \infty

, then

v c d_{R} (H) \leq k

Proof. Let $G^{'}$ be a finite index subgroup of $G$ with periodic cohomology over $R$ . Let $H$ be a subgroup of $G$ with $v c d_{R} (H) < \infty$ . Let $H^{'}$ be a finite index subgroup of $H$ with $c d_{R} (H^{'}) < \infty$ . $| H : H^{'} \cap G^{'} | < \infty$ and $c d_{R} (H^{'}) \leq k$ , where $k$ is the jump height of $G^{'}$ over $R$ . Let $L = H^{'} \cap G^{'}$ . Then, by the Serre Theorem $c d_{R} (L) = c d_{R} (H^{'}) \leq k$ . Hence, $v c d_{R} (H) \leq k$ .
□

3. Special classes of Groups

The following class of groups was introduced by P. Kropholler in [8], p.

57-60. Our next theorem shows that they satisfy the conjecture stated in section 1.

Definition 3.1. Let

X

denote a class of groups. Define

H X

to be the smallest class of groups containing

X

with the property: if a group

G

acts cellularly on a finite dimensional contractible CW-complex with all isotropy subgroups in

H X

, then

G

is in

H X

In [8] many properties of these classes of groups, such as subgroup and extension closure, closure under countable direct unions and free product, were shown. The main interest to us is the hierarchical description of

H X

-groups defined by operations

H_{α}

for each ordinal

α

inductively:

H_{0} X = X

For each

β > 0

H_{β} X

is the class of groups

G

which act cellularly on a finite dimensional contractible CW-complex

X

such that for each cell

σ

X

the isotropy group

G_{σ}

is in

H_{α} X

for some

α < β

It is immediate that a group

G

is a

H X

-group if and only if there is an

α

such that

G

is in

H_{α} X

. Let

ℱ

denote the class of all finite groups.

We obtain the following result pertaining

H ℱ

-groups.

Theorem 3.2. Let

G

be a discrete group without

R

-torsion with jump cohomology of height

k

over

R

. If

G

is an

H ℱ

-group, then

c d_{R} (G) \leq k

In particular, any

H ℱ

-group

G

has jump cohomology of height

k

over

Q

if and only if

c d_{Q} (G) \leq k

First we need a lemma.

Lemma 3.3. If a discrete group

G

acts freely and cellularly on an

n

-dimensional contractible complex

X

, such that for any cell stabilizers of

X

c d_{R} (G_{σ}) \leq k

, then

c d_{R} (G) \leq k + n

Proof. By considering the double complex $H o m_{R G} (P_{*}, C_{R}^{*} (X, M))$ , where $P_{*}$ is a projective resolution of $R$ over $R G$ and $C_{R}^{*} (X, M)$ is the cellular cochain complex of $X$ with $R G$ -module coefficients $M$ (see for example [4] p. 164) we can derive the first-quadrant spectral sequence:
$E_{1}^{p, q} =$ Ext $_{R G}^{q} (R, C_{R}^{p} (X, M)) ⟹$ Ext $_{R G}^{p + q} (R, C_{R}^{*} (X, M))$
where Ext $_{R G}^{*} (R, C_{R}^{*} (X, M))$ is the cohomology of the total complex associated to the double complex.
For each $p$ -cell $σ$ of $X$ there exists a $G_{σ}$ -module $R_{σ}$ . This module is isomorphic to $R$ additively, and $G_{σ}$ acts on it through the orientation character. Let $M^{σ} = H o m_{R} (R_{σ}, M)$ . Let $X_{p}$ denote the collection of all the $p$ -cells and let $Σ_{p}$ be a set of representatives of all the $G$ -orbits in $X_{p}$ . We have the following decomposition:
$C_{R}^{p} (X, M) = H o m_{R} (C_{p}^{R} (X), M) = \oplus_{σ \in X_{p}} H o m_{R} (R_{σ}, M) =$ $\oplus_{σ \in Σ_{p}} H o m_{R} ($ Ind $_{G_{σ}}^{G} R_{σ}, M) = \oplus_{σ \in Σ_{p}}$ Coind $_{G_{σ}}^{G} M^{σ}$
Now, by Shapiro's lemma,
Ext $_{R G}^{q} (R, C_{R}^{p} (X, M)) \sim = \oplus_{σ \in Σ_{p}}$ Ext $_{R [G_{σ}]}^{q} (R, M^{σ})$ .
Since $X$ is contractible the two cochain complexes $C_{R}^{*} (X, M)$ and $C_{R}^{*} (p t ., M)$ are homotopy equivalent. Hence,
Ext $_{R G}^{*} (R, C_{R}^{*} (X, M) \sim =$ Ext $_{R G}^{*} (R, C_{R}^{*} (p t ., M)) =$ Ext $_{R G}^{*} (R, M)$ .
The spectral sequence then becomes:
$E_{1}^{p, q} = \oplus_{σ \in Σ_{p}}$ Ext $_{R [G_{σ}]}^{q} (R, M^{σ}) ⟹$ Ext $_{R G}^{p + q} (R, M)$
It follows that $E_{1}^{p, q} = 0$ if $p > n$ or $q > k$ . We can infer inductively for $i = 0, 1, 2, . . .$ that the differentials $d_{i}^{p, q} = 0$ and the terms of the spectral sequence $E_{i}^{p, q} = 0$ if $p > n$ or $q > k$ . Therefore, $E_{\infty}^{p, q} \sim = E_{1}^{p, q} = 0$ if $p > n$ or $q > k$ and Ext $_{R G}^{p + q} (R, M) = 0$ if $p > n$ and $q > k$ . Thus $c d_{R} (G) \leq n + k$ .
□

Proof of Theorem. We will show that $c d_{R} (G) \leq k$ by transfinite induction, using the hierarchical discription of $H ℱ$ -groups.
If $G$ is in $H_{0} ℱ = ℱ$ , then $G$ is a finite group. So, $c d_{R} (G) = 0$ .
Assume now that for a fixed $β$ , and all $α < β$ , $c d_{R} (H) \leq k$ for any subgroup $H$ of $G$ in $H_{α} ℱ$ . Suppose $G$ is an $H_{β} ℱ$ -group. By assumption there is a finite dimensional contractible $G$ -CW-complex $X$ such that for any cell $σ$ of $X$ the isotropy group $G_{σ}$ is an $H_{α} ℱ$ -group for some $α < β$ . So, by induction, $c d (G_{σ}) \leq k$ . Let $n$ be the dimension of $X$ . Now, by Lemma 3.3, $c d_{R} (G) \leq k + n$ . Hence, by hypothesis, $c d_{R} (G) \leq k$ .
□

Our next goal is to establish the conjecture for first nilpotent then solvable groups. For this we need to assume

R

is an integral domain.

Note that by the previous theorem this is true for countable

R

-torsion-free solvable groups, for they are

H ℱ

-groups, for arbitrary commutative rings

R

. So, our next theorem extends this fact to uncountable solvable groups when

R

is a domain. In fact, in this setting, if we also assume

G

is torsion-free, our results show that

G

cannot be uncountable. We denote by

F

the fraction field of

R

, so

F

is a field of an arbitrary characteristic.

Lemma 3.4. Let

1 = G_{0} \subset G_{1} \subset

...

\subset G_{n} = G

be an upper central series of

G

. If

G

is an

R

-torsion-free group, then so are the factor groups

G_{i} / G_{i - 1}

i = 1, . ., n

Proof. Recall that an upper central series for $G$ can be defined inductively by letting $G_{i}$ to be a normal subgroup of $G$ such that $G_{i} / G_{i - 1} \sim = Z (G / G_{i - 1})$ , where $Z (G / G_{i - 1})$ is the center of the quotient group $G / G_{i - 1}$ .
We will prove the lemma by induction. Suppose, for all $j \leq i$ , $G_{j} / G_{j - 1}$ are $R$ -torsion-free. We need to show that the same is true for the quotient group $G_{i + 1} / G_{i}$ . Suppose otherwise; that there exists an nontrivial element $\bar{x} \in G_{i + 1} / G_{i}$ such that ${\bar{x}}^{m} = 1$ and $m \cdot 1_{R}$ is not invertible in the ring $R$ . This implies that $x^{m} \in G_{i}$ and $x \in G_{i + 1} \ G_{i}$ .
Now for any element $g$ of $G$ , $[g, x]^{m} \equiv [g, x^{m}] \equiv 1$ mod $G_{i - 1}$ . Since $[g, x] \in G_{i}$ , the induction shows $[g, x] \in G_{i - 1}$ . So, in the quotient group $G / G_{i - 1}$ , $[\bar{g}, \bar{x}] = 1$ for all $\bar{g} \in G / G_{i - 1}$ . Therefore, by definition, $\bar{x} \in G_{i} / G_{i - 1}$ and $x \in G_{i}$ , a contradiction.
□

Proposition 3.5. Let

G

be a nilpotent group without

R

-torsion and with jump cohomology of height

k

over

R

. Then the Hirsch rank

h (G) < \infty

c d_{R} (G) \leq k

and Tor

_{h d_{R} (G)}^{R G} (R, F) \sim = F

, where

h d_{R} (G)

is the homological dimension of

G

over

R

Proof. Let $1 = G_{0} \subset G_{1} \subset$ ... $\subset G_{n} = G$ be a central series of $G$ with $R$ -torsion-free factor groups. We use induction on $n$ .
For $n = 0$ , $h d_{R} (G_{0}) = c d_{R} (G_{0}) = 0$ and Tor $_{0}^{R [G_{0}]} (R, F) = F^{ω_{0}}$ , where $F$ is the trivial $G$ -module and $F^{ω_{0}}$ is the trivial $G / G_{0}$ -module $F$ . Let us assume $h d_{R} (G_{i}) = h_{i}$ , $h (G_{i}) < \infty$ , $c d_{R} (G_{i}) \leq k$ and Tor $_{h_{i}}^{R G_{i}} (R, F) = F^{ω_{i}}$ , where $F^{ω_{i}}$ is the trivial $G / G_{i}$ -module $F$ . Let $A \subset G_{i + 1} / G_{i}$ and $A \sim = Z^{m}$ . Let $G_{i + 1}^{'} = φ^{- 1} (A)$ , where $φ : G_{i + 1} \to G_{i + 1} / G_{i}$ is the canonical quotient map. So there exists an extension, $1 \to G_{i} \to G_{i + 1}^{'} \to A \to 1$ .
By the Hochschild-Serre spectral sequence and the Maximal Principle,
Tor $_{m + h_{i}}^{R [G_{i + 1}^{'}]} (R, F) \sim =$ Tor $_{m}^{R A} (R,$ Tor $_{h_{i}}^{R [G_{i}]} (R, F)) \sim =$ Tor $_{m}^{R [G_{i + 1}^{'} / G_{i}]} (R, F^{ω_{i}})$
Since $G_{i + 1}^{'} / G_{i} \sim = Z^{m}$ ,
Tor $_{m}^{R [G_{i + 1}^{'} / G_{i}]} (R, F^{ω_{i}}) \sim = \land^{m} (G_{i + 1}^{'} / G_{i} \otimes F^{ω_{i}}) \sim = \land^{m} (Z^{m} \otimes F^{ω_{i}}) \sim = F$
where $\land^{*} (G_{i + 1}^{'} / G_{i} \otimes F^{ω_{i}})$ is the exterior algebra of the $F$ -vector space $G_{i + 1}^{'} / G_{i} \otimes F^{ω_{i}}$ . This shows Tor $_{m + h_{i}}^{R [G_{i + 1}^{'}]} (R, F) \neq 0$ . On the other hand by the Maximal Principle, $h d_{R} (G_{i + 1}^{'}) \leq m + h_{i}$ . Thus $h d_{R} (G_{i + 1}^{'}) = m + h_{i}$ .
Since $G_{i + 1}^{'}$ has finite cohomological dimension over $R$ and $h d_{R} (G_{i + 1}^{'}) \leq c d_{R} (G_{i + 1}^{'})$ , the hypothesis imply $m + h_{i} \leq k$ , showing $m \leq k$ . This proves that $G_{i + 1} / G_{i}$ is a finite rank abelian group. Thus, $G_{i + 1}$ has finite Hirsch rank, and since $G_{i + 1} / G_{i}$ is an $R$ -torsion-free abelian group, $G_{i + 1} / G_{i}$ has finite cohomological dimension over $R$ . So, again by the Maximal Principal, we have $c d_{R} (G_{i + 1}) < \infty$ , hence $c d_{R} (G_{i + 1}) \leq k$ . Let $m = h d (G_{i + 1} / G_{i})$ . Again by the Hochschild-Serre spectral sequence
Tor $_{m + h_{i}}^{R [G_{i + 1}]} (R, F) \sim =$ Tor $_{m}^{R [G_{i + 1} / G_{i}]} (R,$ Tor $_{h_{i}}^{R [G_{i}]} (R, F)) \sim =$ Tor $_{m}^{R [G_{i + 1} / G_{i}]} (R, F^{ω_{i}}) \sim = \land^{m} (G_{i + 1} / G_{i} \otimes F^{ω_{i}})$
The last isomorphism follows from the fact that $G_{i + 1} / G_{i}$ is an $R$ -torsion-free abelian group and $F^{ω_{i}}$ has trivial $G_{i + 1} / G_{i}$ action. Also, since $G_{i + 1} / G_{i}$ is central in $G / G_{i}$ , the induced action of $G / G_{i + 1}$ on $\land^{m} (G_{i + 1} / G_{i} \otimes F^{ω_{i}})$ is trivial. So the module $\land^{m} (G_{i + 1} / G_{i} \otimes F^{ω_{i}})$ is $F^{ω_{i + 1}}$ . This completes the induction.
□

Theorem 3.6. Let

G

be an R-torsion-free, solvable group with jump cohomology of height

k

over

R

, where

R

is an integral domain. Then

c d_{R} (G) \leq k

and

G

has finite Hirsch rank.

Proof. By Proposition 3.5 all abelian subgroups of $G$ have finite rank.
So by [3], p. 105, $G$ has a unique maximal nilpotent normal subgroup $N$ (the Hirsch-Plotkin-radical) such that $G / N$ contains a finitely generated free abelian group $A$ of finite index, $1 \to N \to G \overset{φ}{\to} G / N \to 1$ .
Since, by Proposition 3.5 $h (N) < \infty$ , this immediately implies that $h (G) < \infty$ .
Since $A$ is a finitely generated free group it is isomorphic to $Z^{m}$ for some positive integer $m$ . Let $G^{'} = φ^{- 1} (A)$ . Since $A$ is a finite index subgroup of $G / N$ , $G^{'}$ is a finite index subgroup of $G$ . By the Serre Theorem, $c d_{R} (G^{'}) = c d_{R} (G)$ . By Proposition 3.4, $c d_{R} (N) = n < \infty$ .
So the Maximal Principal applied to the extension $1 \to N \to G^{'} \to Z^{m} \to 1$ shows $c d_{R} (G^{'}) \leq n + m$ .
□

Example 3.7. Let

F

denote the Thompson group defined by the presentation

〈 x_{0}, x_{1}, x_{2}, . . . | x_{i}^{- 1} x_{n} x_{i} = x_{n + 1}

for all

i < n

and

n \in N 〉

This group is finitely presented for it also has the presentation

〈 x_{0}, x_{1} | x_{2}^{x_{0}} = x_{3}, x_{3}^{x_{1}} = x_{4} 〉

Brown and Goeghegan [5] showed that it is also of type FP

_{\infty}

, i.e.

it has a projective

Z G

-resolution of

Z

, where each module is finitely generated. They also show

H_{n} (F, Z) = Z \oplus Z

for

n \geq 1

and

H^{n} (F, Z F) = 0

for all

n

. This may suggest that this group has a periodic cohomology over some ring. But, in fact,

F

cannot have periodic or jump cohomology over any

R

, since it has an infinite rank abelian subgroup

Z^{\infty}

. Namely,

〈 x_{0} x_{1}^{- 1}, x_{2} x_{3}^{- 1}, x_{4} x_{5}^{- 1}, . . . 〉 \subseteq F

. This reinstates our belief that periodicity and jumps are rather special conditions on the cohomology of a discrete group, since countable groups containing the Thompson group are the only class of groups, known to us, not to be

H ℱ

Corollary 3.8. If

G

has a non-countable, torsion-free, solvable subgroup, then G does not have periodic cohomology over

R

, where

R

is an integral domain. In particular,

G

cannot act freely and properly on a finite dimensional complex homotopy equivalent to a sphere.

Proof. Let $H$ be a non-countable, torsion-free, solvable subgroup of $G$ .
By [3], Lemma 7.9, p. 100, $H$ has infinite Hirsch rank. So by Theorem 3.6 $H$ cannot have periodic cohomology over $R$ . Specifically, $G$ does not have periodic cohomology, therefore cannot act freely and properly on a finite dimensional complex homotopy equivalent to a sphere.
□

Corollary 3.9. If

G

is a torsion-free solvable group that acts freely and properly on an

(n + 1)

-dimensional complex

E

homotopy equivalent to

S^{n}

, then

G

must be infinite cyclic or trivial.

Proof. By Proposition 2.4, it follows that any subgroup $H$ of $G$ with finite cohomological dimension must have $c d (H) \leq$ dim $(E) - n = 1$ .
But, by Theorem 3.6 $c d (G) < \infty$ . Therefore $c d (G) \leq 1$ . Now Theorem of Stallings and Swan [12, Theorem A] says that $G$ is a free group. The infinite cyclic group is the only nontrivial solvable free group.
□

Corollary 3.10. Let

G

be a virtually

R

-torsion-free, virtually solvable group with virtually periodic cohomology over an integral domain

R

Then

G

has finite virtual cohomological dimension over

R

□

4. Free and Proper Actions

This next results apply only to countable torsion-free groups. We find an obstruction for a group to be free in a specific setting. It would be interesting to know whether the following theorem holds for not necessarily countable groups and what implications there are when the obstruction does not vanish.

Theorem 4.1. Let

G

be a finitely generated torsion-free group that acts freely and properly on an

n

-dimensional CW-complex

X

such that the

G

-invariant submodule

(H_{n - 1} (X, R))^{G}

is not trivial. Then

G

is a free group if and only if Ext

_{R G}^{2} (R, H_{n} (X, R)) = 0

Proof. If $G$ is a free group then $c d_{R} (G) \leq 1$ , so Ext $_{R G}^{2} (R, H_{n} (X, R))$ must be trivial.
Conversely, suppose Ext $_{R G}^{2} (R, H_{n} (X, R)) = 0$ . Let $(C_{*} (X), d_{*})$ be the chain complex of $X$ , where $C_{i} (X)$ is the free $R$ -module generated by the $i$ -cells of $X$ . We proceed by induction on the number of generators of $G$ with the case of $G$ having exactly one generator understood.
There exists an exact sequence of $Z G$ -modules,
$0 \to d_{n} (C_{n} (X)) \to$ ker $(d_{n - 1}) \to H_{n - 1} (X, R) \to 0$
and an associated long exact sequence,
Ext $_{R G}^{0} (R,$ ker $(d_{n - 1})) \to$ Ext $_{R G}^{0} (R, H_{n - 1} (X, R)) \to$ Ext $_{R G}^{1} (R, d_{n} (C_{n} (X))) \to$ Ext $_{R G}^{1} (R,$ ker $(d_{n - 1}))$
The first term of the long exact sequence is the $G$ -invariant submodule (ker $(d_{n - 1}))^{G}$ . This module is trivial, for it is a submodule of the $G$ -invariant submodule $(C_{n - 1} (X))^{G}$ . But $G$ is infinite and $C_{n - 1} (X)$ is a free $R G$ -module, hence $(C_{n - 1} (X))^{G} = 0$ . Thus the second term, the $G$ -invariant submodule $(H_{n - 1} (X, R))^{G}$ , of the long exact sequence injects into Ext $_{R G}^{1} (R, d_{n} (C_{n} (X)))$ . This shows that Ext $_{R G}^{1} (R, d_{n} (C_{n} (X))) \neq 0$ .
On the other hand there exists an exact sequence of $R G$ -modules,
$0 \to H_{n} (X, R) \to C_{n} (X) \to d_{n} (C_{n} (X)) \to 0$
The long exact sequence associated to this gives,
Ext $_{R G}^{1} (R, H_{n} (X, R)) \to$ Ext $_{R G}^{1} (R, C_{n} (X)) \to$ Ext $_{R G}^{1} (R, d_{n} (C_{n} (X))) \to$ Ext $_{R G}^{2} (R, H_{n} (X, R))$
According to our assumption Ext $_{R G}^{2} (R, H_{n} (X, R)) = 0$ , so the term Ext $_{R G}^{1} (R, C_{n} (X))$ surjects onto the module Ext $_{R G}^{1} (R, d_{n} (C_{n} (X)))$ , which is nontrivial. Therefore Ext $_{R G}^{1} (R, C_{n} (X)) \neq 0$ . Now since $G$ is finitely generated and $C_{n} (X)$ is a free $R G$ -module, we must have Ext $_{R G}^{1} (R, R G) \neq 0$ . So by [6] $G$ must split as a nontrivial free product of groups.
Suppose then $G = H * K$ where $H, K \neq G$ . Since,
Ext $_{R G}^{2} (R, M) =$ Ext $_{R H}^{2} (R, M) \oplus$ Ext $_{R K}^{2} (R, M)$
for any $R G$ -module $M$ , it follows then
Ext $_{R H}^{2} (R, H_{n} (X, R)) =$ Ext $_{R K}^{2} (R, H_{n} (X, R)) = 0$ .
Also by Grusko's Theorem [6] there exist a fewer number of generators for each of the groups $H$ and $K$ than the number of generators of $G$ .
So we can apply induction on these subgroups to show that they are free.
□

Corollary 4.2. If

G

is a torsion-free countable group that acts freely and properly on an

(n + 1)

-dimensional complex

X

homotopy equivalent to

S^{n}

, then

G

must be free.

Proof. First, let us assume $G$ is finitely generated. $H_{n} (X) = Z$ . If the induced action of $G$ on $H_{n} (X)$ is nontrivial then $G$ must contain an index two subgroup $H$ which acts trivially on $H_{n} (X)$ . Thus, there always exists such $H \subseteq G$ acting trivially ,with $[G : H] \leq 2$ . Also, since $H_{n + 1} (X) = 0$ , $H^{2} (H, H_{n + 1} (X)) = 0$ . By Theorem 4.1 it follows that $H$ is free. Since $H$ is a finite index subgroup, $G$ must be free.
In general, since $G$ is a countable group, it is a countable union of an ascending chain of finitely generated subgroups. By the Theorem of Berstein, [7] p. 132, we have $c d (G) \leq 2$ . Since $G$ acts on an $(n + 1)$ -dimensional complex homotopy equivalent to $S^{n}$ , by Proposition 2.5, $c d (G) \leq 1$ . Therefore it is free.
□

References

[1] A. Adem and J. Smith, Periodic complexes and group actions.

Annals of Math. (2) (154) (2001).

[2] R.C. Alperin and P.B. Shalen, Linear groups of finite cohomological dimension, Invent. Math. 66 (1982) 89-98.

[3] R. Bieri, Homological Dimension of Discrete Groups, Queen Mary College, London, UK, 1981.

[4] K. Brown, Cohomology of Groups, Graduate Text in Math. 87, Springer-Verlag, New York (1982).

[5] K. Brown and R. Geoghegan, An infinite-dimensional torsion-free FP

_{\infty}

group, Invent. Math. 77 (1984) 367-381.

[6] D. Cohen, Groups of Cohomological Dimension One, Lecture Notes in Mathematics, 245. Berlin Heidelberg New-York, Springer-Verlag (1972). [7] K. Gruenberg, Cohomological Topics in Group Theory, Lecture Notes in Mathematics, 143. Berlin Heidelberg New-York, Springer-Verlag (1970).

[8] P. Kropholler, On groups of type FP

_{\infty}

, J. Pure. Appl. Algebra 90(1993), 55-67.

[9] G. Mislin and O. Talelli, On groups which act freely and properly on finite dimensional homotopy spheres GAMA Proc. LMS 275(2000).

[10] J.-P. Serre, Cohomologie des groupes discretes. Annals of Math. Studies 70 , Princeton (1971).

[11] Stallings, On torsion free groups with infinitely many ends. Annals of Math 88(1968), 312-334.

[12] R. G. Swan, Groups of Cohomological Dimension One, J. Algebra 12 (1969), 585-601.

[13] O. Talelli , On Groups with Periodic Cohomology after 1-step, J. Pure. Appl Algebra 30(1983), 85-93.

[14] O. Talelli , Periodicity in Group Cohomology and Complete Resolutions, to appear in Bull. of LMS. ?? (????).

E-mail address : petrosya@math.wisc.edu

November 27, 2006

Nansen Petrosyan