arXiv:1609.07809v2 [math.GT] 21 Feb 2017

arXiv:1609.07809v2 [math.GT] 21 Feb 2017

TO 3-MANIFOLDS

STEFAN FRIEDL AND WOLFGANG L ¨UCK

Abstract. Given anL²-acyclic connected finiteCW-complex, we define its universal L²-torsion in terms of the chain complex of its universal covering.

It takes values in the weak Whitehead group Wh^w(G). We study its main properties such as homotopy invariance, sum formula, product formula and Poincar´e duality. Under certain assumptions, we can specify certain homo- morphisms from the weak Whitehead group Wh^w(G) to abelian groups such as the real numbers or the Grothendieck group of integral polytopes, and the image of the universalL²-torsion can be identified with many invariants such as the L²-torsion, the L²-torsion function, twisted L²-Euler characteristics and, in the case of a 3-manifold, the dual Thurston norm polytope.

0. Introduction

We assign to a group Gthe weak K1-groupsK₁^w(ZG), Ke₁^w(ZG) and the weak Whitehead group Wh^w(G), see Definition 1.1. These groups are, as the names suggest, variations on the corresponding classical groups. More precisely, the name

‘weak’ comes from the fact that in the definitions we study matrices over the group ringZG, but we no longer require that they are invertible over the group ring, but we only require that they are weakly invertible in the sense ofL²-invariants. These groups are in general much larger than their classical analogues. For instance, for G=Zwe have Wh(Z) = 0 but Wh^w(Z)∼=Q(z^±1)^×/{±zⁿ|n∈Z}.

Furthermore, to an L²-acyclic finite based freeZG-chain complexC_∗ we assign itsuniversalL²-torsion, see Definition 1.7

(0.1) ρ⁽²⁾_u (C∗)∈Ke₁^w(G).

It is characterized by the universal properties that ρ⁽²⁾_u 0→ZG−−→^±id ZG→0

= 0

and that for any short based exact sequence 0 → C_∗ → D_∗ → E_∗ → 0 we get ρ⁽²⁾u (D_∗) =ρ⁽²⁾u (C_∗) +ρ⁽²⁾u (E_∗), as explained in Remark 1.16. IfX is anL²-acyclic finite freeG-CW-complex, it defines an element

(0.2) ρ⁽²⁾_u (X;N(G))∈Wh^w(G) :=Ke₁^w(G)/±G,

determined byρ⁽²⁾u (C∗(X)), whereC∗(X) is the cellularZG-chain complex ofX, see Definition 2.1. As an example, ifX is the free abelian cover of a knot exteriorS³\ νK, then under the aforementioned isomorphism Wh^w(Z)∼=Q(z^±1)^×/{±zⁿ|n∈ Z} the universal torsionρ⁽²⁾u (X;N(Z)) agrees with the Turaev-Milnor torsion [29, 37, 36] of the knot.

IfXis a finite connectedCW-complex with fundamental groupπ, and universal covering Xe, we call X L²-acyclic if Xe is L²-acyclic as finite free π-CW-complex

Date: September 2016.

2010Mathematics Subject Classification. 57Q10, 57M27, 19B99.

Key words and phrases. UniversalL²-torsion, algebraicK1-groups, polytopes, 3-manifolds.

1

and abbreviate

(0.3) ρ⁽²⁾_u (Xe) :=ρ⁽²⁾_u (X;e N(π))∈Wh^w(π).

The basic properties of these invariants including homotopy invariance, sum formula, product formula, and Poincar´e duality are collected in Theorem 2.5 and Theorem 2.11. One can show for a finitely presented group G, for which there exists at least one L²-acyclic finite connected CW-complex X with π1(X) = G, that every element in Wh^w(G) can be realized asρ⁽²⁾u (Ye) for someL²-acyclic finite connectedCW-complexY withG=π1(Y), see Lemma 2.8.

The point of this new invariant is that it encompasses many other well-known invariants. We illustrate this by considering some examples. Although these in- variants do make sense in all dimensions, we often restrict ourselves to the case of admissible 3-manifoldsM:

Definition 0.4 (Admissible 3-manifold). A 3-manifolds is calledadmissible if it is compact, connected, orientable, and irreducible, its boundary is empty or a disjoint union of tori, and its fundamental group is infinite.

0.1. L²-torsion and the L²-Alexander torsion. In Section 2.4 we will see that the universal L²-torsion of a 3-manifold M determines the L²-torsion and more generally the L²-torsion function (also called L²-Alexander polynomial and L²- Alexander torsion) that recently was intensively studied, see e.g., [1, 6, 7, 16, 18, 19].

The former invariant is determined by the volumes of the hyperbolic pieces in the Jaco-Shalen-Johannson decomposition of M, see [26, Theorem 0.7]. The latter invariant is a function ρ⁽²⁾(M , φ) :f R>0 → R_≥0 associated to M and a class φ ∈ H¹(M;Z). This function captures a lot of interesting topological information, in particular it was shown by the authors [8] and independently by Liu [20] that it determines the Thurston norm ofφ.

0.2. Twisted L²-Euler characteristic. In Section 3.2 we recall the statement of the Atiyah Conjecture. For a short discussion of the Atiyah Conjecture for a torsionfree group Gand its status which is adapted to the needs of this paper, we refer to [9, Section 3], a more general introduction is given in [23, Chapter 10]. In Remark 3.30, given a torsionfree groupGsatisfying the Atiyah Conjecture, we will introduce a pairing

(0.5) Wh^w(π)×H¹(G)→Z,

which has the following property: given anL²-acyclic finite freeZG-chain complex C∗and an elementφ∈H¹(G) = Hom(G,Z) the image ofρ⁽²⁾u (C∗;N(G))⊗φunder the pairing above equals theL²-Euler characteristic we introduced in [9].

It is now easy to see that for an admissible 3-manifold M andφ:π1(M)→Z theL²-Euler characteristic of [9] is determined by the universalL²-torsionρ⁽²⁾u (Mf).

