http://arxiv.org/api/gdf8BCuuP5RDwxf0ygWibDfTD48 2025-04-22T00:00:00-04:00 23969 60 15 http://arxiv.org/abs/2504.09483v1 2025-04-13T08:49:22Z 2025-04-13T08:49:22Z

A surface in the Teichm\"uller space, where the systole function admits its maximum, is called a maximal surface. For genus two, a unique maximal surface exists, which is called the Bolza surface, whose systolic geodesics give a triangulation of the surface. We define a surface as Bolza-like if its systolic geodesics decompose the surface into $(p, q, r)$-triangles for some integers $p,q,r$. In this article, we will provide a construction of Bolza-like surfaces for infinitely many genera $g\geq 9$. Next, we see an intriguing application of Bolza-like surfaces. In particular, we construct global maximal surfaces using these Bolza-like surfaces. Furthermore, we study a symmetric property satisfied by the systolic geodesics of our Bolza-like surfaces. We show that any simple closed geodesic intersects the systolic geodesics at an even number of points.

Achintya Dey Bhola Nath Saha Bidyut Sanki 13 pages, 10 figures, Preliminary version, Comments are welcome http://arxiv.org/abs/1112.6107v3 2025-04-13T07:11:27Z 2011-12-28T11:57:41Z

Let Q be a component of a stratum of abelian or quadratic differentials on an oriented surface of genus $g\geq 0$ with $m\geq 0$ punctures and $3g-3+m\geq 2$. We construct a subshift of finite type $(\Omega,\sigma)$ and a Borel suspension of $(\Omega,\sigma)$ which admits a finite-to-one semi-conjugacy into the Teichmueller flow $\Phi^t$ on Q. This is used to show that the $\Phi^t$-invariant Lebesgue measure on Q is the unique measure of maximal entropy.

Ursula Hamenstädt Correction of the last statement in Theorem 1, proofs are not affected. Details added, writing improved. 35p http://arxiv.org/abs/2504.09403v1 2025-04-13T02:15:23Z 2025-04-13T02:15:23Z

We investigate ortho-integral (OI) hyperbolic surfaces with totally geodesic boundaries, defined by the property that every orthogeodesic (i.e. a geodesic arc meeting the boundary perpendicularly at both endpoints) has an integer cosh-length. We prove that while only finitely many OI surfaces exist for any fixed topology, infinitely many commensurability classes arise as the topology varies. Moreover, we completely classify OI pants and OI one-holed tori, and show that their doubles are arithmetic surfaces of genus 2 derived from quaternion algebras over $\mathbb{Q}$.

Nhat Minh Doan Khanh Le 21 pages, 3 figures, 3 tables. Comments are welcome! http://arxiv.org/abs/2504.09368v1 2025-04-12T23:30:21Z 2025-04-12T23:30:21Z

Multi-virtual knot theory was introduced in $2024$ by the first author. In this paper, we initiate the study of algebraic invariants of multi-virtual links. After determining a generating set of (oriented) multi-virtual Reidemeister moves, we discuss the equivalence of multi-virtual link diagrams, particularly those that have the same virtual projections. We introduce operator quandles (that is, quandles with a list of pairwise commuting automorphisms) and construct an infinite family of connected operator quandles in which at least one third of right translations are distinct and pairwise commute. Using our set of generating moves, we establish the operator quandle coloring invariant and the operator quandle $2$-cocycle invariant for multi-virtual links, generalizing the well-known invariants for classical links. With these invariants at hand, we then classify certain small multi-virtual knots based on the existing tables of small virtual knots due to Bar-Natan and Green. Finally, to emphasize a key difference between virtual and multi-virtual knots, we construct an infinite family of pairwise nonequivalent multi-virtual knots, each with a single classical crossing. Many open problems are presented throughout the paper.

Louis H. Kauffman Sujoy Mukherjee Petr Vojtěchovský 31 pages, 28 figures http://arxiv.org/abs/2310.19120v4 2025-04-12T22:10:12Z 2023-10-29T19:15:45Z

We give an expression for the Smith-Thom deficiency of the Hilbert square $X^{[2]}$ of a smooth real algebraic variety $X$ in terms of the rank of a suitable Mayer-Vietoris mapping in several situations. As a consequence, we establish a necessary and sufficient condition for the maximality of $X^{[2]}$ in the case of projective complete intersections, and show that with a few exceptions no real nonsingular projective complete intersection of even dimension has maximal Hilbert square. We also provide new examples of smooth real algebraic varieties with maximal Hilbert square.

Viatcheslav Kharlamov Rareş Răsdeaconu Clarification in Corollary 1.9 http://arxiv.org/abs/2504.09284v1 2025-04-12T17:07:54Z 2025-04-12T17:07:54Z

