https://arxiv.org/api/jJZgaeQXKHQYBcWc0urLvW+0hRQ 2026-06-21T22:27:38Z 25838 210 15 http://arxiv.org/abs/2508.21337v3 2026-05-22T11:42:25Z

For any link in the $3$-sphere, we give a visual construction of a stable map $f$ from the $3$-sphere into the real plane enjoying the following properties; $f$ has no cusp point, the set of definite fold points of $f$ is isotopic to the given link and $f$ only has certain type of fibers containing two indefinite fold points. As a corollary, we obtain a similar stable map from every closed orientable $3$-manifold into the $2$-sphere.

2025-08-29T05:38:50Z 14 pages, 16 figures Gakuto Kato http://arxiv.org/abs/2605.22473v2 2026-05-22T05:30:15Z

The Lagrangian skeleton of the rational homology ball $B_{p,q}$, for $0<q<p$ coprime integers, is an immersed but not embedded Lagrangian, called a $(p,q)$-pinwheel. We show that any two embeddings of Lagrangian $(p,q)$-pinwheels in $B_{p,q}$ are related by a compactly supported Hamiltonian isotopy, establishing Arnold's nearby Lagrangian conjecture for this wide class of singular Lagrangians. Our proof has two largely independent parts: the first uses neck-stretching and the symplectic rational blow-up to understand embeddings of pinwheels up to symplectomorphism; the second computes that $\text{Symp}_c(B_{p,q})$ is generated by a twist about the pinwheel, which we call the pintwist $τ_{p,q}$. We provide three applications of our methods: Gromov non-squeezing for pin-balls; a new proof of the local Lagrangian unknotting theorem of Eliashberg--Polterovich; and that the only Lagrangian $(n,m)$-pinwheel in $B_{p,q}$ is of type $(p,q)$.

2026-05-21T13:33:44Z 68 pages, 23 figures. Comments are very welcome! Nikolas Adaloglou Gerard Bargalló i Gómez Johannes Hauber http://arxiv.org/abs/2605.23112v1 2026-05-22T00:16:25Z

Locally standard $T$-pseudomanifolds were introduced by the authors in a previous work. They are topological stratified pseudomanifolds equipped with torus actions. Their equivariant homeomorphism types are classified by characteristic data under the homotopy equivalence condition. In this paper, we show that this condition can be removed when the dimension is at most three. We also characterize those of dimension at most three that are topological manifolds, in terms of their orbit spaces.

2026-05-22T00:16:25Z 20 pages, 3 figures, 3 tables Yuya Koike http://arxiv.org/abs/2605.23097v1 2026-05-21T23:08:35Z

Fréchet regression generalizes linear regression to metric-space-valued responses by defining fitted values as minimizers of weighted Fréchet functionals. Since these weights may have mixed signs, the resulting objective is a signed barycenter problem rather than a standard convex barycenter problem. On Riemannian manifolds, this is further complicated by the lack of global geodesic convexity and possible nonsmoothness of squared distances near cut loci. We study signed Fréchet regression on complete manifolds with two-sided bounded sectional curvature. By restricting optimization to a strongly convex normal ball containing the response support, we use local smoothness, Hessian comparison, and Jacobi-field estimates to formulate the problem as a locally controlled Riemannian proximal DC problem. This leads to FRIDA (Fréchet Regression via Riemannian Iterative DC Algorithm), an exact and inexact proximal DC algorithm for computing regression fits. We prove existence and interiority of minimizers under explicit signed-weight conditions, establish curvature-dependent strong convexity of the proximal subproblems, and show descent and convergence of the iterates to stationary points. We also derive sublinear complexity estimates and, under real-analyticity, obtain full-sequence convergence with KL-type local rates. These results provide a rigorous optimization framework for signed Fréchet regression on manifolds with bounded curvature.

2026-05-21T23:08:35Z 26 pages, 6 figures Yamin Zhou César A. Uribe http://arxiv.org/abs/2603.22202v2 2026-05-21T16:33:46Z

We construct examples of non-smoothable surfaces in the $4$-sphere, thereby answering Question 4.32 on the K3 problem list. These surfaces are non-orientable and have knot group of order $2$, thus simultaneously answering Question 4.29(a) on the K3 problem list.

