English

Filling systems on surfaces

Geometric Topology 2018-05-18 v4

Abstract

Let FgF_g be a closed orientable surface of genus gg. A set Ω={γ1,,γs}\Omega = \{ \gamma_1, \dots, \gamma_s\} of pairwise non-homotopic simple closed curves on FgF_g is called a \emph{filling system} or simply a \emph{filling} of FgF_g, if FgΩF_g\setminus \Omega is a union of bb topological discs for some b1b\geq 1. A filling system is called \emph{minimal}, if b=1b=1. The \emph{size} of a filling is defined as the number of its elements. We prove that the maximum size of a filling of FgF_g with bb complementary discs is 2g+b12g+b-1. Next, we show that for g2,b1 with (g,b)(2,1)g\geq 2, b\geq 1\text{ with }(g,b)\neq (2,1) (resp. (g,b)=(2,1)(g,b)=(2,1)) and for each 2s2g+b12\leq s\leq 2g+b-1 (resp. 3s2g+b13\leq s\leq 2g+b-1), there exists a filling of FgF_g of size ss with bb complementary discs. Furthermore, we study geometric intersection number of curves in a minimal filling. For g2g\geq 2, we show that for a minimal filling Ω\Omega of size ss, the \emph{geometric intersection numbers} satisfy max{i(γi,γj)ij}2gs+1\max \left\lbrace i(\gamma_i, \gamma_j)| i\neq j\right\rbrace\leq 2g-s+1, and for each such ss there exists a minimal filling Ω={γ1,,γs}\Omega=\left\lbrace \gamma_1, \dots, \gamma_s \right\rbrace such that max{i(γi,γj)ij}=2gs+1\max\left\lbrace i(\gamma_i, \gamma_j) | i\neq j\right\rbrace = 2g-s+1.

Keywords

Cite

@article{arxiv.1708.06928,
  title  = {Filling systems on surfaces},
  author = {Shiv Parsad and Bidyut Sanki},
  journal= {arXiv preprint arXiv:1708.06928},
  year   = {2018}
}

Comments

Previous title has changed, Theorem 1.1 and Theorem 1.2 in the previous version are generalized, 17 pages, 8 figures

R2 v1 2026-06-22T21:21:30.426Z