arXiv research

Study shortest non-separating curves on non-orientable surfaces, proving NP-hardness and tractability.

Paper examines Dehn twists on non-orientable surfaces and their limitations.

Simple closed curves in ε-boundaries separate sets in the plane.

Let $N_g^k$ be a nonorientable surface of genus \ $g\geq 5$ \ with \ $k$-punctures. In this note, we will give an algebraic characterization of a Dehn twist about a simple closed curve on $N_g^k$. Along the way, we will fill some little gaps in the proofs of some theorems in \cite{A} and \cite{I1} giving algebraic char…

Decomposes Goldman-Turaev Lie bialgebra via cutting a surface.

Johnson kernel generated by specific Dehn twists on surfaces.

This paper restricts efficient geodesics to non-separating curves.

The article finds conditions for separating filling pairs on surfaces and constructs a Morse function.

We obtain a finite generating set for the level 2 twist subgroup of the mapping class group of a closed non-orientable surface. The generating set consists of crosscap pushing maps along non-separating two-sided simple loops and squares of Dehn twists along non-separating two-sided simple closed curves. We also prove t…

We show that a Hitchin representation is determined by the spectral radii of the images of simple, non-separating closed curves. As a consequence, we classify isometries of the intersection function on Hitchin components of dimension 3 and on the self-dual Hitchin components in all dimensions. As an important tool in t…

The study of random surfaces reveals asymptotic lengths of separating geodesics.

Finite rigid sets found in complex of curves for surfaces.

We express the Masur-Veech volume and the area Siegel-Veech constant of the moduli space of meromorphic quadratic differential with simple poles as polynomials in the intersection numbers of psi-classes supported on the boundary cycles of the Deligne-Mumford compactification of the moduli space of curves. Our formulae …

We prove that the separated curve complex of a closed orientable surface of genus g is (g-3)-connected. We also obtain a connectivity property for a separated curve complex of the open surface that is obtained by removing a finite set from a closed one, but it is then assumed that the removed set is endowed with a part…

Study on second homology group of genus 3 hyperelliptic Torelli group.

The paper extends Johnson's result on Torelli group homology.

We prove that the separating curve graph of a connected, compact, orientable surface with genus at least 3 and a single boundary component is not relatively hyperbolic. This completes the classification of when the separating curve graph is hyperbolic and relatively hyperbolic initiated by previous works of the authors…

Embeddings of pairs of disjoint nonparallel primitive simple closed curves in the boundary of a genus two handlebody are classified. Briefly, two disjoint primitives either lie on opposite ends of a product $F \boldsymbol{\times} I$, or they lie on opposite ends of a kind of "twisted" product $F \widetilde{\boldsymbol{…

Finite rigid sets found in surface curve complexes.

We show that the detection of geometric intersection in an arbitrary representation of the mapping class group of surface implies the injectivity of that representation up to center, and vice versa. As an application, we discuss the geometric intersection in the Johnson filtration. Also, we further consider the problem…

Criteria for loop separability on surfaces using Goldman bracket.

Constructs orthogonal coordinates in curved spaces.

We prove that rational homology of the Torelli group of genus g is infinite dimensional, provided g>6. This means that rational homology of the Torelli space of genus g>6 is infinite dimensional. The Torelli groups with marked points are also considered. In addition, we prove that rational homology of the subgroup of t…

Paper introduces a new time separation function for $C^0$ spacetimes.

A proof that the separating curve complex of the closed genus two surface has a quasi-distance formula and is delta hyperbolic using tools of Masur and Schleimer. This answers in the affirmative a Conjecture of Schleimer.

This paper has two main goals. First, we give a complete, explicit, and computable solution to the problem of when two simple closed curves on a surface are equivalent under the Johnson kernel. Second, we show that the Johnson filtration and the Johnson homomorphism can be defined intrinsically on subsurfaces and prove…

New concept of regular separation for ODEs leads to improved Hardy field results.

This paper classifies curves in genus two handlebodies.

Formulae for Masur-Veech volumes and frequencies of geodesics derived from intersection numbers.

We give new upper bounds on the stable commutator lengths of Dehn twists along separating curves in the mapping class group of a closed oriented surface. The estimates of these upper bounds are $O(1/g)$, where $g$ is the genus of the surface.

Let $C$ be a curve in a closed orientable surface $F$ of genus $g \geq 2$ that separates $F$ into subsurfaces $\widetilde {F_i}$ of genera $g_i$, for $i = 1,2$. We study the set of roots in $\Mod(F)$ of the Dehn twist $t_C$ about $C$. All roots arise from pairs of $C_{n_i}$-actions on the $\widetilde{F_i}$, where $n=\l…

Simple lifts of non-simple curves on surfaces.

In her seminal 2008 paper, Maryam Mirzakhani showed that the ratio that two topological types of curves occur in is a rational number. In this paper we describe the process by which we obtained experimental evidence that separating and non-separating curves on the surface of genus two occur in the ratio 1 : 48.

First, we prove a local spectral flow formula (Theorem 3.7) for a differentiable curve of selfadjoint Fredholm operators. This formula enables us to prove in a simple way a general spectral flow formula. Secondly, we prove a splitting formula (Theorem 4.12) for the spectral flow of a curve of selfadjoint elliptic opera…

We compute the automorphism groups of the Torelli complex and the complex of separating curves for all but finitely many compact orientable surfaces. As an application, we show that the abstract commensurators of the Torelli group and the Johnson kernel for such surfaces are naturally isomorphic to the extended mapping…

Characterizes covers using simple closed curves on surfaces.

This note is devoted to a trick which yields almost trivial proofs that certain complexes associated to topological surfaces are connected or simply connected. Applications include new proofs that the complexes of curves, separating curves, nonseparating curves, pants, and cut systems are all connected for genus $g \gg…

The paper characterizes simple closed curves on surfaces using profinite rigidity.

We provide a simple, combinatorial criteria for a hierarchically hyperbolic space to be relatively hyperbolic by proving a new formulation of relative hyperbolicity in terms of hierarchy structures. In the case of clean hierarchically hyperbolic groups, this criteria characterizes relative hyperbolicity. We apply our c…

Study on frequencies of non-simple curves in surfaces of large genus.

Mirzakhani obtained the asymptotic growth, when $L\to\infty$, of the number of curves in the mapping class group orbit of some given simple curve and with length at most $L$. Years later she extended this result from simple to arbitrary curves. Here we give a short and relative low-tech argument showing how to derive t…

Analytic curves are classified w.r.t. their symmetry under a regular and separately analytic Lie group action on an analytic manifold. We show that an analytic curve is either exponential or splits into countably many analytic immersive curves, each of them discretely generated by the symmetry group (i.e., each such cu…

Paper proves Torelli group's finiteness for surfaces with 2 boundaries.

A meander of order n is a simple closed curve in the plane which intersects a horizontal line transversely at 2n points. (Meanders which differ by an isotopy of the line and plane are considered equivalent.) Let Gamma_n be the Cayley graph of the symmetric group S_n as generated by all (n choose 2) transpositions. Let …

Curvature criteria for A-simple singularities and their parallel curves identified.

The paper studies finiteness of canonical quotients in Dehn quandles of surfaces.

Method learns symmetries in curves without augmentation.

We show that for all but finitely many compact orientable surfaces, any superinjective map from the complex of separating curves into the Torelli complex is induced by an element of the extended mapping class group. As an application, we prove that any injective homomorphism from a finite index subgroup of the Johnson …