[論文レビュー] Embedded Weingarten tori in S^3

Simon Brendle|arXiv (Cornell University)|May 13, 2013

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

ひとこと要約

本稿は、3次元球面 $S^3$ 内の埋め込みWeingartenトーラスが、特定の曲率関係 $ \lambda_1 + \lambda_2 = \psi(\lambda_1 - \lambda_2)$ を満たす場合、関数 $\psi$ がいくつかの解析的条件を満たすならば、回転対称でなければならないことを証明している。証明は、2点関数に最大値原理を適用する手法を採用し、Brendleによる最小曲面および定平均曲率トーラスに関する研究の技術を、より広いクラスのWeingarten曲面へと拡張している。

ABSTRACT

In this paper, we show that an embedded Weingarten surface in S^3 of genus 1 must be rotationally symmetric, provided that certain structure conditions are satisfied. The argument involves an adaptation of our proof of Lawson's Conjecture for minimal tori.

研究の動機と目的

• 最小曲面および定平均曲率曲面を一般化する曲率関係を満たす $S^3$ 内の埋め込みWeingartenトーラスの剛性を確立すること。
• Lawsonの予想を証明する際に用いられた最大値原理の技法を、Weingarten方程式に従うより広いクラスの曲面へと拡張すること。
• 関数 $\psi$ が特定の解析的条件を満たす場合、このようなトーラスが回転対称でなければならないことを示すこと。
• 最小曲面および定平均曲率トーラスに関する以前の剛性結果を、Weingarten設定へと一般化すること。
• 非 umbilical 点の存在しない状況と2点関数の構造が、Killingベクトル場を介して対称性をもたらすことを示すこと。

提案手法

• HuiskenとAndrewsの2点関数法を応用し、非負関数 $Z(x,y) = \Phi(x)(1 - \langle F(x), F(y) \rangle) + \langle \nu(x), F(y) \rangle \geq 0$ に最大値原理を適用する。
• トーラス $\Sigma = \mathbb{C}/\Lambda$ 上の等角座標を用いて、曲率方程式をホップ微分 $h_{zz}$ の形に表現する。
• Weingarten方程式から導かれるベルトラミー型偏微分方程式を用い、ホップ指数の数え上げにより $h_{zz}$ がゼロを持たないことを証明し、したがって umbilical 点が存在しないことを示す。
• 非負関数 $f(t)$ の3階微分が消えることから $D_1\lambda_1 = D_1\lambda_2 = 0$ を導出し、1つの曲率線に沿って主曲率が定数であることを示す。
• 関数 $\varphi$ を $\varphi' = -\frac{1 + \psi'(s)}{2s} \varphi(s)$ で定義し、ベクトル場 $V = \varphi(\lambda_1 - \lambda_2) e_1$ を構成する。このとき $[V, e_i] = 0$ かつ $\mathcal{L}_V g = \mathcal{L}_V h = 0$ が成り立つことを示す。
• この $V$ を $S^3$ 上のKillingベクトル場へと拡張し、ランク2の $\mathfrak{so}(4)$ に属する反対称行列 $Q$ が存在して $V(x) = Q F(x)$ と書けることを示し、これにより曲面の回転対称性が得られることを証明する。

実験結果

リサーチクエスチョン

• RQ1 $S^3$ 内の最小トーラスに関する剛性結果は、より広いクラスのWeingarten曲面へと拡張可能か？
• RQ2 関数 $\psi$ がどのような解析的条件下で、Weingarten方程式 $\lambda_1 + \lambda_2 = \psi(\lambda_1 - \lambda_2)$ が埋め込みトーラスに対して回転対称性をもたらすか？
• RQ3 最小曲面の場合と同様に、Weingartenトーラスにおいても umbilical 点が存在しない状況が保たれるか？
• RQ4 2点関数の最大値原理技法を、非最小・非定平均曲率のWeingarten曲面に対しても対称性の証明に適応可能か？
• RQ5 このようなトーラスの対称性は、環境空間 $S^3$ から誘導されるKillingベクトル場の存在によって特徴づけられるか？

主な発見

• 関数 $\psi$ が偶関数であり、$0 \leq s\psi'(s) < \min\{\psi(s), s\}$ および $0 \leq s\psi''(s) \leq 1 - \psi'(s)^2$ を満たす場合、$S^3$ 内の任意の埋め込みWeingartenトーラスは $\lambda_1 + \lambda_2 = \psi(\lambda_1 - \lambda_2)$ を満たすと回転対称でなければならない。
• 関数 $\psi(s) = \sqrt{a + b s^2} + c$（$a > 0$, $b \in [0,1]$, $c \geq 0$）は必要な条件を満たすため、$(\lambda_1 + \lambda_2 - c)^2 = a + b(\lambda_1 - \lambda_2)^2$ かつ $\lambda_1 + \lambda_2 \geq c$ を満たすトーラスは回転対称である。
• ホップ微分 $h_{zz}$ のホップ指数の議論により、トーラスの位相的性質とベルトラミー型PDEの構造から $h_{zz}$ がゼロを持たないことが示され、したがって umbilical 点が存在しないことが保証される。
• 主曲率は、各点で $D_1\lambda_1 = D_1\lambda_2 = 0$ であるため、1つの曲率線に沿って定数である。
• 対称性は、$\mathfrak{so}(4)$ に属するランク2の行列 $Q$ を用いて $V(x) = Q F(x)$ と表されるKillingベクトル場により実現され、これにより曲面の回転対称性が証明される。
• 関数 $\varphi$ と主フレームから構成されたベクトル場 $V$ は $\mathcal{L}_V g = \mathcal{L}_V h = 0$ を満たし、これは $V$ が曲面を保存する等長変換の1パラメータ群を生成することを確認する。