Volume 22, issue 3 (2018)

Download this article
Download this article For screen
For printing
Recent Issues

Volume 26
Issue 7, 2855–3306
Issue 6, 2405–2853
Issue 5, 1907–2404
Issue 4, 1435–1905
Issue 3, 937–1434
Issue 2, 477–936
Issue 1, 1–476

Volume 25, 7 issues

Volume 24, 7 issues

Volume 23, 7 issues

Volume 22, 7 issues

Volume 21, 6 issues

Volume 20, 6 issues

Volume 19, 6 issues

Volume 18, 5 issues

Volume 17, 5 issues

Volume 16, 4 issues

Volume 15, 4 issues

Volume 14, 5 issues

Volume 13, 5 issues

Volume 12, 5 issues

Volume 11, 4 issues

Volume 10, 4 issues

Volume 9, 4 issues

Volume 8, 3 issues

Volume 7, 2 issues

Volume 6, 2 issues

Volume 5, 2 issues

Volume 4, 1 issue

Volume 3, 1 issue

Volume 2, 1 issue

Volume 1, 1 issue

The Journal
About the Journal
Editorial Board
Editorial Interests
Editorial Procedure
Subscriptions
 
Submission Guidelines
Submission Page
Policies for Authors
Ethics Statement
 
ISSN (electronic): 1364-0380
ISSN (print): 1465-3060
Author Index
To Appear
 
Other MSP Journals
Group trisections and smooth $4$–manifolds

Aaron Abrams, David T Gay and Robion Kirby

Geometry & Topology 22 (2018) 1537–1545
Abstract

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.

Keywords
trisection, group theory, finitely presented groups, $4$–manifolds, Morse $2$–functions, Heegaard splitting
Mathematical Subject Classification 2010
Primary: 57M05
Secondary: 20F05
References
Publication
Received: 1 June 2016
Accepted: 19 August 2017
Published: 16 March 2018
Proposed: Peter Teichner
Seconded: Walter Neumann, András I Stipsicz
Authors
Aaron Abrams
Mathematics Department
Washington and Lee University
Lexington, VA
United States
David T Gay
Euclid Lab and Department of Mathematics
University of Georgia
Athens, GA
United States
Robion Kirby
Department of Mathematics
University of California
Berkeley, CA
United States