Small intersection numbers in the curve graph
type: Item
instance of: scholarly article
title: Small intersection numbers in the curve graph
zbMATH Open document ID: 1303.30038
author: Tarik Aougab
author: Samuel J. Taylor
published in: Bulletin of the London Mathematical Society
publication date: 2014-10-15T00:00:00Z
full work available at URL: https://arxiv.org/abs/1310.4711
Mathematics Subject Classification ID: 30F60
Mathematics Subject Classification ID: 32G15
zbMATH DE Number: 6355597
zbMATH Keywords: orientable surface with punctures
zbMATH Keywords: curve graph
zbMATH Keywords: isotopy classes
zbMATH Keywords: mapping class group
MaRDI profile type: Publication
OpenAlex ID: W2046958106
arXiv ID: 1310.4711
cites work: Uniform hyperbolicity of the graphs of curves
cites work: Minimally intersecting filling pairs on surfaces
cites work: Geometry and rigidity of mapping class groups.
cites work: Dimension and rank for mapping class groups
cites work: The curve complex has dead ends
cites work: Intersection numbers and the hyperbolicity of the curve complex
cites work: The classification of Kleinian surface groups. II: The Ending lamination conjecture
cites work: Q3093928
cites work: Q3910741
cites work: 3-manifolds as viewed from the curve complex
cites work: A representation of orientable combinatorial 3-manifolds
cites work: Geometry of the complex of curves. I: Hyperbolicity
cites work: Geometry of the complex of curves. II: Hierarchical structure
cites work: The classification of Kleinian surface groups. I: Models and bounds
DOI: 10.1112/BLMS/BDU057
review text: Let \(S=S_{g,p}\) denote an orientable surface of genus \(g\geq 0\) with \(p\geq 0\) punctures and \(\omega(S) = 3g + p - 3 > 1\). The curve graph \(C_{1}(S)\) for \(S\) is the graph whose vertices correspond to the isotopy classes of essential, non-peripheral simple closed curves on \(S\), and whose edges join vertices that represent curves whose union is a 2-component multi-curve. Denote the distance in this graph by \(d_{S}\). The curve graph was introduced by \textit{W. J. Harvey} [Ann. Math. Stud. 97, 245--251 (1981; Zbl 0461.30036)] and has since become a central tool to understand the mapping class group of a surface and hyperbolic structures on surfaces and \(3\)-manifolds. NEWLINENEWLINENEWLINENEWLINE In this note, the authors construct explicit curves (that have exactly the distance \(k\) for \(k \geq 4\)) that are as simple as possible in terms of their geometric intersection number on the surface. It is known that given a pair of curves \(\alpha, \beta\) on \(S\) one hasNEWLINENEWLINENEWLINE\[NEWLINE d_{S}(\alpha, \beta) \leq 2 \log_{2}(i(\alpha, \beta)) + 2. NEWLINE\]NEWLINE NEWLINENEWLINEAlso the purpose of this note is to establish a corresponding upper bound for the minimal number of times that a pair of distance \(k\) simple closed curves intersect. NEWLINENEWLINENEWLINENEWLINE Theorem 1.1. For any \(g, p\) with \(\omega = \omega(g, p)>1\), there exists an infinite geodesic ray \(\gamma =(v_{0},v_{1},v_{2},\dots)\) in \(C_{1}(S_{g,p})\) such that for any \(i\leq j\) NEWLINENEWLINE\[NEWLINE i(v_{i}, v_{j}) \leq \epsilon(\epsilon B)^{2j-5} \omega^{|j-i|-2} + f_{i,j}(\omega), NEWLINE\]NEWLINE where \(f_{i,j}(x)\) is \(O(x^{j-i-4})\), \(B\) is a universal constant, and \(\epsilon = 1\) if \(g\geq 2\) and \(\epsilon = 4\) otherwise.NEWLINENEWLINEThis theorem was proved in response to the following question (Dan Margarit): Is it true that for fixed \(k\) the function \(i_{k,g}\) is \(O(g^{k-2})\)?
reviewed by: V. V. Chueshev
description: scientific article; zbMATH DE number 6355597