Triangulations of the Sphere

Abstract: Thurston gave a simple way to construct all triangulations of the sphere for which 5 or 6 triangles meet at each vertex, using the Eisenstein integers $\mathbb{E}$. While such triangulations can be defined purely combinatorially, Thurston noticed that given such a triangulation, one can make all the triangles into flat equilateral triangles with the same edge length, and this gives the 2-sphere a flat Riemannian metric except at 12 cone points with angle deficit $π/3$. He showed that up to rescaling, all such Riemannian metrics arise from his procedure. He studied the moduli space $\mathcal{M}$ of all such metrics modulo rescaling, and showed that $\mathcal{M}$ is open and dense in an orbifold $\overline{\mathcal{M}} = \mathbb{PC}^{10}_+/Γ,$ where $\mathbb{C}^{10}_+ = { v \in \mathbb{C}^{10} \vert \; Q(v) > 0}$ for some quadratic form $Q$ on $\mathbb{C}^{10}$, $\mathbb{PC}^{10}_+$ is its projectivization, and $Γ$ is a certain discrete group of linear transformations of $\mathbb{C}^{10}$ preserving both $Q$ and the lattice $\mathbb{E}^{10} \subset \mathbb{C}^{10}$. He also showed that $\overline{\mathcal{M}}$ is the moduli space of flat Riemannian metrics on the sphere with at most $12$ cone points and angle deficits that are nonnegative multiples of $π/3$. Here we briefly outline the basic ideas behind this work, and illustrate them with examples.

• The paper introduces a geometric framework that classifies sphere triangulations with vertices of 5 or 6 triangles using a folding procedure based on Eisenstein integer lattices.
• It establishes a bijective correspondence between combinatorial triangulations, convex polyhedra, and flat cone metrics subject to Gauss-Bonnet constraints.
• The analysis leverages a quadratic form with Lorentzian signature, linking combinatorial topology with algebraic geometry and suggesting applications in discrete geometry and mathematical physics.

Triangulations of the Sphere by Equilateral Triangles

Overview

The paper "Triangulations of the Sphere" (2606.10072) presents an expository synthesis of Thurston's program for constructing and classifying triangulations of the 2-sphere using equilateral triangles such that only 5 or 6 triangles meet at each vertex. The work illustrates a correspondence, first developed by Thurston and later refined by Engel, Smillie, and others, between combinatorial triangulations, certain convex polyhedra, flat cone metrics, and lattice vectors in a 10-dimensional Eisenstein integer module equipped with a quadratic form of signature $(1,9)$. The implications span topological combinatorics, discrete geometry, Riemannian moduli, and connections to Hermitian forms and reflection groups.

Thurston's Construction of Spherical Triangulations

The key method constructs triangulations starting with the lattice of Eisenstein integers in the complex plane. By considering polygons with vertices given by Eisenstein integers and inward-pointing attached equilateral triangles, one can cut out star-shaped regions whose folding yields convex polyhedra tiled by the small equilateral triangles of the lattice. These polyhedra, homeomorphic to spheres, induce triangulations where vertices correspond either to 5- or 6-way junctions of triangles.

A crucial combinatorial result—originally due to Thurston—is that every triangulation of the sphere with only 5 or 6 triangles meeting at each vertex can be realized by this construction. This establishes both the exhaustivity and flexibility of the Eisenstein integer framework in enumerating such triangulations.

Flat Cone Metrics and Gauss-Bonnet Constraints

Locally, the resulting geometric structure is flat except at finitely many singularities (cone points) where only 5 triangles converge—a configuration producing a cone angle of $5\pi/3$ and thus an angle deficit of $\pi/3$. The discrete Gauss-Bonnet theorem imposes that the total angle defect on the sphere must be $4\pi$, restricting the triangulation to precisely twelve cone points. Metrics on the sphere that are flat except at twelve cone points of defect $\pi/3$ thus correspond bijectively to these triangulations (modulo isometries and rescalings). The regular icosahedron—where all vertices are 5-valent—is the canonical exemplar.

