L-spaces and knot traces

2026-03-13T17:47:04Z

There has been a great deal of interest in understanding which knots are characterized by which of their Dehn surgeries. We study a 4-dimensional version of this question: which knots are determined by which of their traces? We prove several results that are in stark contrast with what is known about characterizing surgeries, most notably that the 0-trace detects every L-space knot. Our proof combines tools in Heegaard Floer homology with results about surface homeomorphisms and their dynamics. We also consider nonzero traces, proving for instance that each positive torus knot is determined by its $n$-trace for any $n\leq 0$, whereas no non-positive integer is known to be a characterizing slope for any positive torus knot besides the right-handed trefoil.

Lower bounds for faithful linear representations of subgroups of the mapping class group

2026-03-13T14:07:37Z

Recently, Korkmaz established the lower bound of $3g - 2$ for the dimension of a faithful representation of the mapping class group of an orientable surface of genus $g \ge 3$. We raise this bound to $4g - 3$ in the setting of surfaces of genus $g \ge 7$. A new ingredient is a finer study of the commutation relations in $\operatorname{PMod}(Σ)$. We use the relations arising from a certain pants decomposition of $Σ_g$ to show that any representation of dimension $\le 4g - 4$ is forced to kill a natural subgroup of the Torelli group. We also establish lower bounds for the dimension of faithful representations of related groups: the Johnson group of a closed surface, arbitrarily low terms of the Johnson filtration of a compact surface with one boundary component, and pure braid groups. These lower bounds grow linearly on the genus of the surfaces and the number of strands of the braids. Finally, we also provide some evidence that greater lower bounds for the low-genus cases should lead to improved lower bounds for $g \gg 0$.

Quantum cellular automata are a coarse homology theory

2026-03-13T13:10:43Z

We show that quantum cellular automata naturally form the degree-zero part of a coarse homology theory. The recent result of Ji and Yang that the space of QCA forms an Omega-spectrum in the sense of algebraic topology is a direct consequence of the formal properties of coarse homology theories.

Tight Bounds for Tight Links: Ropelength of T(Q,Q) torus links

2026-03-13T12:52:58Z

Ropelength, L, is a parameter characterizing the minimum contour length of a knot or link. There exist upper and lower bounds on ropelength with respect to crossing number, C, including a universal lower bound constraining $L\geqα_0 C^{3/4}$ for some constant $α_0$. There is currently an order-of-magnitude range for the value of $α_0$ between 1.105 and 10.76. In this work, we show that T(Q,Q) torus links can be constructed such that the upper bound is within a factor of 1.77 of the lower bound. We derive a stronger lower bound based on the convex hull around close-packed disks of approximately $α_{T_{QQ}}>\sqrt{8π\sqrt{3}}+(2π+\sqrt{2π+7\sqrt{3}-12}\ )Q^{-1/2}\approx6.60+7.61Q^{-1/2}$, significantly higher than the best universal lower bound of 1.105. We show that a link can be constructed without any free parameters or geometric optimization that, when $Q$ is large, has a coefficient $α_{T_{QQ}}<1.005\cdot 4π(5\sqrt{5}-8)/3\approx13.39$, and can be improved to to 11.68 by solving a helical no-overlap constraint equation that requires a conjectural approximation. For $Q$ up to 20 we construct links from smooth planar curves or toroidal helices minimized with respect to a small number of geometric parameters, that are between 6 and 60% greater in ropelength than the lower bound. Many such links can be annealed to within 10% of the lower bound using gradient descent. This represents significant progress towards developing sharp bounds on the ropelengths of specific classes of knots and links.

Mapping class group action on the cohomology of the $\mathrm{SL}_n$ character variety

2026-03-12T22:02:06Z

We describe the mapping class group action on the cohomology of the twisted $\mathrm{SL}_n$-character variety of a surface $Σ_g$ of genus $g$. Our main tool is a relative version of the endoscopic decomposition of Maulik-Shen; this allows us to reduce the problem to the mapping class group action on the cohomology of a canonical finite cover of $Σ_g$, which was studied by Looijenga.

The curve complex as a coset intersection complex

2026-03-12T17:18:56Z

We show that there is a collection of subgroups of the mapping class group of a surface such that the associated coset intersection complex is quasi-isometric and homotopy equivalent to the curve complex. Moreover, we prove that these two complexes are combinatorially equivalent in the sense that one can be obtained from the other via taking a nerve. As an application, we prove that the automorphism group of this coset intersection complex is the extended mapping class group, a result in the spirit of for Ivanov's metaconjecture.

On Sparse Representations of 3-Manifolds

2026-03-12T16:03:09Z

3-manifolds are commonly represented as triangulations, consisting of abstract tetrahedra whose triangular faces are identified in pairs. The combinatorial sparsity of a triangulation, as measured by the treewidth of its dual graph, plays a fundamental role in the design of parameterized algorithms. In this work, we investigate algorithmic procedures that transform or modify a given triangulation while controlling specific sparsity parameters. First, we revisit a standard, linear-time algorithm that converts a given triangulation into a Heegaard diagram of the underlying 3-manifold, showing that the construction preserves treewidth. We apply this construction to exhibit a fixed-parameter tractable framework for computing Kuperberg's quantum invariants of 3-manifolds. Second, we present a quasi-linear-time algorithm that retriangulates a given triangulation into one with maximum edge valence of at most nine, while only moderately increasing the treewidth of the dual graph. Combining these two algorithms yields a quasi-linear-time algorithm that produces, from a given triangulation, a Heegaard diagram in which every attaching curve intersects at most nine others.

