Triangulations of the Sphere
球面的三角剖分
John C. Baez
AI总结 Thurston 利用 Eisenstein 整数构造了每个顶点处有5或6个三角形相交的球面三角剖分,并研究了这些剖分对应的平坦黎曼度量模空间,证明了该模空间是某个轨道流形中的开稠密子集。
详情
- Comments
- 3 pages, expanded and corrected version of the published article
Thurston 给出了一种简单的方法,利用 Eisenstein 整数 $\mathbb{E}$ 构造所有每个顶点处有5或6个三角形相交的球面三角剖分。虽然这类三角剖分可以纯粹组合地定义,但 Thurston 注意到,给定这样一个三角剖分,可以将所有三角形变为具有相同边长的平坦等边三角形,这给二维球面赋予了一个平坦黎曼度量,除了12个角亏为 $\pi/3$ 的锥点。他证明,在重新缩放的意义下,所有这样的黎曼度量都来自他的构造。他研究了所有此类度量模去重新缩放的模空间 $\mathcal{M}$,并证明 $\mathcal{M}$ 在轨道流形 $\overline{\mathcal{M}} = \mathbb{PC}^{10}_+/\Gamma$ 中是开且稠密的,其中 $\mathbb{C}^{10}_+ = \{ v \in \mathbb{C}^{10} \mid Q(v) > 0\}$,$Q$ 是 $\mathbb{C}^{10}$ 上的某个二次型,$\mathbb{PC}^{10}_+$ 是其射影化,$\Gamma$ 是 $\mathbb{C}^{10}$ 上保持 $Q$ 和格点 $\mathbb{E}^{10} \subset \mathbb{C}^{10}$ 的某个离散线性变换群。他还证明 $\overline{\mathcal{M}}$ 是球面上至多12个锥点且角亏为非负 $\pi/3$ 倍数的平坦黎曼度量的模空间。这里我们简要概述了这项工作的基本思想,并通过例子加以说明。
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 $\pi/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}_+/\Gamma$. Here $\mathbb{C}^{10}_+ = \{ v \in \mathbb{C}^{10} \vert \; Q(v) > 0\}$ for some quadratic form $Q$ of signature $(1,9)$ on $\mathbb{C}^{10}$, $\mathbb{PC}^{10}_+$ is its projectivization, and $\Gamma$ 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 positive integer multiples of $\pi/3$. Here we briefly outline the basic ideas behind this work, and illustrate them with examples.