Eisenstein Lattice, Hermitian Form, and Moduli Space Structure

Encoding a triangulation involves associating to the defining polygon $P$ an 11-tuple of Eisenstein integers representing edge vectors, subject to the constraint that their sum vanishes. This vector, up to translation, resides in $\mathbb{E}^{10}$, where $\mathbb{E}$ denotes the Eisenstein integers. The number of triangles in the triangulation is controlled by a specific real-valued quadratic form $Q$ on $\mathbb{E}^{10}$, arising from area considerations and possessing a unique Hermitian extension $5\pi/3$0 with Lorentzian signature $5\pi/3$1. Explicitly:

$5\pi/3$2

Thurston showed that the moduli space $5\pi/3$3 of flat spherical metrics with twelve $5\pi/3$4-deficit cone points is realized as an open dense subset of a quotient of the positive cone in $5\pi/3$5 (projectivization of the $5\pi/3$6 vectors), modulo a discrete group $5\pi/3$7 acting by automorphisms of the lattice. Thus, up to scaling and isometries, all such metrics (and hence all admissible triangulations) are classified as points in a complex 9-dimensional orbifold.

A bold claim, central to the combinatorial-geometric correspondence, is that every such metric on the 2-sphere (flat except at twelve prescribed cone singularities) arises from the folding method described—no further examples exist.

Specialization and Degeneration: The Role of $5\pi/3$8

Allowing cone points to merge (i.e., increasing angle deficits) enlarges the moduli to $5\pi/3$9, a compactification where the cone points may have defects that are positive integer multiples of $\pi/3$0 and their count is at most twelve. Key Platonic polyhedra such as the octahedron or tetrahedron, with vertices of higher angle defect, live in the boundary of this space.

Alexandrov's theorem guarantees that each element of $\pi/3$1 uniquely corresponds (up to congruence) to a convex polyhedron with given cone data, integrating the triangulation-combinatorial, metric-geometric, and polyhedral perspectives.

Enumeration and Quadratic Form

A bijection exists between oriented convex triangulations and lattice vectors in $\pi/3$2, with the number of triangles determined exactly by the quadratic form $\pi/3$3. This correspondence converts otherwise intractable enumeration or classification problems in combinatorial topology to lattice analysis under Hermitian forms and discrete group actions.

Implications and Future Directions

The synthesis outlined has far-reaching consequences:

• Polyhedral Geometry: It provides a unified framework for studying convex polyhedra tiled by regular triangles, singular flat metrics, and their moduli—central to discrete differential geometry.
• Combinatorial Topology: The classification, enumeration, and encoding of triangulations via Eisenstein integer lattices opens algorithmic enumeration possibilities and connections to reflection group actions.
• Algebraic Geometry and Number Theory: The structure and symmetry of the moduli spaces, given by quotients of positive Hermitian cones over integer lattices, suggest possible links to automorphic forms, lattice packings, and arithmetic geometry.
• Mathematical Physics: The $\pi/3$4 signature invites speculation on connections with string theory, moduli of flat connections, or Lorentzian reflection groups.

Potential future research could focus on extending these constructions and correspondences to other settings (e.g., higher genus, other deficit angles, non-planar tilings), exploring the automorphism groups of the associated lattices, and investigating algorithmic generation and classification of spherical triangulations with given constraints.

Conclusion

This exposition establishes that all combinatorial triangulations of the sphere, in which only 5 or 6 equilateral triangles meet at any vertex, can be realized via a folding procedure rooted in Eisenstein integer geometry. The triangulations correspond uniquely to points in a complex orbifold moduli space, itself explicitly described in terms of a Hermitian form of Lorentzian signature on $\pi/3$5. The theoretical framework brings together combinatorial, geometric, and algebraic descriptions and opens avenues for deeper exploration in discrete geometry, moduli theory, and beyond.