Similarly, using [9, Section 8] one can show that the degrees of the higher-order Alexander polynomials of Cochran [3] and Harvey [15, Section 3] of knots and 3-manifolds are determined by universal L²-torsions of appropriate covers ofM. 0.3. Polytopes. For a finitely generated free abelian groupHwe denote byP_Z^Wh(H) the abelian group given by the Grothendieck construction applied to the abelian monoid of integral polytopes inR⊗ZH under the Minkowski sum, modulo trans- lation with elements in H, see (3.2). Given a group G that satisfies the Atiyah Conjecture we will construct thepolytope homomorphism

P: Wh^w(ZG)→ P_Z^Wh(H1(G)f)

in (3.17) and define theL²-torsion polytope P(Mf) to be the image of the universal L²-torsion under the polytope homomorphism.

Of particular interest is the composition of the universal torsion with the poly- tope homomorphism. For example letM be an admissible 3-manifold that is not a closed graph manifold. Then we obtain a well-defined element

P(fM) := P(ρ_u(fM)) ∈ P_Z^Wh(H1(M)f).

We now explain the information contained in this invariant. Following Thurston [34]

we can use the minimal complexity of surfaces in a 3-manifoldM to assign toM an integral polytope T(M) ⊆ R⊗ZH1(π)f, called the dual Thurston polytope, see (3.36) for details. One of our main results is that we show in Theorem 3.37 that

[T(M)^∗] = 2·P(Mf) ∈ P_Z^Wh(H1(π)f).

We can also use this approach to assign formal differences of polytopes to many other groups, e.g. free-by-cyclic groups and two-generator one-relator groups. We will discuss these examples in more details in a joint paper [10] with Stephan Till- mann.

Finally letGbe any group that admits a finite model forBGand that satisfies the Atiyah Conjecture and letf:G→Gbe a monomorphism. Then we can associate to this monomorphism the polytope invariant of the corresponding ascending HNN- extension. IfG=F2is the free group on two generators this polytope invariant has been studied by Funke–Kielak [14]. We hope that this invariant of monomorphisms of groups will have other interesting applications.

Acknowledgments. We wish to thank the referee for carefully reading the first version of the paper and for making many very helpful remarks.

The first author gratefully acknowledges the support provided by the SFB 1085

“Higher Invariants” at the University of Regensburg, funded by the Deutsche Forschungsgemeinschaft DFG. The paper is financially supported by the Leibniz- Preis of the second author granted by the DFG and the ERC Advanced Grant

“KL2MG-interactions” (no. 662400) of the second author granted by the Euro- pean Research Council.

Contents

0. Introduction 1

0.1. L²-torsion and theL²-Alexander torsion 2

0.2. TwistedL²-Euler characteristic 2

0.3. Polytopes 2

Acknowledgments. 3

1. UniversalL²-torsion for chain complexes 4

1.1. From finite based freeZG-chain complexes to finite HilbertN(G)-chain

complexes 4

1.2. The weak K1-groupK₁^w(ZG) 5

1.3. The universal L²-torsion for chain complexes 6

1.4. TheK-groupK₁^w,ch(ZG) 10

1.5. Review of division and rational closure 14

2. UniversalL²-torsion forCW-complexes and manifolds 15 2.1. The universal L²-torsion forG-CW-chain complexes 15 2.2. The universal L²-torsion for universal coverings 20

2.3. Mapping tori 22

2.4. L²-torsion and theL²-Alexander torsion 23 3. The Grothendieck group of integral polytopes and K₁^w(ZG) 23 3.1. The Grothendieck group of integral polytopes 23

3.2. The polytope homomorphism 25

3.3. TheL²-torsion polytope 27

3.4. TheL²-torsion and the Thurston seminorm 28

3.5. Seminorms and compact convex subsets 30

3.6. The dual Thurston polytope 32

3.7. The dual Thurston polytope and the L²-torsion polytope 32

4. Examples 34

4.1. L²-acyclic groups 34

4.2. Torsion-free one-relator groups with two generators 34

4.3. Group endomorphisms 35

References 36

1. Universal L²-torsion for chain complexes

In this section we define the universal L²-torsion and the algebraic K-group where it takes values in.

1.1. From finite based free ZG-chain complexes to finite Hilbert N(G)- chain complexes. LetGbe a group. We will always work with left modules. A ZG-basis for a finitely generated freeZG-moduleM is a finite subsetB⊆M such that the canonical map

M

b∈B

ZG→M, (rb)b∈B 7→X

b∈B

rb·b

is a ZG-isomorphism. Notice that we do not require that B is ordered. Afinitely generated based free ZG-module is a pair (M, B) consisting of a finitely generated free ZG-module M together with a basis B. (Sometimes we omit B from the notation.) In the sequel we will equip ZGⁿ =Ln

i=1ZG with the standard basis.

Throughout this paper a basis is understood to be unordered.

A finite Hilbert N(G)-module V is a Hilbert space V together with a linear isometric left G-action such that there exists an isometric linear embedding into L²(G)ⁿfor some natural numbern. (HereN(G) stands for the group von Neumann algebra which is the algebra of boundedG-equivariant operatorsL²(G)→L²(G).) Obviously L²(G)ⁿ is a finite Hilbert N(G)-module. Morphisms of finite Hilbert N(G)-modules are boundedG-equivariant operators (which are not necessarily iso- metric). For a basic introduction to Hilbert N(G)-chain complexes and L²-Betti numbers we refer for instance to [23, Chapter 1]. For a finitely generated based free ZG-module (M, B) define a finite HilbertN(G)-module Λ^G(M) byL²(G)⊗ZGM equipped with the Hilbert space structure, for which the induced map

M

b∈B

L²(G)→L²(G)⊗ZGM, (xb)b∈B 7→X

b∈B

xb⊗ZGb

