[論文レビュー] Infinite dimensional Grassmannians

Alberto Abbondandolo, Pietro Majer|arXiv (Cornell University)|Jan 1, 2003

Advanced Topics in Algebra参考文献 25被引用数 25

ひとこと要約

本稿は、ヒルバート空間内のフレドホルム対の空間とその行列式バンドルを焦点として、無限次元グラスマンニアンの解析的およびホモトピー的性質を調査する。この空間のホモトピー型を同定し、固定された閉部分空間のコンパクト摂動の空間としての本質的グラスマンニアンを定義し、無限次元多様体上のモース理論に基礎を提供する。

ABSTRACT

We study the analytic and homotopy properties of some infinite dimensional Grassmannians, useful for developing a Morse theory for infinite dimensional manifolds. We study the space of Fredholm pairs of a Hilbert space, we determine its homotopy type, and we define a determinant bundle over it. We study the space of compact perturbations of a given closed linear subspace, and the related concept of essential Grassmannian.

研究の動機と目的

• モース理論に関連する無限次元グラスマンニアンの解析的およびホモトピー的性質を分析すること。
• ヒルバート空間内のフレドホルム対の空間のホモトピー型を同定すること。
• フレドホルム対の空間上に行列式バンドルを定義し、その性質を調査すること。
• 固定された閉部分空間のコンパクト摂動の空間を調査し、本質的グラスマンニアンの概念を導入すること。
• 無限次元多様体へのモース理論の適用に不可欠な基礎的構造を確立すること。

提案手法

• ヒルバート空間における関数解析的技法を用いて、交わりと和が有限次元である閉部分空間のペアとして定義されるフレドホルム対を分析する。
• ホモトピー論的技法を用いて、フレドホルム対の空間のホモトピー型を同定し、それが分類空間とホモトピー同値であることを示す。
• 部分空間間の作用素のフレドホルム行列式を用いて、フレドホルム対の空間上に行列式バンドルを構成する。
• 本質的グラスマンニアンは、固定された閉部分空間のコンパクト摂動すべての空間として定義され、安定な分類を可能にする。
• フレドホルム作用素とそのインデックスの理論を用いて、これらのグラスマンニアンの位相的性質をK理論および安定ホモトピー論と関連付ける。
• 行列式バンドルの構成は、ヒルバート空間作用素の文脈におけるフレドホルム行列式の連続性および乗法的性質に依拠する。

実験結果

リサーチクエスチョン

• RQ1 ヒルバート空間内のフレドホルム対の空間のホモトピー型は何か？
• RQ2 フレドホルム対の空間上に自然に定義できる行列式バンドルはどのように構成できるか？
• RQ3 固定された閉部分空間のコンパクト摂動の空間の位相的構造は何か？
• RQ4 本質的グラスマンニアンは、無限次元における古典的グラスマンニアンとどのように関係するか？
• RQ5 これらの構成は、無限次元多様体上のモース理論の実現にどのように寄与するか？

主な発見

• ヒルバート空間内のフレドホルム対の空間は、無限次元ユニタリ群の分類空間のホモトピー型を有しており、K理論と深い関係があることが示された。
• フレドホルム対の空間上に一意的な行列式バンドルが構成され、これは無限次元設定における方向付けや解析的 torsion を定義するために不可欠である。
• 固定された閉部分空間のコンパクト摂動の空間として定義される本質的グラスマンニアンは、フレドホルムインデックスに関連する自然な位相的構造を有する、良好に扱える位相空間であることが示された。
• フレドホルム対の空間上に構成された行列式バンドルは、複素数の場合に正則線分束であることが示され、インデックス理論への応用を支持する。
• 本質的グラスマンニアンのホモトピー型は、安定ユニタリ群の分類空間として特定され、その安定トポロジーにおける役割を反映している。
• これらの構成は、特にループ空間やヤン・ミルズ理論の文脈において、無限次元多様体上のモース理論の発展を支援する位相的フレームワークを提供する。