pith. sign in

arxiv: 1907.09042 · v1 · pith:R2FUB7TVnew · submitted 2019-07-21 · 🧮 math.GT

A note on the curve complex of the 3-holed projective plane

B{\l}a\.zej Szepietowski This is my paper

Pith reviewed 2026-05-24 18:05 UTC · model grok-4.3

classification 🧮 math.GT
keywords curve complexmapping class grouprigid setsexhaustion3-holed projective planenon-orientable surfacesimplicial automorphismsquasi-isometry to tree
0
0 comments X

The pith

The curve complex of the 3-holed projective plane admits an exhaustion by finite rigid sets.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that for S the projective plane minus three open disks, the curve complex C(S) can be written as the union of a sequence of finite rigid subsets. This exhaustion implies that every simplicial automorphism of C(S) arises from a homeomorphism of S, so the automorphism group equals the mapping class group Mod(S). It also implies that C(S) is quasi-isometric to a simplicial tree. A reader would care because the result fixes the symmetries of the complex exactly and reveals a particularly simple large-scale geometry for this non-orientable surface of low complexity.

Core claim

Let S be a projective plane with 3 holes. We prove that there is an exhaustion of the curve complex C(S) by a sequence of finite rigid sets. As a corollary, we obtain that the group of simplicial automorphisms of C(S) is isomorphic to the mapping class group Mod(S). We also prove that C(S) is quasi-isometric to a simplicial tree.

What carries the argument

A sequence of finite rigid sets whose union is the entire curve complex C(S), where each set is rigid in the sense that its setwise stabilizer in the automorphism group is exactly the image of Mod(S).

If this is right

  • The simplicial automorphism group of C(S) equals Mod(S).
  • C(S) is quasi-isometric to a simplicial tree.
  • Any two curves in C(S) can be connected by a path that passes through only finitely many rigid sets at each stage of the exhaustion.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Similar exhaustion arguments could be attempted for other non-orientable surfaces of small complexity where rigidity is known to hold for finite subsets.
  • The tree quasi-isometry suggests that the large-scale geometry of C(S) is that of a 1-dimensional hyperbolic space with no cycles at infinity.
  • One could check whether the same exhaustion technique produces a model for the curve complex that is easier to compute with than the full infinite complex.

Load-bearing premise

The topological type of the 3-holed projective plane allows a sequence of finite rigid subsets to cover every curve.

What would settle it

An explicit curve in C(S) that lies in no finite rigid set, or a simplicial automorphism of C(S) that does not come from any element of Mod(S).

Figures

Figures reproduced from arXiv: 1907.09042 by B{\l}a\.zej Szepietowski.

