https://arxiv.org/api/oYzl5wrfrrPDE9IvR06MLJ0YPLg 2026-06-15T08:30:58Z 25820 15 15 http://arxiv.org/abs/2606.13268v1 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].

2026-06-11T12:24:39Z 87 pages, 28 figures Qingjing Chen Andrew Kricker http://arxiv.org/abs/2604.05597v2 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.

2026-04-07T08:47:11Z 17 pages. Complete classification of minimal generating sets of singular Reidemeister moves, including independence results via a new invariant. Revised proof of type III independence Noboru Ito Yuichiro Iwamoto http://arxiv.org/abs/2606.13009v1 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.

2026-06-11T07:42:58Z 24 pages, 13 figures Atreyee Bhattacharya Satyajit Maity Kashyap Rajeevsarathy http://arxiv.org/abs/2604.15984v2 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.

2026-04-17T12:00:46Z Sagnik Biswas http://arxiv.org/abs/2606.12331v1 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.

2026-06-10T17:04:32Z Charles Daly Diaaeldin Taha http://arxiv.org/abs/2606.12094v1 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.

2026-06-10T13:53:01Z 19 pages. Comments are welcome Weizhe Niu http://arxiv.org/abs/2606.11899v1 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.

2026-06-10T10:26:19Z David Pask http://arxiv.org/abs/2606.11694v1 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.

2026-06-10T06:16:59Z 14 pages. This was a part of the paper "Deformations of Margulis space-times with parabolics" (arXiv:2407.05932 [math.GT]). We separated the deformation part to this paper. We believe this is cleaner. The other paper will be devoted to quasi-disjointness of crooked planes, and will be made somewhat longer after a short time Suhyoung Choi http://arxiv.org/abs/2510.07543v3 2026-06-09T20:06:42Z

We study a quantum version of the $n$-dimer model from statistical mechanics, based on the formalism from quantum topology developed by Reshetikhin and Turaev (the latter which, in particular, can be used to construct the Jones polynomial of a knot in $\mathbb{R}^3$). We apply this machinery to construct an isotopy invariant polynomial for knotted bipartite ribbon graphs in $\mathbb{R}^3$, giving, in the planar setting, a quantum $n$-dimer partition function. As one application, we compute the expected number of loops in the (classical) double dimer model for planar bipartite graphs.

2025-10-08T20:59:12Z 47 pages, 13 figures. Version 3: General edits, including an expanded introduction Daniel C. Douglas Richard Kenyon Nicholas Ovenhouse Samuel Panitch Sri Tata http://arxiv.org/abs/2511.17780v2 2026-06-09T18:51:42Z

We investigate the $h$-principle problem for fat distributions. These are maximally non-integrable distributions with natural symplectisations and contactisations, that generalize contact distributions to higher corank. We focus on the corank-$2$ case, where we study a natural class of submanifolds, which we call prelegendrians. Their key feature is that they admit a canonical Legendrian lift to the contactisation. Our main results state that the $h$-principle fails for these submanifolds in all dimensions. To the best of our knowledge, this is the first example of rigidity in the study of maximally non-integrable distributions, outside of contact topology. First, we find an infinite family of $(2n+1)$-tori in the standard fat $(\mathbb{C}^{2n+1},\mathcal{D}_{\mathrm{std}})$, with the following two properties: (1) They all represent the same formal prelegendrian class, (2) but they are not prelegendrian isotopic because they are distinguished by pseudoholomorphic curve invariants of their Legendrian lift. Secondly, we define the notion of prelegendrian stabilization in $(\mathbb{C}^{2n+1},\mathcal{D}_{\mathrm{std}})$. This allows us to take an arbitrary prelegendrian and produce another one, in the same formal class, whose Legendrian lift is loose. In order to prove these results we also develop the fundamentals of the theory of prelegendrians. This includes: (1) introducing the notion of front projection in $(\mathbb{C}^{2n+1},\mathcal{D}_{\mathrm{std}})$, (2) proving that pseudoholomorphic curve invariants are robust under perturbations of the fat structure, allowing us to transport our results to non-standard fat structures, (3) introducing a zooming argument showing that any fat structure in dimension $6$ admits prelegendrians.

