[论文解读] Torsion Invariants for Families

Sebastian Goette|arXiv (Cornell University)|Apr 18, 2008

Advanced Operator Algebra Research参考文献 44被引用 18

一句话总结

本文在光滑流形族与平坦向量丛的背景下，全面概述了高阶 torsion 不变量——Bismut-Lott、Igusa-Klein 和 Dwyer-Weiss-Williams torsion——的研究。它建立了分析 torsion 形式与拓扑 torsion 不变量之间的深刻联系，表明 Bismut-Lott torsion 与 Igusa-Klein torsion 在特征类构成的修正项下一致，并确认其在区分纤维丛上非微分同胚但同胚的光滑结构中的作用。

ABSTRACT

We give an overview over the higher torsion invariants of Bismut-Lott, Igusa-Klein and Dwyer-Weiss-Williams, including some more or less recent developments.

研究动机与目标

• 统一并比较三种主要的高阶 torsion 不变量构造：Bismut-Lott、Igusa-Klein 和 Dwyer-Weiss-Williams torsion。
• 阐明在流形族中，分析 torsion 形式（Bismut-Lott）与拓扑 torsion 不变量（Igusa-Klein）之间的关系。
• 建立 Bismut-Lott torsion 与 Igusa-Klein torsion 在模上同调形式与特征类下一致的结论，特别是在存在纤维化 Morse 函数时。
• 探讨高阶 torsion 在区分同胚但非微分同胚的纤维丛光滑结构中的作用，如 Hatcher 的例子所示。
• 研究 Bismut-Lebeau 的拟椭圆 torsion 与 Igusa 的公理化框架之间的相容性，及其与 Bismut-Lott torsion 的关系。

提出的方法

• 通过总空间上具有受控奇点的 Morse 函数，将高阶 Franz-Reidemeister torsion 构造为从底空间 $ B $ 到分类空间 $ Wh^h(M_r(\mathbb{C}), U(r)) $ 的同伦类映射。
• 通过总空间上一族椭圆微分算子的热核的超迹，将 Bismut-Lott 分析 torsion 定义为 $ \Omega^{\text{even}}(B) $ 中的微分形式。
• 应用改进的 Grothendieck-Riemann-Roch 定理，将平坦丛 $ F $ 的特征类与纤维上同调丛 $ H(E/B;F) $ 的特征类联系起来。
• 利用拟椭圆拉普拉斯算子 $ \mathfrak{A}_{b,t,\pm} $，定义 Bismut-Lebeau torsion 形式 $ \mathcal{T}_{b,\pm} $，其在椭圆与测地线流极限之间插值。
• 将 Bismut-Lebeau torsion $ \mathcal{T}_{b,\pm} $ 与 Bismut-Lott torsion $ \mathcal{T} $ 及 Igusa-Klein torsion $ \tau $ 进行比较，表明其在涉及 $ \mathrm{ch}^o $ 与 Miller-Morita-Mumford 类的修正项下一致。
• 利用 Igusa 的公理化框架，证明光滑范畴中 Dwyer-Weiss-Williams torsion 的类映射与 Igusa-Klein torsion 相同，确认了不同构造之间的一致性。

实验结果

研究问题

• RQ1 在具有平坦向量丛的流形族中，Bismut-Lott 分析 torsion 与 Igusa-Klein 拓扑 torsion 之间有何关系？
• RQ2 高阶 torsion 不变量在多大程度上能检测到如 Hatcher 例子中所示的同胚但非微分同胚的光滑结构？
• RQ3 Bismut-Lebeau 拟椭圆 torsion 能否通过公理化框架或显式公式与 Igusa-Klein torsion 相容？
• RQ4 在光滑范畴中，Bismut-Lott torsion 与 Dwyer-Weiss-Williams torsion 之间的确切关系是什么？
• RQ5 在 $ \mathcal{T}_{b,\pm} $ 与 $ \mathcal{T} $ 的关系中，如 $ \widetilde{\mathrm{ch}}{}^o $ 与 $ \operatorname{tr}_{E/B}^*\,{}^0\!J(TM) $ 这类修正项是否具有内在的几何或拓扑意义？

主要发现

• Bismut-Lott torsion $ \mathcal{T}(E/B;F) $ 与 Igusa-Klein torsion $ \tau(E/B;F) $ 在 $ B $ 上模上同调形式下一致，其差异由特征类 $ \mathrm{ch}^o $ 与 Miller-Morita-Mumford 类捕捉。
• 当 $ b>0 $ 较小时，Bismut-Lebeau torsion $ \mathcal{T}_{b,\pm} $ 满足类似于改进的 Grothendieck-Riemann-Roch 定理的变分公式，其异常项涉及 $ \mathrm{ch}^o(H^\bullet_\pm(E/B;F), \mathfrak{h}_b^{H_\pm}) $。
• 当 $ F $ 为正则且存在纤维化 Morse 函数时，有 $ \mathcal{T}_{b,-}(T^HE, g^{TM}, g^F) = (-1)^n \tau(E/B;F) $ 模上同调形式，确认了此情形下的一致性。
• Bismut-Lebeau torsion $ \mathcal{T}_{b,\pm} $ 与 Bismut-Lott torsion 的关系为 $ \mathcal{T}_{b,\pm} = (\pm 1)^n \mathcal{T} \mp \widetilde{\mathrm{ch}}{}^o(H_\pm(E/B;F), g^{H}_{L^2}, \mathfrak{h}_b^{H_\pm}) \pm \operatorname{tr}_{E/B}^*\,{}^0\!J(TM)\,\operatorname{rk}F $，模上同调形式。
• 光滑范畴中的 Dwyer-Weiss-Williams torsion 提升为与 Igusa-Klein torsion 相同的分类映射，确认了不同构造之间的一致性。
• Bismut-Lebeau torsion $ \mathcal{T}_{b,\pm} $ 本身并非先验地预期为 Igusa 意义下的高阶 torsion 不变量，但其结构与定理 5.7 中的类线性组合一致，暗示了更深层次的相容性。