[论文解读] An extension of the Cheeger-Müller theorem for a cone

Luiz Hartmann, Mauro Spreafico|arXiv (Cornell University)|Aug 18, 2010

Functional Equations Stability Results参考文献 27被引用 5

一句话总结

本文将切赫-米勒定理推广至奇维紧致定向黎曼流形上的偶维有限度量锥。它建立了 $L^2$-解析 torsion 与交集 Reidemeister torsion 之间的相等性，引入了异常边界项 $A_{\rm BM,abs}(W)$，通过自对偶性与锥结构上调和形式及基变换的显式计算实现。

ABSTRACT

We prove the equality of the $L^2$-analytic torsion and the intersection R torsion of the even dimensional finite metric cone over an odd dimensional compact manifold.

研究动机与目标

• 将切赫-米勒定理推广至具有锥奇点的空间，特别是奇维紧致流形上的有限度量锥。
• 在这些锥上建立 $L^2$-解析 torsion 与交集 Reidemeister torsion 之间的对应关系，以精化不变量替代标准 Reidemeister torsion。
• 引入由锥奇点引起的异常边界项 $A_{\rm BM,abs}(W)$，推广经典边界修正的切赫-米勒恒等式。
• 通过 $L^2$-调和形式与德拉姆映射，为分层空间上的 torsion 不变量提供几何与拓扑框架。
• 为未来通过锥奇点的粘合公式将切赫-米勒定理推广至伪流形奠定基础。

提出的方法

• 利用奇维紧致流形 $W$ 上的锥结构 $CW$，其度量由 $W$ 上的 $g$ 固定诱导。
• 应用 $L^2$-上同调与 $L^2$-调和形式，定义德拉姆映射，并为交集同调构造规范基。
• 通过锥上绝对与相对边界条件之间的对偶性，显式对径向坐标进行积分，关联调和形式及其范数。
• 通过径向缩放 $l$ 计算德拉姆基与 $L^2$-调和基之间的基变换行列式，得到 $\left(\frac{l}{2p-2q}\right)^{r_q/2}$ 因子。
• 利用交集 torsion 的对偶公式（命题 4.1）与锥的粘合结构，推导最终的 torsion 恒等式。
• 依赖于锥上解析 torsion 的已知公式（定理 2.1），并将其与交集 torsion 的对偶性结合，证明主要结果。

实验结果

研究问题

• RQ1 切赫-米勒定理是否可推广至奇维紧致流形上的有限度量锥？在标准 torsion 不变量因奇点而失效的情况下，是否仍成立？
• RQ2 能否将通过 $L^2$-调和形式与德拉姆映射定义的交集 Reidemeister torsion，与该锥上的 $L^2$-解析 torsion 相等？
• RQ3 在锥奇点存在下，边界异常项 $A_{\rm BM,abs}(W)$ 的精确形式为何？
• RQ4 锥上绝对与相对 torsion 之间的对偶性如何与 $L^2$-调和形式及其范数的结构相关联？
• RQ5 该结果能否作为通向具有锥奇点的伪流形上一般切赫-米勒定理的奠基性步骤？

主要发现

• $L^2$-解析 torsion $T_{\rm abs}(CW)$ 与交集 Reidemeister torsion $I\tau_{\rm R}(CW)$ 之间满足：$\log T_{\rm abs}(CW) = \log I\tau_{\rm R}(CW) + A_{\rm BM,abs}(W)$，即相差一个异常边界项。
• 对于相对情形，有 $\log T_{\rm rel}(CW) = \log I\tau_{\rm R}(CW,\partial CW) + A_{\rm BM,rel}(W)$，具有相同的异常项结构。
• 在 $I^\mathsf{m}H_q(C_lW)$ 上，德拉姆基与 $L^2$-调和基之间的基变换行列式为 $\left(\frac{l}{2p-2q}\right)^{r_q/2}$，该结果参与 torsion 的计算。
• 由于 $W$ 的奇维性与 $I^{\mathsf{m}^c}$-torsion 的性质，对偶公式 $\log I\tau_{\rm R}(C_lW) = -\log I\tau_{\rm R}(C_lW,\partial C_lW)$ 成立。
• 交集 torsion 通过复形 $\mathcal{T}^{\mathsf{m}}_{2p-1}$ 计算，得到 $\log I\tau_{\rm R} = \frac{1}{2}\log\tau_{\rm R}(\partial C_lW, l^2g) + \frac{1}{2}\sum_{q=0}^{p-1}(-1)^q \log\left(\frac{l}{2p-2q}\right)^{r_q}$。
• 结果表明，锥的欧拉基与德拉姆基除以 $L^2$-解析 torsion 的商一致，与 Ray-Singer 度量及交集 Reidemeister 度量相容。