Group trisections and smooth 4–manifolds

Abrams, Aaron¹ ; Gay, David² ; Kirby, Robion³

¹ Mathematics Department, Washington and Lee University, Lexington, VA, United States
² Euclid Lab and Department of Mathematics, University of Georgia, Athens, GA, United States
³ Department of Mathematics, University of California, Berkeley, CA, United States

Geometry & topology, Tome 22 (2018) no. 3, pp. 1537-1545.

Résumé

A trisection of a smooth, closed, oriented $4$–manifold is a decomposition into three $4$–dimensional $1$–handlebodies meeting pairwise in $3$–dimensional $1$–handlebodies, with triple intersection a closed surface. The fundamental groups of the surface, the $3$–dimensional handlebodies, the $4$–dimensional handlebodies and the closed $4$–manifold, with homomorphisms between them induced by inclusion, form a commutative diagram of epimorphisms, which we call a trisection of the $4$–manifold group. A trisected $4$–manifold thus gives a trisected group; here we show that every trisected group uniquely determines a trisected $4$–manifold. Together with Gay and Kirby’s existence and uniqueness theorem for $4$–manifold trisections, this gives a bijection from group trisections modulo isomorphism and a certain stabilization operation to smooth, closed, connected, oriented $4$–manifolds modulo diffeomorphism. As a consequence, smooth $4$–manifold topology is, in principle, entirely group-theoretic. For example, the smooth $4$–dimensional Poincaré conjecture can be reformulated as a purely group-theoretic statement.

Détail

DOI : 10.2140/gt.2018.22.1537

Classification : 57M05, 20F05
Keywords: trisection, group theory, finitely presented groups, $4$–manifolds, Morse $2$–functions, Heegaard splitting

Bibliographie

[1] D Gay, R Kirby, Trisecting 4–manifolds, Geom. Topol. 20 (2016) 3097 | DOI

[2] J Hempel, 3–Manifolds, 86, Princeton Univ. Press (1976)

[3] F Laudenbach, V Poénaru, A note on 4–dimensional handlebodies, Bull. Soc. Math. France 100 (1972) 337

[4] C J Leininger, A W Reid, The co-rank conjecture for 3–manifold groups, Algebr. Geom. Topol. 2 (2002) 37 | DOI

[5] J Meier, T Schirmer, A Zupan, Classification of trisections and the generalized property R conjecture, Proc. Amer. Math. Soc. 144 (2016) 4983 | DOI

[6] J Meier, A Zupan, Genus-two trisections are standard, Geom. Topol. 21 (2017) 1583 | DOI

[7] J Morgan, G Tian, The geometrization conjecture, 5, Amer. Math. Soc. (2014)

[8] C D Papakyriakopoulos, On Dehn’s lemma and the asphericity of knots, Ann. of Math. 66 (1957) 1 | DOI

[9] J R Stallings, Some topological proofs and extensions of Grusko’s theorem, PhD thesis, Princeton University (1959)

[10] J Stallings, How not to prove the Poincaré conjecture, from: "Topology seminar" (editors R H Bing, R J Bean), Ann. of Math. Stud. 60, Princeton Univ. Press (1966) 83

[11] F Waldhausen, Heegaard–Zerlegungen der 3–Sphäre, Topology 7 (1968) 195 | DOI