https://arxiv.org/api/EItDdC4M11Bf5zK6/NZnhMDnmGo 2026-06-21T19:10:25Z 25838 165 15 http://arxiv.org/abs/2605.28650v1 2026-05-27T15:53:18Z

We develop a graphical calculus for monoidal categories equipped with twisted pivotal structures, which are a generalization of pivotal structures originating from the study of orientation structures in the context of the Cobordism Hypothesis. This graphical calculus depends on a possibly singular foliation, and we use it to construct twisted string net modules for surfaces equipped with a Morse function or a Morse foliation. We prove that, despite the apparent dependence on this Morse function, the twisted string net modules assemble in an oriented categorified 2-TQFT. We study when the twisted string net module of the 2-sphere vanishes, relate it to the distinguished invertible object for finite tensor categories and exhibit examples of non-unimodular finite tensor categories with non-vanishing twisted string net module on the 2-sphere. This vanishing is expected to be the main obstruction for extending our categorified 2-TQFT to a non-compact 3-TQFT.

2026-05-27T15:53:18Z 45 pages, check out the figures! Benjamin Haïoun William Stewart Filippos Sytilidis http://arxiv.org/abs/2605.28595v1 2026-05-27T15:14:40Z

The twisted Alexander polynomials of a space, associated to a linear representation $σ$ of the fundamental group, are non-abelian refinements of the classical Alexander polynomial from knot theory. In this paper, we show that they arise naturally from a new family of invariants -- the twisted homology jump loci -- which extend the rank-one characteristic varieties to higher-rank local systems. Using the tropical geometry of these twisted loci, we obtain sharper upper bounds for the Bieri--Neumann--Strebel--Renz (BNSR) $Σ$-invariants. For compact orientable $3$-manifolds with toroidal or empty boundary, we use a theorem of Friedl--Vidussi to show that the closure of the union of these twisted tropical bound is sharp: it recovers the fibered faces of the Thurston norm ball exactly, a result that fails without twisting. For compact Kähler manifolds, we prove that the $Σ^1$-invariant of $π_1(X)$ is controlled by the orbifold fibrations of $X$ for any representation $σ$, and that the twisted Alexander polynomial $Δ^σ(X)$ must equal $0$ or $1$. Both results provide obstructions to geometric realizability that are strictly stronger than their classical untwisted counterparts.

2026-05-27T15:14:40Z 28 pages Yongqiang Liu Alexander I. Suciu http://arxiv.org/abs/2605.25322v2 2026-05-27T14:02:29Z

We introduce lattice-filtered move graphs as finite-state experimental models for knot types. At level N, vertices are lattice-polygon representatives of a fixed knot type with lattice length at most N, modulo orientation-preserving lattice isometries, and edges are prescribed local moves. Connected components of these graphs are discrete analogues of admissible components in ropelength-filtered knot spaces. The first level at which two initial components become connected defines a discrete merge scale; after subtracting the birth level, the resulting function is an ultrapseudometric whenever the relevant initial components eventually merge. The general framework is move-system independent. We then specialize to the simple cubic lattice and BFACF-type moves, treating BFACF as a chosen local move system rather than as a complete lattice-isotopy calculus. The main seed-generated computation uses a 30-edge simple cubic lattice seed for the figure-eight knot and its reflected mirror seed. With mirror symmetries not identified, the two BFACF components are separated at N=30 and merge at N=32. We also extract an explicit merge certificate: a 21-state, 20-move BFACF path through a 32-edge connecting state. Thus, relative to the supplied seeds and the BFACF move system, the seed-generated merge scale is 32. The result is seed-specific and move-system-specific, not a claim about the global merge matrix of the full minimal lattice layer.

2026-05-25T01:07:54Z 21 pages, 1 figure; supplementary Python code and seed-generated BFACF computation data archived at Zenodo DOI: 10.5281/zenodo.20412976 Makoto Ozawa http://arxiv.org/abs/2504.20803v2 2026-05-27T10:01:09Z

We study properties of the continuation map for the Morse fundamental group $π_1^\text{Morse}(f,\ast)$ associated to a Morse-Smale pair $(f,g)$ on a manifold $M$. We get a morphism between $π_1^\text{Morse}(f_1,\ast_1)$ and $π_1^\text{Morse}(f_2,\ast_2)$ and show that it is functorial. We also define the morphism in the case of Morse data over different manifolds, thanks to the use of grafted trajectories. Finally, given an interpolation function on $M\times\mathbb{R}$ between two Morse functions (used for example to define the continuation map), we study the Morse fundamental group associated to that function and show that it is isomorphic to a relative fundamental group on $M\times\mathbb{R}$.

2025-04-29T14:15:53Z Changes made after referee process. Final version accepted at International Journal of Mathematics International Journal of Mathematics, Volume 37, Issue 09 (2026) Salammbo Connolly 10.1142/S0129167X26500436 http://arxiv.org/abs/2605.28891v1 2026-05-27T07:51:28Z