2025-11-21T20:57:55Z 52 pages, 5 figures. Comments are very welcome. V.2: Added a discussion of the canonical fat distribution on complex projective spaces and proved that formally equivalent prelegendrians cannot be distinguished by the formal Legendrian isotopy class of their lifts. Minor stylistic revisions throughout Eduardo Fernández Álvaro del Pino Wei Zhou http://arxiv.org/abs/2605.26234v2 2026-06-09T18:02:13Z

A recent conjecture by Joel Fine posits a relationship between the coefficients of the HOMFLY polynomial of a knot $K$ in the 3-sphere $S^3$, and the signed count of minimal surfaces in hyperbolic 4-space $\mathrm{H}^4$ meeting the sphere at infinity at $K$, with prescribed genus and self-intersection number. In this paper, we develop a novel machine learning framework based on Physics-Informed Neural Networks (PINNs) to solve the minimal surface equation in hyperbolic space. We utilise this framework to test Fine's Conjecture by constructing near-minimal surfaces bounding various families of knots in $S^3$. Furthermore, we develop an algorithmic method to find self-intersections and compute their sign. For every knot analysed, the computationally discovered minimal surfaces and their self-intersection numbers perfectly align with the predictions of Fine's Conjecture, providing empirical evidence for it.

2026-05-25T18:02:41Z 38 pages, 12 figures; small cosmetic update Tancredi Schettini Gherardini Marco Usula http://arxiv.org/abs/2606.11301v1 2026-06-09T18:00:03Z

We study the Alexander polynomials of the 4-strand Turk's head knots $Th(4,2n+1)$, defined as the closures of the braid $(σ_1σ_2^{-1}σ_3)^{2n+1}$. Using the reduced Burau representation, we derive an annihilating recurrence of order at most 8 and a rational generating function for the resulting polynomial sequence. By executing a multivariable resultant elimination over the reciprocal constraint, we obtain an exact factorization of the normalized Alexander polynomial in terms of Chebyshev polynomials. This factorization produces a binomial convolution formula for an associated coefficient sequence and a representation by a terminating ${}_4F_3$ hypergeometric series. We evaluate the continuous approximation of this representation using the saddle-point method, demonstrating negative curvature in the asymptotic main term. Finally, we describe analytic obstructions to extracting global discrete error bounds via this method, leaving the formal proof of Fox's Trapezoidal Conjecture for this family open.

2026-06-09T18:00:03Z 13 pages & appendices Suman Saurabh http://arxiv.org/abs/2606.11122v1 2026-06-09T17:21:17Z

We propose a model-independent axiomatic framework for the derived skein theory of oriented 3-manifolds with coefficients in a ribbon tensor category, especially focusing on the case where the input category is the category of finite-dimensional representations of a quantum group with quantum parameter not a root of unity. The axioms are designed so that the 0th homology recovers the ordinary skein module and gluing is governed by a bar construction. We establish several relationships between the derived skein theory and the ordinary skein theory. We show that this framework yields computable formulas in terms of ordinary internal skein modules and internal skein algebras. We also prove a Hochschild formula for Sigma x S^1. We give the first computations of derived skein modules and establish finiteness properties for generic parameters using deformation quantization methods.

2026-06-09T17:21:17Z Chun-Yu Bai http://arxiv.org/abs/2606.11073v1 2026-06-09T16:33:37Z

We define an infinite family of quiver representation-valued invariants of classical and virtual knots associated to a choice of data vector consisting of a biquandle, abelian group, set of biquandle arrows weights with values in the abelian group, coefficient ring and set of biquandle endomorphisms. As an application we extract four new polynomial invariants as decategorifications. We provide examples to show that these invariants are proper enhancements of the biquandle counting invariant and biquandle coloring quiver.

2026-06-09T16:33:37Z 11 pages Sam Nelson Migiwa Sakurai http://arxiv.org/abs/2511.02517v3 2026-06-09T14:16:14Z

In this paper, we show that a random hyperbolic surface in the Brooks-Makover model has a spectral gap greater than $\left(\frac{1}{4}-\frac{c}{\log n}\right)$ for some universal constant $c>0$ , confirming the nearly optimal spectral gap conjecture in this model.

2025-11-04T12:08:28Z 50 pages, 9 figures, add an Appendix Yang Shen Yunhui Wu