[论文解读] Lecture notes on torsions

Pavel Mnëv|arXiv (Cornell University)|Jun 14, 2014

Mathematics and Applications参考文献 14被引用 12

一句话总结

本文提供了关于拓扑学中三种扭量的综合讲义笔记：Reidemeister 扭量、Whitehead 扭量和 Ray-Singer 分析扭量。它解释了它们的定义、相互关系及其应用——尤其是用于分类三维透镜空间，并通过 Chern-Simons 理论将扭量与量子场论联系起来。一个关键结果是，Ray-Singer 扭量被识别为曲面上平坦丛模空间的辛体积。

ABSTRACT

These are the lecture notes for the introductory course on Whitehead, Reidemeister and Ray-Singer torsions, given by the author at the University of Zurich in Spring semester 2014.

研究动机与目标

• 提供对代数与几何拓扑学中三种主要扭量——Reidemeister 扭量、Whitehead 扭量和分析扭量（Ray-Singer 扭量）的自包含引言。
• 解释这些扭量之间的概念与技术联系，特别是环变换过程与行列式线丛的作用。
• 说明扭量不变量如何区分同伦等价但不同胚的三维流形，特别是透镜空间。
• 将扭量与量子场论联系起来，展示其在 Chern-Simons 理论中作为高斯路径积分的出现及其与 1 量子圈划分函数的关系。
• 通过 Cheeger-Müller 定理与庞加莱对偶性，建立分析扭量与平坦丛模空间辛体积之间的联系。

提出的方法

• 采用 Milnor 的扭量定义，通过链复形的行列式线丛，强调其乘法性与链同伦不变性。
• 应用稳定自由模与链收缩理论，在链复形无扭的情况下定义扭量，将其与基的选择和内积联系起来。
• 将 Whitehead 扭量定义为同伦等价不能实现为单纯同伦等价的障碍，利用 CW 复形的初等扩张与坍缩。
• 通过从 Whitehead 扭量出发的环变换推导 Reidemeister 扭量，特别是在透镜空间的胞腔同调背景下。
• 通过 Hodge-de Rham 拉普拉斯算子在带平坦丛系数的 p-形式上的 zeta-正则化行列式构造分析扭量。
• 应用庞加莱对偶性与 Mayer-Vietoris 胶合方法，通过将曲面分解为裤形区域并利用容斥原理组合结果，计算曲面上的扭量。

实验结果

研究问题

• RQ1 Reidemeister 扭量、Whitehead 扭量与 Ray-Singer 分析扭量之间有何关系？这些关系背后的代数与几何机制是什么？
• RQ2 Whitehead 扭量在何种意义上是同伦等价可实现为单纯同伦等价的完全障碍？
• RQ3 分析扭量如何在 Chern-Simons 理论背景下自然地作为高斯路径积分出现？
• RQ4 Ray-Singer 扭量在平坦丛模空间的辛体积方面具有何种几何意义？
• RQ5 如何利用扭量不变量与 Peter-Weyl 定理，通过扭量计算曲面上 G-丛模空间的辛体积？

主要发现

• Reidemeister 扭量可完全分类三维透镜空间：$L(p,q_1)$ 与 $L(p,q_2)$ 同胚当且仅当 $q_1 q_2 \not\to \text{mod } p$ 或 $q_1 \to \text{mod } p$。
• Whitehead 扭量是有限 CW 复形之间同伦等价可被同伦于单纯同伦等价的完全障碍。
• Ray-Singer 分析扭量等于 Reidemeister 扭量，由 Cheeger-Müller 定理确立，从而连接了拓扑不变量与分析不变量。
• 对于亏格 $g \geq 2$ 的闭定向曲面 $\Sigma$，其 $SU(2)$-丛模空间的辛体积为 $\mathrm{Vol} = \frac{2}{(2\pi^2)^{g-1}} \sum_{n=1}^\infty \frac{1}{n^{2g-2}}$。
• 三维流形上分析扭量的平方根是平坦 $G$-丛模空间上的体积形式，可积分并与 Chern-Simons 理论关联。
• 在平坦 $SU(2)$-丛模空间上，线丛 $L^{\bigotimes k}$ 的全纯截面空间的维数由 Verlinde 公式给出，与辛体积渐近行为一致。