Volume 22, issue 3 (2018)

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

Volume 28
Issue 2, 497–1003
Issue 1, 1–496

Volume 27, 9 issues

Volume 26, 8 issues

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 Procedure
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

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.

trisection, group theory, finitely presented groups, $4$–manifolds, Morse $2$–functions, Heegaard splitting
Mathematical Subject Classification 2010
Primary: 57M05
Secondary: 20F05
Received: 1 June 2016
Accepted: 19 August 2017
Published: 16 March 2018
Proposed: Peter Teichner
Seconded: Walter Neumann, András I Stipsicz
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