[論文レビュー] Index Theory for Coverings

Boris Vaillant|ArXiv.org|Jun 25, 2008

Advanced Operator Algebra Research参考文献 18被引用数 10

ひとこと要約

この論文は、円筒的端を持つ非コンパクト多様体上のディラック作用素に対して、L²-Γ指数定理を確立し、アティヤのΓ指数理論を非コンパクトな設定へと拡張する。スペクトル修正と熱核推定、Γトレース技術を用いることで、アティヤ＝パトディ＝サインター指数定理に類似した公式を証明し、L²-Γ指数をΓエータ不変量と特性類に関連付ける。

ABSTRACT

We establish the basics of the analysis of operators on coverings of manifolds with cylindrical ends with a group of deck transformations $Γ$. We prove the $Γ$-analogue of the Atiyah-Patodi-Singer formula for Dirac operators on such coverings.

研究の動機と目的

• コンパクトでない多様体、特に有界幾何構造を持つ円筒的端を持つ多様体へのΓ指数理論の拡張。
• 非コンパクト多様体の被覆上のディラック作用素のL²-Γ指数の定義と分析。
• 円筒的端を持つ多様体に対するアティヤ＝パトディ＝サインター指数定理のΓアナロジーの確立。
• 境界におけるディラック作用素のスペクトルに0が孤立点であるという条件の役割の解明。
• スペクトル修正における核空間のΓ次元を比較するための記録管理手順の開発。

提案手法

• ΓヒルベルトモジュールとΓトレースを用いて、非コンパクト多様体の被覆上の作用素のΓ指数を定義する。
• 有界幾何構造を持つ多様体上の楕円型作用素に対して、有限伝搬速度を伴う熱核推定を適用する。
• 境界におけるディラック作用素のスペクトルに0が孤立点となるように、$\overline{D}^{M} + f(\overline{D}^{M})$ というスペクトル修正を導入する。
• 元の作用素と修正された作用素の核空間のΓ次元を比較するための記録管理手順を用いる。
• メイゼのL²指数定理とロウのΓ指数定理の手法を熱核技術と組み合わせる。
• クリフォード代数の表記法とグレーデッドトレースを用いて、指数公式における特性類と不変量を計算する。

実験結果

リサーチクエスチョン

• RQ1 円筒的端を持つ非コンパクト多様体上のディラック作用素に対して、L²-Γ指数はどのように定義され、計算されるか？
• RQ2 0がスペクトルの孤立点でない場合に、スペクトル修正がΓ指数が適切に定義されることに果たす役割は何か？
• RQ3 Γエータ不変量は、非コンパクト多様体の被覆の設定にどのように一般化されるか？
• RQ4 境界における0が孤立スペクトル点でない場合に、L²-Γ指数定理を仮定なしに証明できるか？
• RQ5 群被覆の存在下で、L²-Γ指数と古典的なアティヤ＝パトディ＝サインター指数の関係は何か？

主な発見

• 円筒的端を持つ被覆 $\overline{N} \to N$ 上のディラック作用素 $\overline{D}$ のL²-Γ指数は、アティヤ＝パトディ＝サインター定理に類似した公式を満たす。
• 主結果は定理6.11のL²-Γ指数定理であり、修正されたL²-Γ指数が$\widehat{A}$- genusの積分と境界作用素の半分のΓエータ不変量の和として表されることを示している。
• 0が$\overline{D}^M$ のスペクトルの孤立点でない場合、条件を満たすようにスペクトル修正 $\overline{D}_{\epsilon,u}$ を導入し、指数計算を可能にする。
• 記録管理手順により、$\overline{D}$ と $\overline{D}_{\epsilon,u}$ の核空間のΓ次元を効果的に比較でき、指数定理を一般の場合にまで拡張可能である。
• スペクトル修正に対してΓエータ不変量 $\eta_\Gamma(\overline{D}^M + f(\overline{D}^{M}))$ が存在することが示され、指数公式において極めて重要である。
• 熱核推定とΓトレース手法を組み合わせた証明技法は、Γシグネチャ定理の文脈において、他の手法よりも自然な枠組みを提供する可能性がある。