[論文レビュー] Parallel calibrations and minimal submanifolds

Colleen Robles|ArXiv.org|Aug 15, 2008

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

ひとこと要約

この論文は、リーマン多様体上の平行なキャリブレーション $φ$ に対して、非ゼロの臨界値を持つ $φ$-臨界部分多様体が最小であることを確立する。さらに、$φ$-臨界部分多様体が、平滑な $φ$-関連外部微分系 $π$ の積分部分多様体であることを示し、微分形式の系によるキャリブレート部分多様体の特徴付けを一般化し、平行性のもとで臨界点と最小性を結びつける。

ABSTRACT

Given a parallel calibration $ϕ\in Ω^p(M)$ on a Riemannian manifold $M$, I prove that the $ϕ$--critical submanifolds with nonzero critical value are minimal submanifolds. I also show that the $ϕ$--critical submanifolds are precisely the integral manifolds of a $\mathscr{C}^\infty(M)$--linear subspace $\sP \subset Ω^p(M)$. In particular, the calibrated submanifolds are necessarily integral submanifolds of the system. (Examples of parallel calibrations include the special Lagrangian calibration on Calabi-Yau manifolds, (co)associative calibrations on $G_2$--manifolds, and the Cayley calibration on $ Spin(7)$--manifolds.)

研究の動機と目的

• リーマン多様体 $M$ に平行キャリブレーション $φ$ が与えられたとき、$φ$-臨界部分多様体を特徴づけること。
• 非ゼロの臨界値を持つようなそれらの部分多様体が最小であることを証明すること。これは、局所的最大値に関する既知の結果を拡張する。
• $φ$-臨界部分多様体が、滑らかな $φ$-関連外部微分系 $π$ の積分多様体であることを示すこと。
• キャリブレート部分多様体の特徴付けを、$φ$ の臨界点から微分形式の系へ一般化すること。

提案手法

• 臨界値を達成する $p$-平面上の集合として、$C(φ)_x$ を定義し、キャリブレートされた平面 $\mathrm{Gr}(\varphi)_x$ を一般化する。
• $Φ_M ⊂ \bigwedge^p T^*M$ を部分バンドルとして定義し、$Φ ⊂ \bigwedge^p V^*$ のリー不変部分空間の annihilator を用いて、$π ⊂ Ω^p(M)$ を滑らかなセクションとして構成する。
• $p$ 次元部分多様体 $N$ が $φ$-臨界であるための必要十分条件として、$N$ が $π$ の積分多様体であること、すなわち $\u03c0|_N = 0$ であることを証明する。
• $φ$ の平行性を用いて、$H$-フレーム内での $π$ の形式の係数が定数であることを保証し、共変微分と外微分の制御を可能にする。
• Cartanのテストを用いて、関連するイデアル $σ = \langle π \rangle$ の自己包含性を分析し、$p > n/2$ のとき失敗することを示す。
• ホッジ双対 $∗\u03c6$ を用いて、積分要素の余次元と系の非自己包含性の関係を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で $φ$-臨界部分多様体が最小であるか？
• RQ2 $φ$-臨界部分多様体は代数的および幾何的にどのように特徴づけられるか？
• RQ3 $φ$ の臨界点と微分系 $π$ の積分多様体との間にはどのような関係があるか？
• RQ4 なぜ $p > n/2$ のとき外部微分系 $π$ は自己包含性を失うのか？
• RQ5 臨界値 $φ_o$ は、部分多様体の幾何学的性質と系内の極空間にどのように影響を与えるか？

主な発見

• リーマン多様体に平行キャリブレーション $φ$ が与えられたとき、$φ$-臨界部分多様体は、リー不変部分空間 $Φ ⊂ \bigwedge^p V^*$ の annihilator を通じて定義される滑らかな $π ⊂ Ω^p(M)$ の積分多様体にちょうど一致する。
• 任意の $φ$-臨界部分多様体 $N$ に対して、$φ|_N = \varphi_o \cdot \mathrm{vol}_N$ が成り立ち、ここで $\varphi_o$ は定数の臨界値である。
• 臨界値 $\varphi_o \neq 0$ ならば、$N$ は $M$ の最小部分多様体である。これは、Unal が局所的最大値に対して示した結果を一般化する。
• 平行性 $\u03c6$ とホロノミー群による $\u03a6$ の不変性のおかげで、イデアル $\sigma = \langle \u03c0 \rangle$ は微分的に閉じており、すなわち $d\sigma \subset \sigma$ が成り立つ。
• $p > n/2$ のとき、Cartanのテストにより、イデアル $\sigma$ は自己包含性を失う。このとき $\mathrm{codim}_{E} \mathscr{V}_p(\sigma) \geq n-p$ であり、一般には等号は成立しない。
• $\varphi_o = 0$ の場合、ベクトル積 $\rho$ は臨界平面上で消えるため、$H(E_{p-1})$ は $E$ よりも大きくなり、系は自己包含性を持たない。