[論文レビュー] Closed hypersurfaces of low entropy in $\mathbb{R}^4$ are isotopically trivial

Jacob Bernstein, Lu Wang|arXiv (Cornell University)|Mar 30, 2020

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

ひとこと要約

本稿では、$ℝ^4$ 内の任意の閉かつ連結な超曲面が、$σ^2 \times \mathbb{R}$ の丸い円筒と等しいかそれ未満のエントロピーを持つ場合、標準的な 3-球面 $σ^3$ に滑らかに同相であることを証明している。平均曲率流れと接続流れ解析を用いて、$ℝ^4$ 内の低エントロピー超曲面は非自明な特異点を発生させることができず、その結果、同相による位相的自明性が保証される。

ABSTRACT

We show that any closed connected hypersurface in $\mathbb{R}^4$ with entropy less than or equal to that of the round cylinder is smoothly isotopic to the standard three-sphere.

研究の動機と目的

• エントロピーが低い超曲面に対して $ℝ^4$ 内の Schoenflies 問題を解き、位相的自明性の幾何学的類似を確立する。
• 閉かつ連結な $ℝ^4$ 内の超曲面がエントロピー $\leq \lambda[\mathbb{S}^2 \times \mathbb{R}]$ を持つ場合、$\mathbb{S}^3$ に滑らかに同相であることを示す。これは低次元における既知の結果を拡張する。
• 平均曲率流れと接続流れ解析を用いて、$ℝ^4$ 内の低エントロピー超曲面の鋭い位相的分類を提供する。
• このような流れの唯一の可能な特異点モデルが $\mathbb{S}^3$ に同相であることを確認し、非自明な最小錐や自己収縮型を除外する。

提案手法

• 幾何的複雑さを測るため、$\lambda[\Sigma] = \sup_{\mathbf{y}, \rho} F[\rho\Sigma + \mathbf{y}]$ というエントロピー関数を用いる。ここで $F$ はガウス型表面積を表す。
• 非肥大化と正則性を保証するため、短時間存在性を満たすように、$\mathcal{K} = \{\mu_t\}_{t \geq 0}$ という一致する運動を伴う平均曲率流れを適用する。
• 特異点における接続流れを、White の正則性定理と Brakke の正則性理論を用いて解析し、非コンパクトまたは同相でないモデルを除外する。
• 接続流れの構造を制御し、$\mathbb{S}^3$ に同相であることを保証するために、$(R_0, C_0)$-正則なほぼ a.c.-同相写像の概念を用いる。
• Huisken の単調性公式を適用し、流れに沿ってエントロピーが減少することを示し、非肥大化初期超曲面で $\lambda[\Sigma] < \Lambda - \epsilon_0$ に還元可能であることを可能にする。
• 消滅時におけるすべての接続流れが $\mathbb{S}^3$ に同相であることが示され、これは元の超曲面が $\mathbb{S}^3$ に滑らかに同相であることを意味する。

実験結果

リサーチクエスチョン

• RQ1 閉超曲面が $\mathbb{R}^4$ 内にあり、$\mathbb{S}^2 \times \mathbb{R}$ のエントロピー以下に制限されている場合、滑らかな同相写像により位相的に自明であると言えるか？
• RQ2 エントロピーが低い超曲面は、平均曲率流れにおいて非自明な特異点を形成するか？
• RQ3 このような流れの唯一の可能な特異点モデルが $\mathbb{S}^3$ に同相であるか？
• RQ4 高次元における低エントロピー超曲面に関する条件付き結果を、$\mathbb{R}^4$ において完全な分類にまで強化できるか？
• RQ5 エントロピーが $\lambda[\mathbb{S}^2 \times \mathbb{R}]$ 未満の非平坦な自己収縮型や最小錐が存在しないことは、$\mathbb{S}^3$ への同相性を示唆するか？

主な発見

• 任意の閉かつ連結な超曲面 $\Sigma \subset \mathbb{R}^4$ で、$\lambda[\Sigma] \leq \lambda[\mathbb{S}^2 \times \mathbb{R}]$ を満たすものは、$\mathbb{S}^3$ に滑らかに同相である。
• 証明により、特異点におけるすべての接続流れは、コンパクトであるか、$(R_0, C_0)$-正則なほぼ a.c.-同相写像であることが保証され、$\mathbb{S}^3$ への同相性が保証される。
• このような超曲面の平均曲率流れの消滅時刻は一点に集中し、特異点モデルは $\mathbb{S}^3$ に同相である。
• 平均曲率流れに沿って $\Sigma$ のエントロピーは減少し、非肥大化初期超曲面でエントロピーが厳密に小さい状態に還元可能である。
• $\mathcal{S}_3^*(\Lambda)$ および $\mathcal{RMC}_k^*(\Lambda)$（$k \leq 3$）において非平坦な要素が存在しないことは、分類にとって不可欠である。
• この結果により、低エントロピー超曲面に対する $\mathbb{R}^4$ 内の幾何学的 Schoenflies 問題が確認され、$\mathbb{R}^3$ における先行研究が拡張された。