[论文解读] Coxeter Decompositions of Bounded Hyperbolic Pyramids and Triangular Prisms

Anna Felikson|ArXiv.org|Dec 15, 2002

Geometric and Algebraic Topology参考文献 2被引用 3

一句话总结

本文对三维双曲空间中有界凸双曲锥体与三角柱的考克斯eter分解进行了分类。通过几何与组合方法，证明此类分解中的基本多面体必为单形或三角柱，并基于二面角构型与镜像排列，完全枚举了所有可能的分解类型。

ABSTRACT

Coxeter decompositions of hyperbolic simplices where studied in math.MG/0212010 and math.MG/0210067. In this paper we use the methods of these works to classify Coxeter decompositions of bounded convex pyramids and triangular prisms in the hyperbolic space H^3.

研究动机与目标

• 对 H³ 中有界凸双曲锥体的所有可能考克斯eter分解进行分类。
• 对 H³ 中有界三角柱的所有考克斯eter分解进行分类。
• 确定此类分解中基本多面体的结构，证明其必为单形或三角柱。
• 描述镜像与基本边/顶点在分解过程中的作用。
• 利用几何与组合约束，枚举所有有效的二面角构型。

提出的方法

• 将先前关于双曲单纯形考克斯eter分解的研究方法应用于分析有界锥体与柱体。
• 采用拟考克斯eter多面体的定义，即能被全等考克斯eter多面体分解的多面体。
• 基于面相交与镜像排列的几何论证，证明锥体中不存在非单形的基本多面体。
• 引入最小三角柱的概念，将分类问题简化为基本情形。
• 将五边形镜像（以特定五边形构型与柱体相交的镜像）作为柱体分解中的关键结构元素进行分析。
• 通过有理倍数 π 表示的二面角的组合枚举，对所有可能的分解类型进行分类。

实验结果

研究问题

• RQ1 H³ 中有界凸双曲锥体的可能考克斯eter分解有哪些？
• RQ2 H³ 中有界三角柱的可能考克斯eter分解有哪些？
• RQ3 此类分解中可能出现哪些类型的基本多面体——特别是，它们是否可以是非单形或非柱体？
• RQ4 在柱体分解中，镜像在何种条件下与柱体相交形成五边形截面？
• RQ5 原多面体的二面角如何约束可能的分解类型？

主要发现

• 任何有界凸双曲锥体仅当其基本多面体为单形时，才可进行考克斯eter分解。
• 对于有界三角柱，其考克斯eter分解中的基本多面体为单形或三角柱。
• 在最小三角柱中，所有镜像均为五边形，且柱体的所有二面角均为基本角。
• 本文完整枚举了所有可能的考克斯eter分解，列出 12 种不同类型，每种具有特定的二面角构型。
• 每种分解类型由三个表示为 π 的有理倍数的二面角三元组表征，并明确列出单形与锥体镶嵌的数量。
• 该分类共包含 12 种不同分解类型，明确列出了基本镶嵌数量与镶嵌类型（例如，类型 1–12，含 3–23 个镶嵌，0–3 个单形等）。