[论文解读] Notes on Shapes of Polyhedra

Richard Evan Schwartz|arXiv (Cornell University)|Jun 24, 2015

Mathematics and Applications被引用 7

一句话总结

本文提供了托尔斯特定理关于多面体形状理论的易懂笔记，聚焦于具有锥形奇点的平坦锥形球面的模空间。通过使用更简单的几何对象重新诠释复双曲锥流形结构，证明了组合正三角剖分的特殊模空间与以艾森斯坦整数为系数的格点作用下的复双曲空间的层之间存在等距关系，且三角剖分与 $\mathbb{E}^{1,9}/\Gamma$ 中的正向量之间存在自然双射。主要贡献在于建立了一个构造性、代数几何的对应关系，将球面上的三角剖分与艾森斯坦格点上的赫米特几何联系起来。

ABSTRACT

These are course notes I wrote for my Fall 2013 graduate topics course on geometric structures, taught at ICERM. The notes rework many of proofs in William P. Thurston's beautiful but hard-to-understand paper, "Shapes of Polyhedra". A number of people, both in and out of the class, found these notes very useful and so I decided to put them on the arXiv.

研究动机与目标

• 澄清并使托尔斯特定理关于多面体形状的原始论文中难以理解的概念更易理解，特别是复双曲锥流形的作用。
• 在不依赖锥流形技术定义的前提下，重新表述平坦锥形球面的模空间，使用更具直观性的几何对象。
• 在组合正三角剖分与 $\mathbb{E}^{1,9}/\Gamma$ 中的正向量之间建立构造性双射，其中 $\Gamma$ 是艾森斯坦整数上的格点。
• 证明此类三角剖分的模空间与复双曲空间 $\mathbb{CH}^{m-3}$ 的商空间等距，其赫米特形式定义在 $\mathbb{E}$ 上。

提出的方法

• 本文通过保持锥点标签不变的近似等距，构造了具有标记锥角缺陷 $\theta_1, \dots, \theta_m$ 且总和为 $4\pi$ 的平坦锥形球面相似类的模空间 $\mathcal{M}$。
• 引入基于嵌入生成树的坐标系，以参数化平坦锥形结构，定义了 $\mathbb{C}^{m-3}$ 中的局部坐标图，并赋予自然赫米特度量。
• 赫米特形式 $H = 4\sqrt{3}A$ 定义在艾森斯坦整数 $\mathbb{E} = \mathbb{Z}[\omega]$ 上，其中 $\omega = e^{2\pi i/3}$，并编码锥形球面的面积，满足 $H(V,V) = 3 \times \text{三角形数量}$。
• 不同生成树之间的坐标变换由 $\mathrm{GL}(9, \mathbb{E})$ 中的矩阵建模，群 $\Gamma$ 由此类变换的环路生成，同时保持 $H$ 和 $\mathbb{E}^{1,9}$ 不变。
• 该构造表明，任意两组坐标系之间的差异属于 $\Gamma$，从而导出从三角剖分到 $\mathbb{E}^{1,9}/\Gamma$ 的良好定义的映射，且与路径选择无关。
• 本文证明该映射的像由 $H$ 下的正向量构成，且逆映射可从任一此类向量重构出三角剖分，从而建立自然双射。

实验结果

研究问题

• RQ1 如何在不依赖复双曲锥流形形式化定义的前提下，重新诠释具有锥形奇点的平坦锥形球面的模空间？
• RQ2 2-球面上组合正三角剖分集合背后的精确代数几何结构是什么？
• RQ3 能否构造一个在艾森斯坦整数上定义的自然赫米特形式，使得其正向量与三角剖分之间存在双射对应？
• RQ4 格点 $\Gamma$ 在将模空间实现为复双曲空间商空间的过程中起什么作用？
• RQ5 平坦锥形球面的面积如何与 $\mathbb{E}^{1,9}$ 中向量在赫米特形式 $H$ 下的范数相关联？

主要发现

• 具有标记锥角缺陷且总和为 $4\pi$ 的平坦锥形球面的模空间 $\mathcal{M}$ 局部等距于 $\mathbb{CH}^{m-3}$，其自然赫米特度量定义在艾森斯坦整数上。
• 当锥角缺陷满足特定算术条件（例如 $2\pi$ 是 $2\pi - \theta_i - \theta_j$ 的整数倍）时，$\mathcal{M}$ 的度量完备化与 $\mathbb{CH}^{m-3}/\Gamma$ 等距，其中格点 $\Gamma$ 作用于 $\mathbb{CH}^{m-3}$。
• 对于至少包含一个三角剖分的特殊模空间，三角剖分点的集合在 $\mathcal{M}$ 中稠密，表明此类结构在模空间中是典型的。
• 存在一个单一的格点 $\Gamma$ 作用于 $\mathbb{CH}^{9}$，定义在 $\mathbb{E}$ 上，使得每个特殊模空间等距嵌入为 $\mathbb{CH}^{9}/\Gamma$ 中的一层，且 $\mathcal{M}$ 等距于 $\mathbb{CH}^{m-3}$ 的商空间。
• 在 $\mathbb{E}^{1,9}$ 上的赫米特形式 $H$ 满足：对任意对应于三角剖分的正向量 $V$，有 $H(V,V) = 3 \times \text{三角形数量}$。
• 在 $H$-范数下，球面上组合正三角剖分的集合与 $\mathbb{E}^{1,9}/\Gamma$ 中正向量的集合之间存在自然双射，且 $\Gamma$ 同时保持 $H$ 和 $\mathbb{E}^{1,9}$ 不变。