In the author's previous paper, the author constructed holomorphic quilts from the bigons of the Lagrangian Floer chain group after performing Lagrangian composition. This paper proves the uniqueness of such holomorphic quilts. As a consequence, it provides a combinatorial method for computing the boundary map of immersed Lagrangian Floer chain groups when the symplectic manifolds are closed surfaces. One outcome is the construction of many examples exhibiting figure eight bubbling, which also confirms a conjecture of Cazassus Herald Kirk Kotelskiy.

Zuyi Zhang 18 pages 6 figures http://arxiv.org/abs/2109.08753v3 2025-04-12T16:18:14Z 2021-09-17T20:26:03Z

We construct two-dimensional families of complex hyperbolic structures on disc orbibundles over the sphere with three cone points. This contrasts with the previously known examples of the same type, which are locally rigid. In particular, we obtain examples of complex hyperbolic structures on trivial and cotangent disc bundles over closed Riemann surfaces.

Hugo C. Botós Carlos H. Grossi 42 pages, 21 figures, 3 tables. In this version, we restructured the text and provided an alternative proof of Proposition 44 in Remark 45 http://arxiv.org/abs/2401.05734v2 2025-04-12T16:14:16Z 2024-01-11T08:31:09Z

The Thurston spine consists of the subset of Teichm\"uller space at which the set of shortest curves, the systoles, cuts the surface into polygons. The systole function is a topological Morse function on Teichm\"uller space. This paper shows that the Thurston spine satisfies a property defined in terms of the systole function analogous to that of Morse-Smale complexes of (smooth) Morse functions on compact manifolds with boundary.

Ingrid Irmer http://arxiv.org/abs/2504.09172v1 2025-04-12T10:28:43Z 2025-04-12T10:28:43Z

Guo and Luo introduced generalized circle patterns on surfaces and proved their rigidity. In this paper, we prove the existence of Guo-Luo's generalized circle patterns with prescribed generalized intersection angles on surfaces with cusps, which partially answers a question raised by Guo-Luo and generalizes Bobenko-Springborn's hyperbolic circle patterns on closed surfaces to generalized hyperbolic circle patterns on surfaces with cusps. We further introduce the combinatorial Ricci flow and combinatorial Calabi flow for generalized circle patterns on surfaces with cusps, and prove the longtime existence and convergence of the solutions for these combinatorial curvature flows.

Zhiwen Xiong Xu Xu 18 pages, 2 figures http://arxiv.org/abs/2503.23787v2 2025-04-12T04:56:27Z 2025-03-31T07:02:36Z

Let $\mathfrak{G}=\mathfrak{S}_{q} \overleftrightarrow{\times} \mathfrak{S}_q$ be the $\mathbb{Z}/2$-extension of the product of two symmetric groups $\mathfrak{S}_{q} \times \mathfrak{S}_q$. In this paper, we compute the $\mathfrak{G}$-invariant part of the rational cohomology of the pure braid group $P_{n}$, where $n=2q$, denoted by $H^{*}(P_n)^{\mathfrak{G}}$. As is known classically, $H^{*}(P_n)^{\mathfrak{G}}$ includes the rational cohomology of a spin hyperelliptic mapping class group, denoted by $H^*(\mathcal{S}(\Sigma_{g};c))$, where $2g+2=n=2q$.

Yan Fu Gefei Wang http://arxiv.org/abs/2504.09034v1 2025-04-12T01:13:25Z 2025-04-12T01:13:25Z

We define an invariant of three-manifolds with an involution with non-empty fixed point set of codimension $2$; in particular, this applies to double branched covers over knots. Our construction gives the Heegaard Floer analogue of Li's real monopole Floer homology. It is a special case of a real version of Lagrangian Floer homology, which may be of independent interest to symplectic geometers. The Euler characteristic of the real Heegaard Floer homology is the analogue of Miyazawa's invariant, and can be computed combinatorially for all knots.

Gary Guth Ciprian Manolescu 44 pages, 14 figures http://arxiv.org/abs/2504.08988v1 2025-04-11T21:41:56Z 2025-04-11T21:41:56Z

