Cellular waists of hyperbolic spaces

2026-06-11T17:08:59Z

We find lower bounds on the topological complexity of fibers of PL and generic smooth maps $p:M^d\rightarrow\mathbb R^m$, where $M^d$ is a closed hyperbolic manifold of large injectivity radius. More precisely, we show that if the injectivity radius of $M$ is greater than $50\log((n+1)!)$, then for each dimension $0

Group rings and hyperbolic geometry

2026-06-11T16:50:05Z

For a group acting on a hyperbolic space, we set up an algorithm in the group algebra showing that ideals generated by few elements are free, where few is a function of the minimal displacement of the action, and derive algebraic, geometric, and topological consequences. In particular, we obtain lower bounds on Morse complexity of closed hyperbolic manifolds in terms of injectivity radius.

Finite generation, algebraicity, and representation stability for homology of Torelli groups

2026-06-11T16:07:29Z

We solve a long-standing problem of whether the homology groups of the Torelli subgroups $\mathcal{I}_g\le\mathrm{Mod}_g$ are finitely generated in stable range. Namely, we prove that the group $H_k(\mathcal{I}_g;\mathbb{Z})$ is finitely generated, provided that $k\le g-2$. Two main ingredients of our approach are as follows. First, we show that the action of any symplectic transvection $t_x\in\mathrm{Sp}_{2g}(\mathbb{Z})$ on the homology of $\mathcal{I}_g$ satisfies the following unipotency condition: $(t_x-1)^{k+1}H_k( \mathcal{I}_g;\mathbb{Z})=0$. The proof of this fact relies on the study of the spectral sequence for the action of $\mathcal{I}_g$ on the complex of homologous curves on $Σ_g$. The second key ingredient is Tavgen's theorem asserting that the group $\mathrm{Sp}_{2g}(\mathbb{Z})$ is boundedly elementarily generated. For homology with coefficients in $\mathbb{Q}$, we further prove that $H_k(\mathcal{I}_g;\mathbb{Q})$ is an algebraic $\mathrm{Sp}_{2g}(\mathbb{Z})$-representation in the same stable range $k\le g-2$. Kupers and Randal-Williams have obtained a conditional result: they computed the algebraic part of the rational cohomology of Torelli groups in stable range under the assumpition that the rational cohomology groups are finite-dimensional in this stable range. Our results turn this conditional computation into a precise theorem that describes the whole rational cohomology ring of Torelli groups in stable range. As further applications, we, firstly, prove Morita's conjecture asserting that the $\mathrm{Sp}_{2g}(\mathbb{Z})$-invariant part of the rational cohomology of $\mathcal{I}_g$ stabilizes to the polynomial ring $\mathbb{Q}[e_2,e_4,\ldots]$ in the even Miller-Morita-Mumford classes; secondly, we prove the uniform representation stability for the series of groups $\left\{ H_k\bigl(\mathcal{I}_g^1;\mathbb{Q})\right\}_{g=1}^{\infty}$.

On the homology of $BΓ_n^\mathbb{C}$ and its application to complex structures on open manifolds

2026-06-11T15:39:08Z

Since the 1970s, it has been known that any open connected manifold of dimension 2, 4 or 6 admits a complex analytic structure whenever its tangent bundle admits a complex linear structure. For half a century, this has been conjectured to hold true for manifolds of any dimension. In this paper, we extend the result to manifolds of dimension 8. To prove the result new $Γ_n^\mathbb{C}$-structures on $\mathbb{CP}^n$ are constructed. As a consequence we derive a theorem concerning the homology of Haefligers classifying space, $BΓ_n^\mathbb{C}$. The result then follows from obstruction theory.

Searching for non-order-preserving braids algorithmically

2026-06-11T15:30:08Z

An $n$-strand braid is order-preserving if its action on the free group $F_n$ preserves some bi-order of $F_n$. A braid $β$ is order-preserving if and only if the link $L$ obtained as the union of the closure of $β$ and its axis has bi-orderable complement. We describe and implement an algorithm which, given a non-order-preserving braid $β$, confirms this property and returns a proof that $β$ is indeed not order-preserving. Guided by the algorithm, we prove that the infinite family of simple 3-braids $σ_1σ_2^{2m+1}$ are not order-preserving for any integer $m$.

Khovanov homology: pro-tangles, derived colimits and spectral sequences

2026-06-11T15:23:57Z

