https://arxiv.org/api/yCTbcXc2PdogY2U2CWDrkscIKIY 2026-06-22T09:27:47Z 25838 360 15 http://arxiv.org/abs/2605.04031v1 2026-05-05T17:52:25Z

Geodesic currents on closed hyperbolic surfaces are measures on the unit tangent bundle invariant under geodesic flow and orientation reversal. Every geodesic current induces a dual function on curves via the geometric intersection pairing. It is natural to ask which curve functions are dual to geodesic currents, that is, which arise as intersection functionals of a geodesic current. In this paper we give a purely axiomatic and combinatorial characterization of curve functionals dual to geodesic currents. This yields a new definition of geodesic currents as curve functionals or, equivalently, as functions on surface groups, without reference to measures or flows. More precisely, we show that a function on curves arises as the geometric intersection pairing with a geodesic current if and only if it is additive under disjoint union and satisfies a simple \emph{smoothing} property: it is non-increasing under surgery of essential crossings. As applications, we obtain new axiomatic characterizations of measured laminations and hyperbolic length functions, and new descriptions of small surface group actions on real trees, including a concise proof of a classical theorem of Skora. We also provide a unified framework for dual geodesic currents arising from metric structures and generalized cross-ratios, including those associated with certain Anosov representations. Our approach subsumes all previously known constructions of dual geodesic currents and yields broad new families of examples.

2026-05-05T17:52:25Z Dídac Martínez-Granado Dylan P. Thurston http://arxiv.org/abs/2411.19400v3 2026-05-05T17:03:16Z

