[論文レビュー] Zeta Function at Zero for Surfaces with Boundary

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

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

ひとこと要約

本稿では、滑らかで負に曲がった向き付け可能で、厳密に凸な境界を持つ表面におけるルエルゼータ関数が、λ = 0 においてゼロを持つことが示され、その重複度はちょうど 1 − χ(Σ) に一致する。ここで χ(Σ) はオイラー特性である。この結果は、ルエル共鳴の微局所解析を用いて得られ、その重複度が相対コホロジー次元と一致することを特定し、定曲率の既知の結果を可変曲率の設定に拡張する。

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 においてどれほど零になるかを特定すること。
• 定曲率の場合に既知の結果（重複度が −χ(Σ)）を可変曲率の状況に拡張すること。
• ゼータ関数の原点におけるゼロの位相的不変性を確立し、オイラー特性と関連付けること。
• ルエル共鳴を通じて、ゼロの重複度と相対コホロジー次元を結びつけること。
• 境界を有するオープンな力学系において、ゼータ関数を解析するための微局所フレームワークを提供すること。

提案手法

• 微局所解析により [DG16] および [DZ16] で確立された、可変曲率におけるルエルゼータ関数のメロモルフィック拡張を利用する。
• 測地線フローに沿ったリー微分 ℒ_X に関する、単位余接束 M = S^*Σ 上のリゾルベント (ℒ_X + λ)^{-1} を分析する。
• リゾルベントの λ = 0 における極を、有限ランクの射影作用素と特定し、そのランクが関連ゼータ関数 ζ_k(λ) のゼロの重複度に一致することを示す。
• 因数分解 ζ_R(λ) = ζ_1(λ)/(ζ_0(λ)ζ_2(λ)) を用いて、ζ_R(λ) のゼロの重複度を m_1(0) − m_0(0) − m_2(0) の差に結びつける。
• [DZ17] からの λ = 0 における半単純性を適用し、共鳴状態が ℒ_X の核内にあり、高次の冪には属しないことを保証する。
• 波フロントおよび台の条件を用いて、共鳴状態の次元を相対コホロジー群 H^k(Σ, ∂Σ) と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 可変負曲率および境界付き表面に対して、ルエルゼータ関数が λ = 0 においてゼロになる次数は何か？
• RQ2 この次数はオイラー特性のような位相的不変量とどのように関係するか？
• RQ3 ルエル共鳴の微局所フレームワークを境界付き表面に拡張し、ゼータ関数の重複度を計算できるか？
• RQ4 オープンで境界を有する状況において、λ = 0 におけるゼロの重複度は相対コホロジー次元によって決定されるか？
• RQ5 定曲率の場合の結果（次数 = −χ(Σ)）は、可変曲率設定でも成立するか？

主な発見

• 任意の向き付け可能で負に曲がった表面（境界が厳密に凸）に対して、ルエルゼータ関数 ζ_R(λ) は λ = 0 において重複度が正確に 1 − χ(Σ) のゼロを持つ。
• 重複度は相対コホロジー群 H^1(Σ, ∂Σ) の次元に等しく、境界付き表面では 1 − χ(Σ) に一致する。
• ゼロは単純である。これは、半単純性により、すべての関連共鳴状態が ℒ_X の核内にあり、高次の冪には属さないからである。
• ゼロの重複度は位相的不変であり、曲率の変動に依存せず、定曲率の結果を一般化する。
• 証明は、λ = 0 における留数射影のランクを共鳴状態空間の次元と特定することに依拠しており、その空間は H^1(Σ, ∂Σ) に同型である。
• χ(Σ) = 0（例えば、双曲的回転面）の場合でも成立し、このときゼータ関数は2次のゼロを持つ。これは、長さが等しい2本の原始的測地線が存在するためである。