is aG-equivariant isometric invertible operator of Hilbert spaces. (IfGis clear from the context, we often abbreviate Λ^G by Λ.) Obviously Λ(ZGⁿ) can be identified with L²(G)ⁿ. One easily checks that a ZG-map of finitely generated based free ZG-modulesf:M →N induces a morphism Λ(f) of HilbertN(G)-modules. This construction is functorial. Moreover we haver1·Λ(f1)+r2·Λ(f2) = Λ(r1·f0+r2·f2) for integers r1, r2 and ZG-maps f0, f1:M → N of finitely generated based free ZG-modules. Obviously Λ is compatible with direct sums, i.e., for two finitely generated based freeZG-modulesM0andM1the canonical map Λ(M0)⊕Λ(M1)→ Λ(M0⊕M1) is an isometricG-equivariant invertible operator. Letf:M →N be a ZG-homomorphism of finitely generated based freeZG-modules. IfB andC are the bases of M and N, let A(f) be the B-C-matrix defined by f, namely, if for

b∈Bwe writef(b) =P

c∈Cab,c·cforab,c∈ZG, thenA= (ab,c). LetA^∗be theC- B-matrix, whose entry at (c, b)∈C×Bisab,c, whereP

g∈Grg·g:=P

g∈Grg·g⁻¹ for P

g∈Grg·g ∈Z. Definef^∗:N →M to be the ZG-homomorphism associated to A^∗. One easily checks that Λ(f^∗) = Λ(f)^∗, where Λ(f)^∗ is the adjoint operator associated to Λ(f). All in all one may summarize by saying that Λ defines a functor of additive categories with involution from the category of finitely generated based freeZG-modules to the category of finite HilbertN(G)-modules.

Given an (m, n)-matrixA= (ai,j), wherei∈ {1,2, . . . , m}andj∈ {1,2, . . . , n}, right multiplication with Adefines aZG-homomorphism

rA:ZG^m→ZGⁿ, (x1, x2, . . . , xm)7→(x1, x2, . . . , xm)·A=Pm i=1

xi·ai,j

j=1,2,...,n

Notice that Ais the matrixA(rA) associated torA.

A finite based free ZG-chain complex C∗ is a ZG-chain complex C∗ such that there exists a natural numberN withCn = 0 for|n|> N and such that each chain module Cn is a finitely generated based free ZG-module. Denote by Λ(C_∗) the finite Hilbert N(G)-chain complex which is obtained by applying the functor Λ.

Here by a finite Hilbert N(G)-chain complex D∗ we mean a chain complex in the category of finite Hilbert N(G)-chain complexes such that there exists a natural number N withDn= 0 forn > N.

1.2. The weakK1-groupK₁^w(ZG). The universalL²-torsion, that we will define in Section 1.3, will take values in the following K1-group. Recall that a morphism f: V → W of finite Hilbert N(G)-modules is called a weak isomorphism if it is injective and has dense image.

Definition 1.1 (K₁^w(ZG)). Define theweak K1-group K₁^w(ZG)

to be the abelian group defined in terms of generators and relations as follows. Gen- erators [f] are given by ofZG-endomorphismsf:ZGⁿ →ZGⁿforn∈Z, n≥0 such that Λ(f) is a weak isomorphism of finite HilbertN(G)-modules. Iff1, f2: ZGⁿ → ZGⁿ are ZG-endomorphisms such that Λ(f₁) and Λ(f2) are weak isomorphisms, then we require the relation

[f2◦f1] = [f1] + [f2].

If f0: ZG^m → ZG^m, f2:ZGⁿ → ZGⁿ and f1: ZGⁿ → ZG^m are ZG-maps such that Λ(f0) and Λ(f2) are weak isomorphisms, then we require for the ZG-map

f =

f0 f1

0 f2

:ZG^m+n=ZG^m⊕ZGⁿ→ZG^m⊕ZGⁿ the relation

[f] = [f0] + [f2].

Let Ke₁^w(ZG)

be the quotient ofK₁^w(ZG) by the subgroup generated by the element [−id : ZG→ ZG]. This is the same as the cokernel of the obvious compositeK1(Z)→K₁^w(ZG).

Define theweak Whitehead group ofG Wh^w(G) to be the cokernel of the homomorphism

{σ·g|σ∈ {±1}, g∈G} →K₁^w(ZG), σ·g7→[r_σ·g:ZG→ZG].

Definition 1.1 makes sense since the morphisms appearing above Λ(f2◦f2) and Λ(f) are again weak isomorphism by [23, Lemma 3.37 on page 144].

Remark 1.2. We obtain the classical notions ofK1(ZG) andKe1(ZG) if we replace in Definition 1.1 above everywhere the condition that Λ(f) is a weak isomorphism of finite HilbertN(G)-modules by the stronger condition thatf is aZG-isomorphism.

1.3. The universal L²-torsion for chain complexes. Recall that a ZG-chain complexC∗iscontractible, ifC∗possesses achain contractionγ∗, i.e., a sequence of ZG-mapsγn:Cn→Cn+1such thatcn+1◦γn+γn−1◦cn= idCnholds for alln∈Z. Moreover, for a finite based free contractible ZG-chain complex C∗ its (classical) torsion

ρ(C∗)∈Ke1(ZG) (1.3)

is defined for any choice of chain contractionγ∗by the class [(c+γ)odd] of theZG- isomorphism of finitely generated based free ZG-modules (c+γ)odd:Codd

∼=

−→Cev, where here and in the sequel we write

Codd = M

n∈Z

C2n+1 and Cev = M

n∈Z

C2n.

As we mentioned above, a basis is understood to be unordered. This implies that the class [(c+γ)odd] is not well-defined inK1(ZG), but it is indeed well-defined in Ke1(ZG) =K1(ZG)/[−id].

We want to carry over these two notions to finite based freeZG-chain complexes C∗ for which Λ(C∗) isL²-acyclic. Recall that a finite Hilbert N(G)-chain complex D∗ isL²-acyclic if for everyn∈Zitsn-th L²-homology groupHn⁽²⁾(D∗), which is defined to be the finite Hilbert N(G)-module given by the quotient of the kernel of the n-th differential by the closure of the image of the (n+ 1)-st differential, vanishes, or, equivalently, if for each n ∈ Z the n-th L²-Betti number b⁽²⁾n (D∗), which is defined to be the von Neumann dimension of Hn⁽²⁾(D_∗), vanishes.

Definition 1.4 (Weak chain contraction). Consider a ZG-chain complex C∗. A weak chain contraction (γ∗, u∗) for C∗ consists of aZG-chain map u∗: C∗ → C∗

