2024-10-04 | | Total: 5
Kronheimer-Mrowka shows that the Dehn twist along a $3$-sphere in the neck of two $K3$ surfaces is not smoothly isotopic to the identity. Their result requires that the manifolds are simply connected and the signature of one of them is $16 \mod 32$. We generalize the Pin$(2)$-equivariant family Bauer-Furuta invariant to nonsimply connected manifolds, and construct a refinement of this invariant. We use it to show that, if $X_1,X_2$ are two homology tori such that the determinants $r_1,r_2$ of them are odd, then the Dehn twist along a $3$-sphere in the neck of $X_1\# X_2$ is not smoothly isotopic to the identity.
A pseudo-Anosov homeomorphism of a surface is a canonical representative of its mapping class. In this paper, we explain that a transitive pseudo-Anosov flow is similarly a canonical representative of its stable Hamiltonian class. It follows that there are finitely many pseudo-Anosov flows admitting positive Birkhoff sections on any given rational homology 3-sphere. This result has a purely topological consequence: any 3-manifold can be obtained in at most finitely many ways as $p/q$ surgery on a fibered hyperbolic knot in $S^3$ for a slope $p/q$ satisfying $q\geq 6$, $p\neq 0, \pm 1, \pm 2 \mod q$. The proof of the main theorem generalizes an argument of Barthelmé--Bowden--Mann.
We compare the marked length spectra of isometric actions of groups with non-positively curved features. Inspired by the recent works of Butt we study approximate versions of marked length spectrum rigidity. We show that for pairs of metrics, the supremum of the quotient of their marked length spectra is approximately determined by their marked length spectra restricted to an appropriate finite set of conjugacy classes. Applying this to fundamental groups of closed negatively curved Riemannian manifolds allows us to refine Butt's result. Our results however apply in greater generality and do not require the acting group to be hyperbolic. For example we are able to compare the marked length spectra associated to mapping class groups acting on their Cayley graphs or on the curve graph.
Bridge multisections are combinatorial descriptions of surface links in 4-space using tuples of trivial tangles. They were introduced by Islambouli, Karimi, Lambert-Cole, and Meier to study curves in rational surfaces. In this paper, we prove a uniqueness result for bridge multisections of surfaces in 4-space: we give a complete set of moves relating to any two multiplane diagrams of the same surface. This is done by developing a surgery operation on multiplane diagrams called band surgery. Another application of this surgery move is that any $n$-valent graph with an $n$-edge coloring is the spine of a bridge multisection for an unknotted surface. We also prove that any multisected surface in $S^4$ can be unknotted by finitely many band surgeries.
Motivated by a classic theorem of Birman and Series about the set of complete simple geodesics on a hyperbolic surface, we study the Hausdorff dimension of the set of endpoints in $\partial F_r$ of some abstract algebraic laminations associated with free group automorphisms. For a fully irreducible $\phi\in\Out(F_r)$ we show that the set of endpoints $\mathcal E_{L_\phi}\subseteq \partial F_r$ of the attracting lamination $L_\phi$ of $\phi$ has Hausdorff dimension $0$ for any tree $T\in\cvr$ and any visual metric on the boundary $\partial T=\partial F_r$. If $\phi$ is both atoroidal and fully irreducible, we deduce the same conclusion for the set of endpoints of the ending lamination $\Lambda_\phi$ of $\phi$ that gets collapsed by the Cannon-Thurston map $\partial F_r\to \partial G_\phi$ for the associated free-by-cyclic group $G_\phi=F_r\rtimes_\phi\mathbb Z$.