We construct closed, aspherical, smooth 4-manifolds that are homeomorphic but not diffeomorphic. These provide counterexamples to a smooth analog of the Borel conjecture in dimension four. Our technique is to apply the `reflection group trick' of the first author to pairs of exotic 4-manifolds with boundary constructed by the second author and Piccirillo.

2024-11-28T22:30:26Z 14 pages, 3 figures. Second version corrects some introductory remarks. Final version; to appear in Annals of Mathematics Michael Davis Kyle Hayden Jingyin Huang Daniel Ruberman Nathan Sunukjian http://arxiv.org/abs/2605.03938v1 2026-05-05T16:27:48Z

An isoperimetric constant relating length and stable area, or alternatively for hyperbolic manifolds, length and stable commutator length, serves as a Cheeger constant for the smallest eigenvalue of the Hodge Laplacian acting on coexact 1-forms. Using properties of the magnetic geodesic flow associated to the differential of a coexact eigenform, and its behavior at Mañé's critical energy level, we give new proofs of these Cheeger-like inequalities, with improved constants and volume dependence. We also make a few observations about the relationship between Mañé's critical values and the eigenvalues, when the manifold is hyperbolic.

2026-05-05T16:27:48Z Cameron Gates Rudd http://arxiv.org/abs/2605.03833v1 2026-05-05T15:02:10Z

We give an expression for the frequency of non-simple curves in closed surfaces and exploit it to study relative frequencies of such curves in large genus. This extend to the case of non-simple curves Mirzakhani's expressions of frequencies in terms of Konsevitch polynomials and Delecroix-Goujard-Zograf-Zorich large genus asymptotics for those frequencies. In particular, with K fixed, we identify which types of curves with K intersections are most common.

2026-05-05T15:02:10Z 92 pages, 28 figures, comments welcome Mingkun Liu Kasra Rafi Juan Souto Marie Trin http://arxiv.org/abs/2305.08255v3 2026-05-05T14:58:19Z

The paper is devoted to the study of homotopy properties of stabilizers of smooth functions on oriented surfaces, i.e., groups of diffeomorphisms of surfaces preserving a given function. For some class of smooth functions which is a generalization of the class of Morse-Bott functions on oriented surfaces, the homotopy type of the connected component of the identity map of the stabilizer is completely described.

2023-05-14T21:33:20Z 22 pages, 3 figures Bohdan Feshchenko http://arxiv.org/abs/2602.15463v2 2026-05-05T14:06:24Z

We show that for non-conjugate subgroups $G_1$ and $G_2$ of a finite group $G$ there exists an extension of $G$ (by a finite group) in which the pre-images of $G_1$ and $G_2$ are not isomorphic. This allows us to show that $\mathbb Z$-coset equivalent subgroups of a finite group are not necessarily isomorphic, answering a question of Dipendra Prasad. We also indicate connections to profinite rigidity, anabelian geometry, mapping class groups, and non-arithmetic lattices in Lie groups.

2026-02-17T10:03:21Z v2. Minor non-mathematical changes. 9 pages Ido Karshon Alexander Lubotzky D. B. McReynolds Alan W. Reid Mark Shusterman http://arxiv.org/abs/2506.12172v3 2026-05-05T14:01:16Z

Let $G$ be a subgroup of $\mathrm{SL}(\mathbb{R}^{d+1})\ltimes\mathbb{R}^{d+1}$ obtained by adding a translation part to a torsion-free discrete subgroup of $\mathrm{SL}(\mathbb{R}^{d+1})$ dividing a convex cone in the sense of Benoist. We consider the maximal convex domains in $\mathbb{R}^{d+1}$ on which the affine action of $G$ is free and properly discontinuous, and show its quotient by $G$ is naturally endowed with an "affine spacetime" structure, which is a generalisation of the notion of flat Lorentzian spacetime. More precisely, we show that this quotient is a Maximal Globally Hyperbolic affine spacetimes admitting a $C^2$ locally uniformly Convex and Compact Cauchy surface (denoted as a MGHCC affine spacetimes), and that it comes with a cosmological time function with Cauchy hypersurfaces foliating the quotient affine spacetime as level sets. Finally, we show such quotients are the only examples of MGHCC affine spacetimes. All these results generalise the work of Mess, Barbot and Bonsante on affine deformations of uniform lattices of $\mathrm{SO}_0(d,1)$.

2025-06-13T18:51:37Z 47 pages, 11 figures Antoine Ablondi http://arxiv.org/abs/2310.14365v2 2026-05-05T13:51:50Z

We study the homogeneous spaces of a simply connected, compact, simple Lie group $G$ through the lens of K-theory. Our methods apply equally well to the case where $G$ is in one of the four infinite families of classical groups, or one of the five exceptional groups. The main examples we study in detail are the four symmetric spaces FII, EIII, EVI, EVIII in Cartan's list of symmetric spaces. These are, respectively, homogeneous spaces for $F_4$, $E_6$, $E_7$, $E_8$ with dimensions $16$, $32$, $64$, $128$. They are the four Rosenfeld projective planes.

2023-10-22T17:18:20Z 29 pages, version to appear in Documenta Mathematica John Jones Dmitriy Rumynin Adam R. Thomas http://arxiv.org/abs/2512.15375v2 2026-05-05T13:27:25Z

Let $M$ be a smooth compact oriented connected manifold, and ${\rm Homeo}_0(M,μ)$ the group of homeomorphisms of $M$ supported away from $\partial M,$ which preserve a Borel probability measure $μ$ induced by a volume form on $M$, and are isotopic to the identity. In this paper, we identify those Gambaudo-Ghys and Polterovich quasimorphisms $Ψ\colon {\rm Diff}_0(M,μ)\to R$ which extend $C^0$-continuously to ${\rm Homeo}_0(M,μ)$ as quasimorphisms, and to ${\rm Homeo}_0(M)$ as group cochains whose differentials are semi-bounded cocycles. We present several applications of this result which include unboundedness of certain bi-invariant metric on the commutator subgroup of ${\rm Homeo}_0(M,μ)$, and conditions under which a homeomorphism in ${\rm Homeo}_0(M)$ is undistorted.

2025-12-17T12:25:33Z 18 pages, 4 figures, accepted for publication in Comm. in Contemp. Math Michael Brandenbursky Jarek Kedra Michal Marcinkowski Egor Shelukhin http://arxiv.org/abs/2604.12023v3 2026-05-05T11:43:55Z

We present Twisted Edges, a unified framework for designing Linked Knot (LK) structures using labeled non-manifold surface meshes. While the concept of edge twists, originating in topological graph theory, is foundational to these designs, prior approaches have been strictly limited to binary states. We identify this restriction as a critical barrier; binary twisting fails to capture the full spectrum of topological possibilities, rendering a vast class of structural and dynamic behaviors inaccessible. To overcome this limitation, we generalize the twist formulation to support arbitrary integer twist labels. This expansion reveals that while zero twists may introduce disconnections, applying even twists to 2-manifold meshes robustly preserves connectivity, transforming surfaces into fully connected, chainmail-like structures where faces form consistently linked cycles. Furthermore, we extend this framework to non-manifold meshes, where specific integer assignments prevent cycle merging. This capability, unattainable with binary methods, enables the design of partial connectivity and functional hinges, supporting dynamic folding and articulation. Theoretically, we show that these integer-twisted meshes correspond to knotted surfaces in four dimensions, with LK structures arising as their immersions into $\mathbb{R}^3$. By breaking the binary constraint, this work establishes a coherent paradigm for the systematic exploration of previously unstudied woven and articulated structures.

2026-04-13T20:06:51Z Tolga Talha Yıldız Uğur Önal Vinayak R. Krishnamurthy Ergun Akleman http://arxiv.org/abs/2512.03017v4 2026-05-05T11:10:52Z

In a series of papers A.D.Mednykn and A.Yu.Vesnin introduced a construction that for a given right-angled polytope $P$ in geometry $\mathbb L^3$, $\mathbb R^3$, $\mathbb S^3$, $\mathbb L^2\times \mathbb R$, $\mathbb S^2\times \mathbb R$ and a Hamiltonian cycle, theta-subgraph or $K_4$-subgraph $Γ$ in the $1$-skeleton of $P$ builds a geometric $3$-manifold $N(P,Γ)$ with an involution $τ$ such that $N(P,Γ)/\langleτ\rangle\simeq S^3$. The brach set of the corresponding $2$-sheeted branched covering $N(P,Γ)\to S^3$ is a link $C_Γ\subset S^3$ consisting of trivially embedded circles. This construction reformulated in the language of toric topology works for such a subgraph $Γ$ in any simple $3$-polytope $P$ and gives a topological $3$-manifold $N(P,Γ)$. We give a criterion when $S^3\setminus C_Γ$ has a complete hyperbolic structure of finite volume and generalize this criterion to similar links in $3$-manifolds different from $S^3$. We prove that hyperbolic links $C_Γ$ are parametrized by nonselfcrossing Eulerian cycles, Eulerian theta-subgraphs and Eulerian $K_4$-subgraphs in hyperbolic right-angled $3$-polytopes of finite volume in $\mathbb L^3$ with $0$, $2$ or $4$ finite vertices. We give a criterion when the link $C_Γ$ consists of mutually unlinked circles and prove that if such a link is nontrivial, then it contains the Borromean rings. The latter problem is motivated by the Efimov effect in quantum mechanics.

2025-12-02T18:45:00Z 31 pages, 14 figures. Criterion when a link is hyperbolic is added Nikolai Erokhovets http://arxiv.org/abs/2509.07270v2 2026-05-05T10:06:53Z

We prove that the space of contractible simple loops of a given fixed area in any compact oriented surface has infinite diameter as a homogeneous space of the group of area-preserving diffeomorphisms endowed with the $L^p$-metric. As a special case, this resolves the $L^p$-metric analogue of the well-known question in symplectic topology regarding the space of equators on the two-sphere. Our methods involve a new class of functionals on a normed group, which are more general than quasi-morphisms.

2025-09-08T23:00:33Z 14 pages, accepted for publication in Bull. of London Math. Soc Michael Brandenbursky Egor Shelukhin http://arxiv.org/abs/2604.00939v2 2026-05-05T08:37:19Z

For a half-unknotted implanted $(i,n-i)$-barbell $β=β_{i,n-i}$ in $M^n$, we construct two specific pseudo-isotopies, which we denote by standard barbell pseudo-isotopies, both resulting in that barbell diffeomorphism, each having a Cerf diagram only containing a single eye and with easily computable Hatcher-Wagoner invariants. We give an explicit formula for $β_{2,n-2}$ and a special class of $β_{3,n-3}$. Using this we show that for $n\geq 6$, every pseudo-isotopy with vanishing first Hatcher-Wagoner invariant can be isotoped to a composition of standard barbell pseudo-isotopies with $i=2$ or $3$. In dimension $n=4$, we further generalize the constructions and computations to half-unknotted immersed barbell diffeomorphisms and prove that for every $s\in \mathbb{Z}_2, σ\in π_2 M,γ\in π_1 M$ with $s=0 \text{ or }w_2^M(σ)\neq0$, there exists a standard immersed barbell pseudo-isotopy $f_β$ with the second induced Hatcher-Wagoner invariant $Θ(f_β)=(s,σ)\cdot [γ]$.

2026-04-01T14:13:08Z 30 pages, 19 figures. Comments are very welcome Xiayu Tan http://arxiv.org/abs/2605.03350v1 2026-05-05T04:11:28Z

This paper develops a form of finite knot theory as a diagrammatic sequel to the ideal-stratum and deformation-persistence framework for knot types. Thick representatives in bounded ropelength sublevel spaces are studied through the finite Reidemeister data visible in generic projections. For each projection direction $u$, we introduce the ropelength-filtered lifted Reidemeister graphs $\mathcal{G}^{\mathrm{lift}}_{Λ,u}(K)$, for $Λ\ge \mathrm{Rop}(K)$, recording diagram data and Reidemeister moves that lift to admissible thick deformations below the ropelength level $Λ$. Using the finite-local reconstruction theorem of Barbensi--Celoria, we define characteristic Reidemeister patterns and the finite recognition length $L_{\mathrm{char},u}(K)$, the first ropelength scale at which a finite pattern recognizing $K$, up to mirroring, appears in the lifted graph. The finite-local graph-theoretic part is unconditional; finite-dimensional and polygonal models provide controlled settings; the corresponding statements for the full $C^{1,1}$ ropelength-sublevel space are conditional on explicitly isolated projection--Cerf tameness and coherent finite-pattern thick-movie liftability hypotheses.

2026-05-05T04:11:28Z Makoto Ozawa http://arxiv.org/abs/2605.03161v1 2026-05-04T21:14:58Z

We study deformations of non-cocompact lattices of ${\rm SO}(n,1)$ into ${\rm SU}(n,1)$ and ${\rm SO}(n+1,1)$. A necessary condition for these deformations to remain discrete and faithful (when $n \geqslant 3$) is for the parabolic subgroups to remain parabolic and discrete; we call such representations \emph{strongly parabolic-preserving}. We show that the figure-eight knot group admits a one-parameter family of Zariski-dense parabolic-preserving deformations into ${\rm SU}(3,1)$, with further deformations into ${\rm SU}(2,2)$. We also study the \emph{bending deformations} of the Bianchi groups (seen as subgroups of ${\rm SO}(3,1)$) along the modular surface into ${\rm SU}(3,1)$ and ${\rm SO}(4,1)$, and show that infinitely many of them are strongly parabolic-preserving in ${\rm SU}(3,1)$, while none are strongly parabolic-preserving in ${\rm SO}(4,1)$. Finally, for any $n \geqslant 3$, we show that there exist infinitely many non-commensurable cusped hyperbolic $n$-manifolds whose corresponding hyperbolic representation admits a 1-parameter family of parabolic-preserving deformations into ${\rm SU}(n,1)$.

2026-05-04T21:14:58Z Comments welcome! This paper supercedes arXiv:1702.00508 Samuel A. Ballas Julien Paupert Pierre Will