arXiv:1704.07164v2 [math.GR] 29 Jan 2018

THE L2 -TORSION POLYTOPE OF AMENABLE GROUPS
FLORIAN FUNKE
Abstract. We introduce the notion of groups of polytope class and show
that torsion-free amenable groups satisfying the Atiyah Conjecture possess this
property. A direct consequence is the homotopy invariance of the L2 -torsion
polytope among G-CW-complexes for these groups. As another application we
prove that the L2 -torsion polytope of an amenable group vanishes provided
that it contains a non-abelian elementary amenable normal subgroup.

1. Introduction
In the context of L2 -invariants and related fields, infinite amenable groups stand
out as a class of groups satisfying strong vanishing results. An infinite amenable
has
• vanishing L2 -Betti numbers, see [Lüc02, Corollary 6.75], or [Lüc02, Theorem 7.2 (1) and (2)] for a strengthening of this statement;
• vanishing L2 -torsion (provided that G is of type F ), see [LT14, Theorem
1.3];
• vanishing rank gradient and vanishing K-homology gradients with respect
to a normal chain with trivial intersection (provided that G is finitely generated), see [AN12, Theorem 3];
• vanishing rank gradient and vanishing K-homology gradients with respect
to any chain (provided that G is finitely presented), see [AJZN11, Theorem
1];
• fixed price 1 in the theory of cost of groups, see [OW80, Theorem 6] combined with [Gab00, Théorème 3].
• vanishing simplicial volume (provided that G is the fundamental group of
a closed connected orientable manifold), see [Gro83, Section 3.1, Corollary
(C)].
Recall that a group is of type F if it admits a finite classifying space. For the
present paper the following result due to Wegner [Weg00, Theorem 5.4.5] deserves
special attention. A group G of type F which is of det ≥ 1-class (i.e., the FugledeKadison determinant satisfies detN (G) (A) ≥ 1 for all matrices A ∈ Mm,n (ZG), see
[Lüc02, Definition 3.112 and Conjecture 13.2]) and contains a non-trivial elementary
amenable normal subgroup has vanishing L2 -torsion ρ(2) (G) = ρ(2) (EG; N (G)) = 0.
In particular, the L2 -torsion of any elementary amenable group of type F vanishes.
This result was later slightly generalized [Weg09, Theorem 1].
In [FL16a, FL16b] Friedl-Lück construct a new invariant P (X; G) called
L2 -torsion polytope of a G-CW-complex X (satisfying a number of assumptions,
see Section 2.5), which shares many features with the L2 -torsion ρ(2) (X; N (G)).
It takes values in an integral polytope group PT (H1 (G)f ), which is defined as the
Grothendieck group of integral polytopes in H1 (G)f ⊗Z R up to translation. Here
1

2

FLORIAN FUNKE

H1 (G)f denotes the free part of the first integral homology H1 (G) of G. Provided
that G is an L2 -acyclic group of type F with vanishing Whitehead group, one can
define the L2 -torsion polytope of G as P (G) = P (EG; G). In the spirit of the list
above, Friedl-Lück-Tillmann propose the following conjecture [FLT16, Conjecture
6.4].
Conjecture 1.1 (Vanishing of the L2 -torsion polytope of amenable groups). Let
G 6= Z be an amenable group satisfying the Atiyah Conjecture. Suppose that G is
of type F and that Wh(G) = 0. Then we have for the L2 -torsion polytope
P (G) = 0.
In comparison with the original formulation, we replaced not virtually Z with
not isomorphic to Z since any torsion-free virtually Z group is in fact isomorphic
to Z. Since P (Z) ∈ PT (Z) ∼
= Z is the negative of an interval of length one, infinite
cyclic groups need to be excluded from the statement of the conjecture.
This paper is dedicated to partial solutions of Conjecture 1.1. By means of the
polytope homomorphism that is essential in the definition of the L2 -torsion polytope, we introduce the notion of groups of P ≥ 0-class and the even stronger property of polytope class. These notions are polytope analogues of the aforementioned
det ≥ 1-class. For groups of P ≥ 0-class, the L2 -torsion polytope is a homotopy
invariant of free finite L2 -acyclic G-CW-complexes. There is a prominent class of
groups possessing this property as shown by the first result.
Theorem 4.1 (Polytope class and amenability). Let G be a torsion-free amenable
group satisfying the Atiyah Conjecture such that H1 (G)f is finitely generated. Then
G is of polytope class.
In order to apply this result to the L2 -torsion polytope, we then adapt Wegner’s
strategy for proving the vanishing results for L2 -torsion [Weg00, Weg09] and obtain
the following partial solution to Conjecture 1.1.
Theorem 5.3 (Vanishing L2 -torsion polytope). Let G be a group of type F which
is of P ≥ 0-class. Suppose that G contains a non-abelian elementary amenable
normal subgroup. Then G is L2 -acyclic and we have
P (G) = 0.
In particular, the L2 -torsion polytope of an elementary amenable group of type F
vanishes.
Beyond elementary amenable groups, we provide at least some evidence for Conjecture 1.1. The seminorm homomorphism N will be introduced in Definition 6.1.
Proposition 6.3. Let G 6= Z be an amenable group of type F satisfying the
Atiyah Conjecture. Then P (G) lies in the kernel of the seminorm homomorphism N : PT (H1 (G)f ) → Map(H 1 (G; R), R) and there is a polytope P such that in
PT (H1 (G)f ) we have
P (G) = P − ∗P.

THE L2 -TORSION POLYTOPE OF AMENABLE GROUPS

3

Acknowledgments. The author was supported by the Max Planck Institute for
Mathematics in Bonn and the Deutsche Telekom Stiftung. We are grateful to
Stefan Friedl, Fabian Henneke, Dawid Kielak, and Wolfgang Lück for many fruitful
discussions and to the organizers of the New directions in L2 -invariants workshop
at the Hausdorff Institute for Mathematics in Bonn, where some of the ideas for
this article were born.
Contents
1. Introduction
Acknowledgments
2. Background on the L2 -torsion polytope
2.1. The Atiyah Conjecture and D(G)
2.2. Weak K1 -groups and universal L2 -torsion
2.3. Integral polytope groups
2.4. The polytope homomorphism
2.5. The L2 -torsion polytope
3. Groups of P ≥ 0-class
4. Polytope class and amenability
5. Polytope class and the L2 -torsion polytope
6. Evidence for non-elementary amenable groups
References

1
3
3
3
5
6
7
8
9
10
14
17
19

2. Background on the L2 -torsion polytope
2.1. The Atiyah Conjecture and D(G). The construction and our analysis of
the L2 -torsion polytope requires some knowledge about the Atiyah Conjecture. If
R is a ring and A ∈ Mm,n (R) is a matrix, then we let throughout rA : Rm → Rn
denote the R-homomorphism (of left R-modules) given by right multiplication with
A.
Conjecture 2.1 (Atiyah Conjecture). A torsion-free group G satisfies the Atiyah
Conjecture (with rational coefficients) if for any matrix A ∈ Mm,n (QG) we have

dimN (G) ker(rA : N (G)m → N (G)n ) ∈ Z.

