[论文解读] Quandle homology and complex volume

Ayumu Inoue, Yuichi Kabaya|arXiv (Cornell University)|Dec 14, 2010

Geometric and Algebraic Topology参考文献 13被引用 5

一句话总结

本文引入了单纯复形奎德尔同调（simplicial quandle homology）作为奎德尔的新同调理论，使能直接从链图对双曲链的复体积进行图解计算。通过构建从奎德尔同调到单纯复形奎德尔同调的同态，并将其与扩展布洛克群联系起来，作者推导出一个胞状复形，该复形通过链图的阴影着色计算复体积 $ i(\mathrm{Vol} + i\mathrm{CS}) $，提供了一种纯粹组合的方法来计算双曲不变量，而无需使用理想三角剖分。

ABSTRACT

We introduce a new homology theory of quandles, called simplicial quandle homology, which is quite different from quandle homology developed by Carter et al. We construct a homomorphism from a quandle homology group to a simplicial quandle homology group. As an application, we obtain a method for computing the complex volume of a hyperbolic link only from its diagram.

研究动机与目标

• 开发一种新的奎德尔同调理论——单纯复形奎德尔同调，其与经典奎德尔同调不同。
• 建立从带局部系数的经典奎德尔同调 $ H^Q_n(X; \mathbb{Z}[X]) $ 到单纯复形奎德尔同调 $ H^\Delta_{n+1}(X) $ 的同态。
• 将奎德尔同调不变量与双曲3-流形的切赫-陈-西蒙斯类及复体积联系起来。
• 提供一种图解方法，仅通过链图和着色数据计算双曲链的复体积。
• 证明复体积不变量可通过奎德尔胞状复形组合计算，而无需显式构造理想三角剖分。

提出的方法

• 引入基于带奎德尔结构的单纯链的单纯复形奎德尔同调 $ H^\Delta_n(X) $ 作为奎德尔的新同调理论。
• 构造从 $ H^Q_n(X; \mathbb{Z}[X]) $ 到 $ H^\Delta_{n+1}(X) $ 的同态，其几何意义对应于链补集的三角剖分。
• 使用 $ \mathrm{PSL}(2,\mathbb{C}) $ 中抛物元素的奎德尔 $ \mathcal{P} $ 作为着色奎德尔，该奎德尔可分类链群的 $ \mathrm{PSL}(2,\mathbb{C}) $-表示。
• 将链图的阴影着色定义为从弧和区域到 $ \mathcal{P} $ 的映射，并为每种着色关联一个循环 $ [C(\mathcal{S})] \in H^Q_2(\mathcal{P}; \mathbb{Z}[\mathcal{P}]) $。
• 通过从着色导出的单纯形的组合展平，构造从 $ H^Q_2(\mathcal{P}; \mathbb{Z}[\mathcal{P}]) $ 到 $ \widehat{\mathcal{B}}(\mathbb{C}) $（扩展布洛克群）的同态。
• 将此映射与内曼的映射 $ R: \widehat{\mathcal{B}}(\mathbb{C}) \to \mathbb{C}/\pi^2\mathbb{Z} $ 复合，得到复体积不变量 $ \mathrm{cvol} $。

实验结果

研究问题

• RQ1 能否构造一种新的奎德尔同调理论，使得能从图解方式计算双曲不变量（如复体积）？
• RQ2 如何利用奎德尔同调表示双曲链补集的切赫-陈-西蒙斯类？
• RQ3 是否能仅通过链图和奎德尔胞状复形直接计算双曲链的复体积 $ i(\mathrm{Vol} + i\mathrm{CS}) $？
• RQ4 单纯复形奎德尔同调群 $ H^\Delta_3(\mathcal{P}) $ 在 $ \mathrm{PSL}(2,\mathbb{C}) $ 作用下与 $ \mathbb{C}^2 \setminus \{0\} $ 的同调之间有何几何意义？
• RQ5 所得复体积不变量是否仅依赖于离散忠实表示的共轭类，而不依赖于三角剖分？

主要发现

• 单纯复形奎德尔同调 $ H^\Delta_n(X) $ 为从奎德尔着色构造链补集的三角剖分提供了新框架。
• 从 $ H^Q_2(\mathcal{P}; \mathbb{Z}[\mathcal{P}]) $ 到 $ \widehat{\mathcal{B}}(\mathbb{C}) $ 的同态通过从阴影着色导出的3-单纯形的组合展平构造。
• 对于 $ 5_2 $ 立方体，复体积计算结果为 $ i(2.82812 - i \cdot 3.02412) $，与已知值一致。
• 复体积不变量 $ \mathrm{cvol} $ 定义良好，且不依赖于理想三角剖分的选择，仅依赖于离散忠实表示的共轭类。
• 该方法可直接从链图和着色数据计算复体积，无需显式构造理想三角剖分。
• 该方法生成的三角剖分可能包含非理想顶点和反向定向的四面体，与标准理想三角剖分不同。