This paper introduces pro-tangles, a natural generalization of classical tangles, which are functors from the Boolean cube to Bar-Natan's cobordism category. By employing the simplicial Yoneda embedding, we construct the Khovanov simplicial presheaf of a pro-tangle as a homotopy colimit and prove that this simplicial presheaf is representable, with representing object the classical Khovanov simplicial object. We establish a fully faithful embedding showing that the weak equivalence class of this simplicial presheaf is determined by the chain homotopy type of the Khovanov complex. Furthermore, we utilize Boolean cube decompositions to construct an algebraic spectral sequence for pro-tangles. This spectral sequence converges to the total Khovanov homology, and its $E_1$ page is explicitly expressed in terms of the Khovanov homology of reduced tangles. This categorical setup yields a functorial interpretation of Reidemeister invariance in terms of morphisms of spectral sequences. By applying the tangle TQFT construction, we study this spectral sequence for Hopf clasps, the fundamental structural building blocks in tangle and link theory. We show that the spectral sequence collapses at the $E_3$ page, which further specializes to an $E_2$-collapse under the restriction to Hopf sums. Finally, we investigate connected sums of pro-tangles and pro-links. To address the module-action dependencies arising from tensor products in multi-connected sums, we introduce a state-dependent modified tensor operator and prove a structural decomposition theorem that generalizes the classical result at the chain complex level.

Variants of Coxeter quandles associated with Pin groups

2026-06-11T12:49:31Z

We study two families of quandles arising from Coxeter quandles. One is the quandle defined by Andruskiewitsch-Graña, which is the set of roots with binary operation defined by using the negatives of reflections. We observe that this is realized as a conjugation quandle in a Pin group. The other, which we call a rotational $D_n$ quandle, is the set of some right angle rotations in the Coxeter group of type $D_n$ with binary operation given by conjugation. We determine their inner automorphism groups, and observe that they are quite similar.

On 3d Quantum Trace Maps

2026-06-11T12:24:39Z

A 3d quantum trace map is a homomorphism from the skein module of an ideally triangulated 3-manifold to its quantum gluing module that quantizes the classical trace map. There are two constructions of such maps, one by Garoufalidis and Yu in [GY], and the other by Panitch and Park in [PP1]. However, the relationship between these two constructions was unknown. We propose a third construction of the 3d quantum trace map which agrees with the one given by Garoufalidis and Yu, and extends to certain types of manifolds with ideally triangulated boundaries. Our 3d quantum trace map can be compared with that of [PP1] relatively easily by subdividing the face suspensions of [PP1] and the ideal tetrahedra of our definition into a common subdivision based on face cones. This allows us to give an exact relation between the definitions, which partially addresses the equivalence between the constructions of [GY] and [PP1].

Minimal Generating Sets of Singular Reidemeister Moves and Their Classification

2026-06-11T09:12:05Z

Singular knot theory extends classical knot theory by allowing transverse double points without over/under information, together with singular Reidemeister moves of types IV and V. A central open problem in this theory is to determine the minimal generating sets of oriented singular Reidemeister moves. In this paper, we completely solve this problem. In addition, we establish independence results for singular Reidemeister moves by introducing an invariant that provides obstructions and lower bounds for generating sets, including the independence of type III from types I, II, IV, and V. More precisely, starting from a minimal generating set of ordinary Reidemeister moves of types I--III, we prove that the singular moves admit exactly $96$ distinct inclusion-minimal generating sets, and that these exhaust all possibilities. Our proof introduces a new invariant for singular links, constructed via a projection to self-singular links, which detects the distinction between the two families of type IV moves and provides an obstruction for generating type V moves from types I--IV. We also determine the unoriented case, where the classification collapses to exactly $8$ minimal generating sets.

Teichmüller isometries induced by certain irreducible periodic mapping classes

2026-06-11T07:42:58Z

Let $\mathrm{Mod}(S_g)$ be the mapping class group of the closed orientable surface of genus $g \geq 2$, and let $\mathrm{Teich}(S_g)$ be the Teichmüller space of $S_g$. In this paper, we provide an algorithm for determining the isometries induced in $\mathrm{Teich}(S_g)$ by certain irreducible periodic mapping classes in Fenchel-Nielsen coordinates. As a demonstration of this method, we provide a description of the isometry induced by periodic mapping class of order $4g+2$ and also derive some of its geometric properties.

Rigidity of self-maps of $V_{n,2}$ and manifolds tangentially homotopy equivalent to $V_{n,2} \times S^k$

2026-06-10T17:38:10Z

