arXiv research

Formula for projecting geodesics in hyperbolic 3-manifolds, relating lengths to subsurface projections.

New projection complex shows some surface homeomorphisms have positive commutator length.

We study the connections between subsurface projections in curve and arc complexes in fibered 3-manifolds and Agol's veering triangulation. The main theme is that large-distance subsurfaces in fibers are associated to large simplicial regions in the veering triangulation, and this correspondence holds uniformly for all…

The outer automorphism group Out(F_2g) of a free group on 2g generators naturally contains the mapping class group of a punctured surface as a subgroup. We define a subsurface projection of the sphere complex of the connected sum of n copies of S^1 x S^2 into the arc complex of the surface and use this to show that thi…

The curve graphs are not locally finite. In this paper, we show that the curve graphs satisfy a property which is equivalent to graphs being uniformly locally finite via Masur--Minsky's subsurface projections. As a direct application of this study, we show that there exist computable bounds for Bowditch's slices on tig…

Subsurface projection has become indispensable in studying the geometry of the mapping class group and the curve complex of a surface. When the subsurface is an annulus, this projection is sometimes called relative twisting. We give two alternate versions of relative twisting for the outer automorphism group of a free …

We show that the subsurface projection of a train track splitting sequence is an unparameterized quasi-geodesic in the curve complex of the subsurface. For the proof we introduce induced tracks, efficient position, and wide curves. This result is an important step in the proof that the disk complex is Gromov hyperbolic…

Study connects surface projections in fibered 3-manifolds.

We prove a continuity property for ending invariants of convergent sequences of Kleinian surface groups. We also analyze the bounded curve sets of such groups and show that their projections to non-annular subsurfaces lie a bounded Hausdorff distance from geodesics joining the projections of the ending invariants.

Combination theorem for PGF groups helps in constructing new examples and understanding their geometry.

New graphs show hierarchical hyperbolic properties, extending previous work.

We obtain a coarse relationship between geometric intersection numbers of curves and the sum of their subsurface projection distances with explicit quasi-constants. By using this relationship, we give applications in the studies of the curve graphs and the mapping class groups.

We extend some results of [BF12] on subfactor projections to show that the projection of a free factor B to the free factor complex of the free factor A is well-defined with uniformly bound diameter, unless either A is contained in B or A and B are vertex stabilizers of a single splitting of F_n, i.e. they are disjoint…

Using existing technology, we prove a Masur-Minsky style distance formula for flip- graph distance between two triangulations, expressed as a sum of the distances of the projections of these triangulations into arc graphs of the suitable subsurfaces of S.

Garside-theoretical solutions to the conjugacy problem in braid groups depend on the determination of a characteristic subset of the conjugacy class of any given braid, e.g. the sliding circuit set. It is conjectured that, among rigid braids with a fixed number of strands, the size of this set is bounded by a polynomia…

A classical inequality which is due to Lickorish and Hempel says that the distance between two curves in the curve complex can be measured by their intersection number. In this paper, we show a converse version; the intersection number of two curves can be measured by the sum of all subsurface projection distances betw…

When two free factors A and B of a free group F_n are in "general position" we define the projection of B to the splitting complex (alternatively, the complex of free factors) of A. We show that the projections satisfy properties analogous to subsurface projections introduced by Masur and Minsky. We use the subfactor p…

Random subsurfaces of hyperbolic surfaces equidistribute to ribbon graphs.

The paper introduces the spirality character of the almost fiber part for a closed essentially immersed subsurface of a closed orientable aspherical 3-manifold, which generalizes an invariant due to Rubinstein and Wang. The subsurface is virtually embedded if and only if the almost fiber part is aspiral, and in this ca…

The contraction of the image of the Johnson homomorphism is called the Chillingworth class. In this paper, we derive a combinatorial description of the Chillingworth class for Putman's subsurface Torelli groups. We also prove the naturality and uniqueness properties of the map whose image is the dual of the Chillingwor…

We introduce a method for constructing Weil-Petersson (WP) geodesics with certain behavior in the Teichmüller space. This allows us to study the itinerary of geodesics among the strata of the WP completion and its relation to subsurface projection coefficients of their end invariants. As an application we demonstrate t…