Let $\Gamma$ be the fundamental group of a closed orientable surface of genus at least two. Consider the composition of a uniformly random element of $\mathrm{Hom}(\Gamma,S_n)$ with the $(n-1)$-dimensional irreducible representation of $S_n$. We prove the strong convergence in probability as $n\to\infty$ of this sequence of random representations to the regular representation of $\Gamma$. As a consequence, for any closed hyperbolic surface $X$, with probability tending to one as $n\to\infty$, a uniformly random degree-$n$ covering space of $X$ has near optimal relative spectral gap -- ignoring the eigenvalues that arise from the base surface $X$. To do so, we show that the polynomial method of proving strong convergence can be extended beyond rational settings. To meet the requirements of this extension we prove two new kinds of results. First, we show there are effective polynomial approximations of expected values of traces of elements of $\Gamma$ under random homomorphisms to $S_n$. Secondly, we estimate the growth rates of probabilities that a finitely supported random walk on $\Gamma$ is a proper power after a given number of steps.

Michael Magee Doron Puder Ramon van Handel 37 pages, 3 figures http://arxiv.org/abs/2310.18663v3 2025-04-11T16:10:01Z 2023-10-28T10:25:47Z

We study smooth linear spectral statistics of twisted Laplacians on random $n$-covers of a fixed compact hyperbolic surface $X$. We consider two aspects of such statistics. The first is the fluctuations of such statistics in a small energy window around a fixed energy level when averaged over the space of all degree $n$ covers of $X$. The second is the energy variance of a typical surface. In the first case, we show a central limit theorem. Specifically, we show that the distribution of such fluctuations tends to a Gaussian with variance given by the corresponding quantity for the Gaussian Orthogonal/Unitary Ensemble (GOE/GUE). In the second case, we show that the energy variance of a typical random $n$-cover is that of the GOE/GUE. In both cases, we consider a double limit where first we let $n$, the covering degree, go to $\infty$ then let $L\to \infty$ where $1/L$ is the window length.

Yotam Maoz 47 pages. Accepted for publication in the Israel Journal of Mathematics http://arxiv.org/abs/2504.08657v1 2025-04-11T15:59:50Z 2025-04-11T15:59:50Z

The stated ${\rm SL}_n$-skein algebra $\mathscr{S}_{\hat{q}}(\mathfrak{S})$ of a surface $\mathfrak{S}$ is a quantization of the ${\rm SL}_n$-character variety, and is spanned over $\mathbb{Z}[\hat{q}^{\pm 1}]$ by framed tangles in $\mathfrak{S} \times (-1,1)$. If $\hat{q}$ is evaluated at a root of unity $\hat{\omega}$ with the order of $\hat{\omega}^{4n^2}$ being $N$, then for $\hat{\eta} = \hat{\omega}^{N^2}$, the Frobenius homomorphism $\Phi : \mathscr{S}_{\hat{\eta}}(\mathfrak{S}) \to \mathscr{S}_{\hat{\omega}}(\mathfrak{S})$ is a surface generalization of the well-known Frobenius homomorphism between quantum groups. We show that the image under $\Phi$ of a framed oriented knot $\alpha$ is given by threading along $\alpha$ of the reduced power elementary polynomial, which is an ${\rm SL}_n$-analog of the Chebyshev polynomial $T_N$. This generalizes Bonahon and Wong's result for $n=2$, and confirms a conjecture of Bonahon and Higgins. Our proof uses representation theory of quantum groups and its skein theoretic interpretation, and does not require heavy computations. We also extend our result to marked 3-manifolds.

Hyun Kyu Kim Thang T. Q. Lê Zhihao Wang 76 pages http://arxiv.org/abs/2504.08589v1 2025-04-11T14:46:53Z 2025-04-11T14:46:53Z

Motivated by work of Kinoshita and Teraska, Lamm introduced the notion of a symmetric union, which can be constructed from a partial knot $J$ by introducing additional crossings to a diagram of $J \# -\!J$ along its axis of symmetry. If both $J$ and $J'$ are partial knots for different symmetric union presentations of the same ribbon knot $K$, the knots $J$ and $J'$ are said to be symmetrically related. Lamm proved that if $J$ and $J'$ are symmetrically related, then $\det J = \det J'$, asking whether the converse is true. In this article, we give a negative answer to Lamm's question, constructing for any natural number $m$ a family of $2^m$ knots with the same determinant but such that no two knots in the family are symmetrically related. This result is a corollary to our main theorem, that if $J$ is the partial knot in a symmetric union presentation for $K$, then $\text{col}_p(J) \leq \text{col}_p(K) \leq \frac{(\text{col}_p(J))^2}{2}$, where $\text{col}_p(\cdot )$ denotes the number of $p$-colorings of a knot.

Ben Clingenpeel Zongzheng Dai Gabriel Diraviam Kareem Jaber Krishnendu Kar Ziyun Liu Teo Miklethun Haritha Nagampoozhy Michael Perry Moses Samuelson-Lynn Eli Seamans Ana Wright Nicole Xie Ruiqi Zou Alexander Zupan 13 pages, 7 figures, comments welcome!