Figure 1
Figure 1. Figure 1: Vertices of C(N1,2) (left) and C(N1,3) (right). 3. Finite rigid sets In this section S denotes the three-holed projective plane. The com￾plex C(S) was studied by Scharlemann [16]. It is a bipartite graph: its vertex set can be partitioned as C 0 (S) = V1 t V2, where V1 and V2 denote the sets of one-sided and two-sided vertices respectively, and every edge of C(S) connects a one-sided vertex with a two-side… view at source ↗
Figure 2
Figure 2. Figure 2: A tetrahedron of D and the corresponding subgraph of C(S). Let T be a tetrahedron of D. We denote by T ∗ the full subcomplex of C(S) spanned by the four vertices of T and the six two-sided vertices determined by the edges of T ( [PITH_FULL_IMAGE:figures/full_fig_p005_2.png] view at source ↗
read the original abstract

Let $S$ be a projective plane with $3$ holes. We prove that there is an exhaustion of the curve complex $\mathcal{C}(S)$ by a sequence of finite rigid sets. As a corollary, we obtain that the group of simplicial automorphisms of $\mathcal{C}(S)$ is isomorphic to the mapping class group $\mathrm{Mod}(S)$. We also prove that $\mathcal{C}(S)$ is quasi-isometric to a simplicial tree.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 1 minor

Summary. The paper proves that the curve complex C(S) of the 3-holed projective plane S admits an exhaustion by a sequence of finite rigid sets. From this it deduces that the simplicial automorphism group of C(S) is isomorphic to Mod(S) and that C(S) is quasi-isometric to a simplicial tree.

Significance. The explicit construction of the exhaustion for this fixed low-complexity non-orientable surface supplies a concrete verification of rigidity and tree-like quasi-isometry properties that are known in the orientable case. The result is a useful data point for the study of curve complexes on non-orientable surfaces and strengthens the literature by providing an explicit sequence rather than an existence argument.

minor comments (1)
  1. The abstract refers to 'three theorems' but the body presents one main statement and two corollaries; a brief clarification of the logical structure in §1 would help readers.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading and positive report recommending acceptance. The absence of major comments means we have no points requiring response or revision.

Circularity Check

0 steps flagged

No significant circularity; direct construction from definitions

full rationale

The paper proves an explicit exhaustion of C(S) for this fixed low-complexity surface by constructing a sequence of finite rigid sets whose union is all of C(S). The two corollaries then follow from standard, previously published arguments about rigid sets in curve complexes (not self-citations). No step reduces a target claim to a fitted parameter, a self-referential definition, or an unverified uniqueness theorem imported from the authors' prior work. The derivation is self-contained against the definitions of the curve complex and mapping class group.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on the standard definitions of the curve complex and mapping class group together with the topological classification of the surface S; no free parameters or invented entities are introduced.

axioms (2)
  • standard math The curve complex C(S) is the simplicial complex whose vertices are isotopy classes of essential simple closed curves on S and whose simplices are collections of pairwise disjoint curves.
    Invoked in the definition of the objects studied (abstract).
  • standard math Mod(S) is the group of isotopy classes of homeomorphisms of S.
    Used in the statement that Aut(C(S)) ≅ Mod(S).

pith-pipeline@v0.9.0 · 5598 in / 1350 out tokens · 42864 ms · 2026-05-24T18:05:18.382751+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages · 2 internal anchors

  1. [1]

    Aramayona and C.J

    J. Aramayona and C.J. Leininger, Finite rigid sets in curve complexes, J. Topol. Anal. 5 (2013), 183–203

    work page 2013

  2. [2]

    Aramayona and C.J

    J. Aramayona and C.J. Leininger, Exhausting curve complexes by finite rigid sets, Pacific J. Math. 282 (2016), 257–283

    work page 2016

  3. [3]

    Atalan and M

    F. Atalan and M. Korkmaz, Automorphisms of curve complexes on nonori- entable surfaces, Groups Geom. Dyn. 8 (2014), 39–68

    work page 2014

  4. [4]

    Bestvina and K

    M. Bestvina and K. Fujiwara, Quasi-homomorphisms on mapping class groups, Glas. Mat. Ser. III 42 (2007), 213–236

    work page 2007

  5. [5]

    Farb and D

    B. Farb and D. Margalit, A primer on mapping class groups. Princeton Math- ematical Series 49. Princeton University Press, Princeton, 2012

    work page 2012

  6. [6]

    W. J. Harvey, Boundary structure of the modular group, in: Riemann sur- faces and related topics: Proc. 1978 Stony Brook Conf., Ann. Math. Stud. 97, Princeton University Press (1981), 245–251

    work page 1978

  7. [7]

    Finite Rigid Sets in Curve Complexes of Non-Orientable Surfaces

    S. Ilbira and M. Korkmaz, Finite rigid sets in curve complexes of non-orientable surfaces, arXiv:1810.07964

    work page internal anchor Pith review Pith/arXiv arXiv

  8. [8]

    Irmak, On simplicial maps of the complexes of curves of nonorientable surfaces, Algebr

    E. Irmak, On simplicial maps of the complexes of curves of nonorientable surfaces, Algebr. Geom. Topol. 14 (2014), 1153–1180

    work page 2014

  9. [9]

    Exhausting Curve Complexes by Finite Rigid Sets on Nonorientable Surfaces

    E. Irmak, Exhausting curve complexes by finite rigid sets on nonorientable surfaces, arXiv:1906.09913

    work page internal anchor Pith review Pith/arXiv arXiv 1906

  10. [10]

    Ivanov, Automorphisms of complexes of curves and of Teichmuller spaces, Int

    N. Ivanov, Automorphisms of complexes of curves and of Teichmuller spaces, Int. Math. Res. Notices 14 (1997), 651-666

    work page 1997

  11. [11]

    Korkmaz, Automorphisms of complexes of curves on punctured spheres and on punctured tori, Topology Appl

    M. Korkmaz, Automorphisms of complexes of curves on punctured spheres and on punctured tori, Topology Appl. 95 (1999), 85–111

    work page 1999

  12. [12]

    Luo, Automorphisms of the complex of curves, Topology 39 (2002), 283–298

    F. Luo, Automorphisms of the complex of curves, Topology 39 (2002), 283–298

    work page 2002

  13. [13]

    Manning, Geometry of pseudocharacters, Geom

    J. Manning, Geometry of pseudocharacters, Geom. Topol. 9 (2005) 1147-1185

    work page 2005

  14. [14]

    H. A. Masur and Y. N. Minsky, Geometry of the complex of curves I: Hypre- bolicty, Invent. Math. 138 (1) (1999) 103–149

    work page 1999

  15. [15]

    H. A. Masur and S. Schleimer, The geometry of the disk complex, J. Amer. Math. Soc. 26 (2013), 1–62

    work page 2013

  16. [16]

    Scharlemann, The complex of curves of a nonorientable surface, J

    M. Scharlemann, The complex of curves of a nonorientable surface, J. London Math. Soc. 25 (1982), 171-184

    work page 1982

  17. [17]

    Shackleton, Combinatorial rigidity in curve complexes and mapping class groups, Pacific J

    K. Shackleton, Combinatorial rigidity in curve complexes and mapping class groups, Pacific J. Math. 230 (2007), 217–232. CURVE COMPLEX OF THE 3-HOLED PROJECTIVE PLANE 9 E-mail address : blaszep@mat.ug.edu.pl Institute of Mathematics, Faculty of Mathematics, Physics and In- formatics, University of Gda´nsk, 80-308 Gda´nsk, Poland

    work page 2007