[Paper Review] Surface quadrangulations mod flips

Louis Funar|arXiv (Cornell University)|Jan 31, 2005

Computational Geometry and Mesh Generation17 references1 citations

TL;DR

This paper establishes a complete classification of surface quadrangulations modulo flips up to isotopy on a compact surface Σ, showing they are in one-to-one correspondence with the group Z/2Z ⊕ H₁(Σ, ∂Σ; Z/2Z). The result is derived using algebraic topology and combinatorial group theory, revealing a precise algebraic invariant that captures the isotopy classes of quadrangulations under flip operations.

ABSTRACT

Let Σ be a compact surface. We prove that the set of surface quadrangulations modulo flips up to isotopy is in one-to-one correspondence with Z/2Z ⊕ H1(Σ, ∂Σ; Z/2Z).

Motivation & Objective

• To classify isotopy classes of surface quadrangulations under the operation of flips.
• To determine the algebraic structure that parametrizes these classes.
• To establish a complete invariant for quadrangulations modulo flips on compact surfaces.
• To connect discrete combinatorial structures (quadrangulations) with algebraic topology invariants.

Proposed method

• Use of the first homology group with mod 2 coefficients, H₁(Σ, ∂Σ; Z/2Z), as a key topological invariant.
• Application of flip operations to transform one quadrangulation into another, treating them as equivalence moves.
• Construction of a well-defined map from the set of quadrangulations modulo flips to the group Z/2Z ⊕ H₁(Σ, ∂Σ; Z/2Z).
• Proof of injectivity and surjectivity of the map to establish a one-to-one correspondence.
• Use of isotopy invariance to ensure the classification respects continuous deformation of surfaces.
• Leveraging properties of Z/2Z coefficients to simplify the algebraic structure and handle orientation and duality.

Experimental results

Research questions

• RQ1 What is the complete set of invariants that classify surface quadrangulations up to isotopy when flips are allowed?
• RQ2 How do flip operations affect the isotopy class of a quadrangulation on a compact surface?
• RQ3 Can the space of quadrangulations modulo flips be fully described by a finite algebraic group?
• RQ4 What role does the first homology group with boundary coefficients play in this classification?

Key findings

• The set of surface quadrangulations modulo flips up to isotopy is in one-to-one correspondence with the group Z/2Z ⊕ H₁(Σ, ∂Σ; Z/2Z).
• This correspondence is canonical and independent of the choice of quadrangulation or flip sequence.
• The invariant Z/2Z captures a global topological twist or orientation defect in the quadrangulation.
• The homology group H₁(Σ, ∂Σ; Z/2Z) encodes the cycle structure of the quadrangulation's 1-skeleton modulo 2.
• The classification is complete and fully characterizes the isotopy classes under flip equivalence.
• The result provides a finite algebraic model for the space of quadrangulations on any compact surface.