[論文レビュー] An index bound for smooth umbilic points

Brendan Guilfoyle, Wilhelm Klingenberg|arXiv (Cornell University)|Jul 25, 2012

Graph Labeling and Dimension Problems参考文献 2被引用数 4

ひとこと要約

この論文は、$\mathbb{R}^3$ 内の $C^{3+\beta}$-滑らかさを持つ凸曲面上の孤立した脐点に対して、鋭い局所的インデックスの上限を確立し、$\mathbb{Z}/2$-値インデックスが 2 よりも厳密に小さいことを証明する。中立的ケーラー多様体 $TS^2$ 内のラグランジュ断面における双曲的複素点を打ち消すために、新規の「完全実ブロー・アップ」技術を用い、局所問題を、単一の複素点しか持たない埋め込みラグランジュ面の存在の非存在に還元する。これにより、インデックス $\geq 2$ が排除され、滑らかさのカテゴリーにおいてインデックス $3/2$ の異常な脐点の可能性が示唆される。

ABSTRACT

We prove that the half-integer valued local index of an isolated umbilic point on a $C^{3+α}$-smooth convex surface in Euclidean 3-space is less than two. The approach is to study the co-kernel of an associated Riemann-Hilbert boundary value problem. The link between the local and global is a semi-local technique that we term totally real blow-up. Topologically, given a real surface in a complex surface, the totally real blow-up is the connect sum of the real surface with an embedded real projective plane. We show that this increases the sum of the complex indices of the real surface by one, and hence cancels isolated hyperbolic complex points. This leads to the reduction of the local result to the global result (the non-existence of closed embedded Lagrangian surfaces with a single complex point), proving that the umbilic index for smooth surfaces is less than two. Comparison of our smooth result with that of Hans Hamburger in the real analytic case (stating that the index of an isolated umbilic point on a real analytic convex surface is less than or equal to one) suggests the existence of "exotic" umbilic points of index 3/2.

研究の動機と目的

• 実解析的仮定に依存しない、$\mathbb{R}^3$ 内の滑らかな凸曲面上の孤立した脐点に対する鋭い局所的インデックスの上限を確立すること。
• 複素点の操作に新たな幾何的技術を開発することで、グローバル結果（例：Carathéodory予想）と局所的インデックス行動のギャップを埋めること。
• 実解析的状況では除外されるが、滑らかさのカテゴリーでは除外されない『異常な』インデックス $3/2$ の脐点の可能性を調査すること。
• $C^{3+\beta}$-滑らかな凸曲面上の孤立した脐点の $\mathbb{Z}/2$-値インデックスが 2 よりも厳密に小さいことを示すこと。

提案手法

• $\mathbb{R}^3$ 内の凸曲面上の脐点の問題を、中立的ケーラー多様体 $TS^2$ 内のラグランジュ断面における複素点の問題に再定式化する。
• 『完全実ブロー・アップ』構成を導入し、インデックス $-1$ の双曲的複素点を $\mathbb{R}P^2$ から円板を除いたものと連結和することで置き換え、合計複素インデックスを 1 増やし、点をキャンセルする。
• $h$-原理を適用して、ラグランジュ円環上の孤立した楕円型および双曲型複素点をペアでキャンセルし、双曲的点の数を $k$ に減らす。
• $k$ 個の双曲的点を除去するためにブロー・アップ過程を用い、単一のインデックス $4+k$ の複素点を含む新しいラグランジュ面 $\Sigma_1 = \Sigma' \# k\mathbb{R}P^2$ を構成する。この面は完全実ラグランジュ半球面を含む。
• $\bar{\partial}$-作用素に基づくグローバルな議論を用いる：完全実半球面上の境界を持つ擬複素円板の存在は、非自明な余核を示唆するが、Sard-Smaleの定理により余核は自明である。$k \geq 0$ の場合に矛盾が生じる。
• バナッハ多様体理論と陰関数定理を用いて、複素点の近傍における $\Sigma_1$ の小さなラグランジュ変形をモデル化し、$C^{2+\alpha}$-滑らかさのカテゴリーに適用可能であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 滑らかな凸曲面上の孤立した脐点のインデックスは、2 よりも小さいものの、1 を超える可能性はあるか？
• RQ2 特にインデックスの上限に関して、実解析的カテゴリーと滑らかさのカテゴリーの間で、脐点の挙動に根本的な違いがあるか？
• RQ3 完全実ブロー・アップ技術は、複素 4 次元多様体内のラグランジュ面の双曲的複素点を体系的に除去するために用いられるか？
• RQ4 インデックス $3/2$ の孤立した脐点をもつ $C^{3+\alpha}$-滑らかな凸曲面の存在は、グローバルな Carathéodory 予想と論理的に整合するか？

主な発見

• $C^{3+\alpha}$-滑らかな凸曲面上の任意の孤立した脐点の $\mathbb{Z}/2$-値インデックスは 2 よりも厳密に小さい。
• 証明により、$C^{2+\alpha}$-滑らかな $TS^2$ のラグランジュ断面が、$k \geq 0$ の場合にインデックス $4+k$ の孤立した複素点を含むことは不可能であることが示され、これは脐点インデックス $2 + k/2$ に相当する。
• 完全実ブロー・アップ構成は合計複素インデックスを 1 増やし、孤立した双曲的複素点のキャンセルを可能にし、$k$ 個の $\mathbb{R}P^2$ のコピーと連結和することで $k$ 個の点を効果的に除去する。
• 擬複素円板が完全実半球面上に存在するという $\bar{\partial}$-作用素の非自明な余核と、Sard-Smaleの定理による自明な余核との矛盾により、このような高インデックスの複素点の存在は排除される。
• この結果は、実解析的でない滑らかな曲面上にインデックス $3/2$ の『異常な』脐点が存在する可能性を示唆する。実解析的状況では Hamburger の定理により、このような点は除外される。