Here N (G) is the group von Neumann algebra of G and dimN (G) denotes the
dimension function on N (G)-modules, see [Lüc02, Definition 1.1 and Definition
6.20]. For a survey on the status of the Atiyah Conjecture we refer to [FL16a,
Theorem 3.2]. In order to explain its relevance in our context we need the following
objects.
Definition 2.2 (U(G) and D(G)). Let U(G) denote the algebra of operators affiliated to N (G), see [Lüc02, Chapter 8]. Algebraically, this is the Ore localization of
N (G) with respect to the set of weak isomorphisms, see [Lüc02, Theorem 8.22 (1)].
Let D(G) be the smallest subring of U(G) which contains QG and is division
closed, meaning that every element of D(G) which is a unit in U(G) is already a
unit in D(G).

4

FLORIAN FUNKE

Thus we obtain a rectangle of inclusions
QG

// N (G)


D(G)


// U(G),

and using these rings we recall the following result.
Proposition 2.3. A torsion-free group G satisfies the Atiyah Conjecture if and
only if D(G) is a skew-field.
Proof. See [Lüc02, Lemma 10.39].



The next well-known lemma is the central reason why the L2 -torsion polytope
is tractable for amenable groups.
Lemma 2.4 (D(G) of amenable groups). Any torsion-free elementary amenable
group satisfies the Atiyah Conjecture.
Moreover, if G is a torsion-free amenable group satisfying the Atiyah Conjecture,
then QG satisfies the Ore condition with respect to T = QG r {0} and there is an
isomorphism D(G) ∼
= T −1 QG. In particular, D(G) is flat over QG.
Proof. The first part follows from [Lin06, Theorem 2.3], see also [KLM88, Theorem
1.2]. It is proved in [Lüc02, Example 8.16 and Lemma 10.15] that QG satisfies
the Ore condition with respect to T . Recalling the notion of division closure, it
is then easy to see that the inclusion QG → D(G) localizes to an isomorphism
∼
=
T −1 QG −→ D(G).

p

If R is a ring and 0 → K → G −→ Q → 0 is a group extension, then any choice
of (set-theoretic) section s : Q → G for p induces an isomorphism
(2.1)

RG ∼
= (RK) ∗ Q.

Here the right-hand side denotes a crossed product ring of Q with coefficients in
RK. We refer to [Lüc02, Section 10.3.2] for a survey on crossed product rings and
[Lüc02, Example 10.53] for the details of the above statement. Here and henceforth
we suppress the structure maps of crossed product rings from the notation. It will
play an important role for us that D(G) shares similar structural properties. More
precisely, we have
Lemma 2.5 (D(G) and extensions). Let G be a torsion-free group satisfying the
p
Atiyah Conjecture. Let 0 → K → G −→ H → 0 be a group extension such that
H is finitely generated free-abelian. Then K satisfies the Atiyah Conjecture and
any choice of (set-theoretic) section s : H → G for p determines a crossed product
ring D(K) ∗ H together with an inclusion D(K) ∗ H ⊆ D(G) which restricts to
the isomorphism (QK) ∗ H ∼
= QG of (2.1). Moreover, D(K) ∗ H satisfies the
Ore condition with respect to T = (D(K) ∗ H) r {0}, and the inclusion induces a
D(K)-isomorphism
(2.2)

T −1 (D(K) ∗ H) ∼
= D(G).

THE L2 -TORSION POLYTOPE OF AMENABLE GROUPS

5

If H is infinite cyclic, then D(K) ∗ H is isomorphic to the ring D(K)t [u± ] of
twisted Laurent polynomials, where the twisting t depends on s.
Proof. See [FL16a, Theorem 3.6 (3)] and [Lüc02, Example 10.54], where also twisted
Laurent polynomial rings are treated in detail.

2.2. Weak K1 -groups and universal L2 -torsion. Let G be a torsion-free group
satisfying the Atiyah Conjecture. Define the weak K1 -group K1w (ZG) as the abelian
group whose generators [f ] are ZG-maps f : ZGn → ZGn that become invertible
over D(G), subject to the following relations: If f, g : ZGn → ZGn are two such
ZG-maps, then require
[g ◦ f ] = [f ] + [g].
If f : ZGm → ZGm , g : ZGn → ZGn , h : ZGn → ZGm are ZG-maps such that f
and g become invertible over D(G), then we require the relation


f h
= [f ] + [g].
0 g
This definition coincides with [FL16b, Definition 1.1] since f : ZGn → ZGn
becomes invertible over D(G) if and only if f induces a weak isomorphism L2 (G)n →
L2 (G)n . This follows from [FL16b, Lemma 1.21] and [Lüc02, Lemma 10.39].
We define the reduced weak K1 -group and the weak Whitehead group as the
quotients
e 1w (ZG) = K1w (ZG)/{[±id : ZG → ZG]};
K

Whw (G) = K1w (ZG)/{[r±g : ZG → ZG] | g ∈ G}.
There are obvious maps

e 1 (ZG) → K
e 1w (ZG) → K
e 1 (D(G));
K

Wh(G) → Whw (G) → K1 (D(G))/{[±g] | g ∈ G}.
Recall that for any associative unital ring R an R-chain complex C∗ is finite if
each chain module is finitely generated and only finitely many chain modules are
non-trivial. It is based free if each chain module is a free R-module and equipped
with an equivalence class of R-basis, where two R bases B, B ′ are equivalent if there
exists a bijection σ : B → B ′ such that σ(b) = ±b for all b ∈ B. It is contractible if
there is a chain homotopy idC∗ ≃ 0. If C∗ is a based free finite contractible R-chain
e 1 (R). Likewise we
complex, then we denote its Reidemeister torsion by τ (C∗ ) ∈ K
denote the Whitehead torsion of a G-homotopy equivalence f : X → Y of finite free
G-CW-complexes by τ (f ) ∈ Wh(G).
A ZG-chain complex is L2 -acyclic if all L2 -Betti numbers
b(2)
n (C∗ ; N (G)) = dimN (G) Hn (N (G) ⊗ZG C∗ )
vanish. For any based free finite L2 -acyclic ZG-chain complex C∗ Friedl-Lück construct a universal L2 -torsion
ew
ρ(2)
u (C∗ ; N (G)) ∈ K1 (ZG).

Its construction is an adaption of the Reidemeister and Whitehead torsion to
the L2 -setting. By [FL16b, Remark 1.16] the universal L2 -torsion deserves its

6

FLORIAN FUNKE

name in the sense that it encapsulates all other L2 -torsion invariants, including the (classical) L2 -torsion ρ(2) (C∗ ; N (G)) ∈ R, twisted L2 -torsion functions
[DFL16, DFL15a, DFL15b] and twisted L2 -Euler characteristics [FL16a].
If X is a finite free L2 -acyclic G-CW-complex, then applying this to the cellular
ZG-chain complex C∗ (X) produces the universal L2 -torsion of X
w
ρ(2)
u (X; N (G)) ∈ Wh (G).

