[論文レビュー] On the space of Fredholm operators

Liviu I. Nicolaescu|ArXiv.org|May 9, 2000

Advanced Operator Algebra Research参考文献 5被引用数 40

ひとこと要約

本稿は、自己随伴フレドホルム作用素の空間にリーツ位相を備えたものからラグランジュ部分空間の空間へのグラフ写像が弱ホモトピー同値であることを確立し、リーツ位相が $KO^1$-理論を分類することを確認する。これは、フロア型の境界値問題の族における連続性の問題を解決し、K理論における作用素空間とシンプレクティック幾何学の間の位相的関係を明確にする。

ABSTRACT

We describe two topologies on the space of unbounded Fredholm operators and we explain their K-theoretic relevance. In the process we also prove a very general result concerning the continuity of families of first order, elliptic boundary value problems.

研究の動機と目的

• 非有界フレドホルム作用素の族、特にフロア型の境界値問題における連続性の問題を解決すること。
• 自己随伴フレドホルム作用素の空間におけるギャップ位相とリーツ位相を比較し、それらの $K$-理論的関連性を評価すること。
• ラグランジュ部分空間の空間におけるグラフのホモトピーが、対応する作用素空間におけるホモトピーを意味するかどうかを検討すること。
• 自己随伴フレドホルム作用素の空間におけるリーツ位相が、$KO^1$-理論の分類空間であることを確立すること。
• 先行研究 [6] におけるフレドホルム作用素の位相的分類に関する見落としを是正・明確化すること。

提案手法

• 非有界自己随伴作用素と $[-\mathcal{BS}]$ 内の有界作用素との関係を結ぶために、リーツ写像 $\Psi(A) = A(1+A^2)^{-1/2}$ を導入する。
• 二つの位相を比較する：ギャップ距離 $\gamma(A_0,A_1) = \|({\bf i}+A_0)^{-1} - ({\bf i}+A_1)^{-1}\| + \|({\bf i}-A_0)^{-1} - ({\bf i}-A_1)^{-1}\|$ とリーツ距離 $\rho(A_0,A_1) = \|\Psi(A_0) - \Psi(A_1)\|$。
• 関数解析的 $C^*$-代数の関数計算とシュタイン＝ワイエルシュトラスの定理を用いて、リーツ位相における収束を分析する。
• シンプレクティック還元とボット周期性を用いて、ラグランジュ部分空間のフレドホルム対の空間と $KO^1$-理論との関係を確立する。
• 恒等作用素に $H^1$-ノルムで近似するユニタリ作用素列 $U_n$ を用いて、フロア型族の連続性を証明する。
• グラフ写像 $\Gamma: \mathcal{F}_0 \to \mathcal{FL}_0$ がリーツ位相のもとで連続的かつ弱ホモトピー同値であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 自己随伴フレドホルム作用素の空間におけるリーツ位相は、$KO^1$-理論を分類するのに十分か？
• RQ2 ラグランジュ部分空間の空間におけるフレドホルム作用素のグラフのホモトピーは、作用素空間におけるホモトピーを意味するか？
• RQ3 フロア型の境界値問題の族は、リーツ位相のもとで連続的か？
• RQ4 自己随伴フレドホルム作用素の空間におけるギャップ位相は、$KO^1$-理論の分類空間か？
• RQ5 連続性とホモトピー同値性の観点から、リーツ位相とギャップ位相はどのように比較できるか？

主な発見

• $($\mathcal{S}$, \rho)$ から $(\mathcal{S}, \gamma)$ への恒等写像は連続であり、リーツ位相がギャップ位相よりも強いことを示している。
• リーツ写像 $\Psi$ は $\mathcal{F}_0$ と $[\mathcal{BF}_0]$ 間のホメオモルフィズムであり、$[\mathcal{BF}_0]$ は $KO^1$-理論の分類空間である。
• $(\mathcal{F}_0, \rho)$ から $(\mathcal{FL}_0, \delta)$ へのグラフ写像 $\Gamma$ は弱ホモトピー同値であり、リーツ位相が $KO^1$-理論を分類することを確認している。
• 命題 2.1 は、フロア型の境界値問題の族が $\rho$-連続であることを示しており、重要な技術的問題を解決している。
• $\mathcal{F}_0$ にリーツ位相を備えた空間は $KO^1$-理論の分類空間であるが、ギャップ位相の性質は未解決のままであるが、可能性は高い。
• 本稿は [6] の誤りを是正し、弱ホモトピー同値がギャップ位相ではなくリーツ位相のもとで成立することを示している。