and aZG-chain homotopyγ∗:u∗≃0∗such that Λ(un) is a weak isomorphism for alln∈Zandγn◦un=un+1◦γn holds for alln∈Z.

Let C∗ be a finite based free ZG-chain complex. Denote by ∆_n:Cn →Cn its n-th combinatorial Laplace operator which is theZG-map ∆_n=cn+1◦c^∗_n+1+c^∗_n◦ cn:Cn →Cn. It has the property that Λ(∆n) is the Laplace operator of the finite Hilbert N(G)-chain complex Λ(C∗), where the n-th Laplace operator of a finite Hilbert N(G)-chain complexD∗ is the morphisms of finite HilbertN(G)-modules dn+1◦d^∗_n+1+d^∗_n◦dn:Dn→Dn.

Lemma 1.5. Let C_∗ be a finite based free ZG-chain complex. Then the following assertions are equivalent:

(1) Λ(∆n)is a weak isomorphism for all n∈Z;

(2) There exists a weak chain contraction (γ∗, u∗) with γn ◦γn−1 = 0 for all n∈Z;

(3) There exists a weak chain contraction(γ∗, u∗);

(4) Λ(C∗)isL²-acyclic.

Proof. (1) =⇒ (2) Defineγn:Cn→Cn+1 byc^∗_n+1. Thenγn◦γn−1= (cn+1)^∗◦ c^∗_n = (cn◦cn+1)^∗ = 0. Putun = ∆n:Cn → Cn. Then the collection of the un’s defines aZG-chain mapu∗:C∗→C∗such thatγ∗is aZG-chain homotopyu∗≃0∗, we haveγn◦un=un+1◦γn forn∈Z, and Λ(un) is a weak isomorphism forn∈Z.

(2) =⇒ (3) is obvious.

(3) =⇒ (4) Since Λ(un) is a weak isomorphism for all n∈ Z, the induced map Hn⁽²⁾(Λ(u∗)) : Hn⁽²⁾(Λ(C∗)) → Hn⁽²⁾(Λ(C∗)) is a weak isomorphism for all n ∈ Z

by [23, Lemma 3.44 on page 149]. Since Λ(u∗) is nullhomotopic, Hn⁽²⁾(Λ(u∗)) is the zero map for all n∈Z. This implies that Hn⁽²⁾(Λ(C∗)) vanishes for all n∈Z.

Hence Λ(C∗) isL²-acyclic.

(4) =⇒ (1) This follows from [23, Lemma 1.13 on page 23 and Lemma 1.18 on page 24] since Λ(∆n) is then-th Laplace operator of Λ(C∗).

Remark 1.6 (Homomorphisms of finitely generated based free ZG-modules and Ke₁^w(ZG)). Letf:M →N be aZG-homomorphism of finitely generated based free ZG-modules such that Λ(f) is a weak isomorphism. Then we conclude from [23, Lemma 1.13 on page 23]

rkZG(M) = dim_N(G)(Λ(M)) = dim_N(G)(Λ(N)) = rkZG(N).

Hence we can choose a bijection between the two bases forM andN. It induces a ZG-isomorphismb:N →M. Now define an element

[f] := [b◦f]∈Ke₁^w(ZG).

Since we are working in Ke₁^w(ZG), the choice of the bijection of the bases does not matter.

Definition 1.7 (Universal L²-torsion for L²-acyclic finite based free ZG-chain complexes). Let C∗ be a finite based free ZG-chain complex such that Λ(C_∗) is L²-acyclic. Define its universalL²-torsion

ρ⁽²⁾_u (C_∗)∈Ke₁^w(ZG) by

ρ⁽²⁾_u (C∗) = [(uc+γ)odd]−[uodd], where (γ∗, u∗) is any weak chain contraction of C∗.

We have to explain that this is well-defined. The existence of a weak chain contraction follows from Lemma 1.5. We have to show that Λ((uc+γ)odd) and Λ(uodd) are weak isomorphisms and that the definition is independent of the choice of weak chain contraction. Let (δ∗, v∗) be another weak chain contraction. Define Θ1: Cev→Cevby the lower triangle matrix

Θ1:= (v◦u+δ◦γ)ev=











. .. ... ... ... . .. . .. vu 0 0 . . . . . . δγ vu 0 . . . . . . 0 δγ vu . . . . .. ... ... . .. . ..











Then the composite Θ2:Codd

(uc+γ)odd

−−−−−−→Cev Θ1

−−→Cev

(vc+δ)ev

−−−−−→Codd

is given by the lower triangle matrix









. .. ... ... ... . ..

. . . (v²u²)2n−1 0 0 . . . . . . ∗ (v²u²)2n+1 0 . . . . . . ∗ ∗ (v²u²)2n+3 . . .

. .. ... ... ... . ..







 .

We conclude from [23, Lemma 3.37 on page 144] that Λ(Θ1) and Λ(Θ2) are weak isomorphisms and we have

Θ2= (vc+δ)ev◦Θ1◦(uc+γ)odd.

Analogously we find ZG-homomorphisms Θ3 and Θ4 such that Λ(Θ3) and Λ(Θ4) are weak isomorphism and we have

Θ4= (vc+δ)odd◦Θ3◦(uc+γ)ev.

Since we can interchange the roles of (γ∗, u∗) and (δ∗, v∗), we can find ZG-homo- morphisms Θi for i = 5,6,7,8 such that Λ(Θi) is a weak isomorphism and we have

Θ6 = (uc+γ)ev◦Θ5◦(vc+δ)odd; Θ8 = (uc+γ)odd◦Θ7◦(vc+δ)ev.

We conclude that Λ((uc+γ)odd), Λ(uc+γ)ev), Λ((vc+δ)odd), and Λ((vc+δ)ev) are weak isomorphisms. So we get well-defined elements [(uc+γ)odd], [uodd], [(vc+ δ)ev], and [vev] in Ke₁^wZG). We have uev◦(uc+γ)odd = (uc+γ)odd◦uodd and vev◦(vc+δ)odd= (vc+δ)odd◦vodd. This implies

