[论文解读] Gluing Formula for Refined Analytic Torsion

Boris Vertman|ArXiv.org|Aug 4, 2008

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

一句话总结

本文在奇数维闭流形沿超曲面分裂的背景下，通过结合 eta-不变量分裂、上同调长正合列与Cheeger-Müller定理，建立了精细解析 torsion 的粘合公式。关键结果将整个流形的精细解析 torsion 表示为各部分 torsion 的乘积，其中包含一个涉及 Maslov 三重指标和 eta 不变量中误差项的修正因子，该公式在酉表示及邻近粘合超曲面处为乘积度量结构时成立。

ABSTRACT

In the previous article "Refined Analytic Torsion on Manifolds with Boundary" we have presented a construction of refined analytic torsion in the spirit of Braverman and Kappeler, which does apply to compact manifolds with and without boundary. We now derive a gluing formula for our construction, which can be viewed as a gluing law for the original definition of refined analytic torsion by Braverman and Kappeler. A gluing formula allows to compute the torsion invariant by cutting the manifold into elementary pieces and performing computations on each component. Certainly, the general fact of existence of such gluing formulas is remarkable from the analytic point of view, since the secondary spectral invariants are uppermost non-local.

研究动机与目标

• 推导紧致带边流形背景下精细解析 torsion 的粘合公式。
• 通过分析带边流形上的长正合上同调序列与庞加莱对偶性，建立精细 torsion 的分裂定律。
• 提供一个推广原始 Braverman-Kappeler 定义的精细解析 torsion 的粘合公式。
• 通过引入组合 torsion 和 Maslov 指标修正项，改进标量解析 torsion 的粘合公式。
• 通过构建适用于酉表示的行列式线之间新同构，避免依赖 Vishik 的粘合公式。

提出的方法

• 利用 [KL] 的结果，推导奇符号算子偶部的 eta-不变量的分裂公式。
• 通过详细分析带边流形上的长正合上同调序列与庞加莱对偶性，建立 $\rho_{[0,\lambda]}$ 在 $\lambda=0$ 特殊情况下的分裂公式。
• 应用 Cheeger-Müller 定理，关联分析 torsion 与组合 torsion，从而实现粘合公式的推导。
• 使用一种新行列式线之间的同构，避免依赖 Vishik 公式，特别适用于酉表示。
• 在最终的粘合公式中引入 Maslov 三重指标 $\tau_\mu$ 和误差项 $\text{Err}\eta(\mathcal{B}_{\text{even}})$。
• 假设在粘合超曲面 $N$ 附近具有乘积度量与丛结构，以确保与狄拉克型算子已知分裂定理的相容性。

实验结果

研究问题

• RQ1 如何为紧致奇数维带边流形推导精细解析 torsion 的粘合公式？
• RQ2 连接分裂流形的精细解析 torsion 与各部分 torsion 的精确修正因子是什么？
• RQ3 Maslov 三重指标与 eta-不变量误差项如何贡献于精细解析 torsion 的粘合公式？
• RQ4 能否在不依赖 Vishik 结果的前提下建立粘合公式，尤其适用于非平凡酉表示？
• RQ5 在粘合下，精细解析 torsion 如何与组合 torsion 和标量解析 torsion 相关联？

主要发现

• 全流形 $M$ 的精细解析 torsion 通过一个典范同构 $\Omega$ 与 $M_1$ 和 $M_2$ 上 torsion 的乘积相关联，修正因子为 $K(M,M_1,M_2,\rho) = 2^{\chi(N)} \exp(i\phi)$，其中 $\phi = \pi(\text{sign} - \text{Err}\eta(\mathcal{B}_{\text{even}}))$。
• 误差项 $\text{Err}\eta(\mathcal{B}_{\text{even}})$ 明确表示为 $\tau_\mu(I-P_1,P,P_1) + \frac{m-1}{2}(\dim\ker\mathcal{B}^1_{\text{even}} + \dim\ker\mathcal{B}^2_{\text{even}} - \dim\ker\mathcal{B}_{\text{even}})$，包含 Maslov 三重指标与核维数。
• 在平坦 Hermitian 度量（即酉表示）的假设下，精细解析 torsion 的粘合公式成立，确保与带边流形上 Cheeger-Müller 定理的相容性。
• 对 Lee 关于标量解析 torsion 结果的改进为：$\frac{T^{RS}(M,E)}{T^{RS}_{\text{rel}}(M_1,E) \cdot T^{RS}_{\text{abs}}(M_2,E)} = \tau(\mathcal{H})^{-1} \cdot 2^{\chi(N)/2}$，其中 $\tau(\mathcal{H})$ 为长正合上同调序列的 torsion。
• 推导出的精细解析 torsion 粘合公式被证明与原始 Braverman-Kappeler 定义等价，将其适用范围扩展至带边流形。
• 修正因子 $K(M,M_1,M_2,\rho)$ 同时包含拓扑（Euler 示性数）与谱（eta-不变量）数据，反映了次不变量的非局部性质。