Let $Γ_g$ be the fundamental group of a closed orientable surface of genus $g\geqslant 2$. The outer automorphism group $\mathrm{Out}(Γ_g)$ naturally acts on the character variety $\mathcal{X}(Γ_g,G)$ for any Lie group $G$. We consider the set of simple-stable representations which are modelled on Minsky's primitive-stable representations. We prove that the set of conjugacy classes of simple-stable representations of $Γ_g$ in $\mathrm{PU}(2,1)$ is a domain of discontinuity for this action, strictly larger than the set of conjugacy classes of convex cocompact representations.

2026-05-27T07:51:28Z Ulysse Remfort-Aurat I2M http://arxiv.org/abs/2410.10033v2 2026-05-27T07:18:18Z

We calculate the Seiberg-Witten invariants of branched covers of prime degree, where the branch locus consists of embedded spheres. Aside from the formula itself, our calculations give rise to some new constraints on configurations of embedded spheres in 4-manifolds. Using similar methods, we also obtain new constraints on embeddings of real projective planes and spheres with a cusp singularity. Moreover, we show that the existence of certain configurations of surfaces would give rise to 4-manifolds of non-simple type. Our proof makes use of equivariant Seiberg-Witten invariants as well as a gluing formula for the relative Seiberg-Witten invariants of 4-manifolds with positive scalar curvature boundary.

2024-10-13T22:28:06Z 39 pages Math. Z. Volume 313, article number 39, (2026) David Baraglia 10.1007/s00209-026-04056-x http://arxiv.org/abs/2604.21059v2 2026-05-27T04:20:15Z

We show a uniform spectral gap of stable commutator length for all compact hyperbolic $2$-orbifolds relative to the peripheral subgroups. Except for the case of a sphere with three cone points, we have an explicit uniform gap $1/36$. These estimates are needed in understanding stable commutator length in $3$-manifolds. Our methods use explicit quasimorphisms for the generic case, and use hyperbolic geometry (pleated surfaces) for the exceptional case of a sphere with three cone points.

2026-04-22T20:02:16Z v2: minor revision, added acknowledgment; 20 pages, 4 figures. This is separated from the authors' earlier paper arXiv:1910.14146, which was shortened for publication purposes Lvzhou Chen Nicolaus Heuer http://arxiv.org/abs/2605.27872v1 2026-05-27T02:40:43Z

The octahedral decomposition of classical link complements has been considered and utilised by Weeks, Rubinstein, Sakuma etc. It is even more natural to consider the octahedral decomposition of virtual link complements. In this paper, we explore and generalise the octahedral decomposition used in \emph{snappy} to links in thickened surface. Using the decomposition, we prove nonpositive curvature of the complement and essential-ness of edges in the decomposition.

2026-05-27T02:40:43Z Lecheng Su http://arxiv.org/abs/2510.18255v2 2026-05-26T21:57:23Z

Apisa-Wright conjectured that all branched covers of quadratic differentials in $\mathcal{Q}(-1^4)$ with at most one cylinder in each direction are cyclic covers. We provide infinitely many counterexamples to this conjecture.

2025-10-21T03:24:33Z Final version Geometriae Dedicata 220, 38 (2026) Malak Abdalla Gabriela Brown 10.1007/s10711-026-01091-0 http://arxiv.org/abs/2605.27688v1 2026-05-26T21:09:03Z

We study the relationship between the number of full twists in positive braid representations of satellite links and their companion links. We construct infinitely many satellite links that admit positive braid representations with arbitrarily many full twists, while their companion links do not admit any positive braid representation with more than one full twist. This exhibits an unexpected divergence between the braid-theoretic complexity of a satellite link and that of its companion.

2026-05-26T21:09:03Z 15 pages, 2 figures Thiago de Paiva Yi Liu Paolo Piccione http://arxiv.org/abs/2605.27611v1 2026-05-26T19:25:59Z

We show that the completed volumes introduced by Duriev-Goujard-Yakovlev as an approximation to compute Masur-Veech volumes via Witten-Kontsevich's combinatorial classes agrees with the top intersection of the tautological class on the double ramification cycle, computable as a coefficient of a Chiodo class. For the proof we describe the components of the double ramification cycle and their excess intersection classes to the extent seen by the top tautological intersection. This gives a recursion computing completed volumes in terms of volumes appearing in a certain set of level graphs, not only for quadratic differentials. It also completes the work of Duriev-Goujard-Yakovlev solving the technically most involved case of strata with two singularities.

2026-05-26T19:25:59Z Martin Möller Miguel Prado http://arxiv.org/abs/2605.27537v1 2026-05-26T18:10:11Z

