[論文レビュー] A K-Theoretic Proof of the Morse Index Theorem in Semi-Riemannian Geometry

Nils Waterstraat|Kent Academic Repository (University of Kent)|Jul 7, 2010

Topological and Geometric Data Analysis被引用数 4

ひとこと要約

本稿では、半リーマン幾何におけるモース指数定理のK理論的証明を提示し、スペクトル指数（古典的モース指数の一般化）と共役指数（共役点の数え上げの一般化）の等価性を確立する。コンパクトな台を持つK理論における仮想バンドルを構成し、その1番目のチャーン数を計算することで、著者らはスペクトルフローがヤコビ方程式から導かれる曲線の巻き数に等しいことを示し、古典的モース指数定理を非リーマン的設定へ一般化する。

ABSTRACT

We give a short proof of the Morse index theorem for geodesics in semi-Riemannian manifolds by using K-theory. This makes the Morse index theorem reminiscent of the Atiyah-Singer index theorem for families of selfadjoint elliptic operators.

研究の動機と目的

• 標準的な指数が有限でないかwell-definedでない半リーマン多様体における古典的モース指数定理の一般化。
• 関数解析的手法の代わりにK理論を用いて、半リーマン幾何におけるモース指数定理の別証明を提供すること。
• スペクトル指数（Fredholm作用素の族のスペクトルフローにより定義）と共役指数（複素平面上の曲線の巻き数により定義）の等価性を確立すること。
• K_c(\mathbb{C})における仮想バンドルの1番目のチャーン数が、スペクトル指数と共役指数の両方を計算できることを示し、2つの概念を位相的に統一すること。

提案手法

• エネルギー汎関数のヘッセ行列に関連する測地線に対して、リース表現定理を用いて自己随伴Fredholm作用素の族を構成する。
• 同型写像 $K_c(\mathbb{C}) \cong \widetilde{K}(S^2)$ を用いて、この族に対応する $K_c(\mathbb{C})$ 内の仮想バンドルを定義する。
• クラッチング関数の巻き数を用いて、仮想バンドルの1番目のチャーン数を計算する。
• K理論的クラスのクラッチング関数を変形し、ヤコビ場のモノドロミーにより定義される共役指数とその巻き数が一致するようにする。
• インデックスバンドルのホモトピー不変性を用いて、作用素族のインデックスをヤコビ方程式から導かれる行列族の行列式に関連付ける。
• 同じK理論的クラスの1番目のチャーン数に等しいことにより、スペクトル指数と共役指数が等しいことを示す。

実験結果

リサーチクエスチョン

• RQ1 関数解析の代わりに位相的K理論を用いて、半リーマン幾何におけるモース指数定理を再証明できるか。
• RQ2 スペクトルフローとして定義されるスペクトル指数は、巻き数として定義される共役指数とどのように関係するか。
• RQ3 半リーマン幾何における一般化されたモース指数に対して、K理論的解釈がスペクトル指数と共役指数を統一するか。
• RQ4 K_c(\mathbb{C}) 内の仮想バンドルの1番目のチャーン数は、共役指数と一致する巻き数として計算可能か。
• RQ5 K理論的枠組みは、古典的指数が成立しない場合においても、一般化されたモース指数を安定的かつ内在的に特徴づけるか。

主な発見

• 半リーマン多様体における測地線のスペクトル指数は共役指数に等しく、古典的モース指数定理が非リーマン的設定へ一般化される。
• K_c(\mathbb{C}) 内の仮想バンドルの1番目のチャーン数はスペクトル指数を計算し、一般化されたモース指数の位相的不変量を提供する。
• 共役指数が同一のK理論的クラスのクラッチング関数の巻き数に等しいことが示され、微分幾何学と代数的位相幾何学が結びつけられる。
• K理論的手法を用いることで、関数解析的技術に依存することなく、スペクトルフローと巻き数の直接的な対応関係が確立される。
• 作用素族 $N_z$ を用いたインデックスバンドルの構成により、一般化されたモース指数を捉える仮想バンドルが得られ、そのチャーン類が一般化されたモース指数を記述する。
• 最終的な等式 $c_1(\operatorname{ind}(N)) = \mu_{\text{con}}(\gamma)$ は、K理論的アプローチが半リーマン幾何における正しい一般化されたインデックスをもたらすことを確認する。