Thin surface subgroups of non-uniform arithmetic lattices in $\rm{SO}^+(n,1)$

2026-05-11T18:37:34Z

We show that the fundamental groups of all non-compact, arithmetic, hyperbolic, $n$-manifolds for $n\geq 4$ contain thin surface subgroups. As a consequence of the proof of this theorem we also show that the fundamental groups of the doubles of cusped, arithmetic, hyperbolic $n$-manifolds embed as GFERF subgroups of $\rm{SO}^+(n+1,1)$.

Dirichlet domains for Anosov subgroups

2026-05-11T16:21:44Z

We introduce a sufficient condition for a finitely generated subgroup $Γ$ of a semisimple Lie group $G$ to admit finite-sided Dirichlet domains for polyhedral Finsler metrics on the symmetric space $G/K$. The condition always implies the $Θ$-Anosov condition for some $Θ$, and can be arranged to be equivalent to the $Θ$-Anosov condition when $G$ is simple and $Θ$ is the set of long roots or the set of short roots. The Dirichlet domain we obtain extends to a fundamental domain for the action of $Γ$ on a domain of discontinuity in a flag manifold. For instance, Borel Anosov subgroups of $\mathrm{SL}(d,\mathbb{R})$ have finite-sided Dirichlet domains for the Hilbert metric on the symmetric space which extends to the space of line-hyperplane flags, and $n$-Anosov subgroups of $\mathrm{Sp}(2n,\mathbb{R})$ have finite-sided Dirichlet-Selberg domains in $\mathrm{SL}(2n,\mathbb{R})/\mathrm{SO}(2n)$ which extend to a domain in projective space bounded by quadrics.

Combinatorial extension of a simple construction of Lefschetz fibrations

2026-05-11T13:05:06Z

In a previous work, we introduced a simple and systematic method for constructing a positive allowable Lefschetz fibration (PALF) from a 2-handlebody decomposition of a given Stein surface. In this paper, we present a combinatorial extension of this construction, focusing on the flexibility of the regular fiber. By introducing variations in the isotopy of the 0-handle during the construction process, we obtain PALFs whose total spaces are diffeomorphic to the original Stein surface but which possess different regular fibers. As a primary application, we prove the existence of PALFs with genus $1$ regular fibers whose total spaces are diffeomorphic to the knot traces of Legendrian positive twist knots and positive torus knots $T_{2, 2n+1}$. Furthermore, we explicitly compare our PALF associated with the positive torus knot $T_{2, 2n+1}$ to the specific open book decomposition generated by Avdek's Algorithm 2, demonstrating that the regular fiber and monodromy of our construction coincide with the page and monodromy of the corresponding open book.

On T-positive links

2026-05-11T12:58:46Z

T-positive links form a subset of strongly quasipositive links that strictly contains the set of all non-split braid positive links. Analogous to Baader's characterisation of positive links as precisely the strongly quasipositive and homogeneous links, we show that T-positive links are precisely the strongly quasipositive links that are the closures of T-homogeneous braids. This complements previous characterizations of T-positive links by Rudolph and Banfield as links arising as boundaries of positive Hopf-plumbed baskets, or closures of staircase braids. We examine the behavior of T-positive links under cabling operations and connected sums, and demonstrate that all strongly quasipositive, fibered knots with at most 12 crossings are T-positive. Additionally, we compare T-positivity with other positivity notions for links and compile open questions.

Extending free actions of finite groups on unoriented surfaces

2026-05-11T05:14:59Z

We present the unoriented versions of the Schur and Bogomolov multipliers associated with a finite group $G$. We show that the unoriented Schur multiplier is isomorphic to the second cohomology group $H^2(G;\ZZ_2)$. We define the unoriented Bogomolov multiplier as the quotient of the unoriented Schur multiplier by the subgroup generated by classes over the disjoint union of tori, Klein bottles, and projective spaces. We prove that the unoriented Bogomolov multiplier is trivial for abelian, dihedral, symmetric, and alternating groups. Since $H^2(G;\ZZ_2)$ is trivial for any group of odd order, there are numerous examples where the classical Bogomolov multiplier is nontrivial while its unoriented counterpart is trivial. Nevertheless, we exhibit a group of order $64$ for which the unoriented Bogomolov multiplier is nontrivial.

