[論文レビュー] Laplace transform, dynamics and spectral geometry

Dan Burghelea, Stefan Haller|ArXiv.org|May 3, 2004

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

ひとこと要約

本稿は、ディリクレ級数およびラプラス変換を用いて、インスタントンおよび閉曲線の数え上げ関数のスペクトル幾何的実現を、モース–ノヴィコフ理論において確立する。指数的成長性およびやや弱い横断的仮定のもとで、モース型の零点とリャプノフコhomology類を持つベクトル場から導かれるこれらの数え上げ関数は、リーマン計量と閉1形式の解析的 torsionおよびスペクトルデータから回復可能であり、解析的数論的手法を介して力学系とスペクトル幾何学を結ぶ。

ABSTRACT

We consider vector fields $X$ on a closed manifold $M$ with rest points of Morse type. For such vector fields we define the property of exponential growth. A cohomology class $ξ\in H^1(M;\mathbb R)$ which is Lyapunov for $X$ defines counting functions for isolated instantons and closed trajectories. If $X$ has exponential growth property we show, under a mild hypothesis generically satisfied, how these counting functions can be recovered from the spectral geometry associated to $(M,g,ω)$ where $g$ is a Riemannian metric and $ω$ is a closed one form representing $ξ$. This is done with the help of Dirichlet series and their Laplace transform.

研究の動機と目的

• モース型のベクトル場を有する力学系におけるインスタントンおよび閉曲線の数え上げ関数のスペクトル幾何的解釈を確立すること。
• 指数的成長性を満たすベクトル場のもとで、ディリクレ級数によって定義されるこれらの数え上げ関数が、解析的 torsion データから再構成可能であることを示すこと。
• リーマン計量 $ g $ と閉1形式 $ abla $ がリャプノフコhomology類を表すペア $ (g, abla) $ によって、モース–ノヴィコフ理論とスペクトル幾何学を統一することを示し、数え上げ関数のラプラス変換がそのペアによって決定されることを証明すること。
• 一般条件（モース–スマールおよび閉曲線なし）の下で、de Rham複体のスペクトル不変量が解析的 torsion および正則化された行列式を介してベクトル場の力学を符号化することを示すこと。

提案手法

• 著者らは、モース型の零点とリャプノフコhomology類を持つベクトル場の力学に基づき、インスタントン（インデックス $ q $ から $ q+1 $ へ）および閉曲線の数え上げ関数を定義する。
• これらの数え上げ関数は、指数的成長性の下で収束 abscissa が有限である形式的ディリクレ級数として定式化される。
• これらのディリクレ級数のラプラス変換が、閉1形式 $ abla $ に関連する平坦接続によってねじれた de Rham 複体の解析的 torsion $ T^{ ext{an}}_{ ext{la}}(t) $ で表現可能であることを示す。
• スペクトルゼータ関数における発散を処理するため、正則化 $ R(X, ho, heta) $ が導入され、異なるベクトル場間での torsion 不変量の比較が可能になる。
• 主な技術的道具は、コホモロジーに同型を誘導する余鎖複体のホモトピーであり、体積および torsion データを保存する写像 $ u^*(t) $ を介して、解析的 torsion の比較が可能になる。
• 証明は、リャプノフ類の二つの定義の同値性と、コホモロジー複体上の正規基底および内積を用いた行列式および体積の計算に依存する。

実験結果

リサーチクエスチョン

• RQ1 モース型の零点を有するベクトル場におけるインスタントンおよび閉曲線の数え上げ関数は、リーマン計量と閉1形式のスペクトル不変量から再構成可能か？
• RQ2 ディリクレ級数によるインスタントンおよび閉曲線の数え上げ関数のラプラス変換が、ねじれた de Rham 複体の解析的 torsion と一致する条件は何か？
• RQ3 ベクトル場の指数的成長性が、ディリクレ級数の収束を保証し、力学的不変量のスペクトル的回復を可能にする仕組みは何か？
• RQ4 コホモロジー類 $ \xi $ が $ X $ に対してリャプノフであるとき、$ (g, \nabla) $ のスペクトル幾何学が $ X $ の力学をどの程度回復できるか？
• RQ5 強い指数的成長性は必要か、それとも、特異ホモロジーがノヴィコフ環上自由であるという弱い条件で十分か？

主な発見

• 指数的成長性の下で、インデックス $ q $ から $ q+1 $ へのインスタントンの数え上げ関数のラプラス変換は、正則化行列式 $ R(X^2, \rho, \theta) $ を含む補正項を除けば、解析的 torsion $ T^{ ext{an}}_{ ext{la}}(t) $ に等しい。
• もし $ H^*(M; t\theta) $ が非退化であるならば、スペクトル不変量 $ T^{ ext{an}}_{ ext{la}}(t) $ は補正項なしに数え上げ関数のラプラス変換を直接回復する。
• 解析的 torsion $ T^{ ext{an}}_{ ext{la}}(t) $ は、コホモロジー群の対数体積と有限次元余鎖複体の対数 torsion の組み合わせとして表現され、後者は正規基底および内積を用いて計算される。
• 写像 $ u^*(t) $ はコホモロジーに同型を誘導し、異なるベクトル場間での torsion の比較を可能にし、コホモロジーが非退化であってもラプラス変換の回復が可能になる。
• モース–スマールおよび閉曲線なし（NCT）条件の下で一般に成立し、強い指数的成長性は、$ H^*_{\text{sing}}(M; \tilde{\rho}) $ がノヴィコフ環上自由であるという条件に弱めることが可能である。
• 鍵となる恒等式 $ L(\rho(X)) = -\text{ev}_t(\tau(X, \rho, e^*_1)) $ は、数え上げ関数のラプラス変換と余鎖複体の torsion の評価値を結びつけ、スペクトル幾何的双対性を確立する。