[uodd] = [uev] and [vodd] = [vev].

Since

[Θ1] = [vev] + [uev];

[Θ2] = 2·[vodd] + 2·[uodd];

[Θ2] = [(vc+δ)ev] + [Θ1] + [(uc+γ)odd], hold inKe₁^w(ZG), we get inKe₁^w(ZG)

[(uc+γ)odd]−[uodd] = −[(vc+δ)ev] + [vev].

(1.8)

Since the right hand side of the equation (1.8) above is independent of (γ∗, u∗), we conclude that Definition 1.7 makes sense.

We call an exact short sequence 0→M0

−i

→M1

−p

→M2→0 of finitely generated based free ZG-modules based exact if i(B0) ⊆ B1 holds and p maps B1\i(B0) bijectively onto B2 for the givenZG-basisBi⊆Mi fori= 0,1,2. This extends in the obvious way to ZG-chain complexes.

Lemma 1.9. Let 0 → C_∗ −→^i∗ D_∗ −→^p∗ E_∗ → 0 be a based exact short sequence of finite based free ZG-chain complexes. Suppose that two of the finite Hilbert N(G)-chain complexesΛ(C∗),Λ(D∗)andΛ(E∗)areL²-acyclic. Then all three are L²-acyclic and we get in Ke₁^w(ZG)

ρ⁽²⁾_u (D_∗) =ρ⁽²⁾_u (C_∗) +ρ⁽²⁾_u (E_∗).

Proof. All three finite HilbertN(G)-chain complexes Λ(C∗), Λ(D∗) and Λ(E∗) are L²-acyclic by [23, Theorem 1.21 on page 27]. SinceEn is free and 0→Cn →Dn → En is exact, we can choose ZG-homomorphismsrn:Dn →Cn and sn: En →Dn

satisfyingrn◦sn = 0,rn◦in = idCn andpn◦sn= idEn for eachn∈Z. Because of Lemma 1.5 we can choose weak chain contractions (γ∗, u∗) forC∗ and (ǫ∗, w∗) for E∗ such thatγn+1◦γn = 0 andǫn+1◦ǫn = 0 holds for alln∈Z. Define

δn :=in+1◦γn◦rn+sn+1◦ǫn◦pn: Dn→Dn+1. We compute

δ◦δ = (i◦γ◦r+s◦ǫ◦p)◦(i◦γ◦r+s◦ǫ◦p)

= i◦γ◦r◦i◦γ◦r+i◦γ◦r◦s◦ǫ◦p

+s◦ǫ◦p◦i◦γ◦r+s◦ǫ◦p◦s◦ǫ◦p

= i◦γ◦id◦γ◦r+i◦γ◦0◦ǫ◦p+s◦ǫ◦0◦γ◦r+s◦ǫ◦id◦ǫ◦p

= i◦γ²◦r+s◦ǫ²◦p = i◦0◦r+s◦0◦p = 0.

Put vn :=dn+1◦δn+δn−1◦dn. One easily checksvn◦δn−1 =δn−1◦vn−1 for everyn∈Z. The following diagrams commute

0 //Cn in

//

γn

Dn pn

//

δn

En //

ǫn

0 0 //Cn+1

in+1

//Dn+1

pn+1

//En+1 //0

0 //Cn in

//

un

Dn pn

//

vn

En //

wn

0 0 //Cn

in

//Dn

pn

//En //0

and

0 //Codd iodd

//

(uc+γ)odd

Dodd podd

//

(vd+δ)odd

Eodd //

(we+ǫ)odd

0

0 //Codd iodd

//Dodd

podd

//Eodd //0.

Since Λ(un) and Λ(wn) are weak isomorphisms, the same is true for Λ(vn) by [23, Lemma 3.37 on page 144]. Hence (δ∗, v∗) is a weak chain contraction forD∗. Since each of the short exact sequences 0 → Cn

in

−→ Dn pn

−→ En →0 is based exact by assumption, we get inKe₁^w(ZG)

[(vd+δ)odd] = [(uc+γ)odd] + [(we+ǫ)odd];

[vodd] = [uodd] + [wodd];

ρ⁽²⁾_u (D∗) = ρ⁽²⁾_u (C∗) +ρ⁽²⁾_u (E∗).

This finishes the proof of Lemma 1.9.

Let f: (C∗, c∗) → (D∗, d∗) be a ZG-chain map of ZG-chain complexes. We denote by cone(f∗) the cone off, this is the chain complex which is given by the modules Cn+1⊕Dn and where the differential fromCn⊕Dn+1 →Cn−1⊕Dn is

given by

−cn 0 fn dn+1

.

Furthermore the supension of a chain complex (C∗, c∗) is defined as the chain complex where the n-th boundary map is given byCn−1

−cn−1

−−−−→Cn−2.

Lemma 1.10. Letf: C∗→D∗be aZG-chain homotopy equivalence of finite based free ZG-chain complexes. Denote byρ(cone(f_∗))∈Ke1(ZG)the classical torsion of the finite based free contractible ZG-chain complex cone(f_∗). Suppose that Λ(C_∗) or Λ(D∗)isL²-acyclic. Then bothΛ(C∗)andΛ(D∗)areL²-acyclic, and we get in Ke₁^w(ZG)

ρ⁽²⁾_u (D∗)−ρ⁽²⁾_u (C∗) =ζ(ρ(cone(f∗))) for the canonical homomorphism ζ:Ke1(ZG)→Ke₁^w(ZG).

Proof. Since f∗ is a ZG-chain homotopy equivalence, cone(f∗) is a finite based free contractible ZG-chain complex. In particular Λ(cone(f∗)) is L²-acyclic. One easily checks that ζ:Ke1(ZG)→Ke₁^w(ZG) mapsρ(cone(f_∗)) toρ⁽²⁾u (cone(f_∗)) since a chain contractionγ_∗ for cone(f_∗) defines a weak chain contraction (γ_∗,idcone(f∗)) for cone(f_∗). Now apply Lemma 1.9 to the obvious based exact short sequences of finite based freeZG-chain complexes 0→D∗→cone(f∗)→ΣC∗→0 and use the obvious fact that Λ(ΣC∗) is L²-acyclic, if and only if Λ(C∗) isL²-acyclic, and in

