[論文レビュー] The polyfold--Kuranishi correspondence I: A choice-independent theory of Kuranishi structures

Dingyu Yang|arXiv (Cornell University)|Feb 27, 2014

Algebraic structures and combinatorial models参考文献 8被引用数 10

ひとこと要約

本論文は、良い座標系の選択に依存しないKuranishi構造の理論を確立する。Kuranishi構造の同値類を内在的な芽（germ）として定義することで、任意の良い座標系の選択に依存しない。また、摂動理論がそのような選択に依存せず well-defined であることを証明し、多様体のFredholm構造と自然な対応を確立し、シンプレクティックトポロジーにおける2つの主要な抽象的摂動枠組みを統合する。

ABSTRACT

This is the first paper in a series which proposes and develops the polyfold Fredholm structure--Kuranishi structure correspondence, identifying these two abstract perturbative structures which are indispensable for constructing and understanding symplectic invariants in the most general settings. In this paper, I present my version of the theory of Kuranishi structures in full generality. This theory is independent of all the choices made in the construction (including the choices of good coordinate systems); and it uses the equivalence of Kuranishi structures as the germ to capture the intrinsic underlying structure to which the perturbation theory descends. This is the first theory in the literature that has these two properties. This choice-independent theory is essential for canonically and functorially identifying the polyfold Fredholm theory of Hofer-Wysocki-Zehnder with the theory of Kuranishi structures. The next two papers in this series will be on the forgetful functor and the globalization functor in the respective directions of the polyfold--Kuranishi correspondence, as well as illustrating the use of the correspondence with a few sample applications.

研究の動機と目的

• Kuranishi構造理論における長年の問題である、良い座標系の選択に依存する問題を解決すること。
• アトラスや座標系の選択に依存しない内在的で選択に依存しないKuranishi構造の概念を、同値類（芽）として定義すること。
• すべての構築選択に依存しない、標準的な摂動理論をKuranishi構造に確立すること。
• 多様体のFredholm構造とKuranishi構造との間の厳密でファンクター的な対応関係を築く基盤を提供すること。
• 2つの主要な抽象的摂動枠組みの間での結果の移行を可能にすること。

提案手法

• Kuranishi構造の同値性を、アトラスや座標系の選択に依存しない内在的な幾何的対象を捉える芽として定義する。
• レベル1の良い座標系を、異なる次元の局所モデルを一貫して貼り合わせることを可能にする標準的な細分として定義する。
• 三重化構成を用いて、整合的なファイバー積Kuranishiチャートを生成し、座標変換がwell-definedかつ整合的であることを保証する。
• 忘れ去られた函手のアプローチを用い、共通のレベル1の細分を通じて多様体のFredholm構造とKuranishi構造を関連付ける。
• すべての良い座標系の構築における選択が同値な系を生じることを確立し、摂動理論が不変であることを保証する。
• 許容可能なペアチャートとレベル1の細分の概念を用いて、対応関係における整合性とファンクター性を保証する。

実験結果

リサーチクエスチョン

• RQ1 Kuranishi構造は、良い座標系の選択に依存せずに定義可能か？
• RQ2 Kuranishi構造の摂動理論は、局所的な有限次元還元や座標系の異なる選択に対しても不変か？
• RQ3 Kuranishi構造の幾何的本質を捉える、標準的かつ内在的な対象を定義可能か？
• RQ4 多様体のFredholm理論とKuranishi構造理論は、どのようにファンクター的に関係づけられるか？
• RQ5 Kuranishi構造の摂動理論は、その構造の同値類（芽）へと降下してwell-definedな理論となるか？

主な発見

• Kuranishi構造理論は、良い座標系の選択に完全に依存せず、すべての選択が同値な構造を生じることを示した。
• 摂動理論は、構築の選択に依存せずwell-definedであり、同値なKuranishi構造は同じ摂動理論を有する。
• 同値類（芽）として定義されるKuranishi構造は、摂動理論が降下する内在的な幾何的対象を捉えている。
• 固定されたKuranishi構造から抽出されるすべてのレベル1の良い座標系は同値であり、理論の一貫性を保証する。
• Kuranishiチャートのファイバー積構成により、整合的な座標変換が得られ、一貫したグローバルな貼り合わせが可能になる。
• 多様体のFredholm構造とKuranishi構造との間の対応関係は、標準的かつファンクター的であり、2つの枠組み間での不変量の移行を可能にする。