[論文レビュー] The eta invariant and equivariant index of transversally elliptic operators

Jochen Brüning, Franz W. Kamber+1 more|arXiv (Cornell University)|May 20, 2010

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

ひとこと要約

この論文は、G-多様体上の横断的楕円型作用素の等長的インデックスの重複度を、特異な層の吹き上げ積分と関連する楕円型作用素のエータ不変量を組み合わせることで公式化する。主な貢献は、リーマン的フォリエーション上のディラク作用素の基本的インデックスを計算するという長年の未解決問題を解消する一般インデックス公式の確立である。

ABSTRACT

We prove a formula for the multiplicities of the index of an equivariant transversally elliptic operator on a $G$-manifold. The formula is a sum of integrals over blowups of the strata of the group action and also involves eta invariants of associated elliptic operators. Among the applications, we obtain an index formula for basic Dirac operators on Riemannian foliations, a problem that was open for many years.

研究の動機と目的

• コンパクトなG-多様体上の横断的楕円型作用素の等長的インデックス重複度に対する一般公式の導出。
• リーマン的フォリエーション上のディラク作用素の基本的インデックスを計算するという長年の未解決問題への対処。
• 吹き上げによる幾何的特異点解消とエータ不変量の統合を通じて、等長的インデックス理論の統一的取り扱いの実現。
• 無限次元表現を伴う横断的楕円型設定へのアティヤ＝シンガーインデックス理論の拡張。
• 非自明な安定型を有する群作用が存在する状況下でのスペクトル不変量の計算フレームワークの提供。

提案手法

• G-多様体における特異な層の吹き上げを用いて特異点を解消し、インデックスへの寄与を局所化する。
• 等長的ヒートカーネルおよびその漸近展開を用いてスーパートレースとインデックス寄与を計算する。
• ヒートカーネルの分割公式を用いて、異なる安定型を有する軌道付近の寄与を分解する。
• 表現論的分解を分析するための精密な同型的および標準的安定型G-バンドルの構成。
• 層上の関連する楕円型作用素からのエータ不変量を統合し、境界および特異寄与を補正する。
• 一般化された球面調和関数と球面上の固有値解析を用いて、インデックス公式のスペクトルデータを計算する。

実験結果

リサーチクエスチョン

• RQ1 特異な軌道が存在する状況下で、横断的楕円型作用素の等長的インデックス重複度はどのように計算できるか。
• RQ2 エータ不変量は、G-多様体における特異な層のインデックス公式を補正するために果たす役割は何か。
• RQ3 等長的インデックス理論を用いて、リーマン的フォリエーション上のディラク作用素の基本的インデックスに対して一様な公式を導出可能か。
• RQ4 層の吹き上げと計量の修正は、等長的インデックス計算にどのように影響を与えるか。
• RQ5 スペクトル不変量（例：エータ不変量）は、作用素の等長的ホモトピーに対してどの程度安定的か。

主な発見

• 本論文は、各既約表現の重複度を、層の吹き上げ上での積分の和とエータ不変量からの寄与の和として表す一般インデックス公式を確立した。
• この公式により、リーマン的フォリエーション上のディラク作用素の基本的インデックスを計算するという未解決問題が解決され、この設定における初めての一般インデックス定理が得られた。
• 球面上の作用素 $ Q^{S+, ho} $ の固有値が離散的かつ対称的であり、$ u_{-j}^{ ho} = u_{j+k-1}^{ ho} = \text{符号が交互な } h_m^{ ho} \text{ の和} $ によって決定されることを示し、普遍的なスペクトル公式が得られた。
• 球面上に誘導された作用素のエータ不変量は、作用素の連続的かつ等長的な変形に対して不変であり、スペクトル不変量の安定性が保証された。
• 球面上に制限された同次多項式空間は、$ Q^{S+, ho} $ の固有空間に分解され、固有値は $ -m $ および $ m+k-2 $ であり、$ L^2 $ において直交分解である。
• 次数 $ m $ の調和多項式の $ \rho $-同型的成分の次元は、$ m \neq 1,2 $ のとき $ h_m^{ ho} = d_m^{ ho} - d_{m-2}^{ ho} $、$ m=1,2 $ のとき $ h_m^{ ho} = d_m^{ ho} $ で与えられ、ここで $ d_m^{ ho} $ は次数 $ m $ の多項式の $ \rho $-同型的成分の次元である。