[论文解读] The spectral theory of generalized Laplacians associated to integrable metrics on compact Riemann surfaces

Mounir Hajli|arXiv (Cornell University)|Jan 9, 2013

Geometry and complex manifolds参考文献 7被引用 4

一句话总结

该论文将广义拉普拉斯算子的谱理论扩展至紧黎曼曲面上的可积度量，构造了一个具有离散、正定谱的奇异拉普拉斯算子 Δ_{X,∞}，并证明其 zeta 函数在 s=0 处允许全纯解析延拓。作者通过 ζ′_{Δ_{X,∞}}(0) 定义全纯分析 torsion，并证明其与光滑逼近度量下 torsion 的极限一致，从而在阿莱克谢罗夫几何中将雷-辛格分析 torsion 推广至奇异度量。

ABSTRACT

We extend the spectral theory of generalized Laplacians to integrable metrics on compact Riemann surfaces. As a consequence, we attach in a direct way, a holomorphic analytic torsion to any integrable metrics. We also provide a different approach to define the holomorphic analytic torsion. We prove that both approaches agree.

研究动机与目标

• 将经典拉普拉斯算子的谱理论扩展至紧黎曼曲面上的可积度量，这些度量是奇异的，且不满足标准光滑度量假设。
• 通过广义拉普拉斯算子 Δ_{X,∞} 的 zeta 函数，直接为可积度量定义全纯分析 torsion。
• 建立通过 Δ_{X,∞} 定义的分析 torsion 与光滑度量逼近序列对应 torsion 极限之间的等价性。
• 在阿莱克谢罗夫几何中，为 P^1 上的典范度量（作为环面概形）提供一种新的、直接的分析 torsion 构造方法。

提出的方法

• 在紧黎曼曲面 X 上的光滑函数 A^{(0,0)}(X) 上构造与可积度量 h_{X,∞} 相关的奇异拉普拉斯算子 Δ_{X,∞}。
• 证明 Δ_{X,∞} 是稠密定义的、对称的，并在希尔伯特空间 H_2(X) 上存在最大正定自伴扩张。
• 定义 zeta 函数 ζ_{Δ_{X,∞}}(s) = ∑ λ_n^{-s}（当 Re(s) > 1 时），并证明其可全纯延拓至整个复平面，且在 s=0 处全纯。
• 将全纯分析 torsion 定义为 T = ζ′_{Δ_{X,∞}}(0)，从而为可积度量提供直接定义。
• 构造一列光滑度量 (h_{X,u})_u 一致收敛于 h_{X,∞}，并证明对应的 torsion 收敛于 T。
• 利用切赫的等周不等式，统一地从下方有界第一非零特征值，确保逼近下的谱稳定性。

实验结果

研究问题

• RQ1 能否将拉普拉斯算子的谱理论扩展至紧黎曼曲面上的可积度量（这些度量是奇异的，非光滑的）？
• RQ2 与可积度量相关的广义拉普拉斯算子 Δ_{X,∞} 的 zeta 函数是否在 s=0 处允许全纯解析延拓？
• RQ3 通过 ζ′_{Δ_{X,∞}}(0) 定义的全纯分析 torsion 是否与光滑逼近度量下计算的 torsion 极限等价？
• RQ4 该推广的分析 torsion 是否可应用于阿莱克谢罗夫几何中将 P^1 视为环面概形时的典范度量？

主要发现

• 与可积度量 h_{X,∞} 相关的广义拉普拉斯算子 Δ_{X,∞} 在 A^{(0,0)}(X) 上具有离散、正定且无限的谱。
• zeta 函数 ζ_{Δ_{X,∞}}(s) 在 Re(s) > 1 时绝对收敛，并可全纯延拓至整个复平面，且在 s=0 处全纯。
• 全纯分析 torsion T((X,ω_{X,∞}),(O,h_O)) 定义为 ζ′_{Δ_{X,∞}}(0)，为可积度量提供了直接构造。
• 对于任意一列一致收敛于 h_{X,∞} 的光滑度量 (h_{X,p})，其对应的分析 torsion 收敛于 T((X,ω_{X,∞}),(O,h_O))。
• 在度量 (X,h_{X,p}) 上的拉普拉斯算子的第一非零特征值 λ_{p,1} 被一个与 p 无关的正数 κ 统一从下方有界，确保谱稳定性。
• 该构造通过为奇异情形下的分析 torsion 提供严格的谱理论基础，验证了参考文献 [10] 和 [11] 中的结果与计算。