Eclipses on Zippers

2026-04-23T15:51:06Z

Calegari and Loukidou introduced zippers, consisting of a disjoint pair of invariant real trees in the boundary of a closed hyperbolic 3-manifold group $π_1(M)$, which ensure the existence of a universal circle. We study the action of $π_1(M)$ on a minimal zipper and prove a fixed point dichotomy: every nontrivial element either fixes a unique point in each tree or acts freely on both. This answers a question of Calegari and Loukidou. As a consequence, there exists an element with exactly one fixed point in each tree.

On distributional topological complexity of groups and manifolds

2026-04-23T14:54:57Z

We prove the equality $\dTC(Γ)=\TC(Γ)$ for distributional topological complexity of torsion free hyperbolic and of torsion free nilpotent groups. For the distributional topological complexity of lens spaces we prove the inequality $\dTC(L^n_p)\le 2p-1$ and for the distributional LS-category the inequality $d\cat(L^n_p)\le p-1$ which turns into equality for prime $p$ and $n>p$. We use these inequalities to bring counter-examples to the product formula for $d\cat$ and $\dTC$.

Smooth structures on definite four-manifolds with infinite fundamental group

2026-04-23T06:20:12Z

For each odd integer $p > 1$, we construct infinitely many pairwise non-diffeomorphic irreducible smooth structures on a definite 4-manifold with infinite fundamental group whose abelianization is $\Z/2p\Z\times \Z/2\Z$.

Handle decompositions and Kirby diagrams for the complement of plane algebraic curves

2026-04-23T02:45:01Z

The complement of plane algebraic curves are well studied from topological and algebro-geometric viewpoints. In this paper, we will describe the explicit handle decompositions and the Kirby diagrams for the complement of plane algebraic curves. The method is based on the notion of braid monodromy. We refined this technique to obtain handle decompositions and Kirby diagrams.

Cannon--Thurston maps for Anosov foliations

2026-04-23T01:47:41Z

Universal circles, introduced by Thurston and Calegari--Dunfield, are not well understood in general. Recently, the author together with Taylor showed that Anosov foliations with branching admit nonconjugate universal circles. We continue the study of these universal circles and show that for an Anosov foliation with branching on a hyperbolic manifold, the leftmost universal circle admits a Cannon--Thurston-type map to the ideal 2-sphere. This is a new type of construction of a Cannon--Thurston map. As a corollary, we show the fundamental group of the manifold acts on the leftmost universal circle with pseudo-Anosov dynamics.

A note on the Burnside problem for homeomorphism groups of manifolds

2026-04-23T00:52:50Z

This note studies the Burnside problem for homeomorphism groups of compact connected manifolds. For surfaces, we prove that the identity component of the homeomorphism group is torsion-free precisely when the surface is not the sphere, torus, projective plane, or Klein bottle. An extension argument based on the Tits alternative for mapping class groups then implies that every finitely generated periodic subgroup of the full homeomorphism group is finite for all surfaces outside this exceptional list, recovering and extending a theorem of Guelman and Liousse to non-orientable surfaces. For the circle, we prove that every finitely generated periodic subgroup of its homeomorphism group is finite and cyclic. We close with remarks on manifolds with boundary and open questions on the Burnside problem for hyperbolic three-manifolds and doubled handlebodies.

Wild knots embedded in the Menger Sponge

2026-04-22T22:24:00Z

In this paper, we provide explicit recursive constructions of infinitely many non-equivalent wild knots contained in the Menger sponge, in such a way that we can control their set of wild points that lies in a usual Cantor set contained in the Menger sponge. Furthermore, we show that wild knots of dynamically defined type arising from Kleinian group actions can be isotoped into the sponge. We want to emphasize that our approach is constructive and geometric.

A central limit theorem for the signatures of 2-bridge knots

2026-04-22T21:51:27Z

Cohen, Lowrance, Madras, and Raanes computed the average (absolute value of) signature over all 2-bridge knots with crossing number $c$ by introducing the number $s(c,σ)$ of 2-bridge knots of crossing number $c$ and signature $σ$. Here we provide a closed formula for this number. We use these calculations to show that the distribution of the signatures of 2-bridge knots with crossing number $c$ approaches a normal distribution as $c$ tends to infinity.

Thomassen's proof and Filippov's proof of the Weak Jordan Theorem

2026-04-22T18:10:14Z

We present, in detail and with a modern rigor, the two title proofs. The Weak Jordan Theorem (WJT) states that the complement of any topological circuit in the plane is disconnected.

Limit cones of multi-Fuchsian representations

2026-04-22T16:31:03Z

We study the set of normalized multi-lengths for representations of closed surface groups and free groups into $(\mathrm{PSL}_2\mathbf{R})^d$ whose projections to $\mathrm{PSL}_2\mathbf{R}$ are all convex cocompact. These multi-lengths define a convex cone in $\mathbf{R}^d_{\geq 0}$, called the limit cone. When $d=3$, we show the coexistence of different regimes: for some representations the limit cone has only a finite number of sides, which we can force to grow like the genus (or free rank); for other representations, extremal rays are dense in the boundary of the limit cone. We also give examples where the limit cone varies discontinuously with the representation.

