https://arxiv.org/api/Zuic4vhDQG1t0v7ww3HQaJfBKXM2026-06-22T05:20:47Z2583830015http://arxiv.org/abs/2605.12989v1A Lower Bound on the Self-intersections of Fold Singularities2026-05-13T04:37:54ZFor an oriented surface $S$, the singular set of a fold map $f:S\rightarrow \mathbb{R}^2$ is a collection of smooth curves, also known as fold singularities. We construct a sharp lower bound on the number of self-intersections of such fold singularities. This is done by first establishing a sharp lower bound on the number of self-intersections of the boundary of a surface immersed in $\mathbb{R}^2$. We then construct a sharp lower bound for the number of self-intersections of the singular set of a simple stable fold map of a surface to $\mathbb{R}^2$ by viewing the connected components of the singular set as the boundary components of smaller surface components, and invoking the previously constructed lower bound for the number of self-intersections of an immersed boundary.2026-05-13T04:37:54Z28 pages, 15 figuresJoshua DrouinLiam Kahmeyerhttp://arxiv.org/abs/2605.12921v1An irreducible real projective plane in the 4-sphere2026-05-13T02:56:46ZWe construct an irreducible embedded projective plane in $S^4$. This gives a counterexample to the Kinoshita conjecture and answers Problem 4.37 of the K3 problem list. Moreover, we answer both Questions (i) and (ii) of Problem 4.37: (i) the connected sum $R\# R$ is a Klein bottle in $S^4$ with extremal normal Euler number that does not admit an unknotted projective plane summand, and (ii) we show that our projective plane $R$ is irreducible by showing that the peripheral map $π_1 (\partial (S^4\setminus\mathring{N}(R)))\to π_1 (S^4 \setminus \mathring{N}(R))$ has kernel of order $2$.2026-05-13T02:56:46Z18 pages, 5 figures, comments welcome!Mark HughesSeungwon KimMaggie MillerGheehyun Nahmhttp://arxiv.org/abs/2604.22053v2Invariants of Legendrian knots in thickened convex surfaces2026-05-13T02:49:39ZWe define a differential graded algebra associated to Legendrian knots in thickened convex surfaces $Σ\times \mathbb{R}$. The algebra is defined in the same spirit as the Chekanov-Eliashberg DGA for Legendrians in $\mathbb{R}^3$, but makes use of the data of the dividing set $Γ$ of $Σ$. The algebra is generated by countably many Reeb chords of the Legendrian $Λ$, and its differential counts certain immersed polygons in the projection $π:Σ\times \mathbb{R}\to Σ\times \{0\}$ with boundary on $π(Λ)\cup Γ$. We show that the differential squares to zero and that the stable tame isomorphism type of the DGA is invariant under Legendrian isotopy. Finally, we compute several examples and use the invariant to distinguish Legendrian knots in thickened convex surfaces that cannot be distinguished by the classical invariants.2026-04-23T20:14:04Z47 pages, 40 figures. Made formatting changes, added Remark 3.2 and fixed and strengthened Example 4.19. Comments still welcome!Nancy Mae EaglesZijian Ronghttp://arxiv.org/abs/2508.18334v3Closed Formulas for $η$-Corrections in the Once Punctured Torus2026-05-13T02:07:16ZWe study $η$-correction terms in the Kauffman bracket skein algebra of the once-punctured torus $K_t(Σ_{1,1})$. While the Frohman--Gelca product-to-sum rule gives an explicit multiplication formula on the closed torus, the once-punctured torus introduces correction terms in the ideal $(η)$. We give a closed formula for the Chebyshev-threaded family generated by the primitive determinant-two pair \[ P_n=T_n((1,2))\cdot(1,0). \] The correction $ε_n$ has an explicit Chebyshev expansion whose coefficients factor as geometric sums in $t^{\pm4}$ and whose terms are governed by a parity pattern arising from the Chebyshev recurrence.
We also treat a primitive maximal-thread regime, in which one Frohman--Gelca summand is fully threaded and the other is simple or doubly covered. In this case the discrepancy is an explicit $η$-linear cascade with Chebyshev $S$-coefficients, lowering the thread degree by two at each step. These formulas recover the relevant low-determinant behavior and give compact closed multiplication rules for structured threaded families in $K_t(Σ_{1,1})$.2025-08-25T11:57:49ZNelson A. Colon Vargashttp://arxiv.org/abs/2605.12837v1Pseudo-Anosov flows and the geometry of Anosov-like group actions2026-05-13T00:13:52ZWe show that the action on its orbit space induced by a pseudo-Anosov flow on a closed $3$-manifold (and more general Anosov-like actions) can be seen as an isometric action on a Gromov-hyperbolic space. When the flow is not $\R$-covered, we show that this action admits elements that are weakly properly discontinuous and deduce that elements of $π_1(M)$ that do \emph{not} represent a periodic orbit of the flow are generic for any word metric coming from a finite generating set. We also give a number of other geometric group-theoretic results for Anosov-like group actions on bifoliated planes.2026-05-13T00:13:52Z38 pages, 14 figures. Comments welcomeThomas BarthelméKathryn MannNeige PauletAbdul Zalloumhttp://arxiv.org/abs/2605.12834v1Underlying Stokes and de Rham structures for Arnold-type invariants2026-05-13T00:04:50ZWe introduce a framework on dual complexes for studying Arnold-type invariants of immersed curves and immersed surfaces via local finite-difference structures associated with Alexander numberings. For generic immersed plane curves and generic immersed surfaces, we define locally normalized maps $d^k φ$ on dual skeleta and show that suitable evaluations recover the Arnold-type invariants $St_{(1)}$ and $St_{(2)}$. In particular, we establish normalized discrete Stokes-type compatibilities between adjacent dual skeleta and derive corresponding Shumakovitch-type identities for curves and surfaces. The normalization coefficients are determined by finite-difference factorial structures together with multiplicities of local configurations. We further interpret the iterated-integral-type structures appearing in Shumakovitch-type identities through finite-difference structures and highest-degree local Stokes compatibilities on dual complexes. We also reinterpret the slice formula for $St_{(2)}$ and $St_{(1)}$ as a compatibility relation between slicing and local operations on the dual complex. These results provide a unified framework in which global Arnold-type invariants arise as distribution-type evaluations of local data on dual complexes. The framework further clarifies the distinction between untwisted local closures and globally twisted structures such as the original Arnold invariant $St$, and suggests the existence of higher-degree local operations associated with the same dual-complex structure.2026-05-13T00:04:50Z19 pages, 4 figuresNoboru ItoHiroki Mizunohttp://arxiv.org/abs/2605.12463v1On the growth rate of Reeb orbit on star-shaped hypersurfaces2026-05-12T17:49:49ZIn this article, we study the growth rate of Reeb orbits on fiberwise star-shaped hypersurfaces in the cotangent bundle of a closed manifold. We prove that under a suitable topological condition on the base manifold the Reeb flow on any such hypersurface carries infinitely many simple closed orbits. Moreover, the number of simple Reeb orbits with period at most T grows at least like the prime numbers, that is, like T/log(T). The topological condition we assume is the existence of a non-nilpotent class in the homology of the free loop space of the manifold, with respect to the Chas-Sullivan product, lying in a connected component associated to a non-torsion class in the first homology of the manifold. In particular, for any Riemannian metric on a manifold satisfying such a topological condition, the number of geometrically distinct closed geodesics with length at most l grows at least like l/log(l). We also prove, using symplectic homology, that if a Liouville domain of dimension at least 4 with vanishing first Chern class admits a Reeb symplectically degenerate maximum representing a non-torsion first homology class of the domain, then the number of simple Reeb orbits with period at most T grows at least like T/log(T).2026-05-12T17:49:49ZRafael FernandesJoao Peringhttp://arxiv.org/abs/2403.18279v3A Kuratowski-Type Classification of Critical Complexes for the 3-Sphere2026-05-12T13:40:55ZWe give a Kuratowski-type classification of a graph-defined class of minimal piecewise-linear obstructions to embeddability in the 3-sphere. A finite simplicial complex \(X\) is called critical for \(S^3\) if \(|X|\) does not embed in \(S^3\), whereas deleting the open star of any simplex in the second barycentric subdivision of \(X\) yields a polyhedron embeddable in \(S^3\).
The main theorem completely classifies critical complexes of the form \((G\times S^1)\cup H\), where \(G\) and \(H\) are graphs and \(H\) is attached along vertices of the branch set of \(G\times S^1\). We prove that there are exactly seven such complexes up to homeomorphism: two \(K_4\)-type complexes, four \(Θ_4\)-type complexes, and one \(K_{2,3}\)-type complex.
The proof is combinatorial in nature. By collapsing the \(S^1\)-factor of \(G\times S^1\), we associate to \(X\) a reduction graph \(\widehat X=G\cup H\). Criticality implies that \(H\) is a forest, \(G\) is planar, and \(\widehat X\) is inclusion-minimal non-planar. Kuratowski's theorem therefore reduces the classification to the cases \(K_5\) and \(K_{3,3}\). A finite analysis of forest attachments, together with a face-incidence criterion for embeddability, leaves precisely the seven models listed above.
We also prove that every non-embeddable regular multibranched surface in \(S^3\) contains a critical subcomplex of the form \(M\cup H\), where \(M\) is a regular multibranched surface and \(H\) is a graph.2024-03-27T06:15:50ZRevised and retitled version. The previous arXiv version has been split into two papers; this version contains the Kuratowski-type classification part. 28 pages, 7 figuresMario Eudave-MuñozMakoto Ozawahttp://arxiv.org/abs/2406.18438v3Geometrical finiteness for automorphism groups via cone conjecture2026-05-12T11:24:07ZThis paper aims to establish the geometrical finiteness for the natural isometric actions of (birational) automorphism groups on the hyperbolic spaces for K3 surfaces, Enriques surfaces, Coble surfaces, and irreducible symplectic varieties.
As an application, it follows that such groups are non-positively curved: relatively hyperbolic and ${\rm CAT(0)}$. In the case of K3 surfaces, we clarify the relationship between Kleinian lattices and $(-2)$-curves, and between convex-cocompact Kleinian groups and genus-one fibrations.2024-06-26T15:42:43Z19 pages. v3: Section 4 substantially revisedKohei Kikutahttp://arxiv.org/abs/2605.12572v1Chewing gums, snakes and candle cakes2026-05-12T11:18:38ZThe aim of these lecture notes, based on lectures given by the second author at the CIME school in Cetraro, is to illustrate a range of ideas surrounding higher Teichmuller spaces of Riemann surfaces with marked boundaries through explicit and computationally tractable examples. After reviewing the classical Teichmuller space of hyperbolic Riemann surfaces with boundary and its combinatorial description in terms of Thurston shear coordinates on a fat-graph, we explain how the bordered cusped Teichmuller space arises as a confluent limit when two boundary components in the Riemann surface collide via the so-called chewing-gum move giving rise to a candle cake. We then revisit these constructions from the Fock-Goncharov perspective, explaining snake calculus for transport matrices in PSL_n(R) and explain how the chewing gum move is the inverse of amalgamation. Rather than focusing on formal proofs, our goal is to illustrate the underlying theorems and constructions in a concrete and intuitive way.2026-05-12T11:18:38Z57 pages, 48 figuresBenedetta FacciottiMarta MazzoccoNikita Nikolaevhttp://arxiv.org/abs/2508.10279v3A supergroup series for knot complements2026-05-12T02:27:39ZWe introduce a three variable series invariant $F_K (y,z,q)$ for plumbed knot complements associated with a Lie superalgebra $sl(2|1)$. The invariant is a generalization of the $sl(2|1)$-series invariant $\hat{Z}(q)$ for closed 3-manifolds introduced by Ferrari and Putrov and an extension of the two variable series invariant defined by Gukov and Manolescu (GM) to the Lie superalgebra. We derive a surgery formula relating $F_K (y,z,q)$ to $\hat{Z}(q)$ invariant. We find appropriate expansion chambers for certain infinite families of torus knots and compute explicit examples. Furthermore, we provide evidence for a non semisimple $Spin^c$ decorated TQFT from the three variable series. We observe that the super $F_K (y,z,q)$ itself and its results exhibit distinctive features compared to the GM series.2025-08-14T02:11:39Zpublished versionJournal of Geometry and Physics, 2026John Chae10.1016/j.geomphys.2026.105872http://arxiv.org/abs/2603.16584v3Collapsing Flat ${\rm{SU}}(2)$-Bundles to Spherical 3-Manifolds2026-05-12T01:08:36ZWe present a geometric mechanism for the emergence of spherical $3$-manifolds from the superspace of Riemannian metrics associated with flat ${\rm{SU}}(2)$-bundles over closed orientable hyperbolic surfaces. Our main result shows that any homogeneous spherical 3-manifold $(S,g_{S})$ can be realized as a boundary point in the Gromov-Hausdorff closure of a superspace $\mathcal{S}(P)$, where $P$ is a flat ${\rm{SU}}(2)$-bundle over a closed orientable hyperbolic surface $(Σ,h_Σ)$. We show that the convergence of the sequence of metric spaces towards the spherical limit is controlled by the order of the fundamental group of $S$ and the metric invariant of the hyperbolic base provided by the ratio between its area and its systole. In this framework, the problem of obtaining the sharpest upper bound error reduces to the classical problem of maximizing the systole function over the moduli space of hyperbolic Riemann surfaces. As a byproduct, we observe that certain arithmetic surfaces provide the best possible error estimates within this family. To illustrate these results, we show that, according to our mechanism, the Bolza surface yields the optimal error bound for the convergence toward the Poincaré homology sphere.2026-03-17T14:34:36Z20 pages, 4 figures. The statement of the main result has been corrected; the proof presented in the previous version remains the same. The mechanism does not work for non-homogeneous spherical 3-manifolds given by certain lens spaces. Comments are welcome!Eder M. Correahttp://arxiv.org/abs/2409.11603v3Bohr-Sommerfeld profile surgeries and Disk Potentials2026-05-11T22:51:34ZWe construct a new surgery type operation by switching between two exact fillings of Legendrians which we call a BSP surgery. In certain cases, this surgery can preserve monotonicity of Lagrangians. We prove a wall-crossing type formula for the change of the disk-potential under surgery with Bohr-Sommerfeld profiles. As an application, we show that Biran's circle-bundle lifts admit a Bohr-Sommerfeld type surgery. We use the wall-crossing theorem about disk-potentials to construct exotic monotone Lagrangian tori in $\bP^n$.2024-09-17T23:30:23Zv3: Rephrased Theorem 1.4, figure added, no change in mathematical contentSoham Chandahttp://arxiv.org/abs/2412.18457v6Patterns of Geodesics, Shearing, and Anosov Representations of the Modular Group2026-05-11T22:44:04ZLet $X=SL_3(\R)/SO(3)$. Let $\cal DFR$ be the space of discrete faithful representations of the modular group into ${\rm Isom\/}(X)$ which map the order $2$ generator to an isometry with a unique fixed point. I prove many things about the component $\cal B$ of $\cal DFR$ known as the Barbot component: It is homeomorphic to $\R^2 \times [0,\infty)$. The boundary parametrizes the Pappus representations from [{\bf S0\/}]. The interior parametrizes the complete extension of the family of Anosov representations from [{\bf BLV\/}]. The members of $\cal B$ are isometry groups of embedded patterns of geodesics in $X$ which have asymptotic properties like the edges of the Farey triangulation or shears thereof. The Anosov representations are obtained from the Pappus representations by either of two shearing operations in $X$. The shearing structure is encoded by two proper foliations of $\cal B$ into rays.2024-12-24T14:32:02ZThis is a shorter version of the paper. In this version, I remove the material about morphed marked boxes and Anosov representations (Chapter 7 and some of Chapter 6). I made a new, self-contained material having that material. I made these changes to make all this work more modular and accessible. Otherwise the paper is the sameRichard Evan Schwartzhttp://arxiv.org/abs/2604.17006v2The conformal limit for Nakajima quiver varieties2026-05-11T19:11:16ZInspired by Gaiotto's conformal limit construction for Higgs bundles we define and study a conformal limit construction for Nakajima quiver varieties. We prove that the conformal limit is indeed a limit of a one parameter family of points inside a specified quiver variety and that it gives a biholomorphic map between holomorphic Lagrangian submanifolds foliating two different quiver varieties. In the last part of the paper we discuss the analog of Simpson's conjecture on the completeness of these holomorphic Lagrangian submanifolds.2026-04-18T14:35:28ZSecond draft. Full proof of the Simpson foliation conjecture for quiver varieties added. Various minor changes. Comments welcome!Sotiria ChatzimarkouPanagiotis Dimakis