×

Three-manifolds class field theory. (Homology of coverings for a nonvirtually \(b_1\)-positive manifold). (English) Zbl 0892.57012

Inspired by Thurston’s covering conjecture, the author studies irreducible 3-manifolds with infinite fundamental group and without a finite covering with positive first Betti number. He finds analogies between the homology of the finite covers of such manifolds and class field theory. A representative theorem is the following:
Theorem 10.1. Let \(p\) be a prime such that \(\text{rank} (H_1(M, \mathbb{F}_p)) \geq 4\). Suppose \(M\) has no finite cover with positive first Betti number. Let \(M_{i+1}\), \(i\geq 1\) be the maximal abelian \(p\)-covering of \(M_i \) (the Hilbert class covering). Let \(r_i= \text{rank} (H_1 (M_i, \mathbb{F}_p))\). Then (1) \(r_{i+1} \geq {r^2_i-r_i \over 2}\), (2) Let \(\widetilde M_{i+1}\) be a maximal elementary abelian \(p\)-covering of \(\widetilde M_i\) \((\widetilde M_1=M_1)\). Then \(H_1 (\widetilde M_{i+1}, Z)_{(p)}\) has exponent \(\geq p^{\widetilde r_i -1}\). In particular \(\widetilde r_i\) has super-exponential growth and the class tower is infinite.

MSC:

57N10 Topology of general \(3\)-manifolds (MSC2010)
57M10 Covering spaces and low-dimensional topology
Full Text: DOI

References:

[1] A. Adem. Cohomological non-vanishing for modules over P-groups. J. of Algebra 141 (1991), 376-381. · Zbl 0748.20028 · doi:10.1016/0021-8693(91)90238-4
[2] S. Akbulut and D. McCarthy. Casson’s Invariant for Oriented Homology 3-Spheres, An Exposition. Princeton Univ. Press (1990). · Zbl 0695.57011
[3] D.M. Arnold, and R.C. Laubenbacher. Almost split sequences for Dedeking-like rings. J. London Math. Soc. 43 (1991), 225-235. · Zbl 0681.13008 · doi:10.1112/jlms/s2-43.2.225
[4] D.J. Benson. Representation and cohomology, II. Cambridge Univ. Press (1991). · Zbl 0731.20001
[5] A. Cartan and S. Eilenberg. Homological Algebra. Princeton Univ. Press (1956). · Zbl 0075.24305
[6] M. Culler and P. Shalen. Varieties of group representations and splittings of 3-manifolds. Annals of Mathematics 117 (1983), 109-146. · Zbl 0529.57005 · doi:10.2307/2006973
[7] D. Johnson and J. Millson. Deformation spaces associated to compact hyperbolic manifolds. in: Discrete groups in geometry and analysis, papers in honor of G.D. Mostow, Progress in Math. 67, 48-106. · Zbl 0664.53023
[8] M. Kapranov and A. Reznikov. The language of arithmetic topology. manuscript, MPI (1996). · Zbl 0748.20028
[9] L.S. Levy. Mixed modules over ZG, G cyclic of prime order, and related Dedekind pull-backs. J. of Algebra 71 (1981), 62-114. · Zbl 0508.16009 · doi:10.1016/0021-8693(81)90107-1
[10] L.S. Levy. Modules over Dedekind-like rings. J. of Algebra 93 (1985), 1-116. · Zbl 0564.13010 · doi:10.1016/0021-8693(85)90176-0
[11] L.A. Nazarova and A. Royter. Finitely generated modules over a dyad of two local Dedekind rings and finite groups with an abelian normal divisor of index p. USSR-Izv. 3 (1969). · Zbl 0207.04803
[12] B. Okudzhava. Work is work, in: Selected Poems and Songe. Moscow (1986). · Zbl 0529.57005
[13] A. Reznikov. Ramied coverings, cycles mod p and Haken-Waldhausen conjecture. preprint MPI (1996). · Zbl 0136.27402
[14] A. Reznikov. Surface domination and virtual Betti numbers of three-manifolds. preprint MPI (1996). · Zbl 0748.20028
[15] A. Reznikov and P. Moree. Three-manifolds subgroup growth, homology of coverings and simplicial volume. preprint MPI (1996). · Zbl 0913.20017
[16] J.-P. Serre. Algèbre locale. Multiplicite. LNM, 11, Springer-Verlag. · Zbl 0091.03701
[17] J.-P. Serre. Sur la dimension cohomologique des groupes profinis. Topology 3 (1965), 413-420. · Zbl 0136.27402 · doi:10.1016/0040-9383(65)90006-6
[18] J.-P. Serre. Une relation dans la cohomologie des p-groupes. C.R. Acad. Sci. 304 (1987), 587-590. · Zbl 0626.20041
[19] P. Shalen and P. Wagreich. Growth rates, Zp-homology and volumes of hyperbolic 3- manifolds. TAMS. 331 (1992), 895-917. · Zbl 0768.57001
[20] V. Turaev. Nilpotent homotopy types of closed three-manifolds. LNM 1060 (1984). · Zbl 0564.57008
[21] D. Quillen. Spectrum of an equivariant cohomology ring. Annals of Math. 94 (1971), 549-602. · Zbl 0247.57013 · doi:10.2307/1970770
[22] C.T.C. Wall. Resolution for extensions of groups. Proc. Cam. Phil Soc. 57 (1961), 251-255. · Zbl 0106.24903 · doi:10.1017/S0305004100035155
[23] B. Weisfeller. Strong approximation for Zariski-dense subgroups of semisimple algebraic groups. Annals of Math. 120 (1984), 271-315. · Zbl 0568.14025 · doi:10.2307/2006943
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.