[论文解读] On hyperbolic cobweb manifolds

Emil Molnár, Jenő Szirmai|arXiv (Cornell University)|Jan 24, 2017

Geometric and Algebraic Topology被引用 1

一句话总结

本文通过截断的完全考克斯eter正则单形与扩展反射群及半转对称性，构建了一个紧致双曲3-流形 Cw(6,6,6)，作为双曲空间形式。关键贡献在于显式计算其体积（~8.29565）、最大内接球半径（~0.57941）与直径（~3.67268），并给出由三个生成元与两个关系定义的基本群，确立了无限系列 Cw(2p,2p,2p) 的一个代表。

ABSTRACT

A compact hyperbolic "cobweb" manifold (hyperbolic space form) of symbol $Cw(6,6,6)$ will be constructed in Fig.1,4,5 as a representant of a presumably infinite series $Cw(2p,2p,2p)$ $(3 \le p \in \bN$ natural numbers). This is a by-product of our investigations \cite{MSz16}. In that work dense ball packings and coverings of hyperbolic space $\HYP$ have been constructed on the base of complete hyperbolic Coxeter orthoschemes $\mathcal{O}=W_{uvw}$ and its extended reflection groups $\bG$ (see diagram in Fig.~3. and picture of fundamental domain in Fig.~2). Now $u=v=w=6 (=2p)$. Thus the maximal ball contained in $Cw(6,6,6)$, moreover its minimal covering bal l (so diameter) can also be determined. The algorithmic procedure provides us with the proof of our statements.

研究动机与目标

• 构建一个紧致双曲3-流形 Cw(6,6,6)，作为 p ≥ 3 时的无限系列 Cw(2p,2p,2p) 的代表。
• 利用双曲几何与度量计算，确定所构造流形的体积、最大内接球半径与直径。
• 通过面对应与配对运动，推导 Cw(6,6,6) 的基本群，得到由三个生成元与两个关系构成的表示。
• 计算最密球堆积与最小覆盖的密度，提供几何不变量。
• 将先前关于双曲3-空间中密集球堆积与覆盖结果推广至完全考克斯eter正则单形及其扩展反射群。

提出的方法

• 使用一个完全双曲考克斯eter正则单形 O = Wuvw，其二面角为 α01 = π/6，α12 = π/6，α23 = π/6，其余为直角，构成基本区域。
• 通过极面对 a0 与 a3 进行截断，生成双重截断正则单形，确保双曲几何性质（签名 (+,+,+,-) 与考克斯eter-施莱夫利矩阵的负行列式）。
• 采用由反射 mi 与关于轴 F03F12 的半转 h 生成的扩展反射群 G，其考克斯eter-施莱夫利图编码了反射阶与对称性。
• 对截断正则单形执行面对应（粘合）操作，构造闭流形 Cw(6,6,6)，利用配对运动 s、a1、a2 定义基本群。
• 通过考克斯eter-施莱夫利矩阵的逆 (bij)−1 计算双曲距离，以确定贝尔特拉米-凯利-克莱因模型中的顶点距离与度量。
• 应用凯勒哈尔斯的体积公式，结合洛巴切夫斯基函数 L(x)，计算截断正则单形的体积，并乘以 12 得到总流形体积。

实验结果

研究问题

• RQ1 能否通过截断完全考克斯eter正则单形的面对应，将双曲3-空间的商构造为紧致双曲3-流形 Cw(6,6,6)？
• RQ2 所构造流形 Cw(6,6,6) 的精确几何不变量——体积、最大内接球半径与直径——是多少？
• RQ3 Cw(6,6,6) 的基本群是什么？它能否通过粘合过程导出的生成元与关系来表示？
• RQ4 Cw(6,6,6) 中最密球堆积与最小覆盖的密度是多少？它们与流形几何有何关联？
• RQ5 Cw(6,6,6) 的构造能否推广至 p ≥ 3 时的无限系列 Cw(2p,2p,2p)，并保持一致的几何与拓扑性质？

主要发现

• 蛛网流形 Cw(6,6,6) 的体积约为 8.29565，计算为 12 倍于基本截断正则单形 W666 的体积，使用凯勒哈尔斯公式。
• Cw(6,6,6) 中可内接的最大球半径约为 0.57941，由截断点 Q 到面中心 F12 的距离导出。
• Cw(6,6,6) 的直径约为 3.67268，定义为最小覆盖球半径的两倍，覆盖半径 ≈1.83634。
• Cw(6,6,6) 的基本群由三个生成元 a1、a2、s 与两个关系构成：1 = a1a1s⁻¹a1sa⁻¹₂a⁻¹₂sa⁻¹₂s⁻¹（共 110 个字母）与一个对称的 38 字母关系，其第一同调群 H₁ ≅ Z₃ × Z₁₂ × Z₆。
• Cw(6,6,6) 中最密球堆积的密度约为 0.10503，最小覆盖的密度约为 6.05670，由球体积与流形体积之比计算得出。
• 流形 Cw(6,6,6) 是一个可能为无限的系列 Cw(2p,2p,2p)（p ≥ 3）的代表，通过具有二面角 π/(2p) 的截断正则单形的对称面对应构造而成。