[论文解读] Reidemeister torsion and analytic torsion of discs

Luiz Hartmann, Thiago de Melo+1 more|arXiv (Cornell University)|Nov 19, 2008

Topological and Geometric Data Analysis参考文献 21被引用 9

一句话总结

本文计算了欧几里得空间中 m 维圆盘及其球面锥体的 Reidemeister torsion 与解析 torsion，采用 Ray-Singer torsion 及带绝对/相对边界条件的解析 torsion。证明了 Reidemeister torsion 等于圆盘体积的幂次，并推导出带边界修正项的解析 torsion 显式公式，通过 Brüning-Ma 公式识别出一项新异常项，其结果与 Dai-Fang 的结论不同。

ABSTRACT

We study the Reidemeister torsion and the analytic torsion of the $m$ dimensional disc in the Euclidean $m$ dimensional space, using the base for the homology defined by Ray and Singer in \cite{RS}. We prove that the Reidemeister torsion coincides with a power of the volume of the disc. We study the additional terms arising in the analytic torsion due to the boundary, using generalizations of the Cheeger-Müller theorem. We use a formula proved by Brüning and Ma \cite{BM}, that predicts a new anomaly boundary term beside the known term proportional to the Euler characteristic of the boundary \cite{Luc}. Some of our results extend to the case of the cone over a sphere, in particular we evaluate directly the analytic torsion for a cone over the circle and over the two sphere. We compare the results obtained in the low dimensional cases. We also consider a different formula for the boundary term given by Dai and Fang \cite{DF}, and we show that the result obtained using this formula is inconsistent with the direct calculation of the analytic torsion.

研究动机与目标

• 计算欧几里得空间中带标准度量的 m 维圆盘的 Reidemeister torsion 与解析 torsion。
• 分析解析 torsion 中的边界贡献，特别是超出欧拉特征标项的异常项。
• 比较两种不同边界修正公式的计算结果：Brüning-Ma 公式与 Dai-Fang 公式。
• 将分析扩展至球面的度量锥体，包括对 S¹ 与 S² 锥体的显式计算。
• 通过与已知低维情形的直接比较，验证解析 torsion 计算的一致性。

提出的方法

• 使用 Ray-Singer 的几何 torsion 作为连接拓扑 Reidemeister torsion 与解析 torsion 的桥梁。
• 在 Cheeger-Müller 定理框架下，通过 Brüning-Ma 公式对带边流形的边界修正进行处理。
• 利用 Hodge 拉普拉斯算子在 L²-形式上的谱 zeta 函数，实现 zeta 正则化的解析 torsion。
• 运用锥奇点上的 Hodge 理论，借鉴 Cheeger 的工作，定义在锥顶点附近的 L²-形式上的拉普拉斯算子。
• 通过 zeta 函数的级数展开与解析延拓，推导出对数解析 torsion 的显式表达式。
• 对 S¹ 与 S² 为底的锥体直接计算解析 torsion，通过极限过程与圆盘情形进行比较。

实验结果

研究问题

• RQ1 m 维圆盘的 Reidemeister torsion 是否等于其体积的幂次？
• RQ2 带绝对边界条件的 m 维圆盘的解析 torsion 的精确形式为何？
• RQ3 当使用 Brüning-Ma 公式与 Dai-Fang 公式时，解析 torsion 的边界贡献有何不同？
• RQ4 球面锥体的解析 torsion 是否可显式计算？其在极限下是否退化为圆盘情形？
• RQ5 Brüning-Ma 公式预测的边界项是否与锥体上解析 torsion 的直接计算结果一致？

主要发现

• m 维圆盘 $D^m_l$ 的 Reidemeister torsion 等于 $\left(\sqrt{\mathrm{Vol}_{g_E}(D^m_l)}\right)^{\mathrm{rk}(\rho)}$，证明了其与体积的直接依赖关系。
• 对于奇维圆盘 $D^{2p-1}_l$，解析 torsion 满足 $\log T_{\rm abs} = \frac{1}{2}\mathrm{rk}(\rho)\log \mathrm{Vol} + \frac{1}{2}\mathrm{rk}(\rho)\log 2 + \frac{1}{4}\mathrm{rk}(\rho)\sum_{n=1}^{p-1}\frac{1}{n}$。
• 对于偶维圆盘 $D^{2p}_l$，解析 torsion 满足 $\log T_{\rm abs} = \frac{1}{2}\mathrm{rk}(\rho)\log \mathrm{Vol} + \frac{p}{2}\mathrm{rk}(\rho)\sum_{n=1}^{p}\frac{1}{2n-1}$。
• 锥体 $C_{\pi/2}S^2_{l}$ 的解析 torsion 为 $\frac{1}{2}\log\frac{4\pi l^3}{3} + \frac{1}{2}\log 2 + \frac{1}{4}$，与三维圆盘情形一致。
• Dai-Fang 公式预测的边界项与直接解析 torsion 计算结果不一致，而 Brüning-Ma 公式的结果则保持一致。
• 在欧拉特征标项之外，解析 torsion 中出现了一项新的异常项，该结果通过显式 zeta 正则化与级数求值得到确认。