[論文レビュー] Minimal and Hamiltonian-minimal submanifolds in toric geometry

Artem Kotelskiy|arXiv (Cornell University)|Jul 30, 2013

Geometric and Algebraic Topology参考文献 10被引用数 5

ひとこと要約

本稿は、$\mathbb{C}^m$ や $\mathbb{C}P^m$ などのトーリックケーラー多様体において、実二次曲面の交わりを用いて最小かつハミルトニアン最小のラグランジュ部分多様体を構成する。シンプレクティック減少とモーメント角度多様体上の群作用を用い、埋め込まれたモーメント角度多様体における最小性およびトーリック多様体におけるH最小性を証明する。ミロンォフの構成を一般化し、群不変変種とホッジ双対性に基づく概念的な幾何的説明を与える。

ABSTRACT

In this paper we investigate a family of Hamiltonian-minimal Lagrangian submanifolds in ${\mathbb C}^m$, ${\mathbb C}P^m$ and other symplectic toric manifolds constructed from intersections of real quadrics. In particular, we explain the nature of this phenomenon by proving H-minimality in a more conceptual way, and prove minimality of the same submanifolds in the corresponding moment-angle manifolds.

研究の動機と目的

• $\mathbb{C}^m$ や他のシンプレクティックトーリック多様体における実二次曲面の交わりから定義されるラグランジュ部分多様体のH最小性について、概念的な幾何的説明を提供すること。
• 群不変変種技術を用いて、対応するモーメント角度多様体におけるこれらの部分多様体の最小性を証明すること。
• シンプレクティック減少とトーラス作用を用いて、ミロンォフのH最小ラグランジュ部分多様体の構成を、任意のシンプレクティックトーリック多様体へ一般化すること。
• 群不変変種と曲率解析を通じて、モーメント角度多様体、シンプレクティック減少、H最小性を結びつける統一的枠組みを確立すること。

提案手法

• 実二次曲面 $Z_\Gamma \subset \mathbb{C}^m$ の交わりから、トーリック多様体 $V_\Gamma = Z_\Gamma / T_\Gamma$ をシンプレクティック減少を用いて構成する。
• 群不変変種技術を適用し、$G$-不変変種における平均曲率ベクトルが消えることを証明することで、モーメント角度多様体における部分多様体の最小性を示す。
• 体積の第一変種公式とホッジ双対性を用い、$\delta i_H \omega = 0$ をラグランジュ部分多様体上で満たすことで、H最小性を特徴付ける。
• トーラス $T_\Delta$ の作用におけるモーメント写像 $\mu_\Delta$ を用い、シンプレクティック減少を定義し、H最小部分多様体 $\tilde{N}$ をファイバー積 $U_{\Gamma\Delta} \times_{D_\Delta} T_\Delta$ として構成する。
• ノイターの定理を適用し、$T_\Delta$-不変ハミルトニアン変種に限定することで、変種が減少多様体 $Z_{\Gamma\Delta}/T_\Gamma$ 内に留まることを保証する。
• $V_{\Gamma\Delta}$ 上に修正された計量 $\tilde{\tilde{g}} = \mathrm{Vo}^{2/(n+l-m)} g$ を用い、$V_\Gamma$ 上の複素共役の等長性を活用することで、$U_{\Gamma\Delta}$ の最小性を証明する。

実験結果

リサーチクエスチョン

• RQ1 なぜ $\mathbb{C}^m$ や他のトーリック多様体において、実二次曲面の交わりとして定義されるラグランジュ部分多様体がH最小性を示すのか？
• RQ2 直接計算を超えて、より概念的で幾何的な説明で、このような部分多様体のH最小性をどのように説明できるか？
• RQ3 モーメント角度多様体 $Z_{\Gamma\Delta}/T_\Gamma$ における最小性とトーリック多様体 $V_\Gamma$ におけるH最小性の間にはどのような関係があるか？
• RQ4 シンプレクティック減少を用いて、ミロンォフのH最小ラグランジュ部分多様体の構成を、任意のシンプレクティックトーリック多様体へ一般化できるか？
• RQ5 この文脈において、群作用と群不変変種は、最小性およびH最小性を確立するために果たす役割は何か？

主な発見

• 部分多様体 $\tilde{N} = \tilde{\pi}^{-1}(U_{\Gamma\Delta}) \subset Z_{\Gamma\Delta}/T_\Gamma \subset V_\Gamma$ は、群不変変種技術を用いて、モーメント角度多様体 $Z_{\Gamma\Delta}/T_\Gamma$ において最小であることが示された。
• 同じ部分多様体 $\tilde{N}$ は、第一変種公式と条件 $\delta i_H \omega = 0$ を用いて、トーリック多様体 $V_\Gamma$ においてH最小であることが確認された。
• この構成は、ミロンォフの元々の結果を一般化する：$m-n=0$ のとき、$\tilde{N}$ は $\mathbb{C}^m$ 内の標準的なH最小ラグランジュ部分多様体に還元される。
• $m-l=0$ のとき、$\tilde{N}$ は実トーリック多様体 $U_\Gamma$ になり、これは最小であるだけでなく、$V_\Gamma$ において完全測地的である。
• $m-n=1$ のとき、この構成は $\mathbb{C}P^{m-1}$ 内のH最小ラグランジュトーラスを生成し、特に $\mathbb{C}P^2$ や $\mathbb{C}P^3$ における他の研究者によって以前に構成されたものも含む。
• 証明は、$V_\Gamma$ 上の複素共役の等長性に依存しており、これはファイバー $\tilde{\pi}^{-1}(x)$ の体積を保つ。この性質により、修正計量が最小性を保つことが保証される。