[论文解读] Compact polyhedral surfaces of an arbitrary genus and determinants of Laplacians

Alexey Kokotov|ArXiv.org|Jun 3, 2009

Geometric Analysis and Curvature Flows参考文献 23被引用 12

一句话总结

本论文推导出任意亏格的紧致多面曲面（即带有锥状奇点的平坦共形度量的黎曼曲面）上拉普拉斯算子的 zeta-正则化行列式的显式公式。通过将先前关于具有单零点的全纯微分的结果推广，建立了包含面积、周期矩阵虚部以及广义 τ-不变量的行列式公式，该公式适用于任意锥角和不与微分零点相交的锥点构型。

ABSTRACT

Compact polyhedral surfaces (or, equivalently, compact Riemann surfaces with conformal flat conical metrics) of an arbitrary genus are considered. After giving a short self-contained survey of their basic spectral properties, we study the zeta-regularized determinant of the Laplacian as a functional on the moduli space of these surfaces. An explicit formula for this determinant is obtained.

研究动机与目标

• 将先前在亏格一和典范除子情况下关于平坦锥度量下拉普拉斯算子行列式的结论推广至任意亏格和一般锥点构型。
• 提供一个关于具有锥状奇点的平坦曲面上拉普拉斯算子谱理论的自包含综述，包括自伴延拓和热核渐近展开。
• 为具有指定锥角的多面曲面模空间上拉普拉斯算子的 zeta-正则化行列式推导出闭式表达式。
• 通过建立谱公式，解决先前工作中关于锥度量下谱正则化与 Liouville 型正则化之间一致性的开放问题。

提出的方法

• 利用 Troyanov 定理，在亏格 g ≥ 1 的紧致黎曼曲面上构造具有指定锥状奇点的平坦共形锥度量。
• 引入一个具有指定极点的亚纯微分 ω_D，并利用其周期定义一个平坦线丛和一个多值全纯截面 F_D。
• 应用雅可比型形式和归一化全纯微分的理论，为具有单零点的阿贝尔微分构造 τ-不变量 τ(X,w)。
• 通过围线积分建立 τ 的对数导数与 Bergman 微分与阿贝尔微分的 Schwarzian 差之间的关系。
• 应用“三个多面体引理”通过涉及锥点处局部参数的共形因子，将两种不同平坦度量（|w|² 与 m）下拉普拉斯算子的行列式联系起来。
• 通过将经典情况下的 Ray-Singer 型公式与涉及锥点处局部参数 f_k 和 g_l 的修正项相结合，推导出最终公式。

实验结果

研究问题

• RQ1 如何将拉普拉斯算子的 zeta-正则化行列式表示为具有锥状奇点的任意亏格紧致多面曲面模空间上的泛函？
• RQ2 拉普拉斯算子的谱行列式与曲面的几何结构（包括面积、周期矩阵和 τ-不变量）之间存在何种关系？
• RQ3 该行列式公式如何从典范情况（具有单零点的阿贝尔微分）推广至任意锥点构型和锥角？
• RQ4 锥点处和微分零点处的局部参数在修正行列式公式中起什么作用？
• RQ5 谱行列式是否可在典范情况之外的平坦奇异度量中一致地定义和计算？

主要发现

• 对于亏格 g > 1 的紧致多面曲面，拉普拉斯算子的 zeta-正则化行列式为 det Δ^m = C · Area(X,m) · det Im B · |τ(X,w)|² · ∏|g_l|^{1/6} / ∏|f_k|^{b_k/6}，其中 C 是仅依赖于锥角 b_k 的常数。
• τ-不变量 τ(X,w) 通过雅可比型形式、归一化全纯微分以及由具有指定留数的亚纯微分导出的多值截面显式构造。
• 该公式将 Ray-Singer 公式推广至高亏格和奇异度量，修正项源于微分和度量在锥点附近的局部行为。
• 行列式公式中的常数 C 与黎曼曲面和度量无关，仅依赖于锥角 b_1,…,b_N。
• 推导过程确认了在锥度量情形下谱正则化与 Liouville 积分方法之间的一致性，解决了早期工作中遗留的开放问题。
• 该方法提供了对任意锥点和微分零点构型均有效的完整且显式的公式，前提是它们互不相交。