[論文レビュー] A K-Theoretic Proof of Boutet de Monvel's Index Theorem

Severino T. Melo, Thomas Schick+1 more|arXiv (Cornell University)|Mar 3, 2004

Advanced Topics in Algebra被引用数 8

ひとこと要約

本稿では、境界を持つ多様体上の多項同次的オペレーターのクラスと次数がゼロであるC*-代数に対して、K理論的短完全系列の自然な分解を確立することにより、Boutet de Monvelの指数定理のK理論的証明を提供する。主な貢献は、フレドホルム指数が内部の余接 bundle のK理論を経由して因子化されることを示したことであり、これはK理論的道具立てを用いて、トポロジカル指数写像の基本的性質を確認するものである。

ABSTRACT

Let A be the C ∗-closure of the algebra of all polyhomogeneous operators of order and class zero in Boutet de Monvel’s calculus on a connected manifold X with non-empty boundary ∂X. We derive a natural short exact sequence 0→Ki(C(X))→Ki(A/K)→K1−i(C0(T ∗ X ◦))→0, i = 0,1, which splits in a not necessarily natural way. Here K is the ideal of compact operators, and T ∗ X ◦ is the cotangent bundle of the interior of X. This strengthens a result of Melo, Nest and Schrohe in [6]. We also give a K-theoretic proof of the fact that the composition of the topological index with the mapping K1(A/K)→K0(C0(T ∗ X ◦)) in the above sequence gives the Fredholm-index homomorphism. That the Fredholm index for A factors through K(T ∗ X ◦ ) was first proven by Boutet de Monvel [3].

研究の動機と目的

• Melo, Nest, および Schrohe が得た Boutet de Monvelの微分作用素の計算のK理論に関する結果を強化すること。
• 多項同次的作用素の文脈において、フレドホルム指数ホモモーフィズムのK理論的導出を提供すること。
• コンpact作用素による商代数のK理論と内部の余接 bundle のK理論を関連付ける自然な短完全系列を確立すること。
• 短完全系列における接続写像とトポロジカル指数写像の合成がフレドホルム指数ホモモーフィズムを回復することを示すこと。
• K理論的手法を用いて、K(T∗X◦) がフレドホルム指数の像の空間たる役割を明確にすること。

提案手法

• 著者らはK理論における短完全系列を構成する：i = 0,1 に対して 0 → Ki(C(X)) → Ki(A/K) → K1−i(C0(T∗X◦)) → 0。
• Boutet de Monvelの微分作用素の計算における、次数とクラスがゼロである多項同次的作用素のC*-包の構造 A を分析する。
• コンパクト作用素のイデアル K を用いて商代数 A/K を形成し、これがK理論的解析の中心的役割を果たす。
• 系列が分裂することを示すが、自然な分裂とは限らないため、Ki(A/K) の構造的分解が得られる。
• トポロジカル指数写像と接続ホモモーフィズムの合成により、フレドホルム指数ホモモーフィズムが回復される。
• 証明は、Boutet de Monvel が最初に確立したように、フレドホルム指数が K0(C0(T∗X◦)) を経由して因子化されることに依拠している。

実験結果

リサーチクエスチョン

• RQ1 Boutet de Monvelの微分作用素のフレドホルム指数は、K理論の文脈で自然にどのように表現できるか？
• RQ2 境界付き多様体の文脈において、商代数 A/K の正確なK理論的構造は何か？
• RQ3 Ki(C(X))、Ki(A/K)、K1−i(C0(T∗X◦)) を関連付ける短完全系列は分裂するか？ もし分裂するならば、どのような意味で分裂するか？
• RQ4 K理論的系列における接続ホモモーフィズムとトポロジカル指数写像の関係は何か？
• RQ5 Boutet de Monvel が K(T∗X◦) を経由して指数が因子化されることを示した結果を、K理論的手法を用いて再証明できるか？

主な発見

• 自然なK理論的短完全系列が確立された：i = 0,1 に対して 0 → Ki(C(X)) → Ki(A/K) → K1−i(C0(T∗X◦)) → 0。
• 系列は分裂するが、自然な分裂とは限らないため、Ki(A/K) のK理論的構造的分解が得られる。
• トポロジカル指数写像と接続ホモモーフィズム K1(A/K) → K0(C0(T∗X◦)) の合成により、フレドホルム指数ホモモーフィズムが得られる。
• A に属する作用素のフレドホルム指数は K0(C0(T∗X◦)) を経由して因子化され、Boutet de Monvel の基礎的結果が確認される。
• K理論的枠組みにより、元々の解析的証明をはるかに超える、指数定理の構造的洞察が得られる。
• 本研究は、Melo, Nest, および Schrohe の先行研究を、より洗練されたK理論的文脈に埋め込むことで強化する。