[論文レビュー] Local classification of generalized complex structures

Michael Bailey|arXiv (Cornell University)|Jan 23, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 16被引用数 10

ひとこと要約

本稿では、複素構造型の点の近傍において、一般化された複素構造の局所分類を確立する。具体的には、そのような構造が、シンプレクティック多様体と複素ポワンソーマニフォールドの直積にコルント等価であることを証明する。コンの線形化定理にインspiredされたナッシュ＝モーザー型の議論を用いて、複素構造型の点の近傍における小さな変形が、正則ポワンソーバイベクトルから生じることを示し、局所幾何を複素多様体上の正則ポワンソーマニフォールドに還元する。

ABSTRACT

We give a local classification of generalized complex structures. About a point, a generalized complex structure is equivalent to a product of a symplectic manifold with a holomorphic Poisson manifold. We use a Nash-Moser type argument in the style of Conn's linearization theorem.

研究の動機と目的

• 複素構造型の点の近傍における一般化された複素構造の局所分類を行う。
• このような構造が、複素構造の正則ポワンソーデフォーメーションから生じるかどうかを特定する。
• アブオザイドとボヤルチェンコの局所構造定理を拡張し、複素型点の近傍における正確な幾何的モデルを同定する。
• 一般化された複素構造を正則ポワンソーマニフォールドに線形化するコルント同型の存在を確立する。

提案手法

• 変形問題における微分の損失を扱うために、SCI空間の枠組みでナッシュ＝モーザー型の陰関数定理を用いる。
• 変形パラメータεのスケーリング変換λtと拡大δtを導入し、抽象正規形定理の適用を可能にする。
• 一般化された作用およびその導関数のノルムに関する推移的推定式(4.9)–(4.13)の検証に依拠し、SCIフレームワーク内での収束を保証する。
• 変形複体および一般化されたフローは、一般化されたショウテン括弧とムーラー＝カルタン方程式を用いて、無限小変形を記述する。
• 重要なステップとして、有限変形を無限小解で近似するためのチェーンホモトピー作用素∂̄を構成する。
• 主要結果は、複素構造の小さな変形εがコルント同型によって正則ポワンソーバイベクトルβに共役可能であることを示すことによって得られる。

実験結果

リサーチクエスチョン

• RQ1 複素型点の近傍における一般化された複素構造は、複素多様体上の正則ポワンソーマニフォールドと局所的に同値とみなせるか？
• RQ2 一般化された複素構造が複素型点の近傍で線形化可能なコルント同型が存在するための条件は何か？
• RQ3 変形問題における微分の損失をどのように乗り越え、局所分類を達成できるか？
• RQ4 正則ポワンソーマニフォールドの同型は、元の一般化された複素構造によってどの程度一意に定まるか？

主な発見

• メイン定理は、点における複素構造型の任意の一般化された複素構造が、その点の近傍で局所的に正則ポワンソーマニフォールド上の複素多様体とコルント同値であることを確立する。
• メイン補題は、単位球上での複素構造の小さな変形が、原点で1次に消える限り、正則ポワンソーバイベクトルによる変形と同値であることを示す。
• 著者らは、スケーリングされた変形R_tεのノルムが||R_tε||_k ≤ C t ||ε||_kを満たすことを証明し、これにより小規模なtに対して抽象正規形定理を適用可能にする。
• スケーリング変換λ_t²と拡大δ_t⁻¹を用いて、変形を正則ポワンソーバイベクトルβに共役化し、最終的な構造はt⁻²βに同値である。
• 反復手続きの収束を保証するため、SCI空間フレームワーク内での一連の作用素ノルム推定式(4.9)–(4.13)の検証に依拠する。
• 結果として、一般化された複素構造が、シンプレクティック多様体と正則ポワンソーマニフォールドの直積として局所的にモデル化されることを確認する。ここで後者の構造が複素型の振る舞いを記述する。