[論文レビュー] Free boundary minimal surfaces of unbounded genus

Daniel Ketover|arXiv (Cornell University)|Dec 27, 2016

Geometric Analysis and Curvature Flows参考文献 27被引用数 28

ひとこと要約

この論文は、等長的最小最大化理論を用いて、単位3次元球体内で、無限大の genus を持つ最初に知られている自由境界 minimal 表面を構成した。これはフレーザー＝シューメンの予想を裏付けるものであり、$ g \to \infty $ のとき、これらの表面が varifold 意味で平坦な円板と臨界コネイドの和集合に収束することを示しており、その面積は両者の和よりも厳密に小さいことを示している。

ABSTRACT

For each integer $g\geq 1$ we use variational methods to construct in the unit $3$-ball $B$ a free boundary minimal surface $Σ_g$ of symmetry group $\mathbb{D}_{g+1}$. For $g$ large, $Σ_g$ has three boundary components and genus $g$. As $g ightarrow\infty$ the surfaces $Σ_g$ converge as varifolds to the union of the disk and critical catenoid. These examples are the first with genus greater than $1$ and were conjectured to exist by Fraser-Schoen. We also construct several new free boundary minimal surfaces in $B$ with the symmetry groups of the cube, tetrahedron and dodecahedron. Finally, we prove that free boundary minimal surfaces isotopic to those of Fraser-Schoen can be constructed variationally using an equivariant min-max procedure. We also prove an $ε$-regularity theorem for free boundary minimal surfaces in $B$.

研究の動機と目的

• 単位3次元球体内で任意に高い genus を持つ自由境界 minimal 表面を構成し、長年の未解決問題に取り組む。
• フレーザーとシューメンが提起した予想を確認する。すなわち、genus が増加するにつれ、このような表面が平坦な円板と臨界コネイドの和集合に収束するはずであるという予想である。
• 変分法を拡張し、立方体、四面体、ドデカヘドロンなどの正多面体の対称性を持つ新しい例を生成する。
• 3次元球体内の自由境界 minimal 表面に対して $ \epsilon $-正則性定理を確立し、有限個の特異点を除いて滑らかであることを保証する。
• 既知の表面（例：$ F_k $）の同相型が、等長的最小最大化手順を用いて変分的に構成可能であることを示す。

提案手法

• 単位3次元球体内で、$ \mathbb{D}_{g+1} $ 対称性を持つ等長的最小最大化手順を用いて、自由境界 minimal 表面 $ \Sigma_g $ の列を生成する。
• 球体内の鋭い等周不等式を用いて、最小最大化構成に用いられるスイープアウトが非自明であることを保証する。
• [KMN] のコネイド推定を適用し、首領域の幾何を制御し、退化した極限を除外する。
• $ \mathbb{Z}_2 $-等長性と曲率推定を用いて、最小最大化極限の正則性と収束を確立する。
• 潜在的な特異点に対処し、有限個の点を除いて滑らかな収束を保証するために、$ 1/j $-同相変形を用いてアニュラス領域における置換を構成する。
• デサングルレーション技術と面積比較論法を用いて、極限における誤った成分や折りたたみ行動を除外する。

実験結果

リサーチクエスチョン

• RQ1 変分法を用いて、単位3次元球体内で任意に高い genus を持つ自由境界 minimal 表面を構成可能か？
• RQ2 高 genus のこのような表面は、genus が無限大に近づくにつれ、平坦な円板と臨界コネイドの和集合に収束するか？
• RQ3 等長的最小最大化法を用いて、$ F_k $（$ k $ 個の端を持つ「二重円板」）のような既知の例と同相な表面を構成可能か？
• RQ4 立方体、八面体、ドデカヘドロンの対称性を持つ、自由境界 minimal 表面の新しい例は存在するか？
• RQ5 自由境界 minimal 表面の正則性特性、特に特異点集合と収束に関する性質は何か？

主な発見

• 任意の $ g \geq 1 $ に対して、単位3次元球体内に genus $ g $ で二面体群 $ \mathbb{D}_{g+1} $ 対称性を持つ自由境界 minimal 表面 $ \Sigma_g $ が存在する。
• $ g \to \infty $ のとき、$ \Sigma_g $ は varifold 意味で平坦な円板 $ D $ と臨界コネイド $ C $ の和集合に収束する。すなわち、$ \Sigma_g \to D \cup C $ である。
• $ \Sigma_g $ の面積はすべての $ g \geq 1 $ に対して $ |\Sigma_g| < |D| + |C| $ を満たし、極限において面積が厳密に減少することを示している。
• この構成により、フレーザー＝シューメンの予想、すなわち高 genus の自由境界 minimal 表面が $ D \cup C $ に収束するという予想が裏付けられた。
• 八面体、四面体、イコスハエドロンの対称性を用いて、それぞれ6、4、12の端を持つ新しい genus 0 の例が構成された。
• $ \epsilon $-正則性定理が証明され、3次元球体内の自由境界 minimal 表面が有限個の点を除いて滑らかであり、曲率推定を用いて収束が制御されることを保証した。