this caseρ⁽²⁾u (ΣC∗) =−ρ⁽²⁾u (C∗) holds.

1.4. The K-group K₁^w,ch(ZG).

Definition 1.11(Ke₁^w,ch(ZG) andKe₁^ch(ZG) ). LetKe₁^w,ch(ZG) be the abelian group defined in terms of generators and relations as follows. Generators [C∗] are given by (basis preserving isomorphism classes of) finite based free ZG-chain complexesC∗

such that Λ(C∗) isL²-acyclic. Whenever we have a short based exact sequence of finite based free ZG-chain complexes 0→C∗→D∗→E∗ →0 such that two (and hence all) of the finite HilbertN(G)-chain complexes Λ(C∗), Λ(D∗), and Λ(E∗) are L²-acyclic, we require the relation

[D_∗] = [C_∗] + [E_∗].

We also require that for anynwe have 0 → ZG −−−→^idZG ZG → 0

=

0 → ZG −−−−→^−idZG ZG → 0

= 0,

where the two non-zero terms lie in dimension n and n+ 1. Let Ke₁^ch(ZG) be the abelian group defined analogously, where we replace everywhere the condition that Λ(C∗) is L²-acyclic by the stronger condition thatC∗ is contractible as ZG-chain complex.

Theorem 1.12 (Chain complexes versus automorphisms). The classical torsion and the universal L²-torsion induce isomorphisms such that the following diagram commutes, where the horizontal maps are the obvious forgetful homomorphisms.

Ke₁^ch(ZG) ^ζ //

ρ ∼=

Ke₁^w,ch(ZG)

ρ⁽²⁾_u

∼=

Ke1(ZG)

ζ

// eK^w₁(ZG).

The inverses ofρandρ⁽²⁾u are given by the obvious maps regarding a homomorphism of finitely generated based freeZG-modules as a1-dimensional finite based freeZG- chain complex.

Proof. The mapρ⁽²⁾u :Ke₁^w,ch(ZG)→Ke₁^w(ZG) is well-defined by Lemma 1.9. One easily checks that the diagram appearing in Theorem 1.12 commutes. It remains to show that the two vertical maps are isomorphisms. We start out with the left vertical map.

Next we define a homomorphism

el :Ke₁^w(ZG) −→^∼= Ke₁^w,ch(ZG).

(1.13)

Consider a ZG-endomorphismf:ZGⁿ → ZGⁿ such that Λ(f) is a weak isomor- phism. We want to define

el([f]) := [el(f:ZGⁿ→ZGⁿ)].

(1.14)

where el(f:ZGⁿ→ZGⁿ) is the 1-dimensional finite based free ZG-chain complex whose first differential is f. Since Λ(f) is a weak isomorphism, Λ el(f:ZGⁿ → ZGⁿ)

isL²-acyclic and defines an element in [el(f:ZGⁿ →ZGⁿ)] inK₁^w,ch(ZG).

We have to check that the relations in K₁^w(ZG) are satisfied. This follows for the additivity relation directly from Lemma 1.9. It remains to show for ZG- endomorphisms f1, f2:ZGⁿ →ZGⁿ such that Λ(f1) and Λ(f2) are weak isomor- phisms that we get inKe₁^w,ch(ZG)

[el(f2◦f1)] = [el(f1)] + [el(f2)].

Consider the chain map

h∗: Σ⁻¹el(f2)→el(f1)

given by h1 = idZGⁿ and hi = 0 for i 6= 1. We conclude from the short based exact sequence of finite based free ZG-chain complexes 0→el(f1)→cone(h_∗)→ el(f2)→0 that we get inKe₁^w,ch(ZG)

[cone(h∗)] = [el(f1)] + [el(f2)].

There is also a based exact short sequence of finite based freeZG-chain complexes 0→el(f2◦f1)−→^j cone(h∗)→el(idZGⁿ)→0, given by

0 //ZGⁿ

f1

−idZGⁿ

!

//

f2◦f1

ZGⁿ⊕ZGⁿ (^idZGⁿ f1)

//

f2 0 idZGⁿ f1

!

ZGⁿ //

id_ZGn

0

0 //ZGⁿ

idZGⁿ

0

! //ZGⁿ⊕ZGⁿ

(0 idZGⁿ)

//ZGⁿ //0.

It yields the equation in Ke₁^w,ch(ZG)

[cone(h∗)] = [el(f2◦f1)] + [el(idZGⁿ)].

This implies

[el(f2◦f1)] = [cone(h∗)]−[el(idZGⁿ)]

(1.15)

