[论文解读] Zeta Function at Zero for Surfaces with Boundary

Charles Hadfield|arXiv (Cornell University)|Mar 29, 2018

Mathematical Dynamics and Fractals参考文献 12被引用 7

一句话总结

该论文证明了对于具有严格凸边界、负曲率的定向曲面，Ruelle zeta函数在 λ = 0 处的零点的重数恰好为 1 − χ(Σ)，其中 χ(Σ) 为欧拉示性数。该结果通过Ruelle共振的微局部分析推导得出，将重数与相对上同调群的维数联系起来，并将已知的常曲率情形结果推广至变曲率情形。

ABSTRACT

We study the Ruelle zeta function at zero for negatively curved oriented surfaces with boundary. At zero, the zeta function has a zero and its multiplicity is shown to be determined by the Euler characteristic of the surface. This is shown by considering certain Ruelle resonances and identifying their multiplicity with dimensions of the relative cohomology of the surface.

研究动机与目标

• 确定紧致、定向、负曲率曲面（具有严格凸边界）在 λ = 0 处 Ruelle zeta 函数的零点阶数。
• 将已知的常曲率情形（此时阶数为 −χ(Σ)）结果推广至变曲率情形。
• 建立 zeta 函数在原点处零点的拓扑不变性，其与欧拉示性数相关。
• 通过 Ruelle 共振将零点的重数与相对上同调群的维数联系起来。
• 为开放、具有边界的动力系统中 zeta 函数的分析提供一个微局部框架。

提出的方法

• 利用 [DG16] 和 [DZ16] 中通过微局部分析建立的变曲率下 Ruelle zeta 函数的亚纯延拓。
• 在单位余切丛 M = S^*Σ 上分析预解式 (ℒ_X + λ)^{-1}，其中 ℒ_X 为测地流方向的李导数。
• 将预解式在 λ = 0 处的极点与有限秩投影算子联系起来，其秩等于相关 zeta 函数 ζ_k(λ) 在零点处的重数。
• 利用分解式 ζ_R(λ) = ζ_1(λ)/(ζ_0(λ)ζ_2(λ))，将 ζ_R(λ) 在零点处的重数与差值 m_1(0) − m_0(0) − m_2(0) 联系起来。
• 应用 [DZ17] 中在 λ = 0 处的半单性，以确保共振态属于 ℒ_X 的核，而非更高阶幂。
• 通过波前与支集条件，将共振态的维数与相对上同调群 H^k(Σ, ∂Σ) 联系起来。

实验结果

研究问题

• RQ1 对于具有边界且曲率为变负的曲面，Ruelle zeta 函数在 λ = 0 处的零点阶数是多少？
• RQ2 该阶数如何与欧拉示性数等拓扑不变量相关？
• RQ3 Ruelle 共振的微局部框架能否推广至具有边界的曲面，以计算 zeta 函数的重数？
• RQ4 在开放、具有边界的设定下，λ = 0 处零点的重数是否由相对上同调群的维数决定？
• RQ5 常曲率情形下的结果（阶数 = −χ(Σ)）在变曲率设定下是否仍然成立？

主要发现

• 对于任意定向、负曲率且具有严格凸边界的曲面，Ruelle zeta 函数 ζ_R(λ) 在 λ = 0 处的零点重数恰好为 1 − χ(Σ)。
• 该重数由相对上同调群 H^1(Σ, ∂Σ) 的维数决定，对于具有边界的曲面，其维数等于 1 − χ(Σ)。
• 零点在 λ = 0 处是单重的，即所有相关共振态均属于 ℒ_X 的核，而非更高阶幂，这是由于半单性保证。
• 零点的重数具有拓扑不变性，不依赖于曲率的变化，从而推广了常曲率情形的结果。
• 证明的关键在于将 λ = 0 处留数投影的秩与共振态空间的维数等同起来，而后者微同构于 H^1(Σ, ∂Σ)。
• 即使当 χ(Σ) = 0 时（例如双曲面），该结果仍然成立，此时由于存在两条长度相等的本原测地线，zeta 函数在零点处的重数为 2。