A 4-dimensional pseudo-Anosov homeomorphism

TL;DR

This paper constructs a 4-dimensional hyperbolic manifold with a pseudo-Anosov monodromy, revealing new geometric and topological properties, including examples of non-hyperbolic fundamental groups and special surface embeddings.

Contribution

It provides the first known example of a 4-dimensional pseudo-Anosov homeomorphism with significant implications for 4-manifold topology and geometric group theory.

Findings

Existence of a 4D hyperbolic fibered manifold with pseudo-Anosov monodromy

Construction of a 4-manifold with no immersed tori in non-trivial classes

Example of a non-hyperbolic group without Z×Z subgroups answering Gromov's question

Abstract

We know from previous work with Italiano and Migliorini that there exists some hyperbolic 5-manifold that fibers over the circle. Here we build one example where the monodromy is a "pseudo-Anosov homeomorphism" of the 4-dimensional fiber, in a way that is surprisingly similar to the familiar and beautiful two-dimensional picture of Nielsen and Thurston for surfaces. This fact has various consequences: (1) There is a compact smooth 4-manifold $M$ such that no non-trivial class in $H_2(M)$ is represented by immersed tori, and infinitely many classes are represented by smoothly embedded genus two surfaces. (2) There is a compact locally CAT(0) space $Y$ such that $\pi_1(Y)$ is not hyperbolic and does not contain $\mathbb Z \times \mathbb Z$. The latter answers a question of Gromov, known as the Closing Flat Problem.