[論文レビュー] A general splitting formula for the spectral flow

M. Daniel, Paul Kirk|ArXiv.org|Feb 24, 1999

Advanced Operator Algebra Research参考文献 14被引用数 16

ひとこと要約

本稿では、滑らかさや横断的条件の仮定なしに、奇数次元多様体が超曲面で分割された1パラメータ族の自己随伴ディラック作用素のスペクトルフローに対する一般化された分割公式を提示する。この公式は、各部分多様体からの寄与、境界条件のマスロフ指数、および境界条件変換に起因する追加のマスロフ指数にスペクトルフローを分解する。導出にはニコラエスクの定理とヒルベルト空間におけるシンプレクティック線形代数が用いられる。

ABSTRACT

We derive a decomposition formula for the spectral flow of a 1-parameter family of self-adjoint Dirac operators on an odd-dimensional manifold $M$ split along a hypersurface $Σ$ ($M=X\cup_Σ Y$). No transversality or stretching hypotheses are assumed and the boundary conditions can be chosen arbitrarily. The formula takes the form $SF(D)= SF(D_{|X}, B_X) + SF(D_{|Y},B_Y) + μ(B_Y,B_X) + S$ where $B_X$ and $B_Y$ are boundary conditions, $μ$ denotes the Maslov index, and $S$ is a sum of explicitly defined Maslov indices coming from stretching and rotating boundary conditions. The derivation is a simple consequence of Nicolaescu's theorems and elementary properties of the Maslov index. We show how to use the formula and derive many of the splitting theorems in the literature as simple consequences.

研究の動機と目的

• 奇数次元多様体が超曲面で分割された場合のスペクトルフローに対する一般化された分割公式を導出すること。
• スペクトルフロー分解におけるストレッチングコラーや横断的条件の必要性を排除すること。
• 多様体の各部分からの寄与を分離し、マスロフ指数を用いて相互作用項を定量化すること。
• 既存の文献における分割定理を回収・一般化する統一的な枠組みを提供すること。
• カットアンドパスタ構成や幾何的不変量におけるスペクトルフローの実用的計算手法を提供すること。

提案手法

• 境界上のコーシー・データ空間のマスロフ指数がスペクトルフローに等しいというニコラエスクの定理を活用する。
• シンプレクティックヒルベルト空間におけるマスロフ指数の基本的性質を応用し、スペクトルフローを分解する。
• 境界条件変換を表す明示的なラグランジュ部分空間のパスを導入する。
• コーシー・データ空間の断熱極限を用いて、スペクトルフローと境界条件のダイナミクスを関連付ける。
• パスの合成におけるマスロフ指数のホモトピー不変性と加法性を用いて分割公式を導出する。
• 付録では、コーシー・データ空間に関連する射影作用素のノルム連続性を証明する。

実験結果

リサーチクエスチョン

• RQ1 超曲面で分割された多様体上での1パラメータ族の自己随伴ディラック作用素のスペクトルフローは、ストレッチング仮定なしにどのように分解できるか？
• RQ2 多様体が分割された場合、境界条件はスペクトルフローにどのように寄与するか。また、それらの相互作用はどのように定量化できるか？
• RQ3 既存の文献における分割定理は、より一般な公式の特別な場合として得られるか？
• RQ4 マスロフ指数は、スペクトルフロー分解において多様体の2つの部分間の相互作用をどのように捉えているか？
• RQ5 分割公式における特定のマスロフ指数項が消えるための条件は何か。これにより計算が簡略化されるか？

主な発見

• スペクトルフローは $ SF(D) = SF(D|_X, B_X) + SF(D|_Y, B_Y) + \mu(B_Y(1-t), B_X(1-t)) + \sum_{i=1,2,4,5,7,8,10,11} \mu(L_i, M_i) $ と分解され、すべての項が明確に定義されている。
• この公式はストレッチングや横断的条件の仮定なしに成立し、広範な応用が可能である。
• 追加のマスロフ指数 $ \mu(L_i, M_i) $ は境界条件の回転とストレッチングに起因し、明示的に構成されている。
• 本手法により、ブンケ、ヨシダ、ニコラエスクらの既知の分割定理が特別な場合として得られる。
• 作用素 $ k_r $ のノルム連続性により、コーシー・データ空間への射影の連続性が確立され、スペクトルフロー公式の安定性が保証される。
• 射影の差 $ \mathcal{P}^r - \pi_- $ が滑らか作用素であることが示され、一般の場合におけるスペクトル射影の正則性が裏付けられる。