2026-03-23T16:59:05Z v1: 17 pages. v2: Reorganisation of the introduction. Weakened Theorem 1.2 to account for an oversight in the proof; see the new Proposition 5.4. The advertised main theorem remains unchanged. 22 pages. 2 Figures Anthony Conway Daniel Galvin http://arxiv.org/abs/2602.21659v2 2026-05-21T15:40:34Z

Let c(K;F) denote the surface crossing number of a knot K with respect to a closed connected surface F in S^3. We relate c(K;F) to the tunnel number t(K) and to the Heegaard deficiency delta(F)=g(M_1;F)+g(M_2;F)-g(F), where S^3=M_1 union_F M_2. The zero-crossing case gives a structural obstruction: if c(K;F)=0, then t(K) <= delta(F). Conversely, if t(K)>delta(F), then c(K;F) >= 2(t(K)-delta(F))+1. Thus the Heegaard deficiency of F measures the amount of tunnel complexity that can be absorbed by F without producing crossings. The proof combines a surface ascending-number estimate, a bridge-number estimate for surface diagrams, and an amalgamation argument for Heegaard splittings relative to F. We also construct connected-sum families showing that the lower bound has the correct linear order.

2026-02-25T07:37:40Z 17 pages, 1 figure. Revised version: corrected the zero-crossing case and strengthened the proofs of the surface bridge and amalgamation lemmas Makoto Ozawa http://arxiv.org/abs/2510.02095v2 2026-05-21T15:10:52Z

We provide exact integral formulas for hyperbolic and spherical volumes of cone-manifolds whose underlying space is the $3$-sphere and whose singular set belongs to three infinite families of two-bridge knots: $C(2n,2)$ (twist knots), $C(2n,3)$, and $C(2n,-2n)$ for any non-zero integer $n$. Our formulas express volumes as integrals of explicit rational functions involving Chebyshev polynomials of the second kind, with integration limits determined by roots of algebraic equations. This extends previous work where only implicit formulas requiring numerical approximation were known.

2025-10-02T15:03:21Z Accepted for publication in Transformation Groups Anh T. Tran Nisha Yadav http://arxiv.org/abs/2511.10606v2 2026-05-21T14:17:11Z

In this paper, we provide an explicit construction of continuous paths of $\mathrm{SL}_2(\mathbb R)$-representations of the knot groups of $(-2,3,2n+1)$-pretzel knots. As an application, we show that the fundamental group of the $3$-manifold obtained from the $3$-sphere by $\frac{m}{l}$-surgery along the $(-2,3,2n+1)$-pretzel knot, where $n \ge 3$ is an integer and $n \not= 4$, is left-orderable if $\frac{m}{l}< 2 \lfloor \frac{2n+4}{3} \rfloor$.

2025-11-13T18:42:38Z Accepted for publication in Journal of Topology and Analysis Anh T. Tran http://arxiv.org/abs/2605.22405v1 2026-05-21T12:32:55Z

We construct a scalar invariant of flat principal 2-bundles over 3-manifolds, with structure 2-group $\mathcal{G}$, from an involutory Hopf algebra graded by $\mathcal{G}$. Expressing $\mathcal{G}$ in terms of a crossed module $χ$ and using the classification of such 2-bundles via the classifying space $Bχ$, this amounts to constructing a homotopy invariant of maps from 3-manifolds to $Bχ$. The construction of the invariant relies on a combinatorial description of such maps by $χ$-colored Heegaard diagrams. When the corresponding map to $Bχ$ is nullhomotopic or, equivalently, when the associated flat principal $\mathcal{G}$-bundle is trivializable, the invariant reduces to the Kuperberg invariant of the underlying 3-manifold.

2026-05-21T12:32:55Z 44 pages Kursat Sozer Alexis Virelizier http://arxiv.org/abs/2604.26369v2 2026-05-21T11:22:44Z

An involutive link is a link which is invariant under the standard rotation by 180 degrees in $S^3$. We establish an equivariant analogue of the work of Carter and Saito aimed at studying equivariant cobordisms between involutive links. This gives a set of $39$ equivariant movie moves that suffice to go between any two movie presentations of a pair of equivariantly isotopic cobordisms. Along the way, we give a singularity-theoretic proof of the equivariant Reidemeister theorem and study loops of equivariant Reidemeister moves. Our approach proceeds by analyzing codimension $2$ singularities of equivariant maps from $S^1$ to $\mathbb{R}^2$, as well as utilizing embedded equivariant Morse theory.