Its main properties are collected in [FL16b, Theorem 2.5]. We point out two of its
properties that we need in this paper.
First, given a G-homotopy equivalence f : X → Y between finite free L2 -acyclic
G-CW-complexes, then
(2.3)

(2)
ρ(2)
u (Y ; N (G)) − ρu (X; N (G)) = ζ(τ (f )).

where ζ : Wh(G) → Whw (G) is the obvious homomorphism.
We include the second statement here for future reference as a small lemma.
Lemma 2.6. Let C∗ be a finite based free L2 -acyclic ZG-chain complex. Then
D(G) ⊗ZG C∗ is a contractible D(G)-chain complex, and the canonical homomore 1w (ZG) → K
e 1 (D(G)) satisfies
phism i : K

(2.4)
i ρ(2)
u (C∗ ; N (G)) = τ (D(G) ⊗ZG C∗ ).

Proof. The chain complex D(G) ⊗ZG C∗ is contractible by [FL16b, Lemma 1.21].
Let R be any associative unital ring and E∗ a finite based free contractible Rchain complex. If u∗ : E∗ → E∗ is a chain isomorphism and γ∗ : u∗ ≃ 0∗ is a chain
homotopy such that γn ◦ un = un+1 ◦ γn , then we have an equality
(2.5)

e 1 (R).
τ (E∗ ) = [(uc + γ)odd ] − [uodd ] ∈ K

This follows in exactly the same way as the argument leading to [FL16b, Equation
(1.8)]. Now the desired equation (2.4) follows from this by comparing (2.5) with
the definition of universal L2 -torsion [FL16b, Definition 1.7].

2.3. Integral polytope groups. Let H be a finitely generated free-abelian group.
An integral polytope in VH = H ⊗Z R is the convex hull of finitely many points in
H, considered as a lattice in VH . The Minkowski sum of two integral polytopes P
and Q in VH is defined by pointwise addition, i.e.,
P + Q = {p + q ∈ VH | p ∈ P, q ∈ Q}.
Denote by P(H) the commutative monoid of all integral polytopes in VH with
the Minkowski sum as addition. It is cancellative, see e.g. [Sch93, Lemma 3.1.8].
Define the integral polytope group P(H) to be the Grothendieck group associated
to this commutative monoid. Thus elements are given by formal differences P − Q
of integral polytopes P, Q ∈ P(H), and two such differences P − Q, P ′ − Q′ are
equal if and only if P + Q′ = P ′ + Q holds as subsets in VH .
There is an injection of abelian groups
(2.6)

H → P(H), h 7→ {h}

and we let PT (H) be the cokernel of this map. The subscript T stands for translation since two polytopes become identified in PT (H) if and only if there is a
translation on VH mapping one bijectively to the other. We let PT (H) be the
image of the composition P(H) → P(H) → PT (H).

THE L2 -TORSION POLYTOPE OF AMENABLE GROUPS

7

The group P(H) carries a canonical involution induced by reflection about the
origin, i.e.,
(2.7)

∗ : P(H) → P(H), P 7→ ∗P = {−p | p ∈ P }.

This involution descends to an involution ∗ : PT (H) → PT (H).
A homomorphism f : H → H ′ of finitely generated free-abelian groups induces
homomorphisms
P(f ) : P(H) → P(H ′ );
PT (f ) : PT (H) → PT (H ′ )
by sending the class of a polytope P to the class of the polytope f (P ). If f is
injective, then both P(f ) and PT (f ) are easily seen to be injective as well. Thus
if G ⊆ H is a subgroup, then we will always view P(G) (respectively PT (G)) as a
subgroup of P(H) (respectively PT (H)).
Example 2.7. Integral polytopes in VZ = R are just intervals [m, n] ⊆ R starting
and ending at integral points. Thus we have P(Z) ∼
= Z2 , where an explicit isomorphism is given by sending the class [m, n] to (m, n − m). Under this isomorphism,
the involution corresponds to ∗(k, l) = (−l − k, l). Similarly, PT (Z) ∼
= Z, where an
explicit isomorphism is given by sending the element [m, n] to n−m. The involution
∗ on PT (Z) is the identity.
The structure of the integral polytope group was studied in detail by Cha-Friedl
and the author [CFF17] and by the author [Fun16].
2.4. The polytope homomorphism. Let G be a torsion-free group satisfying the
Atiyah Conjecture such that H1 (G)f , the free part of the first integral homology
H1 (G) of G is finitely generated. Under these conditions, Friedl-Lück [FL16b,
Section 6.2] define a polytope homomorphism
P : K1w (ZG) → P(H1 (G)f ).
Earlier versions of it had at least implicitly been considered for torsion-free elementary amenable groups [FH07, Fri07]. The polytope homomorphism is constructed
as a composition
(2.8)

i

detD(G)

P

K1w (ZG) −→ K1 (D(G)) −−−−−→ D(G)×
ab −→ P(H1 (G)f ),

where the first map is the canonical map, the second is the Dieudonné determinant
[Die43] which is in fact an isomorphism (see [Ros94, Corollary 2.2.6] or [Sil81,
Corollary 4.3]), and the third relies on the structural properties of D(G) given in
Lemma 2.5. More precisely we let K be the kernel of the projection pr : G →
H1 (G)f = H and define
P ′ : D(K) ∗ H r {0} → P(H)
P
as follows: Given a non-trivial element x = h∈H xh · h ∈ D(K) ∗ H we let P ′ (x)
be the convex hull of the set {h ∈ H | xh 6= 0}. Then P ′ is a homomorphism of
monoids and induces a group homomorphism
×
P ′ : T −1 (D(K) ∗ H) ab → P(H), t−1 s 7→ P ′ (s) − P ′ (t).

8

FLORIAN FUNKE

Now we let P be the composition
(2.9)

× P ′
∼
=
−1
P : D(G)×
(D(K) ∗ H) ab −→ P(H),
ab −→ T

where the first map is the isomorphism appearing in Lemma 2.5. We will denote
the induced maps
e w (ZG) → PT (H1 (G)f )
P: K
1

P : Whw (G) → PT (H1 (G)f )
by the same symbol.

Notation 2.8. For non-trivial x ∈ ZG we denote the image of the class of x in
D(G)×
ab under the map P simply by P (x) ∈ PT (H1 (G)f ). This is the same as
P [rx : ZG → ZG] .

2.5. The L2 -torsion polytope. The definition of our main object of study is now
fairly simple.
Definition 2.9 (L2 -torsion polytope). Let G be a torsion-free group satisfying the
Atiyah Conjecture such that H1 (G)f is finitely generated. Let X be a finite free L2 acyclic G-CW-complex. Then the L2 -torsion polytope of X is defined as the image
of the negative of its universal L2 -torsion under the polytope homomorphism, i.e.,

P (X; G) = P − ρ(2)
u (X; N (G)) ∈ PT (H1 (G)f ).

