Table of Contents
Fetching ...

Multitriangulations on the half-cylinder

Saskia Solotko, Katherine Tung, Mengyuan Yang, Yuchong Zhang

TL;DR

This work extends the theory of multitriangulations from polygons to the half-cylinder $\mathcal{C}_n$, defining weak $k$-triangulations via projections of periodic $(k+1)$-crossing-free sets on the universal cover. It proves a Star Decomposition Theorem for $k=2$, yielding purity and the weak pseudomanifold property for $\Delta_{\mathcal{C}_n,2}$ and establishing regularity of the flip graph, thereby generalizing polygonal results to a surface with boundary. A canonical bijection $\phi$ relates $2$-triangulations on $\mathcal{C}_n$ to $n$-periodic $2$-triangulations on the $4n$-gon, enabling transfer of combinatorial structure and counts; this is complemented by the introduction of chevron pipe dreams to capture central symmetries and connect to subword complexes. The findings suggest broader generalizations to arbitrary $k$ and other surfaces, and open a pathway to representing finite multitriangulation complexes as (piecewise) linear spheres via symmetric, combinatorial models.

Abstract

We prove that the simplicial complex $Δ_{\mathcal{C}_n,2}$ is pure and a weak pseudomanifold of dimension $2(n-1)$, where $Δ_{\mathcal{C}_n,2}$ is the simplicial complex associated with $2$-triangulations on the half-cylinder with $n$ marked points. This result generalizes the work of Vincent Pilaud and Francisco Santos for polygons and resolves a conjecture of Mathias Lepoutre and Vincent Pilaud for $k=2$. To achieve this, we show that $2$-triangulations on the half-cylinder decompose as complexes of star polygons, and that $2$-triangulations on the half-cylinder are in bijection with $2$-triangulations on the $4n$-gon invariant under rotation by $π/2$ radians. Building on work by Vincent Pilaud and Christian Stump, we also introduce chevron pipe dreams, a new combinatorial model that more naturally captures the symmetries of $k$-triangulations.

Multitriangulations on the half-cylinder

TL;DR

This work extends the theory of multitriangulations from polygons to the half-cylinder , defining weak -triangulations via projections of periodic -crossing-free sets on the universal cover. It proves a Star Decomposition Theorem for , yielding purity and the weak pseudomanifold property for and establishing regularity of the flip graph, thereby generalizing polygonal results to a surface with boundary. A canonical bijection relates -triangulations on to -periodic -triangulations on the -gon, enabling transfer of combinatorial structure and counts; this is complemented by the introduction of chevron pipe dreams to capture central symmetries and connect to subword complexes. The findings suggest broader generalizations to arbitrary and other surfaces, and open a pathway to representing finite multitriangulation complexes as (piecewise) linear spheres via symmetric, combinatorial models.

Abstract

We prove that the simplicial complex is pure and a weak pseudomanifold of dimension , where is the simplicial complex associated with -triangulations on the half-cylinder with marked points. This result generalizes the work of Vincent Pilaud and Francisco Santos for polygons and resolves a conjecture of Mathias Lepoutre and Vincent Pilaud for . To achieve this, we show that -triangulations on the half-cylinder decompose as complexes of star polygons, and that -triangulations on the half-cylinder are in bijection with -triangulations on the -gon invariant under rotation by radians. Building on work by Vincent Pilaud and Christian Stump, we also introduce chevron pipe dreams, a new combinatorial model that more naturally captures the symmetries of -triangulations.

Paper Structure

This paper contains 7 sections, 18 theorems, 17 equations, 14 figures.

Key Result

Theorem 1.2

The flip graph of $2$-triangulations on $\mathcal{C}_n$, the half-cylinder with $n$ marked points, is regular. Equivalently, the associated simplicial complex $\Delta_{\mathcal{C}_n,2}$ is pure and a weak pseudomanifold.

Figures (14)

  • Figure 1: A $2$-triangulation on the $12$-gon invariant under rotation by $\pi/2$ radians.
  • Figure 2: A $2$-triangulation on the half-cylinder with $3$ marked points, lifted to the universal cover.
  • Figure 3: The chevron pipe dream corresponding to the $2$-triangulation from \ref{['3periodic2tri']}. Chevron pipe dreams are defined in Definition \ref{['chevronconstruction']}.
  • Figure 4: A $2$-star in a pentagon, a $3$-star in a heptagon, and a $4$-star in a nonagon.
  • Figure 5: The staircase pipe dream corresponding to the $3$-periodic $2$-triangulation on a $12$-gon in \ref{['3periodic2tri']}.
  • ...and 9 more figures

Theorems & Definitions (56)

  • Definition 1.1: $k$-triangulations
  • Theorem 1.2
  • Remark 1.3
  • Definition 2.1
  • Definition 2.2
  • Definition 2.4
  • Definition 2.5
  • Definition 2.6
  • Definition 2.7
  • Lemma 3.1
  • ...and 46 more