2026-04-29T07:30:08Z 114 pages, 71 figures. v2: added Section 8.5 regarding cobordisms with isolated fixed points of the Z_2 action Maciej Borodzik Irving Dai Abhishek Mallick Matthew Stoffregen http://arxiv.org/abs/2605.22308v1 2026-05-21T10:55:21Z

In this paper we prove that every coefficient of twisted Alexander polynomials of torus knots associated with irreducible $\mathrm{SL}_n(\Bbb C)$-representations is an $\Bbb A$-valued locally constant function on the $\mathrm{SL}_n(\Bbb C)$-character variety, where $\Bbb A$ is the ring of all algebraic integers over $\Bbb C$. Moreover, as a generalization of a recent result of Kitano and Nozaki, we show that $\mathrm{SL}_n(\Bbb C)$-Reidemeister torsions are algebraic integers for many Seifert fibered spaces. Also, we discuss the power sums of Reidemeister torsions of torus knots for low-dimensional irreducible representations that provide a mysterious relation to TQFT.

2026-05-21T10:55:21Z Accepted for publication in Topology and its Applications. Some results in Section 6 overlap with the recent preprint arXiv:2605.19460 of Terashima and Yamaguchi Takayuki Morifuji Anh T. Tran http://arxiv.org/abs/2605.22129v1 2026-05-21T08:05:23Z

A weave is a type of textile that consists of vertical and horizontal threads, and typically it has a periodic structure. In this paper, we regard a weave as a link in the thickened torus with a diagram consisting of closed geodesics. As main results, we characterize isotopies and hyperbolicity of weaves to determine them from diagrams. Moreover, we show that there does not exist an essential Conway sphere for a weave. We use normal positions of essential surfaces of weave complements to describe them.

2026-05-21T08:05:23Z 16 pages, 12 figures Ken'ichi Yoshida http://arxiv.org/abs/2605.22059v1 2026-05-21T06:47:53Z

We study the distribution of closed geodesics in short intervals on random hyperbolic surfaces of large genus, and compare it with the classical problem of primes in short intervals. Viewing the surface $M$ as a random point in moduli space equipped with the Weil--Petersson measure, we investigate the random variable $Ψ_M(x;H)$ counting closed geodesics with norms in the interval $[X, X+H]$, weighted by primitive length, where $H=o(X)$. This is analogous to the Chebyshev function in prime number theory. Our main result establishes that in the large genus limit, \[ \lim_{g\to \infty}\mathrm{Var}(Ψ_M(X;H)) \sim 2\,H \log X, \] when $X\to \infty$, $H=o(X)$. Goldston and Montgomery related the variance for primes in short intervals to the form factor associated with zeros of the Riemann zeta function, and conjectured that it is asymptotic to \[ H\log(X/H). \] We show that for automorphic L-functions of degree $d>1$, the early-time GUE form factor already follows from the Riemann Hypothesis, thereby recovering the variance $H\log X$ in the very short interval regime predicted by Bui, Keating and Smith. In the geometric setting, the appearance of $\log X$ reflects the much higher spectral density of Laplace eigenvalues relative to zeros of finite-degree $L$-functions, while the additional factor of $2$ is explained by the expected GOE statistics for the Laplace spectrum of generic hyperbolic surfaces.

2026-05-21T06:47:53Z Zeev Rudnick http://arxiv.org/abs/2605.21894v1 2026-05-21T02:05:29Z

We demonstrate the existence of quasiconformal mappings on closed manifolds that cannot be decomposed as a composition of mappings with arbitrarily small conformal distortion.

2026-05-21T02:05:29Z 21 pages. Comments welcome! Benjamin B. McMillan http://arxiv.org/abs/2504.18984v3 2026-05-20T20:44:23Z

The forbidden moves in virtual knot theory can be used to unknot any knot, virtual or classical; however, multi-component crossings in links can still survive, resulting a fused link. Using the forbidden moves, we categorify fused links obtain a quiver-valued invariant of classical and virtual links we call the forbidden quiver, opening the way for functors to and from other categories. As an application we use the forbidden quiver to obtain three polynomial invariants of virtual and classical links. Since these invariants are not sensitive to single-component crossing change, they are also link homotopy invariants.

2025-04-26T18:05:06Z 10 pages. Last version includes corrected diagrams for forbidden moves, which are reversed in the published version Sam Nelson Stella Shah