Let G be a group of type F satisfying the Atiyah Conjecture. If G is L2 -acyclic
and satisfies Wh(G) = 0, then we may define the L2 -torsion polytope of G to be
P (G) = P (EG; G) ∈ PT (H1 (G)f ).
Remark 2.10 (Assumptions appearing in Definition 2.9). The assumption Wh(G) =
0 appearing above ensures that the L2 -torsion polytope of groups is well-defined,
see (2.3). Conjecturally, however, this assumption is obsolete: Any group of type F
is torsion-free, and it is conjectured that the Whitehead group of any torsion-free
group vanishes, see [LR05, Conjecture 3]. There is also no counterexample to the
Atiyah Conjecture known. Thus the L2 -torsion polytope is potentially an invariant
for all L2 -acyclic groups of type F .
Within the class of amenable groups all torsion-free virtually solvable groups are
known to have trivial Whitehead group since they satisfy the K-theoretic FarrellJones Conjecture, as proved by Wegner [Weg15].
f is the uniOne of the main results of Friedl-Lück’s theory states that if X = M
f; π1 (M ))
versal cover of a 3-manifold M satisfying a number of conditions, then P (M
is the dual of the unit ball of the Thurston norm, see [FL16b, Theorem 3.35].
A forerunner version of the L2 -torsion polytope of groups was defined and examined by Friedl-Tillmann [FT15] in the special case where G is a torsion-free
group given by a presentation with two generators, one relation, and b1 (G) = 2.
They show that in this case P (G) completely determines the BNS-invariant of
Bieri-Neumann-Strebel [BNS87]. A similar result was obtained by Kielak and the
author [FK16, Theorem 6.3] if G = Fn ⋊g Z is a free-by-cyclic group along a UPG
automorphism g : Fn → Fn .

THE L2 -TORSION POLYTOPE OF AMENABLE GROUPS

9

3. Groups of P ≥ 0-class
In this section we introduce a polytope analogue of the notion det ≥ 1-class
concerning the Fuglede-Kadison determinant [Lüc02, Definition 3.112]. First we
need a partial order on polytope groups.
Definition 3.1 (Partial order on polytope groups). Let H be a finitely generated
free-abelian group. We define a partial order on P(H) by declaring
P − Q ≤ P ′ − Q′ if and only if P + Q′ ⊆ P ′ + Q.
Likewise, we define a partial order on the translation quotient PT (H) by declaring
P − Q ≤ P ′ − Q′ if and only if P + Q′ ⊆ P ′ + Q up to translation.
It is easy to see that this definition does not depend on the choice of representatives.
Definition 3.2 (P ≥ 0-class and polytope class). A group G is of P ≥ 0-class if
it is torsion-free, satisfies the Atiyah Conjecture, b1 (G) < ∞, and we have for any
matrix A ∈ Mn,n (ZG) which becomes invertible over D(G) that

P [rA : ZGn → ZGn ] ≥ 0

in PT (H1 (G)f ). We call G of polytope class if P [rA : ZGn → ZGn ] is even represented by a polytope, i.e., it lies in the submonoid PT (H1 (G)f ) ⊆ PT (H1 (G)f ) of
integral polytopes up to translation.
Example 3.3.
(1) A finitely generated free-abelian group H is of polytope
class since the Dieudonné determinant detD(H) (A) coincides with the determinant detZH (A) over the commutative ring ZH and is therefore represented by an element in ZH. Hence P [rA : ZH n → ZH n ] is represented
by a polytope.
(2) If G is a torsion-free group satisfying the Atiyah Conjecture such that
H1 (G)f is of rank at most 1, then G is of polytope class. Namely, let
D(K)t [u± ] ⊆ D(G) be a subring determined by a generator of Hom(G, Z),
as explained in Lemma 2.5. Then it follows by virtue of the Euclidean
function on D(K)t [u± ] given by the degree that detD(G) (A) is represented
by an element in D(K)t [u± ]. (A similar argument will be used in the proof
of Theorem
4.1 where more details can be found.) Thus P [rA : ZGn →

n
ZG ] is represented by an interval.

We know from (2.3) that the L2 -torsion polytope is a simple homotopy invariant
of free finite L2 -acyclic G-CW-complexes. This can be strengthened if G is of
P ≥ 0-class.
Lemma 3.4. Let G be a group of P ≥ 0-class. Then the composition
ζ

P

Wh(G) −→ Whw (G) −→ PT (H1 (G)f )
is trivial. Moreover, the L2 -torsion polytope is a homotopy invariant of free finite
L2 -acyclic G-CW-complexes.

10

FLORIAN FUNKE

Proof. An element in the image of ζ is of the form [rA : ZGn → ZGn ] for a matrix
A ∈ Mn,n (ZG) which has an inverse A−1 ∈ Mn,n (ZG). Since G is of P ≥ 0-class,
we have


0 = P([id]) = P [rA ] + P [rA−1 ] ≥ 0,
and hence P([rA ]) = 0. The ’moreover’ part immediately follows from this because
of (2.3).


Remark 3.5 (Extension of P (G) to groups of P ≥ 0-class). Lemma 3.4 allows us
to drop Wh(G) = 0 from the list of conditions in the definition of the L2 -torsion
polytope P (G) of groups (see Definition 2.9), provided that G is of P ≥ 0-class.
Put differently, we can extend the definition of P (G) to groups G which are of type
F and of P ≥ 0-class. We will take this into account in the formulations for the
rest of this paper.
4. Polytope class and amenability
The goal of this section is to prove the following result.
Theorem 4.1 (Polytope class and amenability). Let G be a torsion-free amenable
group satisfying the Atiyah Conjecture such that H1 (G)f is finitely generated. Then
G is of polytope class.
Its proof requires some preparation. Our main technical tool going into the proof
are face maps.
Definition 4.2 (Faces and face maps). Let H be a finitely generated free-abelian
group and P ⊆ VH = H ⊗Z R an integral polytope. Take ϕ ∈ Hom(H, Z) which we
also view as an element in Hom(H, R) = HomR (VH , R). Then we call
Fϕ (P ) = {p ∈ P | ϕ(p) = max{ϕ(q) | q ∈ P }}
the face of P in ϕ-direction. A subset F ⊆ P is called a face if Fϕ (P ) = F for
some ϕ ∈ Hom(H, Z).
A face of an integral polytope is an integral polytope in its own right, and it is
straightforward to check that Fϕ (P + Q) = Fϕ (P )+ Fϕ (Q). These two observations
imply that we obtain a homomorphism
Fϕ : P(H) → P(H), P 7→ Fϕ (P )
that we call face map in ϕ-direction. There is an induced face map (denoted by the
same symbol)
Fϕ : PT (H) → PT (H)
whose image is contained in the subgroup PT (ker ϕ).
The first lemma is possibly well-known in polytope theory, but we were not able
to find the statement nor an implicit proof in the literature. In any case, it might
as well be helpful in other situations.
Lemma 4.3 (Detecting polytopes by their faces). Let H be a finitely generated
free-abelian group of rank at least 2. Then x ∈ P(H) is represented by a polytope

THE L2 -TORSION POLYTOPE OF AMENABLE GROUPS

11

if and only if for every ϕ ∈ Hom(H, Z) the class Fϕ (x) ∈ P(H) is represented by a
polytope.
Proof. It suffices to prove this for H = Zn . Equip VH = Rn with the standard
inner product. The forward direction of the lemma is obvious.
For the backwards direction write x = P − Q for integral polytopes P and Q. By
assumption Fϕ (x) = Fϕ (P )−Fϕ (Q) is an integral polytope for any ϕ ∈ Hom(H, Z),
say S ϕ , so Fϕ (P ) = Fϕ (Q) + S ϕ . We can write
P = {x ∈ VH | ψi (x) ≤ ci }
for certain ψi ∈ Hom(H, Z) ⊆ HomR (VH , R) and ci ∈ Z (i = 1, ..., k). Then
!
k
[
ψi
S
S = hull
i=1

is an integral polytope satisfying P ⊆ Q + S. The remainder of the proof will be
occupied with proving Q + S ⊆ P which will imply x = P − Q = S. This requires
a number of steps. In the following, Greek letters will always denote elements
in Hom(H, Z) without explicitly saying this. Moreover, given a compact subset
A ⊆ VH and ϕ, we will use the shorthand notations
Aϕ = Fϕ (A);
ϕ(A) = max{ϕ(a) | a ∈ A}.
First note that we have for any ϕ and ψ
Fϕ (Pψ ) = Pϕ ∩ Pψ = Fψ (Pϕ )
provided that the intersection in the middle is non-trivial, and likewise for Q.
Step 1: If ϕ, ψ are such that Pϕ ∩ Pψ is non-empty, then Qϕ ∩ Qψ and S ϕ ∩ S ψ
are non-empty, and we have


Pϕ ∩ Pψ = Qϕ ∩ Qψ + S ϕ ∩ S ψ .

We first argue that Qϕ ∩ Qψ is non-empty. Pick a vertex p ∈ Pϕ ∩ Pψ , and let α
be such that Pα = p. Then p = Pα = Qα + S α , hence Qα = q and S α = s are just
points. After translating Q, we may assume that s = 0 and p = q. Then for every
β such that Pβ contains p we have Qβ ⊆ Pβ and p ∈ Qβ . This applies in particular
to ϕ and ψ, hence p ∈ Qϕ ∩ Qψ .
Now we compute
Fϕ (S ψ ) = Fϕ (Pψ ) − Fϕ (Qψ ) = Fψ (Pϕ ) − Fψ (Qϕ ) = Fψ (S ϕ ),
hence Fϕ (S ψ ) ⊆ S ϕ ∩ S ψ and S ϕ ∩ S ψ is non-empty. We also have



S ϕ ∩ S ψ + Fϕ (Qψ ) = S ϕ ∩ S ψ + Qϕ ∩ Qψ

⊆ Pϕ ∩ Pψ
= Fϕ (Pψ ).

12

FLORIAN FUNKE

From this it follows that S ϕ ∩ S ψ ⊆ Fϕ (S ψ ). Thus we proved Fϕ (S ψ ) = S ϕ ∩ S ψ .
Now we conclude
Pϕ ∩ Pψ = Fϕ (Pψ )
= Fϕ (Qψ ) + Fϕ (S ψ )


= Qϕ ∩ Qψ + S ϕ ∩ S ψ .

Step 2: Let v0 , v1 , v2 ∈ S n−1 ⊆ Rn be such that v1 lies on a geodesic path of
length at most π from v0 to v2 in S n−1 . Write ϕi = hvi , ·i : Rn → R. If P is any
polytope such that Pϕ1 ∩ Pϕ2 is non-trivial, then we have
ϕ0 (Pϕ2 ) = ϕ0 (Pϕ1 ∩ Pϕ2 ).
Pick an element x ∈ Pϕ1 ∩ Pϕ2 attaining the maximum on the right. Assume
that we have
ϕ0 (Pϕ2 ) > ϕ0 (Pϕ1 ∩ Pϕ2 ).
Then there exists y ∈ Pϕ2 such that ϕ0 (y) > ϕ0 (x), ϕ1 (y) < ϕ1 (x), and ϕ2 (y) =
ϕ2 (x). In other words,
hy − x, v0 i > 0;
hy − x, v1 i < 0;
hy − x, v2 i = 0
which cannot happen if v1 lies on a geodesic path of length at most π from v0 to
v2 .
Step 3: We have S ϕ = Sϕ .
Let ϕ, ψ be arbitrary and write (up to scalar) ϕ = hv, ·i and ψ = hw, ·i for
unit vectors v, w. There is a sequence of unit vectors v = v0 , v1 , ..., vm = w running
along a geodesic path of length at most π from v to w in S n−1 such that Pϕi ∩Pϕi+1
is non-trivial. For brevity write from now on Pi = Pϕi , Qi = Qϕi , and S i = S ϕi .
Then we have by Step 1


Pi ∩ Pi+1 = Qi ∩ Qi+1 + S i ∩ S i+1
and by Step 2

ϕ(Pi+1 ) = ϕ(Pi ∩ Pi+1 );
ϕ(Qi+1 ) = ϕ(Qi ∩ Qi+1 ).
This implies
ϕ(S i+1 ) = ϕ(Pi+1 ) − ϕ(Qi+1 )
= ϕ(Pi ∩ Pi+1 ) − ϕ(Qi ∩ Qi+1 )
= ϕ(S i ∩ S i+1 )
≤ ϕ(S i ).
Since this is true for all i = 0, ..., m − 1, we conclude ϕ(S ψ ) ≤ ϕ(S ϕ ) and hence
S ϕ = Sϕ .
Step 4: We have Q + S ⊆ P = {x ∈ VH | ψi (x) ≤ ci }.

THE L2 -TORSION POLYTOPE OF AMENABLE GROUPS

13

Pick arbitrary q ∈ Q and s ∈ S. With the aid of Step 3 we can calculate
ψi (q + s) = ψi (q) + ψi (s)
≤ ψi (Qψi ) + ψi (Sψi )
= ψi (Qψi ) + ψi (S ψi )
= ψi (Pψi ) = ci
for all i, and hence q + s ∈ P .



We also need the following auxiliary gadget.
Definition 4.4. Let H be a finitely generated free-abelian group and G ⊆ H a
subgroup. We consider PT (G) as a submonoid of PT (H). Then we let PT (H, G) be
the submonoid of PT (H) containing all elements that can be written as a difference
P − Q for some P ∈ PT (H) and Q ∈ PT (G).
Example 4.5.

(1) For any subgroup G ⊆ H one has

PT (H) = PT (H, 0) ⊆ PT (H, G) ⊆ PT (H, H) = PT (H).
We can interpret PT (H, G) as interpolating between the monoid of integral
polytopes and the integral polytope group.
(2) Let H be of rank 2 and let G1 , G2 be two subgroups of rank 1. If Gi ∩Gj = 0,
then PT (H, G1 ) ∩ PT (H, G2 ) = PT (H).
Motivated by the last example we propose the following problem.
Question 4.6. Let H be a finitely generated free-abelian group and G1 , G2 be two
subgroups. Do we always have
PT (H, G1 ) ∩ PT (H, G2 ) = PT (H, G1 ∩ G2 )?
If this question has an affirmative answer, then the next lemma, for which we
provide a different argument, would immediately follow.
Lemma 4.7. Let H be a finitely generated free-abelian group. Then
\
PT (H, ker ϕ) = PT (H).
ϕ∈Hom(H,Z)

Proof. We prove the statement by induction on the rank of H. The rank 1 case is
obvious.
For the higher rank case, pick an element x in the above intersection. For any
homomorphism ϕ : H → Z we can find Pϕ ∈ PT (H) and Qϕ ∈ PT (ker ϕ) such that
x = Pϕ − Qϕ . Fix some homomorphism α : H → Z. Then
Fα (x) = Fα (Pϕ ) − Fα (Qϕ ) ∈ PT (ker α, ker α ∩ ker ϕ).
Since ϕ was arbitrary, we conclude
\
PT (ker α, ker α ∩ ker ϕ) =
Fα (x) ∈
ϕ∈Hom(H,Z)

\

ψ∈Hom(ker α,Z)

PT (ker α, ker ψ).

14

FLORIAN FUNKE

From the induction hypothesis we conclude Fα (x) ∈ PT (ker α). As this holds for
every homomorphism α : H → Z, we may apply the previous Lemma 4.3 to deduce
that x ∈ PT (H).

Now we can tackle the main result of this section.
Proof of Theorem 4.1. Recall from Lemma 2.4 that ZG satisfies the Ore condition
∼
=
with respect to T = ZGr{0} and the inclusion induces an isomorphism T −1 ZG −→
D(G).
Let A ∈ Mn,n (ZG) be a matrix which becomes invertible over D(G). If H1 (G)f =
0, then there is nothing to prove. Otherwise let us fix some epimorphism ϕ : G →
Z and denote its kernel by K. Consider the associated twisted Laurent polynomial ring D(K)t [u± ] ⊆ D(G) as in Lemma 2.5. The Euclidean function on
D(K)t [u± ] given by the degree allows us to transform A to a triangular matrix T
over D(K)t [u± ] by using the operations
• Permute rows or columns;
• Multiply a row on the right or a column on the left with an element of the
form y · um for some non-trivial y ∈ D(K) and m ∈ Z;
• Add a right D(K)t [u± ]-multiple of one row (resp. column) to another row
(resp. column).
These operations change the class [A] ∈ K1 (D(G)) by adding an element of the form
[y · um] for some non-trivial y ∈ D(K) and m ∈ Z. Since D(K) = (ZK r {0})−1 ZK,
we may then multiply T with suitable elements in ZK to obtain a matrix over
ZKt [u± ] = ZG. This implies that there are elements a ∈ ZG and b ∈ ZK r {0}
such that we have in K1 (D(G))
[A] = [T ] − [y · um ] = [a · b−1 ] − [y · um ].
Since P (um ) = 0 in PT (H1 (G)f ), we have

P [rA : ZGn → ZGn ] = P (a) − P (b) − P (y) ∈ PT (H1 (G)f , ker ϕ)

for the epimorphism ϕ : H1 (G)f → Z induced by ϕ. Since ϕ was arbitrary, we have
\

PT (H1 (G)f , ker ϕ).
P [rA : ZGn → ZGn ] ∈
ϕ∈Hom(G,Z)
surjective

By Lemma 4.7, this intersection is equal to PT (H1 (G)f ), and the proof is complete.

5. Polytope class and the L2 -torsion polytope
In this section we adapt Wegner’s strategy built in [Weg00, Weg09] to the setting
of the L2 -torsion polytope. Together with the knowledge that torsion-free amenable
groups are of polytope class, one of its applications will be the vanishing of the
L2 -torsion polytope of every elementary amenable group of type F . In order to
motivate our first lemma we give a rough idea of the argument:
Instead of localizing the group ring ZG at ZG r {0} in order to obtain D(G),
we localize at a much smaller set S ⊆ ZG in order to obtain an intermediate ring
ZG ⊆ S −1 ZG ⊆ D(G). This set is small enough so that the polytope of invertible
matrices over S −1 ZG still satisfies P ≥ 0, but it is large enough so that the localized
cellular chain complex S −1 C∗ (EG) is already contractible. Combining these two
facts makes the image of the Whitehead torsion of S −1 C∗ (EG) under an adjusted

THE L2 -TORSION POLYTOPE OF AMENABLE GROUPS

15

polytope homomorphism K1 (S −1 ZG) → PT (H1 (G)f ) computable. But this image
coincides with the negative of the L2 -torsion polytope P (G).
Lemma 5.1. Let G be a group of type F which satisfies the Atiyah Conjecture and
b1 (G) < ∞. Suppose that G contains a non-trivial abelian normal subgroup A ⊆ G
such that A ∩ ker(pr : G → H1 (G)f ) 6= 0. Then
S = {x ∈ ZA r {0} | P (x) = 0 in PT (H1 (G)f )}.
is a multiplicatively closed subset with respect to which ZG satisfies the Ore condition and such that S −1 Z = 0 for the trivial ZG-module Z.
Proof. Since for any two elements x, y ∈ ZG we have P (x · y) = P (x) + P (y),
it is clear that S is multiplicatively closed. The proof for the left and right Ore
condition follows as in [Weg00, Proof of Theorem 5.4.5, Step 2 and 3], see also
[Lüc02, Lemma 3.119]. We include the argument here for the sake of completeness.
Note that the canonical involution on ZG respects S, so it suffices to prove the
right Ore condition.
Let r ∈ ZG, s ∈ S and
P fix a set of representatives {gi | i ∈ I} for the cosets
Ag ∈ A\G. Write r = i∈I ai gi for certain ai ∈ ZA, where almost all ai vanish.
Put I ′ = {i ∈ I | ai 6= 0}. The element si = gi sgi−1 lies in ZA since A is normal
and P (si ) = P Q
(s) = 0. These two facts imply si ∈ S. P
Define s′ = i∈I ′ si ∈ S, xi = s′ /si ∈ S, and r′ = i∈I ′ xi ai gi ∈ ZG. Then we
compute
s′ · r =

X

i∈I ′

=

X

i∈I ′

s′ ai g i =

X

xi si ai gi =

i∈I ′

xi ai gi sgi−1 gi =

X

X

xi ai si gi

i∈I ′

xi ai gi s = r′ · s

i∈I ′

Finally we prove S −1 Z = 0. Pick some non-trivial a ∈ A ∩ ker(pr : G →
H1 (G)f ) 6= 0 (this is the only part where we need this assumption). Then P (1−a) =
0 in PT (H1 (G)f ), so 1 − a lies in S. Since 1 − a acts by multiplication with 0 on
Z, we conclude S −1 Z = 0.

Lemma 5.2. Let G be a group of P ≥ 0-class. Let S ⊆ ZG be a multiplicatively
closed subset with respect to which ZG satisfies the Ore condition. Suppose that
P (s) = 0 in PT (H1 (G)f ) for all s ∈ S.
If X is a free finite L2 -acyclic G-CW-complex such that S −1 Hn (X) = 0, then
P (X; G) = 0.
Proof. This is based on ideas appearing in [Weg00, Proof of Theorem 5.4.5, Step 4
and 5], see also [Lüc02, Lemma 3.114].

16

FLORIAN FUNKE

First we consider the following commutative diagram
e w (ZG)
K
1

P

❘❘❘ i
❘❘❘
❘❘((

e 1 (D(G))
K
j ❧❧❧66
❧❧
❧❧❧
e 1 (S −1 ZG)
K

detD(G)

// D(G)× /{±1}

P

ab

))
// PT (H1 (G)f )
55

P′

Here i and j denote the obvious maps, detD(G) is the Dieudonné determinant, P
is induced by the map defined in (2.9), P denotes the composition of the top row
(which is the polytope homomorphism), and P′ denotes the composition of the
bottom row.
Let A be an invertible S −1 ZG-matrix. By multiplying A with a suitable s ∈ S
we obtain a ZG-matrix B which is invertible over S −1 ZG and thus also over D(G).
e 1 (S −1 ZG) and P′ ([B]) = P([B]). We assume that
Then we have [A] = [B] − [s] in K
P (s) = 0 and that G is of P ≥ 0-class, so we have
(5.1)

P′ ([A]) = P′ ([B]) − P′ ([s]) = P′ ([B]) − P (s) = P([B]) ≥ 0.

Since the same reasoning applies to A−1 , we have P′ ([A]) = 0 and thus P′ = 0.
Denote by C∗ = C∗ (X) the cellular ZG-chain complex of X equipped with some
choice of cellular basis. By Lemma 2.6 the D(G)-chain complex D(G) ⊗ZG C∗ is
contractible and we have
i(ρ(2)
u (C∗ ; N (G))) = τ (D(G) ⊗ZG C∗ ).
Since localization is flat and S −1 Hn (X) = 0, the S −1 ZG-chain complex S −1 C∗ =
S −1 ZG ⊗ZG C∗ is also contractible, and we have
j(τ (S −1 C∗ )) = τ (D(G) ⊗S −1 ZG S −1 C∗ )
= τ (D(G) ⊗S −1 ZG S −1 ZG ⊗ZG C∗ )
= τ (D(G) ⊗ZG C∗ )
= i(ρ(2)
u (C∗ ; N (G))).
Thus we see
(5.2)

′
−1
P(ρ(2)
C∗ )) = 0,
u (C∗ ; N (G))) = P (τ (S

which completes the proof.



The following is the main result of this section.
Theorem 5.3 (Vanishing L2 -torsion polytope). Let G be a group of type F which
is of P ≥ 0-class. Suppose that G contains a non-abelian elementary amenable
normal subgroup. Then G is L2 -acyclic and we have
P (G) = 0.
Proof. The group G is L2 -acyclic by [Lüc02, Theorem 1.44]. Let N be the nonabelian elementary amenable normal subgroup.
Case 1: N is not virtually abelian. It follows from the proof of [Weg00, Theorem
2.3.15] and the references given therein that N is solvable-by-finite. Hence N has a
unique maximal solvable normal subgroup of finite index, say S. Since we assume

THE L2 -TORSION POLYTOPE OF AMENABLE GROUPS

17

that N is not virtually abelian, S is not abelian. Hence the lowest non-trivial
subgroup A in the derived series of S is abelian and contained in [S, S] ⊆ [G, G].
In particular, A ∩ ker(pr : G → H1 (G)f ) 6= 0. Since A is characteristic in S and S
is characteristic in N , A is normal in G.
Case 2: N is virtually abelian. Let A be a normal abelian subgroup of finite
index. By assumption N is not abelian, so ker(pr : N → H1 (N )f ) is non-trivial and
hence infinite as G is torsion-free. But any infinite subgroup of N must intersect A
non-trivially. Thus in particular, A ∩ ker(pr : G → H1 (G)f ) 6= 0.
In both cases we may apply Lemma 5.1. This provides us with a subset S ⊆ ZG
satisfying the assumptions of Lemma 5.2 for X = EG. Hence P (G) = 0.

Corollary 5.4 (The L2 -torsion polytope of elementary amenable groups vanishes).
Let G be an amenable group of type F satisfying the Atiyah Conjecture. If G
contains a non-abelian elementary amenable normal subgroup, then
P (G) = 0.
In particular, the L2 -torsion polytope of any elementary amenable group of type
F vanishes.
Proof. By Theorem 4.1 an amenable group G of type F satisfying the Atiyah Conjecture is of polytope class. Hence the first statement follows directly from Theorem 5.3.
For the second statement, recall from Lemma 2.4 that an elementary amenable
group G of type F satisfies the Atiyah Conjecture. Hence P (G) = 0 follows from
the previous statement provided that G is non-abelian. If G is abelian, then G
(2)
must be finitely generated free-abelian, so P (G) = 0 follows from ρu (G) = 0 as
seen in [FL16b, Example 2.7].

We emphasize the following remark that was also used in the proof of Theorem 5.3.
Remark 5.5. An elementary amenable group of type F (or more generally, with
finite cohomological dimension) is in fact virtually solvable by a result of HillmanLinnell [HL92, Corollary 1].
Remark 5.6 (Generalization to the universal L2 -torsion). The proof of Corollary 5.4 crucially relies on the existence of a partial order on polytope groups even
though the original statement does not involve them. One difficulty in proving the
(2)
corresponding statement for the universal L2 -torsion ρu (G) lies in the structural
w
deficit of Wh (G) that it does not carry a meaningful partial order.

6. Evidence for non-elementary amenable groups
In this short final section, we offer some evidence for the validity of Conjecture 1.1
for amenable groups that are not elementary amenable. This computation is to a
great extent based on known results. Our main tool will be norm maps.
Given a finitely generated free-abelian group H, we denote by Map(Hom(H, R), R)
the group of continuous maps Hom(H, R) → R equipped with pointwise addition.

18

FLORIAN FUNKE

A polytope P ∈ P(H) induces a seminorm on Hom(H, R) by
kϕkP = max{ϕ(p) − ϕ(q) | p, q ∈ P }.
This seminorm behaves well with respect to Minkowski sums in the sense that
kϕkP +Q = kϕkP + kϕkQ
for all ϕ ∈ Hom(H, R), which allows us to make the following definition.
Definition 6.1 (Seminorm homomorphism). We call
N : P(H) → Map(Hom(H, R), R), P − Q 7→ k · kP − k · kQ
seminorm homomorphism. It passes to the quotient PT (H) and the induced map
N : PT (H) → Map(Hom(H, R), R)
is denoted by the same symbol.
The cornerstone of our argument will be the following theorem.
Theorem 6.2. Let H be a finitely generated free-abelian group. Then we have

ker N : PT (H) → Map(Hom(H, R), R)

= ker id + ∗ : PT (H) → PT (H)

= im id − ∗ : PT (H) → PT (H) .
Proof. This is the content of [Fun16, Remark 6.2 and Theorem 6.4].



If G is a group, we will identify Hom(H1 (G)f , R) with H 1 (G; R) in the following.
Proposition 6.3 (L2 -torsion polytope of amenable groups). Let G 6= Z be an
amenable group of type F satisfying the Atiyah Conjecture. Then P (G) lies in
the kernel of N : PT (H1 (G)f ) → Map(H 1 (G; R), R) and there is a polytope P ∈
PT (H1 (G)f ) such that
P (G) = P − ∗P.
Proof. Let pr : G → H1 (G)f = H be the obvious projection. Suppose that H 6= 0
since there is nothing to prove otherwise. Let ϕ : H → Z be an epimorphism, and
put K = ker(ϕ ◦ pr : G → Z). Then we have by [FL16b, Equation (3.26)] and
[FL16a, Lemma 2.6]
N(P (G))(ϕ) = −χ(2) (i∗ EG; N (K)) = −χ(2) (EK; N (K)),
where χ(2) (X; N (K)) denotes the L2 -Euler characteristic of a K-space X, see
[Lüc02, Section 6.6].
As a subgroup of an amenable group, K is itself amenable. Since G 6= Z, K must
be infinite. Since infinite amenable groups are L2 -acyclic, we see χ(2) (EK; N (K)) =
0. (Note that for this argument it is irrelevant that i∗ EG = EK is not a finite KCW-complex.) Thus we have
N(P (G))(ϕ) = 0
for all surjective homomorphisms ϕ : H → Z.

THE L2 -TORSION POLYTOPE OF AMENABLE GROUPS

19

As a difference of seminorms N(P (G)) is homogeneous and continuous. By the
homogeneity we have N(P (G))(ϕ) = 0 for all homomorphisms ϕ : H → Q, and by
the continuity we have N(P (G))(ϕ) = 0 for homomorphisms ϕ : H → R. Hence

P (G) ∈ ker N : PT (H) → Map(H 1 (G; R), R) .

Now by Theorem 6.2 we have P (G) ∈ im id − ∗ : PT (H) → PT (H) . Hence
there exists a class R − S ∈ PT (H) such that
P (G) = R − S − (∗R − ∗S) = R + ∗S − ∗(R + ∗S).
Taking P = R + ∗S finishes the proof.



References
[AJZN11] M. Abért, A. Jaikin-Zapirain, and N. Nikolov, The rank gradient from a combinatorial
viewpoint, Groups Geom. Dyn. 5 (2011), 213–230.
[AN12] M. Abért and N. Nikolov, Rank gradient, cost of groups and the rank versus Heegaard
genus problem, J. European Math. Soc. 14 (2012), no. 5, 1657–1677.
[BNS87] R. Bieri, W. D. Neumann, and R. Strebel, A geometric invariant of discrete groups,
Invent. Math. 90 (1987), no. 3, 451–477.
[CFF17] J. C. Cha, S. Friedl, and F. Funke, The Grothendieck group of polytopes and norms,
Münster J. Math. 10 (2017), 75–81.
[DFL15a] J. Dubois, S. Friedl, and W. Lück, The L2 -Alexander torsion is symmetric, Alg. Geom.
Top. 15 (2015), no. 6, 3599–3612.
, Three flavors of twisted invariants of knots, Introduction to Modern Mathe[DFL15b]
matics, Advanced Lectures in Mathematics 33 (2015), 143–170.
, The L2 -Alexander torsion of 3-manifolds, J. Topology 9 (2016), no. 3, 889–
[DFL16]
926.
[Die43] J. Dieudonné, Les déterminants sur un corps non commutatif, Bull. Soc. Math. France
71 (1943), 27–45.
[FH07] S. Friedl and S. Harvey, Non-commutative Multivariable Reidemeister Torsion and the
Thurston Norm, Alg. Geom. Top. 7 (2007), 755–777.
[FK16] F. Funke and D. Kielak, Alexander and Thurston norms, and the Bieri-NeumannStrebel invariants for free-by-cyclic groups, arXiv:1605.09067 (2016).
[FL16a] S. Friedl and W. Lück, L2 -Euler characteristics and the Thurston norm,
arXiv:1609.07805 (2016).
[FL16b]
, Universal L2 -torsion, polytopes and applications to 3-manifolds,
arXiv:1609.07809 (2016).
[FLT16] S. Friedl, W. Lück, and S. Tillmann, Groups and polytopes, arXiv:1609.07805 (2016).
[Fri07] S. Friedl, Reidemeister torsion, the Thurston norm and Harvey’s invariants, Pac. J.
Math. 230 (2007), 271–296.
[FT15] S. Friedl and S. Tillmann, Two-generator one-relator groups and marked polytopes,
arXiv:1501.03489 (2015).
[Fun16] F. Funke, The integral polytope group, arXiv:1605.01217 (2016).
[Gab00] D. Gaboriau, Coût des relations d’équivalence et des groupes, Invent. math. 139 (2000),
no. 1, 41–98.
[Gro83] M. Gromov, Volume and bounded cohomology, Inst. Hautes Etudes Sci. Publ. Math.
56 (1983), 5–99.
[HL92] J.A. Hillman and P.A. Linnell, Elementary amenable groups of finite Hirsch length are
locally-finite by virtually solvable, J. Austral. Math. Soc. (Series A) 52 (1992), 237–241.
[KLM88] P. H. Kropholler, P. A. Linnell, and J. A. Moody, Applications of a new K-theoretic
theorem to soluble group rings, Proc. Amer. Math. Soc. 104 (1988), no. 3, 675–6843.
[Lin06] P. A. Linnell, Noncommutative localization in group rings, Non-commutative localization in algebra and topology, 2006.
[LR05] W. Lück and H. Reich, The Baum-Connes and the Farrell-Jones Conjectures in Kand L-theory, Handbook of K-theory, Volume 2, Springer, Berlin, 2005.

20

FLORIAN FUNKE

[LT14] H. Li and A. Thom, Entropy, Determinants, and L2 -Torsion, J. Amer. Math. Soc. 27
(2014), no. 1, 239–292.
[Lüc02] W. Lück, L2 -invariants: theory and applications to geometry and K-theory, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys
in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of
Modern Surveys in Mathematics], vol. 44, Springer-Verlag, Berlin, 2002.
[OW80] D. S. Ornstein and B. Weiss, Ergodic theory of amenable group actions. I: The Rohlin
lemma, Bull. Amer. Math. Soc. 2 (1980), no. 1, 161–164.
[Ros94] J. Rosenberg, Algebraic K-Theory and Its Applications, Graduate Text in Mathematics,
vol. 147, Springer, New York, 1994.
[Sch93] R. Schneider, Convex bodies: the Brunn-Minkowski theory, Cambridge Univ. Press,
Cambridge, 1993.
[Sil81] R. J. Silvester, Introduction to algebraic K-theory, Chapman & Hall, London, 1981.
[Weg00] C. Wegner, L2 -invariants of finite aspherical CW-complexes with fundamental group
containing a non-trivial elementary amenable normal subgroup, Ph.D. thesis, Münster
(2000).
[Weg09]
, L2 -invariants of finite aspherical CW-complexes, manuscripta math. 128
(2009), no. 4, 469–481.
, The Farrell-Jones Conjecture for virtually solvable groups, J. Topology 8
[Weg15]
(2015), no. 4, 975–1016.
Mathematisches Institut der Universität Bonn, Endenicher Allee 60, 53115 Bonn,
Germany
E-mail address: ffunke@math.uni-bonn.de

