[論文レビュー] On the Existence of Minimal Tori in $S^3$ of Arbitrary Spectral Genus

Emma Carberry|ArXiv.org|Jul 16, 2004

Geometry and complex manifolds参考文献 18被引用数 4

ひとこと要約

本稿は、代数幾何的技法と統合系理論に基づく超楕円曲線を用いて、任意の genus $ g \geq 0 $ のスペクトル曲線をもつ、2次トーラスから3次元球面への等角調和写像の存在を証明する。各 $ g \geq 0 $ に対して、このような最小トーラスは可算無限個存在し、$ g > 2 $ の場合は実 $ (g-2) $ 次元の族をなすことが示された。

ABSTRACT

Minimal tori that are linearly full in the 3-sphere possess a natural invariant g called their spectral genus, which was introduced by Hitchin. We show that for each g>0, there are countably many real g-dimensional families of minimally immersed tori with spectral genus g (two of these dimensions are just reparametrisations of the torus). Each family maps from a fixed torus of rectangular conformal type.

研究の動機と目的

• 任意のスペクトル genus $ g \geq 0 $ に対して、$ S^3 $ 内の最小トーラスの存在を確立すること。これにより、以前の結果（$ g \leq 3 $ に限る）を拡張する。
• トーラスから $ S^3 $ への等角調和写像が、任意の genus のスペクトル曲線に対応することを示し、このような写像が正確に最小曲面を記述することを示すこと。
• 超楕円曲線、有理型微分形式、線束などの代数幾何的データを用いて、調和写像の明示的族を構成すること。
• $ g > 2 $ の場合に、このような調和写像の空間が実 $ (g-2) $ 次元の族をなすことの証明。これにより、ヒッチンの事例別解析を一般化する。
• すべての $ g \geq 0 $ に対して、スペクトル曲線の条件を満たす解の存在を、帰納法とリーマン面上の有理型微分形式系の解析を用いて証明すること。

提案手法

• 調和写像 $ f: (T^2, \tau) \to S^3 $ と代数幾何的データ（超楕円スペクトル曲線 $ X $、射影 $ \pi: X \to \mathbb{CP}^1 $、$ X \setminus \pi^{-1}\{0,\infty\} $ 上の正則関数、$ X $ 上の線束）との間のヒッチン対応を用いる。
• 条件を満たす対称性と実性条件を保つために、$ y^2 = x \prod_{i=1}^g (x - \alpha_i)(x - \bar{\alpha}_i^{-1}) $ の形のスペクトル曲線を構成し、$ |\alpha_i| \neq 0,1 $ とする。
• 無限遠点で二階極をもち、$ a $-周期がゼロである第二種の有理型微分形式 $ \Omega_{\pm}(p) $ を定義し、$ z \to \infty $ の漸近挙動として $ \Omega_{\pm} \sim \frac{z^n dz}{w_\pm} $ を満たすようにする。
• 周期データを符号するため、$ \Omega_{\pm} $ および $ \widehat{\Omega}_{\pm} $ の積分によりベクトル値関数 $ I_{\pm}(p) $ と $ \widehat{I}_{\pm}(p) $ を定義する。
• 実解析的陰関数定理を適用し、各 $ n \in \mathbb{Z}_{\geq 0} $ に対して、周期条件および非退化条件（例：$ 5(D_+ - D_-) + 4T^k(\eta^+ - \eta^-) \neq 0 $）を満たす $ p \in M_{n,\mathbb{R}} $ が存在することを示す。
• genus に関する帰納法を用い、基本ケース $ n = 0 $ を明示的に検証する。$ I_\pm = \mp 8 $、$ \widehat{I}_\pm = 8 $、$ \eta^\pm = \mp 1 $ を計算し、$ T(x) = -(3x+8)/(2x+5) $ が $ x = 5/4 $ に固定点を持たないことを示し、非退化性を回避する。

実験結果

リサーチクエスチョン

• RQ1 2次トーラスから $ S^3 $ への調和写像で、任意の genus $ g \geq 0 $ のスペクトル曲線をもつものを作成可能か？
• RQ2 このような調和写像は最小曲面を与えるか？ もしそうなら、$ g > 2 $ の場合、その写像の族の次元はどのようになるか？
• RQ3 指定された代数幾何的データ（曲線、射影、微分形式、線束）を満たす genus $ g $ のスペクトル曲線が存在可能か？
• RQ4 周期写像の非退化性とスペクトル曲線問題の解の存在を保証する条件は何か？
• RQ5 ヒッチンの $ g \leq 3 $ に対する事例別解析を拡張し、すべての $ g \geq 0 $ に対して一様にこのような写像の存在を証明可能か？

主な発見

• すべての $ g \geq 0 $ に対して、スペクトル曲線の genus が $ g $ であるような等角調和写像 $ f: (T^2, \tau) \to S^3 $ が可算無限個存在し、$ S^3 $ 内の任意のスペクトル genus をもつ最小トーラスの存在が証明された。
• このようなすべての調和トーラスは長方形型の等角型をもち、その複素構造 $ \tau $ は上半平面内の長方形格子上にある。
• $ g > 2 $ の場合、このような調和写像の空間は実 $ (g - 2) $ 次元の族をなし、スペクトル曲線上の線束の選択によってパrameter化される。
• 解の存在は、genus に関する帰納的構成により確立され、基本ケース $ g = 0 $ は周期積分の計算と変換 $ T $ の非退化性の検証により明示的に確認された。
• すべての $ k \geq 0 $ に対して $ 5(D_+ - D_-) + 4T^k(\eta^+ - \eta^-) \neq 0 $ である非退化性条件が、基本点 $ p \in M_{0,\mathbb{R}} $ で満たされており、近傍内での解の存在を保証する。
• 解の構成は、周期ベクトル $ I_\pm(p) $ および $ \widehat{I}_\pm(p) $ が必要な線形独立性および実性条件を満たすような実点 $ p \in M_{n,\mathbb{R}} $ の存在に依存しており、これにより解が調和写像に引き上げられる。