Current browse context:
math.GT
Change to browse by:
References & Citations
Mathematics > Geometric Topology
Title: Group representations in the homology of 3-manifolds
(Submitted on 16 May 2016 (v1), last revised 13 Nov 2018 (this version, v5))
Abstract: If M is a manifold with an action of a group G, then the homology group H_1(M,Q) is naturally a Q[G]-module, where Q[G] denotes the rational group ring. We prove that for every finite group G, and for every Q[G]-module V, there exists a closed hyperbolic 3-manifold M with a free G-action such that the Q[G]-module H_1(M,Q) is isomorphic to V. We give an application to spectral geometry: for every finite set P of prime numbers, there exist hyperbolic 3-manifolds N and N' that are strongly isospectral such that for all p in P, the p-power torsion subgroups of H_1(N,Z) and of H_1(N',Z) have different orders. We also show that, in a certain precise sense, the rational homology of oriented Riemannian 3-manifolds with a G-action "knows" nothing about the fixed point structure under G, in contrast to the 2-dimensional case. The main geometric techniques are Dehn surgery and, for the spectral application, the Cheeger-M\"uller formula, but we also make use of tools from different branches of algebra, most notably of regulator constants, a representation theoretic tool that was originally developed in the context of elliptic curves.
Submission history
From: Alex Bartel [view email][v1] Mon, 16 May 2016 18:47:06 GMT (46kb,D)
[v2] Wed, 15 Jun 2016 10:11:23 GMT (52kb,D)
[v3] Sat, 10 Sep 2016 20:22:29 GMT (44kb,D)
[v4] Fri, 29 Jun 2018 10:13:57 GMT (23kb)
[v5] Tue, 13 Nov 2018 14:18:27 GMT (23kb)
Link back to: arXiv, form interface, contact.