{'fraction_non_alphanumeric': 0.057539682539682536, 'fraction_numerical': 0.016317733990147784, 'mean_word_length': 3.775381850853549, 'pattern_counts': {'":': 0, '<': 2, '<?xml version=': 0, '>': 6, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 17, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Various L2-signatures and a topological L2-signature theorem

For a normal covering over a closed oriented topological manifold we give a proof of the L2-signature theorem with twisted coefficients, using Lipschitz structures and the Lipschitz signature operator introduced by Teleman. We also prove that the L-theory isomorphism conjecture as well as the C^*_max-version of the Baum-Connes conjecture imply the L2-signature theorem for a normal covering over a Poincar space, provided that the group of deck transformations is torsion-free. We discuss the various possible definitions of L2-signatures (using the signature operator, using the cap product of differential forms, using a cap product in cellular L2-cohomology,...) in this situation, and prove that they all coincide.


Introduction
Atiyah's celebrated L 2 -index theorem [2] implies that the index of the signature operator of a closed oriented smooth manifold M with Riemannian metric coincides with the L 2 -index of the signature operator on any normal covering space of M . In particular, the signature and the L 2 -signature for closed oriented smooth manifolds coincide. The (various) definitions of L 2 -signatures are explained in Section 3.
The signature is of course also defined for closed oriented topological manifolds and, as long as there is a Lipschitz structure, there is even a signature operator whose index is the signature. In the first part of this paper, we address the question how to generalize the L 2 -signature theorem to closed oriented topological manifolds.
Such an L 2 -signature theorem for closed oriented topological manifolds does not seem to be in the literature. We give a proof along the lines of Atiyah's proof [2] of the smooth L 2 -index theorem. Theorem 0.2 also follows from the L 2 -signature theorem for closed oriented smooth manifolds and the fact that the forgetful map Ω * (BΓ) → Ω top * (BΓ) from the smooth bordism group over BΓ to the topological one is rationally an isomorphism (compare Remark 1.7 and the discussion after [41, Theorem 1.6]), as was pointed out to us by Shmuel Weinberger. Note that the L 2signature theorem implies in particular that the signature is multiplicative under finite coverings. This multiplicativity was proved for closed oriented topological manifolds in [35,Theorem 8].
This implies in particular that the L 2 -index theorem can not hold in the stated form in the greatest imaginable generality. In Section 2, we discuss to which extent the L 2 -signature theorem does extend to Poincaré spaces X = (X, ∅), and show that it is implied by the L-theory isomorphism conjecture or by the C * max -version of the Baum-Connes conjecture, provided the covering group Γ is torsion-free. More precisely, we prove the following theorem in 2.3: 0.3 Theorem. Let X be a 4n-dimensional Poincaré space over Q (see Definition 2.2). Let X → X be a normal covering with torsion-free covering group Γ.
Assume that the (Baum-Connes) index map for the maximal group C * -algebra or the L-theory assembly map is rationally surjective.Then sign (2) (X) = sign(X).
In a companion paper [20] we show that, without any further assumption, multiplicativity of L 2 -signatures under coverings holds "approximately" in the following sense: 0.4 Theorem. [20, Theorem 0.1] Let (X, Y ) be a 4n-dimensional Poincaré pair over Q. Suppose that there is a nested sequence of normal subgroups of finite index Γ ⊇ Γ 1 ⊇ Γ 2 ⊇ . . . such that the intersection of the Γ k -s is trivial. Let (X k , Y k ) → (X, Y ) be the finite covering of X associated to Γ K ⊆ Γ. Then the sequence (sign(X k , Y k )/[Γ : Γ k ]) k≥1 converges and lim k→∞ sign(X k , Y k ) [Γ : Γ k ] = sign (2) (X, Y ).
(In [20], we also prove a similar approximation result for amenable exhaustions).
In the last part of the present paper, we check that the various versions of L 2signatures, e.g. given in terms of intersection pairings, the index of the signature operator, or as trace of an index element in the K-theory of certain C * -algebras, all coincide whenever the definitions make sense. In the rest of the paper, and also in [20], we already freely jump between the different interpretations.
This comparison is even interesting for smooth manifolds, in particular for smooth manifolds with boundary. In this case, the L 2 -signature is defined in terms of the intersection pairing on L 2 -homology. In Theorem 3.10 we give a proof that this coincides with the answer predicted by the L 2 -index theorem [25,Theorem 1.1]. Note that we deliberately write "answer predicted by the L 2 -index theorem" and not "index of the signature operator", because before adding a certain well defined correction term (compare [5]) one can not expect to obtain the signature. The paper [25] only deals with the L 2 -index of certain operators. The homological interpretation does not seem to have been checked in the literature.
Organization of the paper: In Section 1 we prove the L 2 -signature theorem for closed topological manifolds.
In Section 2 we address the question, for which Poincaré spaces an L 2signature theorem holds.
In Section 3, we compare the different definitions of L 2 -signatures, and show that they all coincide.

L 2 -signature theorem for topological manifolds
We prove the L 2 -signature theorem for closed oriented Lipschitz manifolds. This does prove the theorem for arbitrary oriented topological manifolds because Sullivan constructs in dimensions ≥ 5 a (unique) Lipschitz structure on every topological manifold [39], and taking the product with CP 8 if necessary (which does change neither the signature nor the L 2 -signature (compare Proposition 3.36)), we may assume that the dimension of our manifold is sufficiently high. Note that we need only the existence, but not the uniqueness of this Lipschitz structure. Now suppose that M is a closed connected oriented Lipschitz manifold of dimension 4n with a Lipschitz metric g and with fundamental group Γ. Let V be a finite dimensional Lipschitz Hermitian vector bundle over M with a (not necessarily flat) Lipschitz connection. Teleman [40] constructs then a twisted signature operator D V (whose index is the topological signature of M if V is a trivial flat line bundle). For basics about Lipschitz manifolds, Lipschitz bundles and Lipschitz operators compare [40,, [14,Section 2], [15,Section 1]. The Lipschitz structure, the metric, the bundle, and the signature operator all can be lifted to M and then in particular ind N Γ (D) = sign (2) The subscript N Γ refers to the group von Neumann algebra. Basics about N Γ, Hilbert N (Γ)-modules, the standard trace tr N Γ and the von Neumann dimension dim N Γ as used in this paper can be found e.g. in [17, Section 1 and 2], [18, Section 1.1].
On Lipschitz manifolds, no pseudo-differential calculus in the usual sense exists. However, one has the following properties of the twisted signature operator which are essential for Atiyah's proof: The same is true for D V .
(2) D V and D V have unit propagation speed, i.e.
Proof. These results are established by Hilsum for the untwisted Lipschitzsignature operator on a complete oriented Lipschitz manifold. Hilsum uses specific properties of the untwisted operator so that his proofs can not directly be applied. We reduce the twisted case to the untwisted case in the following way: we embed V as Hermitian vector bundle in an N -dimensional trivial bundle N with complement W . Choose a connection on W . We then have on N the trivial connection and the direct sum of these two connections. Correspondingly, we get two twisted signature operators D N (which of course is the N -fold direct sum of the untwisted signature operator) and D V ⊕ D W . A calculation in local coordinates shows that where A is a bundle homomorphism with bounded measurable and selfadjoint coefficients, therefore is a bounded selfadjoint operator on L 2 (Ω * (M, N )) (for all this compare [40,Section 6 and 7]. In fact, in [40] this is used as the definition of the twisted signature operator). Lifting this gives the corresponding splitting By [15,Corollaire 1.8] the untwisted operators D N and D N and then also D N + A and D N + A are selfadjoint, therefore the same is true for the direct summands D V and D V .
For summability we have to find a relation between (D N + i) −1 (which is (dim(M ) + 1)-summable by [14,Proposition 5.6]) and (D N + A + i) −1 (these are bounded operators because of self-adjointness). We compute Since the space of (dim(M ) + 1)-summable operators is an ideal in the space of bounded operators, we have to show that (1 + A(D N + i) −1 ) −1 is bounded. We know in particular that (D N + i) −1 and therefore also A(D N + i) −1 is compact.
For finite propagation speed we use the proof of [15,Corollaire 1.11]. There, certain properties of the commutator [D, h] with a Lipschitz function h on M are used. Observe that the bundle homomorphism A commutes with the multiplication operator h, therefore [D N , h] = [D N + A, h] so that the proof for D N also applies to D N + A. Since D V is a direct summand in D N + A, finite propagation speed follows also for D V . Exactly the same argument applies to D V .
for every section s ∈ L 2 (M, E), and suppose the covering M → M and the bundle E are trivial over balls of radius 3ǫ. Then R can be canonically lifted to a bounded operator R on L 2 (M , E) and R is of Γ-trace class with γ∈Γ γ(V i ) and the union is disjoint up to sets of measure zero. Let φ γ i be the characteristic function of γ(V i ). Every s ∈ L 2 (M, E) is a sum φ γ i s. By linearity we only have to define R(φ γ i s) ∀i, γ. We can identify the 2ǫ-neighborhood of γ(V i ) with a corresponding neighborhood of V i in M , and since R has only propagation ǫ, in this way and R is bounded, this makes sense also for the infinite sum φ γ i s. In addition this show R ≤ R .
Let φ i be the characteristic function of V i . Multiplication with φ i is a bounded operator on L 2 (M, E), therefore Rφ i is of trace class for each i. For fixed i, choose a fundamental domain of the covering which contains the 2ǫneighborhood of V i . This induces an obvious identification Moreover, under this identification the operator R i = γ∈Γ Rφ γ i becomes Rφ ⊗ id l 2 (Γ) . By standard properties of the Γ-trace (compare e.g. [38,Theorem 2.3(6)]) R i is of Γ-trace class and tr N Γ (R i ) = tr(Rφ i ) (note that id : Using the properties established in Theorem 1.1 we can essentially use Atiyah's proof to show: 1.3 Theorem. In the situation described above In particular, sign(M ) = sign (2) We proceed with an outline of the proof. For details, we refer to Atiyah's article [2]. Assume throughout that dim M = 4n is divisible by four.
D V is an unbounded operator on L 2 Ω * (M, V ), D V is its lift to L 2 Ω * (M , V ). The Hodge- * operator induces a Z/2-grading on L 2 Ω * , and D V is an odd operator with respect to this grading. What we are really interested in is the graded index of D V , i.e. the index of D + V which maps the +1-eigenspace of the grading operator τ := i p(p−1)+2n * (on p-forms) (1.4) to the −1-eigenspace. Note that (using a fundamental domain) The problem is that kernel and cokernel of D V and D V can not be related to each other using this product decomposition, because the corresponding projection operators are highly nonlocal. First step: construct a specific almost local parametrix for D V (the same one is already used in [24,Lemma 5]). To do this fix ǫ such that the locally trivial covering M → M is trivial over balls of radius 3ǫ (this is possible since M is compact). Choose a function u ∈ C ∞ (R) such that (2) the function v(x) = 1 − xu(x) is rapidly decreasing, (3) the Fourier transforms of u and v are compactly supported with supports contained inside the interval (−ǫ, ǫ).
By Theorem 1.1 (1) D V is selfadjoint. Using functional calculus, we can construct Q = u(D V ) and R = v(D V ) and conclude Moreover, unit propagation speed (see Theorem 1.1 (2)) implies that Q and R are supported in an ǫ-neighborhood of the diagonal, i.e. supp(Qf ) ⊆ U ǫ (supp(f )) for any f ∈ L 2 Ω * (M ). By Lemma 1.2 we can lift Q and R to operators Q and R. Hence we lift the whole equation to (to check the that the domains coincide use that D V is a closed operator). Second step: the parametrix property. We required that v is rapidly decreasing. This implies that Now remember that D V was anti-commuting with the grading operator τ (i.e. τ D V = −D V τ ). Since u(x) is odd the same is true for Q = u(D V ) by Lemma 1.6 below. Since v(x) = 1 − xu(x) is even, R = v(D V ) commutes with τ . We therefore get a splitting where R ± is the restriction of R to the ±1-eigenspace of τ . Since τ is a local operator, the operators R ± are ǫ-local and their lifts are R ± . By Lemma 1.2 R ± are of Γ-trace class and tr N Γ (R ± ) = tr(R ± ).
Step 3: Computing the index. The main point now is that all the conditions are fulfilled to apply Atiyah's principle of computing the index in terms of an arbitrary parametrix. This is formalized in [38,Proposition 2.6]: Let H 0 be the projection onto the kernel of D + V and H 1 the projection onto the cokernel , tr(T 0 ) = tr(T 1 ) is the conclusion of [38, Proposition 2.6] for the ordinary trace (where the group Γ is trivial).
Exactly the same reasoning applies on the universal covering M when computing the Γ-trace, to the effect that In the above proof we used: 1.7 Remark. Shmuel Weinberger pointed out to us that one can also use a bordism argument to reduce the L 2 -signature theorem for closed oriented topological manifolds to Atiyah's L 2 -index theorem for closed oriented smooth manifolds. Indeed, every topological vector bundle V over a topological manifold M has a multiple which is topologically bordant to a smooth vector bundle over a smooth manifold (compare [41, Theorem 1.6 and the following discussion]).
It then remains to prove that the topological twisted signature is a bordism invariant. This is not clear from the classical proof of bordism invariance of the signature, which relies on the homological interpretation of the signature, and this is not available for twisted signature. However, Teleman [41,Theorem 1.2] proves the bordism invariance for the ordinary twisted signature, and we expect that a proof for the bordism invariance of twisted L 2 -signature is possible along similar lines.
When looking at manifolds with boundary, equality of signature and L 2signature fails as badly as possible. This follows from the fact that essentially arbitrary intersection forms can be constructed, if the boundary is non-empty. This is an easy consequence of Wall's non-simply connected generalization of Milnor's plumbing construction (compare [46, Proof of Theorem 5.8]). Since we are not aware of a reference of this fact in the literature, and since this is quite interesting a result, we prove it here in reasonable detail.
Then there is a compact manifold with boundary (W ; X, Y ) of dimension 2k with boundary ∂W = X ∐ Y and with fundamental group π, such that the Morse chain complex C * (W ) of the universal coveringW is isomorphic to C * (X) ⊕ V , where V is considered as trivial chain complex concentrated in the middle dimension k, and with inverse Poincaré duality homomorphism which in the middle dimension is exactly σ. Here P D −1 is a chain homotopy inverse to the cup product with [W, ∂W ].
Proof. We use Wall's extension of Milnor's plumbing construction, as described in [46, Proof of Theorem 5.8]. More Choose lifts to the universal coveringX. We now simultaneously deform the f i to new embeddings f 1 i using regular homotopies η i . The η i can be regarded as framed immersions of S k−1 ×[0, 1] to X ×[0, 1] (with boundary embedded). One can now count intersections and self-intersections as in [46, (5.2)] (taking the fundamental group into account using the chosen lifts). By [44, p. 247] the intersections and self-intersections can be chosen arbitrarily and independently. Now attach k-handles to X × [0, 1] with attaching maps f 1 i × 1. Let W be the resulting manifold. Evidently, ∂W = X ∐ Y , where Y is obtained from X by certain surgeries. Since the attaching maps are by construction homotopic to trivial embeddings, the statement about the cellular chain complex follows.
It remains to adjust the intersection form. Choose the η i in such a way that the intersection of η i with η j is σ(e i )(e j ) where {e i } is the preferred bases of (Zπ) r and where we use the canonical isomorphism V ∼ = V * * . Moreover, choose η i such that the self-intersection of η i is ψ(e i ). Then the intersection of η i with itself is ψ(e i ) + (−1) k ψ(e i ) * , since our normal bundles are trivial.
A canonical basis {S i } for the middle degree chain complex is given by the cores of the attached handles, completed to spheres using the images of the η i in X ×[0, 1] and the discs in D 2k−1 i spanning the images of the f i (and with corners rounded). Then S i ∩S j = η i ∩η j , and the statement about the intersection form follows from the usual calculation of the Poincaré duality homomophism using intersection numbers.
1.9 Remark. Note that we could also prove a version of Proposition 1.8 for manifolds with middle dimensional handles in a Morse decomposition, with an additional summand in the middle degree chain complex.
Observe that we use the usual translation of Poincaré duality to homology, which, because of the use of intersection numbers is more convenient to deal with in the case of smooth manifolds than the cohomological version. Proposition 1.8 implies, together with Lemma 3.25 the following corollary.
1.10 Corollary. If, in Proposition 1.8, X has a Morse decomposition without any k-cells and V ∼ = (Zπ) l , then the manifold W has for an arbitrary Zπ-module K "intersection form" for homology twisted with K In particular, for π the augmentation module ǫ : Zπ → R we get the ordinary intersection form where we use the canonical identification H k (W ; R) = H k (W ; R) coming from cellular Hodge decomposition. Note that the (ordinary) signature is the signature of this self adjoint map (i.e. the difference of the dimensions of positive and negative eigenspaces).
where we use the canonical identification H Note that, if 2k−1 ≥ 7, for any finitely presented group π one can construct a closed manifold X with fundamental group π and with a CW-structure without cells in dimension k.
1.11 Theorem. Given any non-trivial finitely presented group π and any dimension 4k ≥ 8, there is a manifold W with boundary and with fundamental group π, such that sign (2) Proof. This follows immediately from Corollary 1.10, if we can produce appropriate (singular) intersection forms over Zπ. We use the fact that the signature and the L 2 -signature can be computed in therms of the homology intersection form as well as the cohomological one, compare 3.25. Any non-trivial group π contains a non-trivial cyclic group Γ. Any finitely generated free ZΓ module with a given (possibly degenerate) intersection form can be induced up to a finitely generated free Zπ module with induced intersection form, and the ordinary signature as well as the L 2 -signature of the induced intersection form coincides with the original ones (compare also the proof of Remark 2.7). Therefore, it suffices to treat the case π cyclic.
Using the canonical basis, we identify (Zπ) l with its dual. It suffices to consider the case l = 1. In the case π = Z take A to be the (1, 1)-matrix (1 − z) for z ∈ Z a generator and let σ : Zπ → Zπ be given by multiplication with A * + A. Then the augmentation ǫ : Zπ → R gives ǫ(A + A * ) = 0 and yields zero as ordinary signature. The map A + A * : l 2 (Z) → l 2 (Z) is a positive weak isomorphism and yields therefore the L 2 -signature 1 (the spectrum is contained in [0, ∞), but there is no kernel). Notice that A + A * is not invertible over Z[Z] so that we get no contradiction to the conjecture that for torsion-free Γ the maps sign (2) and sign defined in (2.5) and (2.6) agree.
If π is a finite cyclic group of order p > 1, we let A = (1−z) and σ : Zπ → Zπ again be given by multiplication with The augmentation yields the operator zero with ordinary signature 0. On the other hand, on l 2 (π) = Cπ the operator A + A * is non-negative with onedimensional kernel (it diagonalizes with eigenvalues the values of (1 − z) + (1 − z −1 ) at all p-th roots of unity). Therefore its signature (over C) is dim C Cπ−1 = p − 1. The L 2 -signature is obtained by division by dim C Cπ = p and therefore is 1 − 1/p = 0.

L -index theorem for Poincaré spaces
In this section we want to discuss special cases where the L 2 -signature theorem for closed Poincaré duality spaces is true. For finite fundamental groups, there are the counterexamples mentioned in the introduction. For torsion-free fundamental groups, however, the L 2 -signature theorem follows from the C * max -version of the Baum-Connes conjecture or from the L-theory isomorphism conjecture.
Recall that there are symmetric L-groups L n ǫ (R) and quadratic L-groups L ǫ n (R) for certain decorations ǫ = p, h, s and −∞ and that there are symmetrization maps L ǫ n (R) → L n ǫ (R), where in our context the ring with involution and unit R is ZΓ, QΓ or CΓ or the maximal group C * -algebra C * max Γ. If one inverts 2, then the decoration ǫ does not matter and the symmetrization map is bijective. If we omit the decoration, we usually think of ǫ = p, i.e. the L-theory based on finitely generated projective modules. A reference for these definitions and facts is for instance [28, page 19, Section 1.10]. Note that for C * -algebras A there is a natural isomorphism between L-theory and topological K-theory [34, Theorem 1.6] which will be used in the sequel without mentioning it. In dimension n = 0 it sends the class of a non-degenerate sesquilinear form on a finitely generated projective module P to the difference of the classes given by the positive part P + and by the negative part P − . The next definition is due to Wall [45]: such that for the universal covering and hence for any Γ-covering p : X → X the Poincaré QΓ-chain map induced by the cap product with (a representative of ) the fundamental class is a QΓ-chain homotopy equivalence. If Y = ∅, we abbreviate X = (X, ∅) and call it a d-dimensional Poincaré space. Here Examples of Poincaré pairs are given by a compact connected topological oriented manifold X with boundary Y or merely by a connected closed oriented rational homology manifold.
2.3 Theorem. Let X be a 4n-dimensional Poincaré space over Q. Let X → X be a normal covering with torsion-free covering group Γ. Assume that the (Baum-Connes) index map for the maximal group C * -algebra or the L-theory assembly map is rationally surjective. Then Proof. Since X has no boundary, its symmetric signature as an element in the symmetric projective L-group L 0 (QΓ) is defined (for the definitions compare e.g. [22], [27, Proposition 2.1], [28, page 26]). The L 2 -signature sign (2) (X) is the image of σ(X) under the canonical map sign (2) : which is the composition of change of rings homomorphism L 0 (QΓ) → L 0 (N Γ), the isomorphism L 0 (N Γ) = K 0 (N Γ) and the map induced by the standard trace tr N Γ : which is the composition Hence it suffices to show that the maps sign (2) and sign defined in (2.5) and (2.6) agree.
We begin with the case where the Baum-Connes index map is assumed to be rationally surjective. By the Baum-Douglas description of K-homology, every element of K 0 (BΓ) is given by a map of a closed oriented smooth manifold M → BΓ and an elliptic operator D on M . Its index in K 0 (C * max Γ) is obtained by twisting D with the pull back of the canonical C * max Γ-bundle on BΓ. The image of this index element under the composition can be read off directly as the L 2 -index in the sense of Atiyah of the operator D lifted to the Γ-covering of M which is the pull back of EΓ via the map M → BΓ.
On the other hand, the image of this element under the composition is just the index of D. (Here we need to deal with the maximal group C *algebra, because the reduced group C * -algebra is not functorial under group homomorphisms such as Γ → {1}.) Atiyah's L 2 -index theorem [2, (1.1)] now states that these two numbers coincide. Hence the two maps t (2) and t above coincide since we assume that the index map K 0 (BΓ) → K 0 (C * max Γ) is rationally surjective. This implies that the maps sign (2) and sign defined in (2.5) and (2.6) above coincide since sign (2) and sign, respectively, are given by the composition of t (2) and t, respectively, with the map Now suppose that the L-theoretic assembly map is rationally surjective. The symmetric signature defines for any CW -complex Y a natural homomorphism The change of ring and decoration map L −∞ * (Zπ 1 (Y )) → L * (Qπ 1 (Y )) and the symmetrization map L * (Qπ 1 (Y )) → L * (Qπ 1 (Y )) are bijective after inverting 2 [28, pages 19, 104 and 376] and [26, Proposition 8.2 or 3.3]. By the universal properties of assembly maps, σ ⊗ Z Q can be factorized as where the first map is a transformation of homology theories with values in Q-vector spaces. The first map is surjective for Y = {P t.}. Recall that every homology theory with values in rational vector spaces which vanishes in negative degrees is a direct sum of copies of shifted ordinary homology with rational coefficients (i.e. the corresponding spectrum is a wedge of rational Eilenberg-Mac Lane spectra) (compare [7]). It follows that the first map is surjective for all Y . This could also be concluded using homological Chern characters. The second map is surjective for Y = BΓ by assumption and the third map is always bijective. Hence is rationally surjective. This implies that rationally every element in L 0 (QΓ) is a combination of elements of the form σ(M ) for Γ-coverings M → M with closed oriented smooth manifolds M of dimension divisible by four as basis. This follows also from the geometric interpretation of the assembly map in terms of the surgery sequence (see for instance [29,Proposition 18.3] for the topological category). For coverings M → M as above we know already sign (2) (M ) = sign(M ). Hence the maps sign (2) and sign defined in (2.5) and (2.6) above coincide. In [47], a similar argument is used to prove homotopy invariance of ρ-invariants under the same assumptions we are making.
The "max"-Baum-Connes conjecture used in Theorem 2.3 is true for Kamenable torsion-free groups for which the Baum-Connes conjecture is true, e.g. torsion free amenable groups or torsion-free discrete subgroups of SU (n, 1) or SO(n, 1). For more information about the Baum-Connes Conjecture see for instance [13], [23], [43].
Examples of groups for which the L-theory isomorphism conjecture is known are torsion-free poly-finite-or-cyclic groups [9], fundamental groups of closed non-positively curved manifolds [10], or knot groups [1].

Remark.
We have seen in the proof of Theorem 2.3 that for a given finitely presented group Γ the L 2 -index formula sign (2) (X) = sign(X) holds for each Γcovering X → X with a 4n-dimensional Poincaré space X as base if the maps sign (2) and sign defined in (2.5) and (2.6) agree. It turns out that this is an if and only if statement. Namely, rationally any element in L 0 (QΓ) can be realized as σ(X) by the following argument. Fix a closed manifold N of dimension 4n − 1 ≥ 7 with π 1 (N ) = Γ and η ∈ L s 0 (ZΓ). By Wall's realization theorem [46,Theorem 5.8] is bijective after inverting two, the claim follows. It is not hard to check that the maps sign (2) and sign defined in (2.5) and (2.6) are different for Γ a finite cyclic group of prime order (see for instance [29,Example 22.28]). Since for an inclusion i : Γ → Γ ′ of groups the composition of the map sign (2) for Γ ′ with the induction homomorphisms i * : L 0 (QΓ) → L 0 (QΓ ′ ) is the map sign (2) for Γ and similar for sign, the maps sign (2) and sign for Γ can only agree if and only if Γ is torsion-free. In particular the conclusion in Theorem 2.3 that sign (2) (X) = sign(X) holds for Γ-coverings X → X over 4n-dimensional Poincaré spaces X can only be true if Γ is torsion-free.

Question.
To which extend does Theorem 2.3 hold for arbitrary torsionfree groups?
Note that a negative answer would give rise to interesting elements in the (quite mysterious and not well understood) K 0 (C * max Γ) arising as (higher) signatures for closed Poincaré duality spaces which, if the Baum-Connes conjecture for Γ is true, lie in the kernel of the map K 0 (C * max Γ) → K 0 (C * r Γ).

Different definitions of L 2 -signatures
Throughout this section we consider a compact connected oriented d = 4ndimensional Riemannian manifold M , possibly with boundary ∂M , together with a Γ-covering M → M . We denote by ∂M the preimage of ∂M . More generally, we consider a d = 4n-dimensional Poincaré pair (X, Y ) over Q with a Γ-covering (X, X) → (X, Y ). We will denote by u : M → BΓ and u : X → BΓ the classifying maps of the Γ-coverings. We present several different ways to define the L 2 -signature and show that they in fact coincide. One can use the L 2 -index of the signature operator to define sign (2) an (M ) provided ∂M = ∅. Using K-theory and L-theory respectively one can define sign (2) K (M ) and sign (2) L (M ) respectively if ∂M = ∅. We will define signature pairings on L 2 -de Rham cohomology, and also on combinatorial L 2cohomology and take the von Neumann signature of these. This will yield sign (2) forms (M , ∂M ) and sign (2) chain (X, Y ). Note that (D + ) * = D − . This works not only for smooth Riemannian manifolds, but also for Lipschitz manifolds with Lipschitz Riemannian metrics and the corresponding Lipschitz signature operator.

Analytic
If ∂M = ∅ one still can use the signature operator. However, one has to supply it with the non-local Atiyah-Patodi-Singer boundary conditions. Moreover, to get the signature, one has to subtract a certain correction term (corresponding to "extended L 2 -solutions on the cylinder) from the index (compare [3, (4.7)-(4.14)]). To avoid this we directly define the analytic index as the "corrected cohomological" expression of the index formula, namely, we put in the case ∂M = ∅ sign (2) an (   is defined as in (3.2) for the special case of the signature operator.
In particular we get sign (2) an (M ) = sign (2) K (M ). A proof for this well known result can be found in [36]. For the signature and the signature operator, the only operators we are interested in here, we can actually rely on a different set of results (already discussed at length in the literature) which relate the higher signatures to surgery obstructions in L-theory groups. This is discussed in Subsection 3.5.

The de Rham L 2 -signature
Now we allow from the start that ∂M = ∅.
Let V be a Hilbert space and let s : V × V → C be a sesquilinear pairing which is bounded. For us, sesquilinear also means s(v, w) = s(w, v). We can associate to it a selfadjoint bounded operator which is uniquely determined by the property that s The pairing s is non-degenerate if and only if V 0 is trivial. (One might want to require that 0 is not contained in the spectrum of A as an ever stronger version of non-degeneracy). If V is a Hilbert module over the von Neumann algebra N Γ and s is Γ-invariant, then A is Γ-equivariant and the splitting above is a splitting of Hilbert N Γ-modules. The L 2 -signature of s is in this case defined as sign (2) The cup-product of two L 2 -forms is an L 1 -form. If this product form is of the dimension of the manifold, we can integrate. In this way we get a pairing  Note that this does work for Lipschitz Riemannian manifolds as well as for smooth Riemannian manifolds.
If M is closed, the pairing is non-degenerate because to any ω ∈ L 2 Ω 2n (M ) we can assign * ω ∈ L 2 Ω 2n (M ) and M ω∧ * ω > 0 if ω = 0. Moreover, we see that the splitting in this case is given by the ±1-eigenspaces of * : H + = ker( * − 1) and H − = ker( * + 1) (this makes sense if we identify the homology with the L 2 -harmonic forms as can be done by Hodge theory). Moreover, the classical arguments apply to show that i.e. all signatures sign an (M ), sign K (M ) and sign forms (M ), defined so far, coincide. This also works for Lipschitz manifolds (compare [40, Theorem 5.3] for the compact case). The proof that sign (2) an (M , ∂M ) = sign (2) forms (M , ∂M ) for manifolds with boundary (which (up to the usual error term) amounts to the fact that the index of the signature operator with APS-boundary conditions in fact gives the signature) is non-trivial even in the compact case, compare [3, (2.3)] and the discussion after [3, (4.5)]. Moreover, this argument can not directly be used in the L 2 -case, since it makes use e.g. of a gap near zero in the spectrum of the signature operator on ∂M . To circumvent this requires considerable effort.
3.10 Theorem. If M is a compact connected oriented 4n-dimensional manifold with boundary ∂M and M → M is Γ-covering as before, then sign (2) an (M , ∂M ) = sign (2) forms (M , ∂M ). (3.11) First assume that the metric on M has a product structure near the boundary. The proof in the classical case in [3] consists of two steps. In the first step they prove that the analytical index is the signature of the Poincaré duality pairing on the L 2 -harmonic forms on M ∞ . Here M ∞ is M with an infinite cylinder ∂M × [0, ∞) attached to the boundary (with the product metric, which gives a smooth metric on all of M ∞ because we started with a product metric near ∂M ).
We can similarly form M ∞ by attaching a cylinder to M (this is a Γ-covering of M ∞ ). Let H p (2) (M ∞ ) be the L 2 -harmonic p-forms on this manifold. Vaillant [42, 5.16] proves that the L 2 -signature sign (2) (s forms ) of the intersection pairing is sign (2) an (M ). This is a non-trivial fact which we don't know a short and easy proof of. The L 2 -version of the first step in the treatment in [3] follows. Hence it remains to prove sign (2) forms (M ) = sign (2) (s ∞ ). We do this in the following sequence of lemmas.
Remember first that we can define the L 2 -homology of M as the reduced homology of the chain complex of L 2 -differential forms on M (with no boundary conditions: compare [19,Section 5] or [18, Sections 1.4.2, 1.5] where a short account of different competing definitions is given).
Hence, restriction gives a map . We also have the natural map . We will show that the closures of the image of r p and the image of i p coincide and that the pairings on H 2n (2) (M ∞ ) and on i 2n (H 2n (2) (M , ∂M )) have the same L 2 -signature. Observe that the pairing on H 2n (2) (M , ∂M ) is well defined by a standard integration by parts argument, and the same argument shows that it descends to im(i 2n : H 2n (2) (M , ∂M ) → H 2n (2) (M )). We first prove: Notice that q[0] p = q p • r p . The maps q[t] p are continuous, and all the manifolds ∂M × [r, ∞) are isometric. Given a form ω ∈ H p (M ∞ ), the sequence of its restrictions ω t to ∂M × [t, ∞) tends to zero in all Sobolev norms (where we use the isometry just described to compare the different ω t ). Therefore the sequence q[t] p (ω) in L 2 Ω p (∂M ) tends to zero as t → ∞. Now all forms q[t] p (ω) represent the same element in the reduced L 2 -homology of ∂M . This is true since, on the cylinder, we can write ω = ω 1 (u) + ω 2 (u) ∧ du (if u is the cylinder variable), with ω 1,2 L 2 -functions on [0, ∞] with values in L 2 Ω * (∂M ). Observe that ω is closed. Therefore Since the summands with and without du are linearly independent, from this we get ± ∂ω 1 (u) ∂u = (dω 2 (u)).
Integrating this equation with respect to u we get But ω 1 (t) is the pullback of ω to the submanifold ∂M × {t}, and we conclude We consider ω 1,2 to be L 2 -functions on [0, ∞) with values in the Hilbert space L 2 Ω * (∂M ). To those, we can apply the Cauchy-Schwarz inequality: the inner product of ω 2 (u) and the constant function with value 1 satisfies: Therefore the difference on the left hand side of Equation (3.13) is the differential of an L 2 -form. Because q[t] p (ω) t→∞ −−−→ 0 in L 2 , this proves the lemma.
From here one, we cannot continue exactly as in the classical case, because forms representing zero are not exactly boundaries, and homology sequences are only weakly exact. Instead, we use von Neumann dimensions and suitable subspaces with codimensions tending to zero.
First we address surjectivity of the restriction map Consider the differential d : Ω p−1 (2) (∂M ) → Ω p (2) (∂M ). This map is unbounded and left Fredholm by elliptic regularity (compare e.g. [19,Lemma 3.3]) and hence the image of the spectral projection χ (0,γ) (δd) has von Neumann dimension which tends to zero for γ → 0. For given ǫ > 0 choose γ > 0 such that the image of χ (0,γ) (δd) has dimension not bigger than ǫ. Put be the inverse image of E p ǫ under this map. It is a closed subspace of H p (2) (M ) which actually is contained in ker(q p ), the inverse image of im(d(∂M )), and has codimension ≤ ǫ in ker(q p ).
Proof. Let ω be a harmonic form representing an element in K p ǫ . Then we have to find a harmonic form h ∈ H p (2) (M ∞ ) whose restriction to M represents the cohomology class of ω. By assumption, q p ω = dα for suitable α ∈ Ω p−1 (2) (∂M ) in the domain of d. Note that dα itself is smooth by elliptic regularity since ω is harmonic. Choose a smooth function ψ : [0, ∞) → R with ψ(t) = 1 in a neighborhood of 0 and with ψ(t) = 0 for t > 1/2. Defineα = α · ψ(t) ∈ Ω p−1 (2) (∂M × [0, ∞)). Note thatα is an L 2 -form in the domain of d, which is smooth in a neighborhood of the boundary. For such forms, all usual integraion by parts formulas hold, a fact we are using frequently in the sequel and which follows e.g. from the methods of [11], or is explained in more detail in [37].
Let Q : ∂M × {0} ֒→ ∂M × [0, ∞) be the inclusion. Then Q p−1α = α and Q p dα = dα. Define the L 2 -formω on M ∞ to coincide with ω on M , and with dα on ∂M × [0, ∞). We claim thatω ∈ ker(d), i.e. thatω is orthogonal to δφ for all smooth φ with compact support. This is checked by integration by parts (on M and ∂M × [0, ∞) separately): since ω is closed Because of opposite inward directions the orientation of ∂M in the first and second integral are different. Changing the orientation changes the sign of the integral of a differential form. This implies the vanishing of ω, δφ L 2 (M∞) , which is just the sum of the two terms above.
By Hodge decomposition, we therefore can writeω = h + x where h ∈ H p (2) (M ∞ ) and x lies in the closure of the image of d. If we apply r p to this equation, we see that the forms ω and r p (h) represent the same L 2 -cohomology class in H p (2) (M ), which finishes the proof.
Proof. The map surjects onto subspaces of arbitrary small codimension.
Now we have to compare the intersection forms. Again we can not do this directly, but have to restrict our attention to subspaces with small codimension. Observe that q[0] p defines a map from H p be the inverse image of E ǫ under this map. On the space of harmonic forms, the pull back map is bounded in the L 2 -norm, therefore H p ǫ is closed. The codimension of H p ǫ in H p (2) (M ∞ ) is not bigger than ǫ.

Lemma.
Let ω, η ∈ H 2n ǫ , with q[0] 2n ω = dα and q[0] 2n η = dβ. Defineα andβ as in the proof of Lemma 3.16. Assume, without loss of generality, that M has a collar of length 1 which is isometric to a product. Defineα ′ andβ ′ as above, but with support on this collar of M (i.e. replacing the "outward" ∂M × [0, ∞) by the "inward" collar). Then v := r 2n (ω) − dα ′ and w := r 2n (η) − dβ ′ pull back to zero on ∂M and represent the same homology classes as r 2n (ω) and r 2n (η), respectively. Moreover, Proof. We only have to prove Equation 3.19. Integration by parts shows that (3.20) since the additional terms ∂M dα ∧ α and ∂M dβ ∧ β vanish as 2dα ∧ α = dα ∧ α + α ∧ dα = d(α ∧ α) = 0 as α is of odd degree. We therefore have to show that Write ω − dα = h 1 + x and η − dβ = h 2 + y, where we restrict to ∂M × [0, ∞) and use the Hodge decomposition for closed forms with vanishing pullback to the boundary. This implies that the harmonic forms h 1 and h 2 also fullfill q 2n (h 1 ) = 0 = q 2n (h 2 ), and x, y ∈ d(im(d b )), where d b stands for the differential d, but with domain only the smooth compactly supported forms whose pull back to the boundary is zero. Integration by parts shows that We can write h 1 = a(t) + b(t) ∧ dt and h 2 = c(t) + b(t) ∧ dt, and because of the product structure the fact that h 1 is harmonic implies that the form a is harmonic and the form b (or equivalently b ∧ dt) is harmonic. But 0 = q 2n h 1 = a(0), and a harmonic form which vanishes identically at the boundary is zero, therefore a = 0. In the same way, c = 0. This implies h 1 ∧ h 2 = 0 since dt ∧ dt = 0. Consequently where the last equation follows from integration by parts (see [11] as in (3.20). This finishes the proof of Lemma 3.18.
descends to a pairing on im(i p ) which can be restricted to a paring Since the codimension of L 2n Lemma 3.18 implies that the intersection form restricts to a pairing on H 2n ǫ which descents to the pairing s : L 2n ǫ × L 2n ǫ → C above. Since the codimension of H p ǫ in H p Since ǫ > 0 was arbitrary, we get This finishes the proof of Theorem 3.10 in the case, where the Riemannian metric is a product metric near ∂M . The argument also shows that r p : H p (2) (M ∞ ) → H p (2) (M ) is injective. This is the case because the intersection pairing is non-degenerate on H p (2) (M ∞ ) then h is not perpendicular to * h where * is the Hodge operator), and because on subspaces of arbitrarily small codimension this passes to the image of r p . The general version of Theorem 3.10 (without product metric near the boundary) now follows by observing that H * (2) (M , ∂M ) is unchanged if we deform the metric on M to a product metric, and that the intersection form also does only depend on the homology. We can deform the metric in such a way that the restriction to the boundary is unchanged (but of course the second fundamental form changes). If one does this, in sign (2) an (M ) only the local terms M L(M ) and ∂M Π L (∂M ) are changed. Exactly the same changes appear in the Atiyah-Patodi-Singer index formula for the ordinary signature on the compact manifold M . We know that the classical index formula also for manifolds without product metric near the boundary computes the signature, which does not depend on the metric. Therefore the overall changes are zero, and the same is true for sign (2) an (M ). Since we just argued that sign (2) forms (M ) does not depend on the metric on M , Theorem 3.10 follows.

The combinatorial L 2 -signature
Now we want to give a combinatorial construction of the pairing in (3.8). Assume therefore that instead of a compact connected oriented Riemannian manifold M we have a 4n-dimensional Poincaré pair (X, Y ) over Q. Recall that the Poincaré structure is given by a fundamental class [X, Y ] ∈ H 4n (X, Y ; Q) with the following property. Let the fundamental chain [X, Y ] ∈ C 4n (X, Y ; Q), denoted in the same way as the fundamental class, be a closed chain representing the fundamental class. Let (X, Y ) → (X, Y ) be a regular covering. Lift this closed chain [X, Y ] to the covering X. The lift will be a closed bounded chain (without compact support) [X, Y ] ∈ L ∞ C 4n (X, Y ) = l ∞ (Γ) ⊗ CΓ C 4n (X, Y ; C). There is a duality pairing L 1 C m (X, Y ; C) × L ∞ C m (X, Y ; C) → C. We call the pairing against [X, Y ] "integration over X". Now the cup product of one L 2cochains with the complex conjugate of a second one on X gives an L 1 -cochain which, if the dimensions are right, can be integrated over X. This passes to reduced L 2 -(co)homology 3.21 Definition. Denote the induced sesquilinear Γ-invariant bounded pairing of Hilbert N Γ-modules (in the middle dimension 2n) by Define the combinatorial L 2 -signature sign (2) chain (X, Y ) to be the associated L 2signature sign N Γ (s chain ) of s chain as in (3.7).
To show that this definition makes sense, recall that the definition of the cup-product involves a cellular approximation to the diagonal embedding X → X × X, which we can lift to an equivariant cellular map X → X × X. This way, there is a global bound K such that the image of each cell in X under the diagonal approximation meets only K cells of X × X. Remember that the cochain representing the cup-product of a and b maps a cell σ to a certain linear combination of a(σ 1 ) · b(σ 2 ) n (given locally by the diagonal approximation), where σ 1 × σ 2 runs through all cells in the image of σ under the cellular approximation to the diagonal. This implies in a standard way that this cup-product map is continuous from the product of the L 2 -cochain spaces to the L 1 -cochains.
The result of the pairing between a cochain σ p-cell λ σ σ and a chain of the form σ p-cell µ σ σ is the number σ p-cell λ σ µ σ . This is a continuous pairing between L 1 -cochains and L ∞ -chains.
Taken together, we get a pairing on L 2 -cochains with values in the complex numbers. If we restrict in one factor to cochains with compact support, this is the classical pairing. In particular, X a ∪ b = 0 if a = δ(a ′ ) and a ′ has compact support and δ(b) = 0, since this is true (in the classical situation) if a has compact support and b is completely arbitrary. We want to check the corresponding statement if a is in the closure of the image of δ in the space of L 2 -cochains, and b is an L 2 -cochain with δ(b) = 0. Now a = lim n→∞ δ(a n ), where we can assume that all a n have compact support, because δ is continuous and the cochains with compact support are dense in the space of L 2 -cochain. But then continuity implies the claim that our pairing vanishes on (the closure of the space of) coboundaries and therefore passes to reduced L 2 -cohomology. The usual proofs apply to show that the cup product (and the pairing) does not depend on the particular way we constructed it (e.g. the particular cellular approximation to the diagonal embedding).
Note that the construction is homological in nature and therefore depends only on the oriented homotopy type of the pair (X, Y ). In particular it is independent of the CW-structure and the choice of the closed cycle representing the fundamental class.
An alternative description of Definition 3.21 can be given using the sequence Note that this is obtained by tensoring the corresponding CΓ-chain map over CΓ with l 2 (Γ). It induces a selfadjoint bounded Γ-equivariant operator using the canonical identification H 2n (X, Y ) = H 2n (2) (X, Y ) which comes from the cellular Hodge decomposition. Actually, putting any positive inner product on H (2) 2n (X, Y ) will give rise to an identification with its dual space H 2n (2) (X, Y ), and the fact that the Poincaré duality homomorphism is self dual implies that after the identification the homomorphism is self adjoint (with respect to the used inner product), as can be seen by going through the definitions.
3.25 Lemma. The homological Poincaré duality homomorphism 2n (X) has the same L 2 -signature as A of (3.24), where P D −1 is the defined to be the inverse of the isomorphism induced by cup product with the fundamental class (which we abbreviate with P D in this lemma). The corresponding remark holds for the ordinary signature of (X, Y ).
For the calculation of L 2 -signatures and ordinary signatures, the Poincaré duality chain map can be replaced by any chain homotopic map, and moreover, it can be "conjugated" with a chain homotopy equivalence and its adjoint.
Proof. Given any self-adjoint Hilbert N Γ-module morphism a : V → W and a (not necessarily unitary) Hilbert N Γ-isomorphism f : V → W , we have sign (2) (a) = sign (2) This follows from the fact that the isomorphism f * intertwines a and f af * , i.e.
i.e. f * maps the positive or negative spectral part, respectively, of f af * to the corresponding part of a, and being an N Γ-isomorophism, it preserves the N Γ-dimension. In our case, 2n (X) → H (2) 2n (X, Y ), and therefore i * • g −1 is adjoint to g −1 • i * by the usual relations between dual and adjoint on Hilbert spaces, and secondly A * = A.
The statement about the chain homotopy invariance follow trivially from the fact that L 2 -signature and signature depend on the homological Poincaré duality map only, which is not affected by passing to a chain homotopic map, and "conjugation" with a chain homotopy equivalence and its adjoint corresponds to "conjugation" by an isomorphism and its adjoint. We have just checked that this does not change the L 2 -signature.
The identical argument applies to the ordinary signature (which can be considered as the L 2 -signature for the trivial one-sheeted covering).
The standard relations between cup-and cap-product and "integration" of homology against cohomology classes imply 3.26 Proposition. The operator in (3.24) is the operator associated in (3.6) to the pairing appearing in Definition (3.21). In particular we get sign (2) (3.27) Suppose (X, Y ) happens to be an oriented cocompact smooth manifold with boundary, and the CW-structure is given by a smooth triangulation. Then by the L 2 -de Rham isomorphism of Dodziuk [6, Theorem 1] and its version for manifolds with boundary ( [37,Corollary 1.7] or [12]), L 2 -simplicial and L 2 -de Rham cohomology are isomorphic.
For reasons of completeness, we will prove that the pairings which give rise to sign (2) forms and sign (2) chain are compatible with respect to this isomorphism. It would perhaps be more satisfactory to prove that the isomorphism is compatible with the products. However, we don't want to discuss the L 1 -version of the Hodgede Rham theorem (and note that the product of two L 2 -forms is an L 1 -form), so we use this shortcut. The advantage is that we can give a "local" proof of the weaker result, which holds on the chain level. Note that, in contrast, there is no good way to describe a good cup product on the level of cochains of a simplicial complex which is at the same time graded commutative and associative, as is the case for the wedge product of differential forms. Similar and related work has e.g. been done in [21,Section 7], and his methods could be used as well. Another version would use an intermediate simplicial L 2 -de Rham complex as in the treatment in [8] of multiplicativity of the ordinary de Rham isomorphism. Actually, this method is used in [12] to prove the de Rham theorem for L 2 -cohomology (as well as L p -cohomology), but without taking care of the multiplicative structure. We believe that the combination of [8] and [12] proves that the L 2 -de Rham isomorphism preserves the multiplicative structure.
We choose to give a direct argument, using some calculations of [31].
To start with, we recall a possible definition of the cup product on the cochain level of a simplicial complex (using the Alexander-Whitney approximation).
So, assume X is a simplicial complex. Choose an orientation of X, i.e. an orientation of each simplex of X. Next, we choose a local ordering of the chain complex, i.e. a total ordering of the vertices of every simplex with the compatibility condition that, if a simplex σ is the face of a simplex τ , then the restriction of the ordering on the simplices of τ should give the ordering on σ. Customarily, such a local ordering is obtained by globally ordering all the vertices of the simplicial complex, but that is by no means necessary for the following cup product construction, and for us it will later be much more convenient to use local orderings.
Observe that we do not require that the ordering is compatible with the orientation (later on, we will use different local orderings, but the same orientation).
Following the conventions in [32], the cup product of a p-cochain a and a q-cochain b is defined by a ∪ b( e 0 , . . . , e n ) = a( e 0 , . . . , e p )) · b( e p , · · · , e n ). (3.28) Note in particular that, if a is the elementary cochain corresponding to e 0 , . . . , e p (i.e. maps this simplex to one, and all other simplices to zero), and b is the elementary cochain of e p , . . . , e n , then a ∪ b is the elementary cochain of e 0 , . . . , e n .
The de Rham map maps a (sufficiently smooth) p-form ω to a p-cochain of the simplicial cochain complex of a smooth triangulation of the manifold. The value of (ω) on a p-simplex σ simply is the integral of ω over σ. This is a chain map.
An inverse map W from the cochain complex to differential forms (going back to Whitney) is given by mapping an elementary p-cochain σ with vertices (e 0 , . . . , e p ) to the "barycentre form" where the hat means, as usual, that the corresponding entry is omitted, and the x i are defined to be the barycentric coordinates with non-zero values in the stars of the vertices e i . The form W (σ) is non-zero only on the open star of σ.
Dodziuk [6], compare also [12], proves that W indeed induces an isomorphism on reduced L 2 -cohomology. The inverse is essentially induced by . In particular, it is easily established that •W = id. However, since is (below the top degree) not defined for all L 2 -forms, one has to be somewhat careful here. This is the main reason why we don't prove that the de Rham isomorphism is multiplicative for L p -cohomology (where the product of an L p and an L q -form is an L r -form with 1/r = 1/p + 1/q).

Lemma.
If c 1 and c 2 are elements of the simplicial L 2 -cochain complex such that the degrees add up to 4n, then on the 4n-dimensional manifold X where the sum is over all 4n-simplices with orientation induced from X.
Proof. The first equality is the definition of the pairing. For the second one observe that We used the fact that •W is identically the identity map.
Since we already know that W induces an isomorphism, from this it suffices to check for the compatibility of the two pairings that for c 1 and c 2 cochains as in Lemma 3.29, since the right hand side equals s chain (c 1 , c 2 ).
We are only interested in the result on cohomology. Therefore, we can define the cup product on the cochain level appropriately. Recall, as already observed above, that many choices are possible. Our description depends e.g. on the chosen local ordering.
First, we assume that our triangulation is the barycentric subdivision of some other triangulation (if it is not yet, pass to the barycentric subdivision). There, a canonical local ordering is defined: a simplex σ of the barycentric subdivision is by definition a chain s 0 ⊂ s 1 ⊂ · · · ⊆ s k of simplices of the original triangulation with vertices s 0 ,. . . , s k ; and the ordering on the latter is given by inclusion, or, equivalently, by ordering according to the dimension.
In the latter description, on our 4n-dimensional simplicial complex X we define a collection of local orderings parameterized by the symmetric group Σ 4n+1 of permutations of {0, . . . , 4n} with vertices s i , s j of the simplex σ above satisfying s i < τ s j under the ordering induced by τ ∈ Σ 4n+1 if and only if τ (s i ) < τ (s j ).We denote the cup product induced by this local ordering by ∪ τ .
The cup product to be used for Equation (3.30) is then the average of all the ∪ τ : We now prove Equation (3.30) with this definition of the cup product.
Then v 1 and v 2 are sesquilinear and jointly continuous. For the latter we use the fact that W is a continuous map from L 2 -cochain to L 2 -forms as well as from L 1 -cochain to L 1 -forms (this follows from its "local" character). Moreover, the wedge as well as our cup product are continuous from L 2 to L 1 by an appropriate application of the Hölder inequality (again, the "local" definition of the cup product is used here).
Let us first consider the case that σ 1 and σ 2 have no vertex in common. Then the cup product of c 1 and c 2 is zero. At the same time, the supports of W (c 1 ) and W (c 2 ) (being the open stars of the simplices σ 1 and σ 2 ) have empty intersection. In this case therefore v 1 (c 1 , c 1 ) = 0 = v 2 (c 1 , c 2 ).
Finally, for the interesting case, assume f 0 = e p is the only vertex which both simplices have in common (f 0 = e p is no real loss of generality, we could replace an oriented simplex by the negative of a simplex with the wrong orientation and the whole argument would go through). Evidently, only the case p + q = 4n is of interest, in which case (e 0 , . . . , e p = f 0 , f 1 , . . . f q ) spans a 4n-simplex. Let σ be the oriented simplex with these vertices and with orientation induced from X. Observe that σ is spanned by σ 1 and σ 2 , but the orientation it gets that way differs from its orientation by ǫ(e 0 , . . . , f q ) =: * (σ 1 , σ 2 ). The latter notation is used in [31, p. 23].
The support of W (σ 1 ) ∪ W (σ 2 ) is the interior of this 4n-simplex. Therefore, its integral over any other 4n-simplex is zero.
This finishes the proof of the claim.
Proof. Let U(Γ) be the algebra of operators affiliated to N Γ. Algebraically U(Γ) is the Ore localization of N Γ and has the property that it is a von Neumann regular ring, i.e. any finitely generated submodule of a finitely generated projective UΓ module is a direct summand [18,Theorem 8.22]. There is a commutative square chain (X). We conclude from the definition of sign (2) L (X) that sign (2) chain (X) = sign (2) L (X) holds. If X is a closed oriented smooth Riemannian manifold then, as we have seen above, the signature operator twisted with the canonical non-trivial flat N Γ-bundle on X has an index in K 0 (N Γ).
It is now a fundamental result, due to Mishchenko and Kasparov, that this index is equal to the element given by the symmetric signature (they are actually using the group C * -algebra C * Γ, but the argument for the von Neumann algebra is the same). For an extensive treatment of these facts (and a generalization to more general C * -algebra-module bundles), compare [21]. In particular, we get the following result (see also [16, pages 728-729]).

Künneth formula
3.36 Proposition. The L 2 -signature is multiplicative: if X and Y are two Poincaré spaces with a regular Γ X -covering X → X and a regular Γ Y -covering Y → Y , then we get a regular Γ X × Γ Y -covering X × Y → X × Y and we have sign (2) (X × Y ) = sign (2) (X) · sign (2) (Y ).
Proof. This follows, as in the classical compact case, in a straightforward way from the Künneth formula for L 2 -cohomology.