[论文解读] The Intersection R-Torsion for Finite Cone

Xianzhe Dai, Xiaoling Huang|arXiv (Cornell University)|Oct 22, 2014

Geometric and Algebraic Topology参考文献 29被引用 3

一句话总结

本文建立了有限锥体的交集R-挠率的公式，该公式以横截面上组合Laplacian的行列式表示，并引入了在偶维流形上使用Hodge Laplacian的类似解析不变量。关键贡献在于精确表达了拓扑挠率与谱数据之间的联系，其应用涵盖Mayer-Vietoris序列及共形变换下的度量变化。

ABSTRACT

We prove a formula for the intersection R-torsion of a finite cone and use it to introduce a family of spectral invariants which is closely related to Cheeger's half torsion.

研究动机与目标

• 通过有限锥体横截面上的组合Laplacian计算其交集R-挠率。
• 在偶维流形上使用Hodge Laplacian定义交集R-挠率的解析类比。
• 研究该解析不变量在度量形变（特别是共形变换）下的变化。
• 将交集上同调中的Mayer-Vietoris序列的R-挠率与对偶(M,Y)的相对上同调的R-挠率联系起来。
• 建立Mayer-Vietoris序列的R-挠率变为平凡或可通过截断的正合序列计算的条件。

提出的方法

• 将有限锥体$ X = C(Y) $的交集R-挠率$ I\tau^{\bar{p}}(X) $表示为横截面$ Y $上组合Laplacian $ \Delta_p^{(c)} $的行列式对数之和，系数依赖于perversity $ \bar{p} $。
• 通过将组合Laplacian替换为$ k $-形式上带有平坦向量丛$ E_\rho $系数的Hodge Laplacian $ \Delta_k $，引入解析不变量$ \ln T_p(Y,\rho) $。
• 推导$ \ln T_p(Y,\rho) $在单参数度量族$ g(u) $下的变化，涉及上同调投影算子的迹和热核展开中的常数项。
• 在Witt条件$ H^{m/2}(Y) = 0 $下，应用交集上同调中的Mayer-Vietoris序列，将锥体的挠率与对偶$ (M,Y) $的相对上同调联系起来。
• 利用热核的Hodge分解$ E_k = E_k^{ex} + E_k^{ce} + E_k^h $，在变化公式中分离出奇异部分。
• 使用分裂正合序列和优选基，通过基之间的过渡矩阵计算R-挠率，证明在等距条件下该挠率为零。

实验结果

研究问题

• RQ1 如何用横截面上的谱数据表示有限锥体的交集R-挠率？
• RQ2 偶维流形的交集R-挠率的解析类比是什么？其在度量变化下的行为如何？
• RQ3 在何种条件下，交集上同调中Mayer-Vietoris序列的R-挠率可简化为相对上同调序列的R-挠率？
• RQ4 解析挠率不变量$ \ln T_p(Y,\rho) $的变化如何依赖于度量形变，尤其是在共形情形下？
• RQ5 何时解析不变量$ \ln T_p(Y,\rho) $在局部上依赖于度量，Witt条件在此起何作用？

主要发现

• 有限锥体的交集R-挠率由下式给出：$ \ln I\tau^{\bar{p}}(X) = \sum_{p=0}^{n-p_n-1}(-1)^{p+1}p\ln\det\Delta_p^{(c)} + (n-p_n)\sum_{p=p_n}^{n-1}(-1)^{p+1}\ln\det\Delta_p^{(c)} $，明确将其与组合Laplacian的行列式联系起来。
• 解析不变量$ \ln T_p(Y,\rho) $被定义为Hodge Laplacian对数行列式的组合，对$ p=0 $情形推广了通常的解析挠率。
• 在度量变化下$ \ln T_p(Y,\rho) $的变化涉及上同调投影算子的迹和热核展开中的常数项，对$ p = m/2 $情形有清晰的局部公式。
• 当$ p = m/2 $时，变化变为局部形式：$ \frac{d}{du}\ln T_{m/2}(Y,\rho) = \frac{1}{2}\sum_{k=0}^{m/2-1}(-1)^{k+1}\operatorname{Tr}(P_{H^k}\alpha) + \frac{1}{2}\sum_{k=0}^{m/2-1}(-1)^{k+1}\operatorname{LIM}_{t\to 0}\operatorname{Tr}(e^{-t\Delta_k}\alpha) $。
• 在Witt条件$ H^{m/2}(Y) = 0 $下，交集上同调中Mayer-Vietoris序列的R-挠率等于截断相对上同调序列的R-挠率。
• 当投影和包含映射在等距意义下保持优选基时，分裂正合序列的R-挠率为零，此结论通过过渡矩阵（对角线元素为1）得以证明。