[論文レビュー] Generalized Riemann-Hilbert Transmission and Boundary Value Problems, Fredholm Pairs and Bordisms

Bogdan Bojarski, Andrzej Weber|ArXiv.org|Nov 7, 2001

Advanced Operator Algebra Research参考文献 11被引用数 3

ひとこと要約

本稿は、分解を備えたヒルバート空間におけるフレドホルム対を用いて、一般化されたリーマン＝ヒルベルト伝送問題の抽象的枠組みを提示し、境界値問題、K理論、ボーディズム理論の間の関係を確立する。主な貢献は、楕円的作用素の局所から大域へのインデックス公式であり、大域インデックスは境界データおよび分解に関連する部分インデックスの和に等しい。

ABSTRACT

We present classical and generalized Riemann-Hilbert problem in several contexts arising from $K$-theory and bordism theory. The language of Fredholm pairs turns out to be useful and unavoidable. We propose an abstract formulation of a notion of bordism in the context of Hilbert spaces equipped with splittings.

研究の動機と目的

• ヒルバート空間におけるフレドホルム対を用いた、リーマン＝ヒルベルト伝送問題の抽象的関数解析的枠組みの構築。
• 分解を備えたヒルバート空間における幾何的ボーディズムとフレドホルムボーディズムの間の対応関係の確立。
• 局所から大域へのインデックス分解を通じて、アティヤ＝シンガーのインデックス定理を境界値問題へ一般化すること。
• 楕円的作用素の理論を、フレドホルム対のインデックスを通じてK理論およびボーディズム理論と結びつけること。
• カルデロン射影子および境界値空間が、フレドホルムボーディズムの定義およびインデックスの計算における役割を形式化すること。

提案手法

• ヒルバート空間におけるフレドホルム対 (H⁻, H⁺) の言語を用い、H⁻ + H⁺ が閉じており、dim(H⁻ ∩ H⁺) および codim(H⁻ + H⁺) が有限であることを仮定する。
• 分解 (H⁷, H⁷) を備えたヒルバート空間上のボーディズム圏を導入し、フレドホルム対が境界データ間のボーディズムを表す。
• 分解を用いた部分空間 L ⊂ H₁ ⊕ H₂ のインデックスを、κ(H⁷₁|L|H⁷₂) = dim(L ∩ (H⁷₁ ⊕ H⁷₂)) − codim(L + (H⁷₁ ⊕ H⁷₂)) で定義する。
• リーマン面に境界を備えた場合に理論を適用し、穴あき面における正則関数の境界値をモデル化する。
• 種数 g の曲面におけるコーシー＝リーマン作用素のインデックスを、k 個の正則的ディスクと l 個の反正則的ディスクを持つ場合に 1 − g − ∑λᵢ + ∑μⱼ − l として計算する。
• ボーディズムの合成則を確立し、多様体がボーディズムに分解される場合に、大域インデックスが部分インデックスの和に等しいことを示す。

実験結果

リサーチクエスチョン

• RQ1 一般化されたリーマン＝ヒルベルト問題は、ヒルバート空間におけるフレドホルム対としてどのように抽象的に定式化できるか？
• RQ2 分解を備えたヒルバート空間の文脈において、幾何的ボーディズムとフレドホルムボーディズムの関係は何か？
• RQ3 境界値問題のインデックスは、その背後にある多様体の位相的不変量とどのように関係するか？
• RQ4 フレドホルム対を用いて、境界を持つ多様体上の楕円的作用素に対して局所から大域へのインデックス公式を導出できるか？
• RQ5 カルデロン射影子および境界値空間は、フレドホルムボーディズムの定義およびインデックスの計算において果たす役割は何か？

主な発見

• 種数 g のリーマン面において、k 個の正則的ディスクと l 個の反正則的ディスクを持つ場合、コーシー＝リーマン作用素のインデックスは 1 − g であり、境界値空間のフレドホルムインデックスにより計算される。
• 多様体がボーディズムに分解された一般の楕円的作用素 D に対して、大域インデックスは部分インデックスの和に等しい： ind D = ∑ᵢ κ(H⁷ᵢ|Lᵢ|H⁷ᵢ₊₁)。
• インデックス κ(H⁷₁|L|H⁷₂) は、ペair (H⁻, H⁺) の小さな摂動に対して不変であり、フレドホルム対のカトウの安定性結果を一般化する。
• フレドホルムボーディズムは、GL(S, K) 内の同型写像のグラフから生じ、そのインデックスは同型写像の K-理論的不変量 κ(ϕ) に等しい。
• 一致する分解を持つボーディズムを合成する場合、総インデックスは部分インデックスの和と一致しないことがあるが、その差は、形成された閉じた成分におけるインデックスに等しい。
• 理論は、幾何的ボーディズムの関数解析的双対を提供し、分解を備えたヒルバート空間とフレドホルム対が、ボーディズム圏と同型な圏をなす。