Given a smooth, oriented, simply-connected $4$-manifold $M$, the homological Nielsen realization problem asks: when does a finite group of isometries $G\leq O(H_2(M;\mathbb{Z}))$ preserving the intersection form lift isomorphically to a finite group of orientation-preserving diffeomorphisms? We study this question for the smooth, positive-definite 4-manifolds $M_n:=\#_n\mathbb{CP}^2$. Even though every isometry of $H_2(M_n;\mathbb{Z})$ is induced by some orientation-preserving diffeomorphism, not necessarily of finite order, we show that Nielsen realization is sparse: as $n\to\infty$, a random subgroup of $O(H_2(M_n;\mathbb{Z}))$ is asymptotically almost never realizable in $\mathrm{Diff}^+(M_n)$; the same is true for random odd order elements of $O(H_2(M_n;\mathbb{Z}))$. We present both positive realization results in certain cases and a range of obstructions to realization in other cases. The proofs combine equivariant connected-sum constructions, fixed-point theory for group actions on 4-manifolds, finite group actions on surfaces, analytic combinatorics, and previous work of Hambleton--Tanase.

2026-05-26T18:10:11Z Ethan Pesikoff http://arxiv.org/abs/2507.02617v2 2026-05-26T15:55:47Z

In his seminal work on Teichmüller spaces (\cite{Th98}), Thurston introduced the maximal stretch for a pair of hyperbolic metrics on a closed surface of genus $\geq 2$ and showed that the logarithm of this quantity induces an asymmetric metric in the Teichmüller space. He also showed that the subset of the surface on which the maximal stretch is attained is a geodesic lamination. In this paper, we define the maximal stretch analogously for closed manifolds equipped with Riemannian metrics of variable negative curvature and investigate the structure of the related Mather set on the unit tangent bundle. In contrast to the Teichmüller space, the Mather set may not be lifts of geodesic laminations in this broader setting. However, in our paper, we will discuss similar features shared by the Mather set with geodesic laminations. We also connect the study of the Mather set with the theory of best Lipschitz maps.

2025-07-03T13:44:22Z Final version. Some typos are corrected and some questions are added in the end Xian Dai Gerhard Knieper http://arxiv.org/abs/2605.27126v1 2026-05-26T14:58:29Z

A theorem of Ding and Geiges states that every closed, connected contact $3$-manifold can be obtained from the standard tight contact $3$-sphere by contact $(\pm1)$-surgery along a Legendrian link. The literature also contains some examples of contact Kirby moves, i.e. explicit operations on front projections of Legendrian surgery links that change the surgery link but preserve the contactomorphism type of the surgered manifold. Among the most commonly used are cancelling pairs and contact handle slides; however, these moves alone are not sufficient to relate all contact surgery diagrams of contactomorphic contact manifolds. In this article, we introduce two new families of contact Kirby moves, called lantern moves and chain moves, and use them to give a complete set of contact Kirby moves. More precisely, we show that two contact surgery diagrams represent contactomorphic contact manifolds if and only if they are related by a sequence of planar isotopies, Legendrian Reidemeister moves, insertions or removals of standard cancelling pairs, the two standard contact handle slides, the standard lantern move, and the standard chain move. All these moves are explicit diagrammatic operations in the front projection. The proof follows an approach initiated by Avdek through his ribbon-move framework, which is rooted in the Giroux correspondence, and combines it with a presentation by Gervais of the mapping class group. We also discuss several consequences of the main theorem, illustrating the effectiveness of the contact Kirby calculus by recovering the invariance of Gompf's $d_3$-invariant purely diagrammatically and by deriving the topological Kirby theorem from contact-geometric methods.

2026-05-26T14:58:29Z 46 pages, 58 figures; comments are welcome Marc Kegel Eric Stenhede Vera Vértesi http://arxiv.org/abs/2603.15010v2 2026-05-26T14:52:18Z

Thom polynomials are universal cohomological obstructions to the appearance of singularities of given types in differentiable maps. As an application, various invariants of immersions have been expressed in terms of singularities of their extension maps, known as singular Seifert surfaces. To place these results in a unified framework, we aim in this paper to establish a relative version of Thom polynomial theory. Our results consist of four parts. (1) We introduce Thom polynomials relative to prescribed maps around the boundary (or a closed codimension-zero submanifold) that avoid singularities of given types. (2) We show a structure theorem for Thom polynomials relative to framable immersions. It expresses them as the sum of the term obtained by substituting Kervaire's relative characteristic classes into the absolute Thom polynomial and a universal correction term. (3) We determine correction terms in several cases, not only reinterpreting earlier works as instances of relative Thom polynomials but also recovering some of them. Most earlier formulas are summarized as the vanishing of correction terms. (4) We give suggestive evidence for the relative Thom polynomials of multi-singularity types $A_0^k$, with an application.

2026-03-16T09:15:52Z 41 pages, 2 tables. v2: corrected typos and errors, strengthened results Masato Tanabe