[论文解读] A combinatorial invariant for Spherical CR structures

Elisha Falbel, Qingxue Wang|arXiv (Cornell University)|Jul 29, 2010

Mathematics and Applications参考文献 15被引用 5

一句话总结

本文通过从点配置到预-Bloch群的同态，利用 $S^3$ 中四个一般点的交比，为三维球面CR流形构造了一个取值于 $¯{\mathcal{P}}(\mathbb{C})$ 的不变量。当该不变量属于由交叉比生成的数域 $k$ 的Bloch群 $\mathcal{B}(k)$ 时，可通过Bloch调节子得到Chern-Simons不变量；对于Whitehead链环补集，该不变量是 $\mathcal{B}(k)$ 中的一个非平凡3阶挠元，展示了球面CR几何中一种新颖的挠不变量。

ABSTRACT

We study a cross-ratio of four generic points of $S^3$ which comes from spherical CR geometry. We construct a homomorphism from a certain group generated by generic configurations of four points in $S^3$ to the pre-Bloch group $\mathcal {P}(\C)$. If $M$ is a $3$-dimensional spherical CR manifold with a CR triangulation, by our homomorphism, we get a $\mathcal {P}(\C)$-valued invariant for $M$. We show that when applying to it the Bloch-Wigner function, it is zero. Under some conditions on $M$, we show the invariant lies in the Bloch group $\mathcal B(k)$, where $k$ is the field generated by the cross-ratio. For a CR triangulation of Whitehead link complement, we show its invariant is a non-trivial torsion in $\mathcal B(k)$.

研究动机与目标

• 通过 $S^3$ 中四个一般点的交比，为球面CR结构的三维流形定义一个组合不变量。
• 从 $S^3$ 中一般四元组配置群到预-Bloch群 $\mathcal{P}(\mathbb{C})$ 构造一个同态。
• 证明该不变量与CR三角剖分无关，并在Bloch-Wigner双对数函数下消失。
• 确定该不变量属于Bloch群 $\mathcal{B}(k)$ 的条件，其中 $k$ 是由交比生成的域。
• 显式计算Whitehead链环补集的不变量，并证明其为 $\mathcal{B}(k)$ 中的非平凡3阶挠元。

提出的方法

• 利用 $S^3$ 中四点的交比，从 $S^3$ 中一般四元组群到预-Bloch群 $\mathcal{P}(\mathbb{C})$ 定义一个同态。
• 通过在单纯形上求和，为具有CR三角剖分的三维流形 $M$ 构造一个取值于 $\mathcal{P}(\mathbb{C})$ 的不变量 $[M]$。
• 对不变量应用Bloch-Wigner双对数函数，并证明其消失，从而确认其拓扑一致性。
• 在Holonomy属于数域或边界Holonomy为单峰的情况下，证明不变量属于 $\mathcal{B}(k)$，其中 $k$ 是由交比生成的域。
• 利用 $\mathcal{P}(F)$ 中的代数恒等式，包括五项关系和 $2([z] + [z^{-1}]) = 0$，简化不变量表达式。
• 通过四个具有给定交比的理想CR单纯形，显式计算Whitehead链环补集的不变量，证明其在 $\mathcal{P}(F)$ 中等于 $4[\frac{1}{2}]$。

实验结果

研究问题

• RQ1 能否基于 $S^3$ 中四点配置的交比，为球面CR三维流形构造一个取值于预-Bloch群的组合不变量？
• RQ2 该不变量在相同流形的不同CR三角剖分下是否保持不变？
• RQ3 在何种条件下，该不变量属于Bloch群 $\mathcal{B}(k)$ 而非仅属于预-Bloch群？
• RQ4 对于已知例子（如Whitehead链环补集），该不变量在Bloch群中是否非平凡？
• RQ5 此类不变量能否检测Bloch群中的挠元？这对Chern-Simons不变量有何意义？

主要发现

• Whitehead链环补集的不变量在 $\mathcal{P}(F)$ 中为 $4[\frac{1}{2}]$，其中 $F = \mathbb{Q}(\sqrt{-15})$，且该元素属于 $\mathcal{B}(F)$。
• 不变量 $\beta(W)$ 是 $\mathcal{B}(F)$ 中的非平凡3阶挠元，因其满足 $3\beta(W) = 0$ 且 $\beta(W) \neq 0$。
• 该不变量在Bloch-Wigner双对数函数下消失，证实其与拓扑不变性一致。
• 由于 $\beta(W)$ 是挠元且 $\mathcal{B}(\mathbb{C})$ 无挠，Whitehead链环补集的Chern-Simons不变量为零。
• 该不变量与CR三角剖分无关，因其通过从配置复形到 $\mathcal{P}(\mathbb{C})$ 的同态定义。