We show that the largest subsurface projection distance between a marking and its image under the nth step of a random walk grows logarithmically in n, with probability approaching 1 as n tends to infinity. Our setup is general and also applies to (relatively) hyperbolic groups and to $\mathrm{Out}(F_n)$. We then use t…

Study on compact and finite-type support in mapping class group homology.

This expository article discusses some connections between the geometry of a hyperbolic 3-manifold homotopy-equivalent to a surface, and the combinatorial properties of its end invariants. In particular a necessary and sufficient condition is stated for the manifold to have arbitrarily short geodesics, in terms of a se…

Efficiently quantifies uncertainty in subsurface flow using neural networks guided by theory.

We construct quasi-isometric embeddings from right-angled Artin groups into the outer automorphism group of a free group. These homomorphisms are in analogy with those constructed in \cite{CLM}, where the target group is the mapping class group of a surface. Toward this goal, we develop tools in the free group setting …

Subsurface applications including geothermal, geological carbon sequestration, oil and gas, etc., typically involve maximizing either the extraction of energy or the storage of fluids. Characterizing the subsurface is extremely complex due to heterogeneity and anisotropy. Due to this complexity, there are uncertainties…

SAGE generates subsurface velocity models from sparse well logs and seismic images.

One of the most useful tools for studying the geometry of the mapping class group has been the subsurface projections of Masur and Minsky. Here we propose an analogue for the study of the geometry of Out(F_n) called submanifold projection. We use the doubled handlebody M_n = #^n S^2 \times S^1 as a geometric model of F…

Proves Congruence Subgroup Property for two types of groups.

Study arcs on surfaces, focusing on topological aspects and group actions.

Combines deep generative models with ensemble methods for subsurface property estimation.

Let $S_{g,p}$ denote the genus $g$ orientable surface with $p$ punctures. We show that nested train track sequences constitute $O((g,p)^{2})$-quasiconvex subsets of the curve graph, effectivizing a theorem of Masur and Minsky. As a consequence, the genus $g$ disk set is $O(g^{2})$-quasiconvex. We also show that splitti…

This paper is a study of the subgroups of the mapping class groups of Riemann surfaces, called "geometric" subgroups, corresponding to the inclusion of subsurfaces. Our analysis includes surfaces with boundary and with punctures. The centres of all the mapping class groups are calculated. We determine the kernel of inc…

Let M be a surface (possibly nonorientable) with punctures and/or boundary components. The paper is a study of ``geometric subgroups'' of the mapping class group of M, that is subgroups corresponding to inclusions of subsurfaces (possibly disconnected). We characterise the subsurfaces which lead to virtually abelian ge…

We give a simple criterion for a Heegaard splitting to yield a Haken manifold. As a consequence, we construct many Haken manifolds, in particular homology spheres, with prescribed properties, namely Heegaard genus, Heegaard distance and Casson invariant. Along the way we give simpler and shorter proofs of the existence…

We compare the flat geometry associated to a quadratic differential with the hyperbolic geometry associated to the underlying Riemann surface. We show that if a curve is contained in a thick subsurface, then its hyperbolic length is comparable to its flat length times the flat size of the subsurface.

The study finds abundant normal generators for mapping class groups.

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…

Study classifies mapping class groups with hyperbolic actions on infinite-type surfaces.

We give a mathematical exposition of the Page metric, and introduce an efficient coordinate system for it. We carefully examine the submanifolds of the underlying smooth manifold, and show that the Page metric does not have positive holomorphic bisectional curvature. We exhibit a holomorphic subsurface with flat normal…

Graphs of multicurves are hyperbolic, relatively hyperbolic, or thick.

PIML enhances machine learning for subsurface energy systems.

SURGIN uses generative models to infer subsurface flow data efficiently.

We prove an extension of Basmajian's identity to $n$-Hitchin representations of compact bordered surfaces. For $n=3$, we show that this identity has a geometric interpretation for convex real projective structures analogous to Basmajian's original result. As part of our proof, we demonstrate that, with respect to the L…

Proves conjecture about surface cover homology.

Uniform bound on geodesic images for surfaces using bicorn curves.

The article studies Hamiltonian flows on surface group representations induced by invariant multi-functions.