[论文解读] Comparison of the refined analytic and the Burghelea-Haller torsions

Maxim Braverman, Thomas Kappeler|ArXiv.org|Jun 16, 2006

Advanced Operator Algebra Research参考文献 11被引用 4

一句话总结

该论文在配备非退化对称双线性形式的奇维闭流形上的平坦向量丛上，建立了精细解析 torsion 与 Burghelea-Haller torsion 之间的深度等价关系。证明了在上同调的行列式线丛上，Burghelea-Haller 的二次型等于 ± 精细解析 torsion，后者通过 η-不变量和 Ray-Singer 度量定义，从而将解析 torsion 与拓扑 torsion 不变量联系起来，并支持了 Burghelea-Haller 猜想的弱版本。

ABSTRACT

The refined analytic torsion associated to a flat vector bundle over a closed odd-dimensional manifold canonically defines a quadratic form $τ$ on the determinant line of the cohomology. Both $τ$ and the Burghelea-Haller torsion are refinements of the Ray-Singer torsion. We show that whenever the Burghelea-Haller torsion is defined it is equal to $\pmτ$. As an application we obtain new results about the Burghelea-Haller torsion. In particular, we prove a weak version of the Burghelea-Haller conjecture relating their torsion with the square of the Farber-Turaev combinatorial torsion.

研究动机与目标

• 在奇维流形上的平坦向量丛背景下，建立精细解析 torsion 与 Burghelea-Haller torsion 之间的确切关系。
• 通过证明在适当条件下，Burghelea-Haller torsion 等于 ± 精细解析 torsion，解决分析 torsion 与组合 torsion 之间关键的猜想性联系。
• 为 η-不变量及其在精细解析 torsion 的精炼中的作用提供新见解，将 Cheeger-Müller 定理推广至精炼情形。
• 证明 Burghelea-Haller 猜想的弱版本，将其 torsion 与 Farber-Turaev 组合 torsion 的平方联系起来。

提出的方法

• 精细解析 torsion 被构造为上同调行列式线丛中的非零元素，其依赖于平坦联络，并通过 η-不变量与 Ray-Singer 度量编码信息。
• 在行列式线丛上定义了一个二次型 τ，使用 η-不变量之差 η(∇) − rank(E)·η_trivial，以捕捉精细解析 torsion 的相位。
• Burghelea-Haller torsion τ^BH 被构造为行列式线丛上的全纯二次型，依赖于对称双线性形式 b 和平坦联络 ∇。
• 通过证明 τ 与 τ^BH 均关于 ∇ 全纯，且在行列式线丛上相差一个符号，利用解析延拓与路径变形下的不变性完成比较。
• 该证明依赖于精细解析 torsion 的相位由 η-不变量决定，而 Burghelea-Haller 形式则通过 Kamber-Tondeur 形式与一个闭的 (d−1)-形式 α 定义。
• 关键步骤在于证明沿平坦联络路径，τ 的相位导数与 τ^BH 的相位导数一致，从而推出其比值为常数，故为 ±1。

实验结果

研究问题

• RQ1 在具有平坦丛且配备对称双线性形式的奇维流形上，Burghelea-Haller torsion 是否与精细解析 torsion 相差一个符号？
• RQ2 奇数维符号算子的 η-不变量如何与精细解析 torsion 在行列式线丛中的相位相关联？
• RQ3 Burghelea-Haller torsion 是否可被解释为 Ray-Singer torsion 的精炼，如同精细解析 torsion 一样？
• RQ4 Burghelea-Haller torsion 是否存在与 Farber-Turaev 组合 torsion 一致的拓扑解释？
• RQ5 精细解析 torsion 的相位与连接变化的迹的上同调类之间的确切关系为何？

主要发现

• 当平坦丛 E 上存在非退化对称双线性形式 b 时，在奇维闭流形上，Burghelea-Haller torsion τ^BH_b,∇ 等于 ± 精细解析 torsion τ_∇。
• 精细解析 torsion 的相位由 η-不变量之差 η(∇) − rank(E)·η_trivial 决定，这与 Burghelea-Haller 形式的相位一致。
• 二次型 τ_∇ 关于平坦联络 ∇ 全纯，且其在 ρ_an(∇) 上的取值为 exp(−2πi(η(∇) − rank(E)·η_trivial))。
• 在平坦联络空间的每个连通分支上，Farber-Turaev torsion 与精细解析 torsion 的比值为常数，且该常数仅依赖于该分支。
• 证明表明，Farber-Turaev torsion 的平方的相位与精细解析 torsion 的相位一致，仅相差一个涉及 Euler 结构的 Euler 类的修正项。
• 该结果证实了 Burghelea-Haller 猜想的弱版本，表明 τ^BH_b,∇ 与 Farber-Turaev torsion 的平方成比例，比例因子为依赖于 Euler 结构的相位因子。