Refined lattice point counting on the moduli space of Klein surfaces

2026-05-10T13:21:37Z

We introduce the moduli space of metric Möbius graphs, which extend ribbon graphs to the non-orientable world. This space contains both the moduli space of Riemann surfaces and the moduli space of non-orientable Klein surfaces. Each metric Möbius graph is equipped with a measure of non-orientability. We count lattice points in this moduli space, weighted by the measure of non-orientability, and prove a refined version of Norbury's recursion for this count. Taking the limit as the mesh becomes finer, we deduce a recursion for the Euclidean volumes, yielding a refined version of the Witten--Kontsevich recursion. As an application, we give a geometric definition of the refined Euler characteristic of the moduli space and compute it explicitly, thereby answering a question of Goulden, Harer, and Jackson.

Bornological Metrics on Groups

2026-05-09T15:50:32Z

Let $G$ be a countable group. We study left-invariant metrics on $G$ that are not necessarily proper, introducing the notion of a \emph{bornological metric}: a metric $ρ$ such that for every $C>0$ there exists $S_C>0$ with the property that $ρ(x,y)

Basepoints in Khovanov homology and nonorientable surfaces

2026-05-08T20:26:06Z

We enhance the Khovanov TQFT using basepoint actions, over the field with two elements. Our enhanced Khovanov TQFT behaves similarly to gauge/Floer theoretic invariants of the double branched cover with opposite orientation: they both are invariant, in a certain sense, under taking the connected sum with the standard $\mathbb{RP}^{2}$ with Euler number -2, and they both vanish after taking the connected sum with the standard $\mathbb{RP}^{2}$ with Euler number 2. This invariance property answers a version of a question posed by Lipshitz and Sarkar. Furthermore, our construction establishes, as a special case, functoriality for the pointed Khovanov homology defined by Baldwin, Levine, and Sarkar.

On the arc index and Turaev genus of a link

2026-05-08T19:13:39Z

We compute the arc index of an adequate link and establish bounds on the arc index of the closure of a positive 3-braid. We also conjecture an inequality between the crossing number, arc index, and Turaev genus of a link and show the conjecture is true for several infinite families of links including alternating links, links with Turaev genus one, adequate links, closures of positive 3-braids, torus links, and most Kanenobu knots.

Straight-line trajectories on the Mucube

2026-05-08T19:02:23Z

The dynamics of straight line flows on compact half-translation surfaces (surfaces formed by gluing Euclidean polygons edge-to-edge via translations possibly composed with rotation by $π$) has been widely studied due to their connections to polygonal billiards and Teichmüller theory. However, much less is known when the underlying surface is non-compact or infinite type. In this paper, we consider the straight line flow of the Mucube -- an infinite $\mathbb{Z}^3$-periodic half-translation square-tiled surface -- first written about by Coxeter and Petrie and more recently studied by Athreya--Lee and Gutiérrez-Romo--Lee--Sánchez. We give a geometric description of the flow's periodic and drift orbits in terms of the Mucube's rigid symmetries, and we give a complete characterization of the set of directions in which the straight line flow is periodic on the Mucube -- first in terms of a genus one quotient and second in terms of an infinitely generated subgroup of $\mathrm{SL}_2(\mathbb{Z})$. We use the latter characterization to obtain the Veech group (i.e. group of derivatives of affine diffeomorphisms) of the Mucube. Finally, we prove density of the sets of periodic and ergodic directions.

Isoresidual curves

2026-05-08T14:09:42Z

Given a partition $μ$ of $-2$, the stratum $\mathcal{H}(μ)$ parametrizes meromorphic differential one-forms on the Riemann sphere $\mathbb{CP}^{1}$ with~$n$ zeros and $p$ poles of orders prescribed by $μ$. The isoresidual fibration is defined by assigning to each differential in $\mathcal{H}(μ)$ its configuration of residues at the poles. In the case of differentials with $n=2$ zeros, generic isoresidual fibers are complex curves endowed with a canonical translation structure, which we describe extensively in this paper. Quantitative characteristics of the translation structure on isoresidual fiber curves, including the orders of the singularities and a period central charge encapsulating the linear dependence of periods on the underlying configuration of residues, provide rich discrete invariants for these fibers. We also determine the Euler characteristic of generic isoresidual fiber curves from intersection-theoretic computations, relying on the multi-scale compactification of strata of differentials. In particular, we describe a wall and chamber structure for the Euler characteristic of generic isoresidual fiber curves in terms of the partition $μ$. Additionally, we classify the connected components of generic isoresidual fibers for strata in genus zero with an arbitrary number of zeros.

