https://arxiv.org/api/50dNfa+mgeME33nEkPhtwlcGVV8 2026-06-21T09:19:48Z 25838 45 15 http://arxiv.org/abs/2606.13471v1 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.

2026-06-11T15:23:57Z Jian Liu Kefeng Liu Li Shen http://arxiv.org/abs/2606.02023v2 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.

2026-06-01T10:13:31Z 19 pages. v2: The binary operation appeared in the definition of the double covering of a Coxeter quandle was already found in Andruskiewitsch-Graña (Adv. Math. (2003)). For this reason, changed exposition. v1: 18 pages Yuichi Kabaya 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