[論文レビュー] Minimizing area among Lagrangian surfaces: the mapping problem

Richard Schoen, Jon Wolfson|ArXiv.org|Aug 28, 2000

Geometric Analysis and Curvature Flows参考文献 20被引用数 4

ひとこと要約

本稿は、シンプレクティック 4-多様体における面積最小化ラグランジュ的表面を研究し、シンプレクティック形式によって消えるラグランジュ的ホモロジー類において、そのような最小化子が存在することを示している。Sobolev 空間 W^{1,2} における変分的アプローチを用いて、各 Singularities がマスロフ指数 ±1 のラグランジュ的錐に対応する有限個の特異点をもつ面積最小化子の存在を証明した。主な結果は、非平坦特異点が最小化子に現れ得ることであるが、それらは第一チャーン類によって制約を受けており、ホモトピー類が m > 1 に対して m-安定である場合には、最小化子が非平坦特異点をもたない分岐埋め込みであるということである。

ABSTRACT

This paper introduces a geometrically constrained variational problem for the area functional. We consider the area restricted to the langrangian surfaces of a Kaehler surface, or, more generally, a symplectic 4-manifold with suitable metric, and study its critical points and in particular its minimizers. We apply this study to the problem of finding canonical representatives of the lagrangian homology (that part of the homology generated by lagrangian cycles).

研究の動機と目的

• シンプレクティック 4-多様体におけるラグランジュ的ホモロジー類に対する面積最小化代表元の存在を確立すること。
• 面積最小化ラグランジュ的表面における特異点の構造、特にそれらのマスロフ指数を特徴づけること。
• このような最小化子が分岐埋め込み（非平坦特異点をもたないもの）である条件を特定すること。
• Sobolev 空間と正則性理論を用いた変分的アプローチを、幾何的制約のもとでラグランジュ的表面へと拡張すること。
• 特異ラグランジュ的サイクルとカーラビ＝ヤウ多様体、およびケーラー＝アインシュタイン幾何学におけるその意味を探索すること。

提案手法

• シンプレクティック 4-多様体へのラグランジュ的写像に対して、Sobolev 空間 W^{1,2} における面積最小化子の構成。
• グロモフおよびアロックの比較結果を応用し、最小化子のホルダー連続性の確立。
• ヘイゼンベルク群における接触定常表面の文脈で単調性公式を導出し、特異点を分析する。
• 単調性公式を用いて、部分的正則性および特異点における接錐の存在を証明する。
• 平均曲率とシンプレクティック構造から導かれるホッジ型の1階偏微分方程式系を用いて、臨界点を特徴づける。
• 第一チャーン類およびマスロフ指数が、最小化子における特異点の数と種類を制約する役割を分析する。

実験結果

リサーチクエスチョン

• RQ1 シンプレクティック 4-多様体におけるラグランジュ的ホモロジー類が、面積最小化代表元をもつための条件は何か？
• RQ2 面積最小化ラグランジュ的表面に現れる特異点の種類は何か？ そして、マスロフ指数や第一チャーン類といった位相的不変量によってそれらはどのように制約されるか？
• RQ3 面積最小化ラグランジュ的表面が分岐埋め込み（非平坦特異点をもたないもの）であるのはいつか？
• RQ4 ホモトピー類における m-安定性条件が、その面積最小化子の正則性とどのように関係するか？
• RQ5 非平坦特異点は面積最小化可能であり得るか？ そして、それらがどのような条件下で除外されるか？

主な発見

• ケーラーまたはシンプレクティック 4-多様体における面積最小化ラグランジュ的表面は、有限個の特異点しか持たず、それぞれがマスロフ指数 ±1 のラグランジュ的錐に対応する。
• 非平坦特異点のマスロフ指数の和は、1/2 c₁(α) に等しく、これは第一チャーン類がホモロジー類に作用する値である。
• 非平坦特異点が面積最小化ラグランジュ的表面に現れ得ることを示し、文献における以前の主張を反証した。
• ラグランジュ的ホモトピー類 α が整数 m > 1 に対して m-安定である場合、その面積最小化子は非平坦特異点をもたない分岐埋め込みである。
• ケーラー＝アインシュタインの場合、c₁(α) = 0 であれば、非平坦特異点のマスロフ指数の和は 0 であり、非平坦特異点が存在しない場合には最小化子は最小的（minimal）である。
• 最小化子の平均曲率は、環境多様体の幾何的構造から導かれる、ねじれ項およびリッチ曲率形式を含むホッジ型の1階偏微分方程式系を満たす。