The $n$-adjacency graph for knots

2026-05-08T13:58:34Z

A knot $K$ is called $n$-adjacent to a knot $K'$ if there is a set of $n$ crossing circles $\mathcal C$ in $K$ so that a generalized crossing change at any nonempty subset of crossings in $\mathcal C$ yields $K'$. In this paper, the authors define a new graph $Γ_n$ to represent $n$-adjacency relationships between knots. We prove several results about this new object.

Coordinates for ${\rm SL}_3$-web basis elements in closed surfaces

2026-05-08T06:42:36Z

The ${\rm SL}_3$-skein algebra of a closed surface $Σ_g$ is a quantization of the ${\rm SL}_3$ character variety of $Σ_g$, where $g$ denotes the genus of the surface. This algebra admits a basis consisting of non-elliptic web diagrams in $Σ_g$. In this paper, we introduce explicit coordinates for non-elliptic web diagrams on $Σ_g$, yielding a parametrization by a submonoid of $\mathbb Z^{d}$. Here $d = 16g - 16$ for $g \ge 2$ and $d = 4$ in the torus case $g = 1$, coinciding with the dimension of the corresponding character variety.

A Simple Construction of Lefschetz Fibrations on Compact Stein Surfaces

2026-05-08T04:33:40Z

Loi-Piergallini, Akbulut-Ozbagci, and Akbulut-Arikan showed that every compact Stein surface admits a positive allowable Lefschetz fibration over the disk $D^2$ with bounded fibers (PALF in short), and they provided constructions of PALF's corresponding to compact Stein surfaces. In this paper, we present a simple method for constructing a PALF from a 2-handlebody decomposition of any given compact Stein surface. Our method yields PALF's whose regular fibers have small genus, and it provides an alternative constructive proof of the above result. We also define the minimal genus of a regular fiber of a PALF on the knot trace of a knot $K$ with framing one less than its maximal Thurston-Bennequin number as an invariant of $K$. When the grid number of $K$ is $N$, our construction produces a PALF whose regular fiber has genus at most $(N - 1)/2$, showing that the defined invariant is bounded above by $(N - 1)/2$.

Infinite Ideal Polyhedra in Hyperbolic 3-Space: Existence and Rigidity

2026-05-08T03:39:29Z

In the seminal work [27], Rivin obtained a complete characterization of finite ideal polyhedra in hyperbolic 3-space by the exterior dihedral angles. Since then,the characterization of infinite hyperbolic polyhedra has become an extremely challenging open problem. By studying ideal circle patterns (ICPs), we characterize the infinite ideal polyhedra (IIP) and resolve this problem. Specifically, we establish the existence and rigidity of embedded ICPs on the plane. We further prove the uniformization theorem for the embedded ICPs, which solves the type problem of infinite ICPs. This is an analog of the uniformization theorem obtained by He and Schramm in [22, 23]. Moreover, we demonstrate that, unlike He-Schramm's work, the type theory for infinite ICPs depends not only on the structure of the cellular decomposition but also on the selection of intersection angles. In fact, we construct Example 4.13 to show the difference. Consequently, we obtain the existence and rigidity of IIP with prescribed exterior angles. Due to the example, our results on the type problem of infinite ICPs and the existence of IIP are sharp. For ICPs with arbitrary angles, our example also demonstrates that the VEL-parabolicity and ICP-parabolicity are not equivalent (while in He and Schramm's settings, VEL-parabolicity and CP-parabolicity are equivalent), indicating that our setting is extremely distinct from He and Schramm's. To prove our results, we develop a uniform Ring Lemma via the technique of pointed Gromov-Hausdorff convergence for ICPs.