We study two problems concerning the Stiefel manifolds $V_{n,2}$ and their products with spheres. First, we address a rigidity problem: we determine, for most values of~$n$, all self-maps of $V_{n,2}$ that are homotopic to an almost diffeomorphism. Second, we classify smooth closed manifolds tangentially homotopy equivalent to $V_{n,2} \times S^k$ up to almost diffeomorphism, for $k = 3, 5$ or $7 \leq k, k \neq 2^i - 2 \ \text{and} \ Dim(V_{n,2} \times S^k) \neq 2^i - 2$. Our method is to find explicit inverses in the structure set via normal invariants of specific tangential homotopy equivalences. In favourable cases -- notably $V_{12,2} \times S^3$, $V_{16,2} \times S^3$, $V_{10,2} \times S^5$ -- the classification is complete: every such manifold is almost diffeomorphic to $V_{n,2} \mathbin{\#} Σ\times S^k$ for some exotic sphere $Σ$. In the general case, we identify inverses for a large subgroup of $\operatorname{Im}(η)$ and provide a reasonable direction for the remainder.

Resolving the Schwartz Quadratic Meander Number Conjecture

2026-06-10T17:04:32Z

A cyclic meander is an embedded oriented loop in the plane intersecting a fixed infinite line, or circle, transversely in a linearly ordered set of $2n$ points. By keeping track of the order in which the loop visits these points, the cyclic meander induces a cyclic permutation on these marked points. Correspondingly, given a permutation on $n$ letters, one can ask whether or not a cyclic meander induces the permutation in this manner, and if not, what is the most efficient way of doing so if we allow more points of intersection? This process gives a way of associating to a permutation on $n$ letters a measurement of complexity of the permutation in question. The principal result of this work shows that the maximum of this quantity, the \emph{meander number}, over all cyclic permutations on $n$ letters, is bounded above and below quadratically in $n$. This result resolves a conjecture of Schwartz~\cite{richtpss} in relation to his work on the topological salesman problem. We conclude this work by constructing families of cyclic permutations on $n$ letters whose meander numbers realize a continuum of growth rates between linear and quadratic.

Triple torsion, triple cup products, and embedding obstructions for rational homology 3-spheres

2026-06-10T13:53:01Z

Freedman and Krushkal introduced a triple torsion linking form for rational homology $3$-spheres and used it to obstruct locally flat embeddings in $S^4$. For every odd prime $p$, we identify their triple torsion form, computed with parameter $t=p$ on rational homology $3$-spheres whose first homology has exponent $p$, with the mod-$p$ triple cup product under torsion-linking duality. For algebraically split $\pm p$-framed surgery links, this gives a signed formula in terms of Milnor's integral length-three invariants $\barμ_{ijk}$, with the framing-sign factor dictated by torsion-linking duality. We then use Borromean band-sums to realize arbitrary mod-$p$ triple cup tensors on rational homology $3$-spheres with $H_1\cong(\mathbb Z/p)^6$ and fixed hyperbolic ordinary torsion linking form. Finally, using the classical spinor/Klein model for the split six-dimensional quadratic space, we classify the tensors with no dual null Hantzsche pair. This produces, for every odd prime $p$, a rational homology $3$-sphere with hyperbolic ordinary torsion linking form but with no locally flat embedding in $S^4$, and indeed no locally flat embedding in any integer homology $4$-sphere.

Full Mealy automata, complete square complexes, and anti-tori

2026-06-10T10:26:19Z

To a full $m\times n$ Mealy automaton $A$ we associate a bijection $θ_A$, a one-vertex rank-two graph $F_{θ_A}$, and a one-vertex $VH$-square complex $Y_A$ tiled by $mn$ Wang tiles. We prove that $Y_A$ contains an anti-torus if and only if $A$ is bi-reversible and $F_{θ_A}$ is aperiodic. The two hypotheses are independent and play disjoint roles: bi-reversibility is exactly what makes $Y_A$ a complete square complex, so that its universal cover splits as a product of two trees and anti-tori can be discussed at all; and, within that setting, an anti-torus is precisely a period-free configuration in the two-sided path space of $F_{θ_A}$, whose existence is the aperiodicity condition. Working at the level of configurations removes any appeal to the geometry of products of trees from the main equivalence; the geometric (loop-spanned) form of Wise is shown to be strictly stronger, the lamplighter being aperiodic with no loop-spanned anti-torus.

The stability of Margulis space-times with parabolic holonomy elements

2026-06-10T06:16:59Z

Let $E$ be a flat Lorentzian space of signature $(2,1)$. A Margulis space-time is a noncompact complete flat Lorentzian $3$-manifold $E/Γ$, where the holonomy group $Γ$ is a free group of rank $g\geq 2$ acting freely and properly discontinuously by isometries. We consider the case where $Γ$ contains a parabolic element. We show that sufficiently small deformations of $Γ$ still act properly discontinuously on $E$ provided their linear parts are Fuchsian; moreover, the number of conjugacy classes of parabolic elements may increase or decrease under deformation. Our proof combines our previous compactification of $E/Γ$ relative to parabolic holonomy elements with a partial generalization of the work of Carrière. However, this result depends only on the parts on parabolic actions of our earlier work. We believe that the shortness of the proof of this openness result is of independent interest.