[論文レビュー] Deformations of Special Lagrangian Submanifolds; An Approach via Fredholm Alternative

Sema Salur|ArXiv.org|Jan 5, 2006

Geometric Analysis and Curvature Flows参考文献 10被引用数 3

ひとこと要約

この論文は、陰関数定理の代わりにフレドホルムの補題を用いて、非可積分な almost complex 構造をもつシンプレクティック多様体内の滑らかでコンパクトかつ向きつけ可能な特殊ラグランジュ部分多様体の変形のモジュライ空間が、第一ベッチ数 $b_1(L)$ に等しい次元の滑らかな多様体であることを再証明する。主な貢献は、ヒルベルト空間上のコンパクト作用素理論とフレドホルム理論を用いて、線形化変形作用素の上への性質を確立することにある。

ABSTRACT

In an earlier paper, we showed that the moduli space of deformations of a smooth, compact, orientable special Lagrangian submanifold L in a symplectic manifold X with a non-integrable almost complex structure is a smooth manifold of dimension H^1(L), the space of harmonic 1-forms on L. We proved this first by showing that the linearized operator for the deformation map is surjective and then applying the Banach space implicit function theorem. In this paper, we obtain the same surjectivity result by using a different method, the Fredholm Alternative, which is a powerful tool for compact operators in linear functional analysis.

研究の動機と目的

• 陰関数定理とは異なる手法を用いて、特殊ラグランジュ変形のモジュライ空間の次元を再導出すること。
• バナッハ空間およびヒルベルト空間の文脈において、フレドホルムの補題を用いて線形化変形写像の上への性質を確立すること。
• カルビ・ヤウ多様体に限らない、非可積分な almost complex 構造と消えない複素 $(n,0)$-形式をもつシンプレクティック多様体へのマクレーンの結果の一般化。
• フレドホルム理論を用いて、特殊ラグランジュ変形のモジュライ空間が、$ \dim H^1(L) = b_1(L)$ に等しい次元の滑らかな多様体であることを示すこと。
• コンパクト作用素と固有値の性質を用いて、特殊ラグランジュ部分多様体の変形理論に関数解析的基盤を提供すること。

提案手法

• 線形化変形作用素を $I - \mathcal{K}$ の形に表現し、ヒルベルト空間上でのコンパクト作用素 $\mathcal{K}$ を用いてフレドホルムの補題を適用する。
• $L^2$-ホッジ分解と楕円型正則性を用いて、変形作用素の核と余核を分析する。
• 変形方程式をラプラシアン $\Delta$ とベクトル場の発散を含む有界かつコンパクトな摂動項を含む形に変形する。
• 作用素 $\Delta - \text{Id}$ にフレドホルムの補題を適用し、核と余核がそれぞれ有限次元であり、互いに双対であることを示す。
• 同次方程式 $\Delta p \pm n(-dp \cdot g - \int_L p \cdot \text{div}g \, d\text{vol}) = 0$ の解空間が定数関数のみからなることを示し、$\dim \ker(I - \mathcal{K}) = 1$ を得る。
• 双対性と随伴作用素 $\mathcal{K}^*$ を用いて $\dim \ker(I - \mathcal{K}^*) = 1$ を示し、フレドホルムの補題の上への性質を満たす条件を確認する。

実験結果

リサーチクエスチョン

• RQ1 特殊ラグランジュ部分多様体の線形化変形写像の上への性質は、陰関数定理の代わりにフレドホルムの補題を用いて確立可能か？
• RQ2 非可積分な almost complex 構造をもつシンプレクティック多様体内の特殊ラグランジュ変形のモジュライ空間の次元は何か？
• RQ3 線形化変形作用素の核は、部分多様体上の調和1-形式とどのように関係するか？
• RQ4 特殊ラグランジュ変形の文脈において、方程式 $u - \mathcal{K}u = f$ が解をもつための条件は何か？
• RQ5 コンパクト作用素 $\mathcal{K}$ は、変形問題の解空間を特徴付ける上で果たす役割は何か？

主な発見

• 非可積分な almost complex 構造をもつシンプレクティック多様体内の滑らかでコンパクトかつ向きつけ可能な特殊ラグランジュ部分多様体 $L$ の変形のモジュライ空間は、次元 $b_1(L)$ の滑らかな多様体である。
• フレドホルムの補題を用いて線形化変形写像が上への性質を示したため、適合する右辺に対して変形方程式の解が存在することが保証される。
• $I - \mathcal{K}$ の核は1次元であり、定数関数からなる。これは自明な変形方向に対応する。
• 随伴作用素 $I - \mathcal{K}^*$ の核も1次元であり、双対性が成立し、フレドホルムの補題の条件を満たすことが確認される。
• モジュライ空間の接空間の次元は第一ベッチ数 $b_1(L)$ に等しく、$H^1(L)$ の次元と一致する。
• この結果は、カルビ・ヤウ多様体におけるマクレーンの元々の定理と整合しており、関数解析的道具を用いて非可積分な almost complex 構造をもつシンプレクティック多様体へと拡張された。