= [el(f1] + [el(f2)]−[el(idZGⁿ)]

= [el(f1)] + [el(f2)]−n·[el(idZG)] = [el(f1)] + [el(f2)].

This finishes the proof that the homomorphism el announced in (1.14) is well- defined.

One easily checks thatρ⁽²⁾u ◦el :K₁^w(ZG)→K₁^w(ZG) is the identity. In order to show that the homomorphismsρ⁽²⁾u and el are bijective and inverse to one another, it remains to show that el :K₁^w(ZG)→K₁^w,ch(ZG) is surjective.

We have to show for any finite based freeZG-chain complexC∗with the property that Λ(C∗) is L²-acyclic that [C∗] lies in the image of el. By possibly suspending C∗, we can assume without loss of generality thatCn = 0 forn≤ −1. Now we do induction over the dimension dof C∗. The induction beginning d≤1 is obvious, the induction step from d−1≥1 todis done as follows.

Choose a weak chain contractionγ∗ forC∗. Define aZG-chain map i_∗: el(c1◦γ0:C0→C0)→C_∗

byi1=γ0,i0= idC0 andik= 0 fork6= 0,1. We conclude from Lemma 1.9 applied to the short based exact sequence 0→C∗→cone(i∗)→Σ el(c1◦γ0:C0→C0)→0 that cone(i_∗) is a finite based freeZG-chain complex such that Λ(cone(f_∗)) isL²- acyclic and we get in Ke₁^w,ch(ZG)

[cone(i∗)] = [(C∗)]−

el(c1◦γ0:C0→C0) . Define aZG-chain map

j∗: el(idC0)→cone(i∗) byj0= idC0:C0→C0,j1=

idC₀

0

: C0→C0⊕C1. Then we can equip coker(j∗) with an obviousZG-basis such that we obtain a based exact short sequence of finite based free ZG-chain complexes 0→ el(idC0)−→^j∗ cone(i∗) → coker(j∗) → 0. We conclude from Lemma 1.9 that coker(j∗) isL²-acyclic and we get inKe₁^w,ch(ZG)

[cone(i∗)] = [el(idC0)] + [coker(j∗)].

Since [el(idC0)] and

el(c1◦γ0:C0→C0)

lie in the image of el, it suffices to show that [coker(j_∗)] lies in the image of el. Since coker(j_∗) has dimension ≤ d and its zeroth-chain module is trivial, this follows from the induction hypothesis. This finishes the proof that the homomorphismsρ⁽²⁾u and el are bijective and inverse to one another.

The proofs forρ:Ke₁^ch(ZG)→Ke1(ZG) are analogous.

Remark 1.16 (Universal property of the universal L²-torsion). An additive L²- torsion invariant (A, a) consists of an abelian groupA and an assignment which associates to a finite based freeZG-chain complexC∗such that Λ(C∗) isL²-acyclic, an element a(C_∗)∈ A such that for any based exact short sequence of such ZG- chain complexes 0→C_∗→D_∗→E_∗→0 we get

a(D∗) =a(C∗) +a(E∗), and we have

a(el(±idZG)) = 0.

We call an additive L²-torsion invariant (U, u)universal if for every additive L²- torsion invariant (A, a) there is precisely one group homomorphismf:U →Asuch that for every finite based freeZG-chain complexC∗for which Λ(C∗) isL²-acyclic, we havef(u(C∗)) =a(C∗).

Theorem 1.12 implies that ( ˜K₁^w(ZG), ρ⁽²⁾u ) is the universal additive L²-torsion invariant.

We obtain an involution∗:Ke₁^w(ZG)→Ke₁^w(ZG) by sending [r_A:ZGⁿ →ZGⁿ] to [rA^∗:ZGⁿ→ZGⁿ].

Lemma 1.17. Let C∗ be a finite based free ZG-chain complex such that Λ(C∗) is L²-acyclic. Then for n ∈ Z the combinatorial Laplace operator is a ZG-map

∆n:Cn →Cn such that Λ(∆n) is a weak isomorphism, and we get inKe₁^w(ZG) ρ⁽²⁾_u (C∗) +∗(ρ⁽²⁾_u (C∗)) =−X

n≥0

(−1)ⁿ·n·[∆n].

Proof. Lemma 1.5 shows that Λ(∆n) is a weak isomorphism for alln∈Z. A finite based freeZG-chain complex has length≤l if there exist natural numbersn−and n+ with n−≤n+ such thatCn 6= 0 implies n− ≤n≤n+ and l =n+−n−. We prove Lemma 1.17 by induction over l. The induction beginning l = 1 is done as follows. Choose a natural number n+ such thatC_∗ is concentrated in dimensions n+ andn+−1. Since ∆n+−1◦cn+=cn+◦∆n+ holds, we get inKe₁^w(ZG)

[∆n+−1] = [∆n+−1◦cn+]−[cn+] = [cn+◦∆n+]−[cn+] = [∆n+].

Now we compute

ρ⁽²⁾_u (C_∗) +∗(ρ⁽²⁾_u (C_∗)) = (−1)ⁿ⁺⁺¹·[cn+] +∗ (−1)ⁿ⁺⁺¹·[cn+]

= (−1)ⁿ⁺⁺¹·[cn+] + (−1)ⁿ⁺⁺¹·[c^∗_n+]

= −(−1)ⁿ⁺·[c^∗_n+◦cn+]

= −(−1)ⁿ⁺·[∆n+]

= − (−1)ⁿ⁺·n+·[∆n+] + (−1)ⁿ⁺⁻¹·(n+−1)·[∆n+]

= − (−1)ⁿ⁺·n+·[∆n+] + (−1)ⁿ⁺⁻¹·(n+−1)·[∆n+−1]

= −X

n∈Z

(−1)ⁿ·n·[∆n].

The induction beginning froml−1≥1 tol is done as follows. Choose integersn−

andn+withn−≤n+such thatCn6= 0 impliesn− ≤n≤n+andn+−n− ≤l. Let

eln−(∆n−)∗ be the finite based freeZG-chain complex concentrated in dimensions n₋+ 1 and n₋ whose (n₋+ 1)-st differential is ∆n−:Cn− →Cn−. Define a ZG- chain mapf_∗: eln−(∆n−)_∗→C_∗by puttingfn− = idCn− andfn−+1=c^∗_n−+1. Let cone(f∗) be its mapping cone. Then we obtain a based exact short sequence of finite based free ZG-chain complexes 0→ C_∗ →cone(f_∗)→ Σ eln−(∆n−)_∗ → 0. Since Λ(eln−(∆n−)∗) and Λ(C∗) areL²-acyclic, Lemma 1.9 implies that also cone(f∗) is L²-acyclic and we get inKe₁^w(ZG)

ρ⁽²⁾_u (C∗) = ρ⁽²⁾_u (cone(f∗))−ρ⁽²⁾_u Σ eln−(∆n−)∗ . (1.18)

Let eln−(idCn−)_∗ be the finite based free ZG-chain complex concentrated in di- mensions n−+ 1 and n− whose (n− + 1)-st differential is id :Cn− → Cn−. Let i∗: eln−(idCn−)∗→cone(f∗)∗ be theZG-chain map which is given by the identity idCn− in degree n− and by the obvious inclusion Cn− →Cn− ⊕Cn−+1 in degree n−+ 1. The cokernel of i∗ is the finite based free ZG-chain complexD∗ which is concentrated in dimensions nforn−+ 1≤n≤n+ and given by

· · · →0→Cn+

cn+

−−→Cn+−1 cn+−1

−−−−→ · · ·−−−−→^cn−+4 Cn−+3

0 cn−+3

−−−−−−−−−→Cn−⊕Cn−+2 −c^∗_n−+1 cn−+2

−−−−−−−−−−−−−−→Cn−+1→0→ · · · We obtain a based exact short sequence of finite based free ZG-chain complexes 0 → eln−(idCn−)_∗ −→^i∗ cone(f_∗) → D_∗ → 0. Lemma 1.9 implies that Λ(D_∗) is L²-acyclic and we get inKe₁^w(ZG)

(1.19) ρ⁽²⁾_u (cone(f∗)) =ρ⁽²⁾_u eln−(idCn−)∗

+ρ⁽²⁾_u (D∗) =ρ⁽²⁾_u (D∗).

Combining (1.18) and (1.19) yields

ρ⁽²⁾_u (C∗) = ρ⁽²⁾_u (D∗)−ρ⁽²⁾_u Σ eln−(∆n−)∗ . (1.20)

The induction hypothesis applies toD∗since its length is≤l−1. Hence we get, if

∆^′_n is the combinatorial Laplace operator ofD∗, that ρ⁽²⁾u (D∗) +∗ ρ⁽²⁾u (D∗)

= −P

n∈Z(−1)ⁿ·n·[∆^′_n]

= −(−1)ⁿ⁻⁺¹·(n−+ 1)·[∆n−+1]−(−1)ⁿ⁻⁺²·(n−+ 2)·[∆n−⊕∆n−+2]

−

n₊

X

n=n₋+3

(−1)ⁿ·n·[∆n]

= −

n₊

X

n=n₋+1

(−1)ⁿ·n·[∆n]−(−1)ⁿ⁻⁺²·(n−+ 2)·[∆n−]

= −

n₊

X

n=n₋

(−1)ⁿ·n·[∆n]−(1)ⁿ⁻⁺²·2·[∆n−]

= −^X

n∈Z

(−1)ⁿ·n·[∆n] + (1)ⁿ⁻⁺¹·2·[∆n−].

We compute

ρ⁽²⁾u Σ eln−(∆n−)∗

+∗ ρ⁽²⁾u Σ eln−(∆n−)∗

= (−1)ⁿ⁻⁺¹·[−∆n−] +∗ (−1)ⁿ⁻⁺¹[−∆n−]

= (−1)ⁿ⁻⁺¹·2·[∆n−].

Now Lemma 1.17 follows from (1.20) together with the last two equalities.

1.5. Review of division and rational closure. LetRbe a subring of the ringS.

(Here and throughout the paper a ring is understood to be an associative ring with 1, which is not necessarily commutative.) The division closure D(R ⊆S) ⊆S is the smallest subring ofS which containsRand is division closed, i.e., any element x ∈ D(R ⊆ S) which is invertible in S is already invertible in D(R ⊆ S). The rational closure R(R⊆S)⊆Sis the smallest subring ofSwhich containsRand is rationally closed, i.e., for any natural numbernand matrixA∈Mn,n(R(R ⊆S)) which is invertible in S is already invertible over R(R ⊆S). The division closure and the rational closure always exist. ObviouslyR⊆ D(R⊆S)⊆ R(R⊆S)⊆S.

Consider a groupG. LetN(G) be the group von Neumann algebra which can be identified with the algebraB(L²(G), L²(G))^G of boundedG-equivariant operators L²(G)→L²(G). Denote byU(G) the algebra of operators which are affiliated to the group von Neumann algebra, see [23, Section 8] for details. This is the same as the Ore localization of N(G) with respect to the multiplicatively closed subset of non-zero divisors in N(G), see [23, Theorem 8.22 (1)]. By the right regular representation we can embedCGand hence alsoZGas subring inN(G). We will denote byR(G) andD(G) the division and the rational closure ofZGinU(G). So we get a commutative diagram of inclusions of rings

ZG //

N(G)

D(G)

R(G) //U(G)

Lemma 1.21. Let C∗ be a finite based freeZG-chain complex. Then the following assertions are equivalent:

(1) Λ(C_∗)isL²-acyclic;

(2) The operatorΛ(∆n) : Λ(Cn)→Λ(Cn)is a weak isomorphism for alln∈Z;

(3) The U(G)-homomorphism id_U(G)⊗ZG∆n: U(G)⊗ZGCn → U(G)⊗ZGCn

is an isomorphism for all n∈Z;

(4) The R(G)-homomorphism id_R(G)⊗ZG∆n:R(G)⊗ZGCn → R(G)⊗ZGCn

is an isomorphism for alln∈Z;

(5) TheU(G)-chain complex U(G)⊗ZGC∗ is contractible;

(6) TheR(G)-chain complex R(G)⊗ZGC∗ is contractible.

Proof. (1)⇐⇒ (2) This has already been proved in Lemma 1.5.

(2)⇐⇒(3) This follows from [23, Theorem 6.24 on page 249 and Theorem 8.22 (5) on page 327].

(3) ⇐⇒(4) This follows from the definition of the rational closure.

(4) =⇒ (6) The collection of theZG-mapsc^∗_n+1:Cn→Cn+1definesZG-chain ho- motopy ∆∗≃0∗, where ∆∗: C∗→C∗ is theZG-chain map given by ∆_n in degree n. Therefore we get a R(G)-chain isomorphism id_R(G)⊗ZG∆∗: R(G)⊗ZGC∗ → R(G)⊗ZGC∗ which isR(G)-nullhomotopic. HenceR(G)⊗ZGC∗ is contractible.

(6) =⇒ (5) This is obvious.

(5) =⇒ (1) We conclude from [23, Theorem 6.24 on page 249 and Theorem 8.29 (5) on page 330] that b⁽²⁾n (Λ(C_∗)) = 0 for all n ∈ Z. This finishes the proof of

Lemma 1.21.

With the notation we just introduced we can now formulate the following propo- sition of Linnell–L¨uck, see [25, Theorem 0.1]. For many torsionfree groups it gives an alternative description ofK₁^w(Z[G]).