[論文レビュー] Deformations of Compact Cayley Submanifolds with Boundary

Matthias Ohst|arXiv (Cornell University)|May 30, 2014

Geometric Analysis and Curvature Flows参考文献 2被引用数 6

ひとこと要約

この論文は、スピン(7)構造を備えた8次元多様体における境界をもつコンパクトなカイラー部分多様体の変形を調査する。一般のスピン(7)構造または境界部分多様体Wの摂動に対して、このような部分多様体は剛性を示すことが証明され、一般構造のもとで変形のモジュライ空間は有限（空集合である可能性を含む）である。変形空間を制御するために、2階の楕円型境界問題が用いられる。

ABSTRACT

Let M be an 8-manifold with a Spin(7)-structure. We first show that closed Cayley submanifolds of M form a smooth moduli space for a generic Spin(7)-structure. Then we study the deformations of a compact, connected Cayley submanifold X of M with non-empty boundary contained in a given submanifold W of M such that X and W meet orthogonally. We show that they are rigid for a generic Spin(7)-structure. We further show that they are also rigid for a generic deformation of W.

研究の動機と目的

• 8次元多様体にスピン(7)構造を備えた境界をもつコンパクトなカイラー部分多様体の変形理論を研究すること。
• XとWが直交する条件下で、境界が固定された部分多様体W上にとどまることを制約したときの変形の挙動を分析すること。
• スピン(7)構造またはWの摂動に対して、このような変形の一般剛性結果を確立すること。
• 1階の楕円型境界問題における非楕円性の欠如に適応するため、閉じたカイラー部分多様体のMcLeanの変形理論を境界設定に拡張し、2階の楕円型境界問題を用いること。

提案手法

• 変形問題は、一般条件のもとで指数が0で滑らかな解空間を持つ2階の楕円型境界値問題として定式化される。
• 主要な技術的結果として、変形のモジュライ空間がこの境界問題の解空間に埋め込まれ、Zariski接空間の有限次元性が保証される。
• 一般性定理は横断性の議論を用いて証明され、一般の近傍のスピン(7)構造またはWの摂動に対して、モジュライ空間が有限であることが示される。
• 解析は、閉じたカイラー部分多様体のMcLeanの枠組みを境界設定に拡張し、1階境界問題における非楕円性に起因する課題に適応することに依存する。
• G₂多様体におけるアソシエイティブ部分多様体と関連するスピン(7)多様体におけるカイラー部分多様体の対応関係を用いて、既知のアソシエイティブケースにおける剛性結果と関連づける。

実験結果

リサーチクエスチョン

• RQ1 スピン(7)多様体における境界をもつコンパクトなカイラー部分多様体が非自明な変形を許容する条件は何か？
• RQ2 一般摂動におけるスピン(7)構造に対して、そのような変形のモジュライ空間はどのように振る舞うか？
• RQ3 境界制約部分多様体Wを一般に変化させた場合、モジュライ空間にはどのような影響があるか？
• RQ4 変形問題は楕円型境界問題として定式化可能か？ その関連作用素の指数は何か？

主な発見

• 一般の近傍スピン(7)構造に対して、W上にあり、Wに直交する境界をもつカイラー部分多様体のモジュライ空間は有限（空集合である可能性を含む）であり、剛性を示している。
• 変形のモジュライ空間は、指数が0の2階の楕円型境界問題の解空間に埋め込まれており、Zariski接空間の有限次元性が保証される。
• 1階設定では変形問題が楕円型でないため、2階の定式化が不可欠であり、これは共アソシエイティブ部分多様体理論でも用いられる手法と類似している。
• 境界部分多様体Wの一般摂動に対しても剛性が保たれ、固定されたWに対してだけでなく、一般のWに対しても剛性が成立する。
• McLeanの理論を境界の場合に一般化し、一般性が有限のモジュライ空間をもたらすことを示した。
• G₂多様体におけるアソシエイティブ部分多様体と関連するスピン(7)多様体におけるカイラー部分多様体の対応関係により、アソシエイティブ部分多様体の剛性が、カイラー部分多様体に対しても同様の剛性を示すことを示した。