[论文解读] Quaternionic analytic torsion

Kai Köhler, Gregor Weingart|ArXiv.org|May 11, 2001

Algebraic and Geometric Analysis参考文献 15被引用 4

一句话总结

本文引入了在四元数凯勒流形上的反自对偶向量丛的等变四元数解析 torsion，通过作用于 Salamon 复形上的 Dirac 算子的平方来定义。关键贡献是针对紧致型四元数齐次空间，以根、权和 Weyl 群不变量表达的闭式计算，其结构与埃尔米特对称空间上的全纯 torsion 相似。

ABSTRACT

We define an (equivariant) quaternionic analytic torsion for antiselfdual vector bundles on quaternionic Kaehler manifolds, using ideas by Leung and Yi. We compute this torsion for vector bundles on quaternionic homogeneous spaces with respect to any isometry in the component of the identity, in terms of roots and Weyl groups.

研究动机与目标

• 为四元数凯勒流形定义一个有意义的解析 torsion 不变量，因为在缺乏四元数可微性自然概念的情况下，传统复分析工具失效。
• 通过 Salamon 复形上的 Dirac 算子分解，将解析 torsion 理论从实和全纯情形扩展至四元数领域。
• 显式计算所有已知正曲率四元数齐次空间的等变 torsion，以根系和 Weyl 群作用给出具体公式。
• 建立四元数 torsion 与全纯 torsion 之间的结构相似性，暗示更深层的几何与算术联系。
• 为未来在算术几何中的应用奠定基础，包括对所有 Chevalley 李群概形的 Jantzen 和公式可能的证明。

提出的方法

• 将四元数解析 torsion 定义为与 Salamon 的 Z-分次微分形式复形（系数取自反自对偶丛）上 Dirac 算子平方相关的 Laplace 算子的 zeta-正则化行列式。
• 利用分解 $ TM \otimes \mathbb{C} \cong H \otimes E $，对复形 $ 0 \to \mathrm{Sym}^k H \otimes \mathcal{W} \xrightarrow{d} \mathrm{Sym}^{k+1} H \otimes \Lambda^{1,0} E^* \otimes \mathcal{W} \to \cdots \to 0 $ 上的 Dirac 算子作用进行分解。
• 利用最高权 $ \lambda $、Weyl 群 $ W $ 和正根 $ \Psi_0^+ $ 的表示论技术，将 torsion 表示为根系与 Weyl 群轨道上的求和。
• 对 $ \Gamma^\infty(M, \Lambda^q T^{*(0,1)}M \otimes \mathcal{W}) $ 上的 Laplace 算子 $ \square_q $ 应用 zeta 函数正则化，定义 $ \zeta_q(s) = \mathrm{Tr}(\square_q^{-s} P^\perp) $，并计算其在 $ s=0 $ 处的导数。
• 在超凯勒情形下，通过 $ T^k(M,\mathcal{W}) = T^0(M,\mathcal{W}) + k T_{\bar{\partial}}(M,\mathcal{W}) $ 将四元数 torsion 与 Dolbeault 复形联系起来，其中 $ T_{\bar{\partial}} $ 为全纯 torsion。
• 利用特征和 $ \chi_\rho $、范数 $ \|\alpha\|^2 $ 及与共特征标配对 $ \langle \cdot, \cdot \rangle $，特别针对对称空间推导出 torsion 的显式公式。

实验结果

研究问题

• RQ1 在缺乏自然四元数可微性概念的情况下，能否为四元数凯勒流形定义一致的解析 torsion？
• RQ2 四元数解析 torsion 在紧致型对称空间上的行为如何？能否以李理论数据显式计算？
• RQ3 四元数 torsion 的结构是否与埃尔米特对称空间上的全纯 torsion 相似？这暗示了何种更深层的几何或算术关系？
• RQ4 能否将 torsion 与 twistor 空间上的已知不变量（如全纯 torsion）联系起来？这对算术几何有何影响？
• RQ5 在超凯勒流形上 torsion 的行为有何含义，特别是与 Calabi-Yau 流形和平坦环面例子的关系？

主要发现

• 四元数解析 torsion 对所有紧致四元数齐次空间显式计算为正根与 Weyl 群轨道上的求和，涉及特征和 $ \chi_\rho $、根范数 $ \|\alpha\|^2 $ 及与共特征标的配对。
• 在超凯勒情形下，torsion 退化为全纯 torsion $ T_{\bar{\partial}}(M,\mathcal{W}) $ 与 $ k $ 的线性项的组合，即 $ T^k(M,\mathcal{W}) = T^0(M,\mathcal{W}) + k T_{\bar{\partial}}(M,\mathcal{W}) $，直接将其与复几何联系起来。
• 在 $ K_X \cong \mathcal{O} $ 的 Calabi-Yau 流形上，当 $ \mathcal{W} = \mathcal{W}^* $ 时，torsion $ T^k(M,\mathcal{W}) $ 与 $ k $ 无关，且当 $ n=1 $ 时，若 $ \mathcal{W} = \mathcal{O} $，则 torsion 恒为零。
• 对于平坦环面 $ M = V/\Lambda $，当 $ n > 1 $ 时，torsion $ T^k(M,\mathcal{O}) $ 恒为零；当 $ n=1 $ 时，其在 $ s=0 $ 处等于 $ 2 \sum_{\mu \in \Lambda^\vee \setminus \{0\}} \|\mu\|^{-2s} $，显示出与 zeta-正则化行列式的直接联系。
• torsion 的公式与埃尔米特对称空间上全纯 torsion 的结构形式相同，暗示了在不同几何设定下存在普遍模式。
• torsion 满足对偶性 $ T^k(M,\mathcal{W}) = T^{-4n-k-1}(M,\mathcal{W}^*) $，表明其具有全纯情形中不存在的非平凡对称性。