Search arXivSearch

arXiv · 2609.13607

Stratification and realization of singularity data on the Loch Ness monster

Abstract

The classical theory of compact translation surfaces is organized through the stratification of moduli spaces according to the orders of the zeros of the associated Abelian differentials. In the setting of tame translation surfaces of infinite topological type, no analogous notion of strata has been systematically developed. In this article, we introduce a stratification theory for tame translation surfaces based on their singularity data. To each non-compact tame translation surface, we associate a sequence recording the cardinalities of finite-angle cone singularities of each possible cone angle together with the cardinality of the set of infinite-angle singularities. We call this sequence the singularity data of the surface. We study the realization problem for singularity data on the Loch Ness monster. Our first main result shows that there is no tame translation structure on the Loch Ness monster having only a finite number of finite cone angle singularities. We then prove that this is the only obstruction: every singularity data not excluded by the previous result is realized by a tame translation structure on the Loch Ness monster. As a consequence, we obtain a complete characterization of the strata of tame translation structures on this surface in terms of their singularity data. These results provide the first realization theorem for strata of non-compact tame translation surfaces and reveal a strong interaction between singularity data and the ends space.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Nate Fisher, Camilo Ramírez Maluendas. 2026-09-11. Stratification and realization of singularity data on the Loch Ness monster. https://arxiv.org/abs/2609.13607

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Word Length Formulae, Normal Forms, Conjugation and Root-finding Algorithms in Surface Groups

In this paper, we mainly study the following symmetric presentation of the surface group $$π_1(Σ_g)=\left\langle c_1,\dots, c_{2g}\mid c_1\cdots c_{2g}c_1^{-1}\cdots c_{2g}^{-1}\right\rangle.$$ For every nontrivial element $x\in π_1(Σ_g)$ and $k\geq 2$, we obtain a uniform representative of the normal forms $\mathfrak{nf}(x^k)$ of $x^k$ under the length-lexicographical order: $$\mathfrak{nf}(x^k) = \overline{LW^{k-2}R}.$$ Building on this result, we establish a new relation among these normal forms, and then derive the following three formulae related to the word length: $|x^2|>|x|$; $|x^k|=(k-1)(|x^2|-|x|)+|x|$; $\lim_{k\to\infty}\frac{|x^k|}{k}=|x^2|-|x|$. Furthermore, we extend these results to obtain a coarser analogue for every minimal geometric presentation. We then define normal forms of conjugacy classes in $π_1(Σ_g)$ and provide a criterion for determining the conjugacy of group elements. As a consequence, we provide efficient algorithms for solving the root-finding and conjugacy problems. Finally, we present applications to the computation of several growth rates.

math.GT

Barbell twists are natural

For any oriented smooth $4$--manifold $X$ diffeomorphic to $(S^2\times D^2)^{\natural n}$ ($n\geq0$), the author establishes a natural isomorphism of abelian groups: $$\mathrm{Mod}(X,\partial X)\cong \mathrm{Mod}(D^4,\partial D^4)\times\wedge^2H_2(X;\mathbb{Z}),$$ concerning the (smooth) boundary-fixing mapping class group of $X$. For $n=2$, the Budney--Gabai barbell twist $φ\in\mathrm{Mod}(\mathcal{N},\partial\mathcal{N})$ is identified with a generator of the factor subgroup $\wedge^2H_2(\mathcal{N};\mathbb{Z})\cong\mathbb{Z}$. Up to boundary-fixing diffeotopy, the barbell spines of $\mathcal{N}$ are completely classified by the bases of $H_2(\mathcal{N};\mathbb{Z})\cong\mathbb{Z}^2$, forming a homogeneous set modeled on the group $\mathrm{GL}(H_2(\mathcal{N};\mathbb{Z}))\cong\mathrm{GL}(2,\mathbb{Z})$. Any barbell spine of $\mathcal{N}$ gives rise to an implanted barbell twist equal to $φ$ or $φ^{-1}$ in $\mathrm{Mod}(\mathcal{N},\partial \mathcal{N})$, according to the sign of the homological basis orientation.

math.GT

Plane separating continua inscribe rectangles

We prove the following: If $X$ is a plane separating continuum, then every embedding of $X$ into $\mathbb{R}^2$ contains the vertices of a Euclidean rectangle. We arrive to this result by extending a known result by H. Vaughan for Jordan curves to a wider class of topological objects via shape theory and Steenrod homology.

math.GT