Profinite isomorphisms, stable commutator length, and fixed point properties

2026-03-12T16:01:40Z

We construct Grothendieck pairs witnessing that the following are not profinite invariants: stable commutator length, quasimorphisms (answering a question of Echtler and Kammeyer), property NL (which obstructs actions on hyperbolic spaces), and property FW$_\infty$ (which obstructs actions on finite-dimensional CAT(0) cube complexes). We also recover that property FA and non-abelian free subgroups are not profinite invariants. The method combines Rips constructions with iterated group-theoretic Dehn filling on hyperbolic virtually special groups.

Recursion formula for the volumes of moduli spaces of compact hyperbolic surfaces with cone points

2026-03-12T10:49:46Z

Let $V_{g,m,n}(\overrightarrow L,\overrightarrow θ)$ be the Weil-Petersson volume of the moduli space of hyperbolic surfaces of genus g with m geodesic boundary components of length $\overrightarrow L=(\ell_1,...,\ell_m)$ and $n$ cone points of angle $\overrightarrow θ=(θ_1,...θ_n)$. By using the generalized McShane's identities, we show that $V_{g,m,n}(\overrightarrow L,\overrightarrow θ)$ is a polynomial of $(\ell_1,...,\ell_n,iθ_1,...,iθ_m)$. And we obtain a recursion formula for $V_{g,m,n}(\overrightarrow L,\overrightarrow θ)$, which is a generalization of Mirzakhani's result.

Purely cosmetic surgeries and Casson--Walker--Lescop invariants

2026-03-12T09:28:00Z

Using the rational surgery formula for the Casson--Walker--Lescop invariant of links in the $3$-sphere, we show that any null-homologous knot in a rational homology sphere admits at most two pairs of integral purely cosmetic surgeries. We also present constraints for null-homologous knots in certain $3$-manifolds with the first Betti number one or two to admit purely cosmetic surgeries. As another application, we show that, for a null-homologous knot in some $3$-manifolds, including $S^2 \times S^1$, there are at most two knots which are inequivalent to the given one, but whose exteriors are orientation-preservingly homeomorphic to that of the given one.

An extended symmetric union with multiple tangle regions and its Alexander polynomial

2026-03-12T07:09:46Z

The authors recently introduced a new construction of a knot as an extended symmetric union of a knot with a single tangle region. In this paper, we generalize the construction to include multiple tangle regions. The constructed knot $K$ with a partial knot $\hat{K}$ and multiple tangle regions satisfies the following two properties: its Alexander polynomial is the product of the Alexander polynomials of the numerators of these tangles and the square of the Alexander polynomial of the partial knot $\hat{K}$, and there exists a surjective homomorphism from the knot group of $K$ to that of $\hat{K}$ which maps the longitude of $K$ to the trivial element.

Grafting of real projective surfaces with Hitchin holonomy

2026-03-12T04:58:31Z

We define graftable curves on real projective surfaces. In particular, we construct graftable ones in Hitchin case and show that real projective structures with the same Hitchin holonomy, carrying the same weight type, are related to each other via multi-graftings.

Drilling hyperbolic groups

2026-03-11T21:19:37Z

Given a hyperbolic group $G$ and a maximal infinite cyclic subgroup $\langle g \rangle$, we define a {\it drilling of $G$ along $g$}, which is a relatively hyperbolic group pair $(\widehat{G}, P)$. This is inspired by the well-studied procedure of drilling a hyperbolic $3$--manifold along an embedded geodesic. We prove that, under suitable conditions, a hyperbolic group with $2$-sphere boundary admits a drilling where the resulting relatively hyperbolic group pair $(\widehat{G}, P)$ has relatively hyperbolic boundary $S^2$. This allows us to reduce the Cannon Conjecture (in the residually finite case) to a relative version, which is likely to be more tractable.

Ribbon concordance of fibered knots and compressions of surface homeomorphisms

2026-03-11T15:29:05Z

We prove that simplicial volume and dilatation are monotone under ribbon concordance between fibered knots in $S^3$, and that every fibered knot has only finitely many predecessors in the ribbon-concordance partial order, providing evidence for questions raised by Gordon. We also give an algorithm to enumerate, up to symmetries, all minimal compressions of a surface homeomorphism, extending a theorem of Casson--Long. This yields an algorithm to find all knots that are strongly homotopy-ribbon concordant to a given fibered knot in some homotopy $I\times S^3$. Our study of minimal compressions also provides an alternative perspective on results of Miyazaki concerning nonsimple fibered ribbon knots.

Some link homologies in $ \mathbb{RP}^3 $

2026-03-11T14:40:35Z

We introduce extensions of Khovanov homology and the Lee and Bar-Natan spectral sequences for links in $ \mathbb{RP}^3 $. These extensions are distinct to those previously defined by Asaeda-Przytycki-Sikora (and Gabrovšek's generalization), Chen, and Manolescu-Willis. The new Lee and Bar-Natan theories each yield Rasmussen invariants (that are distinct to one another). The invariant extracted from the new Lee homology is distinct to that defined by Manolescu-Willis; it is unclear if the same is true for the new Bar-Natan homology and that defined by Chen.