[論文レビュー] Self-shrinking Platonic solids

Daniel Ketover|arXiv (Cornell University)|Feb 23, 2016

Geometric and Algebraic Topology参考文献 11被引用数 13

ひとこと要約

本稿では、ガウス型計量における2パラメータの等長的最小最大化手順を用いて、R³におけるトライアリック、オクタハedral、イコサハedral対称性をもつ、種数3、5、7、11、19の5つの新しい埋め込み自己収縮面を構成する。表面は二重化された正多面体に類似しており、バリエーショナル法（カテノイド推定とルステニック＝シュニレルマン理論を含む）を用いて厳密に存在が証明されており、チョップ（1994）の数値的考察とイルマーデンの問いを解決する。

ABSTRACT

We construct new embedded self-shrinkers of genus 3, 5, 7, 11 and 19 using variational methods. Our self-shrinkers resemble doublings of the Platonic solids and were discovered numerically by D. Chopp in 1994.

研究の動機と目的

• 数値的に観測された表面の厳密な構成を、高い対称性をもつ低種数の埋め込み自己収縮面として実現し、イルマーデンが提起した長年の未解決問題を解決すること。
• この設定ではワイエルシュトラス型表現が存在しないことから、与えられたトポロジーと対称性をもつコンパクトな最小曲面を構成するバリエーショナル法を拡張すること。
• 二重化された正多面体に類似した自己収縮面（具体的には、種数3（四面体対称性）、種数5および7（八面体対称性）、種数11および19（二十面体対称性））の存在を、最小最大化極限を用いて証明すること。
• 最小最大化極限が低種数または非コンパクトな曲面への崩壊を除外し、得られる曲面が実際に所定の種数かつ埋め込みであることを保証すること。
• ブレンドルの種数0自己収縮面の分類とカテノイド推定を用いて、最小最大化系列の幅とトポロジーを制御すること。

提案手法

• ガウス型計量における2パラメータの等長的最小最大化手順を用い、所定の対称性（例：立方体対称性のためのO₂₄）をもつ種数0曲面のスイープアウトを用いる。
• カテノイド推定を適用し、2パラメータ族の幅が1パラメータ族の幅の2倍未満であることを示し、極限が2枚の球面の重複を避ける。
• ルステニック＝シュニレルマン理論を用いて、2パラメータ族の幅が1パラメータ族の幅を上回ることを保証し、非自明な最小最大化極限が得られることを保証する。
• F-計量とバリフロート収束を用いて最小最大化極限を分析し、極限がガウス型計量における滑らかで埋め込み済みの最小曲面であることを保証する。
• ブレンドルの種数0自己収縮面の一意性結果を用いて、標準球面や他の低種数曲面への崩壊を除外する。
• 種数0の等長的最小曲面の有限性に基づく背理法を用いて、既知の有限個の曲面への崩壊を除外する。

実験結果

リサーチクエスチョン

• RQ1 数値的に観測された、二重化された正多面体に類似した自己収縮面をバリエーショナル法で厳密に構成できるか？
• RQ2 ガウス型計量における2パラメータの等長的最小最大化手順は、期待される種数と対称性をもつ自己収縮面を生成するか？
• RQ3 与えられた対称性制約のもとで、最小最大化極限が低種数または非コンパクトな曲面への崩壊を除外できるか？
• RQ4 2パラメータ族の幅が、1パラメータ族の幅の2倍未満であることは、非自明なトポロジーを保証するか？
• RQ5 種数0自己収縮面の一意性を用いて、球面や円筒など代替の最小最大化極限を除外できるか？

主な発見

• 本稿では、四面体対称性T₁₂をもつ種数3の自己収縮面、八面体対称性O₂₄をもつ種数5および7の自己収縮面、二十面体対称性I₆₀をもつ種数11および19の自己収縮面を構成した。
• 各自己収縮面は、ガウス型計量における2パラメータの等長的スイープアウトの最小最大化極限として示され、対応する正多面体の面数から1を引いた値に等しい種数をもつことが示された。
• 2パラメータ族の幅は、1パラメータ族の幅の2倍未満であり、極限が標準球面の2枚重ねとなるのを防いでいる。
• 最小最大化極限が、所定の種数の滑らかで埋め込み済みのコンパクト曲面であり、低種数または非コンパクトな配置への崩壊がないことが証明された。
• この構成は、カテノイド推定、ルステニック＝シュニレルマン理論、およびブレンドルの種数0自己収縮面の分類を用いて、代替極限を除外する上で根拠としている。
• これらの自己収縮面の存在は、チョップ（1994）の数値的予測を裏付け、イルマーデンが提起した厳密な構成に関する問いを解決した。