Automorphisms of profinite mapping class groups

2026-04-22T15:41:03Z

For $S=S_{g,n}$ a closed orientable differentiable surface of genus $g$ from which $n$ points have been removed, such that $χ(S)=2-2g-n<0$, let $\mathrm{P}Γ(S)$ be the pure mapping class group of $S$ and $\mathrm{P}\widehatΓ(S)$ and $\mathrm{P}\checkΓ(S)$ be, respectively, its profinite and its congruence completions, the latter being identified with the image of the natural representation $\mathrm{P}\widehatΓ(S)\to\operatorname{Out}({\widehatπ}_1(S))$ (where ${\widehatπ}_1(S)$ is the profinite completion of the fundamental group of $S$). We determine the automorphism groups of procongruence completions under a natural rigidity condition, and show that the profinite Grothendieck-Teichmüller group embeds into the outer automorphism group of the profinite completion. Let $\operatorname{Out}^{\mathbb{I}_0}(\mathrm{P}\widehatΓ(S))$ and $\operatorname{Out}^{\mathbb{I}_0}(\mathrm{P}\checkΓ(S))$ be the groups of outer automorphisms which preserve the conjugacy class of a procyclic subgroup generated by a nonseparating Dehn twist (a condition trivially satisfied for $g=0$). Our main result gives that, for $χ(S)

On skein algebras of planar surfaces

2026-04-22T14:00:12Z

Let $R$ be a commutative ring with identity and a fixed invertible element $q^{\frac{1}{2}}$. Let $\mathcal{S}_n$ denote the Kauffman bracket skein algebra of the $n$-holed disk $Σ_{0,n+1}$ over $R$. When $q+q^{-1}$ is invertible, in 2000 Przytycki and Sikora found a set of $n+{n\choose 2}+{n\choose 3}$ generators for $\mathcal{S}_n$; we show that the ideal of defining relations among these generators is generated by relations of degree $\le6$ supported by certain subsurfaces diffeomorphic to $Σ_{0,k+1}$ with $k\le 6$. When $q+q^{-1}$ is not invertible, a set of $2^n-1$ generators for $\mathcal{S}_n$ was known to Bullock in 1999; we show that the ideal of defining relations is generated by relations of degree $\le 2k+2$ supported by certain subsurfaces diffeomorphic to $Σ_{0,k+1}$ with $k\le n$. These results are substantial progresses towards answering Problem 1.92 (J) in the Kirby's list.

Real bordered Floer homology

2026-04-22T13:46:34Z

Fix a 3-manifold $Y$ with boundary $F\amalg F$ and an orientation-preserving involution $τ: Y\to Y$ exchanging the boundary components, with nonempty fixed set. To an appropriate kind of Heegaard diagram for $Y$, we describe how to associate a module over the bordered Heegaard Floer algebra of $F$. These modules satisfy a gluing, or pairing, theorem, and extend the "hat" variant of Guth-Manolescu's real Heegaard Floer homology, $\widehat{HFR}(Y,τ)$. Using these modules, we give a practical algorithm to compute $\widehat{HFR}(Y,τ)$ for real 3-manifolds $(Y,τ)$ with connected fixed set.

Curvature, macroscopic dimensions, and symmetric products of surfaces

2026-04-22T13:07:06Z

We present a detailed study of the curvature and symplectic asphericity properties of symmetric products of surfaces. We show that these spaces can be used to answer nuanced questions arising in the study of closed Riemannian manifolds with positive scalar curvature. For example, we prove that symmetric products of surfaces sharply distinguish between two distinct notions of macroscopic dimension introduced by Gromov and the second-named author. As a natural generalization of this circle of ideas, we address the Gromov--Lawson and Gromov conjectures in the Kaehler projective setting and draw new connections between the theories of the minimal model, positivity in algebraic geometry, and macroscopic dimensions.

Sutured manifold hierarchies and the Thurston nom

2026-04-21T15:58:40Z

Classical work of Thurston and Gabai shows that finitely many taut sutured manifold hierarchies determine the Thurston norm of a compact oriented irreducible $3$-manifold with toroidal boundary. We give an explicit procedure to extract this information from such hierarchies. This is achieved via the maw dual graph construction, which can be incorporated into a general method for computing the Thurston norm of a manifold. As an application, we compute the Thurston norm of the exterior of all alternating and some nonalternating pretzel links with three components. Using these computations, we give a negative answer to a question of Baker--Taylor. Moreover, we show that if a nonseparating surface $S$ in a Haken manifold $M$ with toroidal boundary is disjoint from a boundary torus, then the class $[S] \in H_2(M,\partial M)$ does not lie in the interior of a top-dimensional cone of the Thurston norm. In particular, if two components $\ell_i$ and $\ell_j$ of a nonsplit link have zero linking number, then neither represents a class in an open top-dimensional cone of the Thurston norm ball of the link exterior.