[論文レビュー] Morse Index Bound for Minimal Two Spheres

Yuchin Sun|arXiv (Cornell University)|Jun 1, 2019

Topological and Geometric Data Analysis参考文献 15被引用数 1

ひとこと要約

この論文は、次元が3以上でπ₃(M)が非自明な閉リーマン多様体と一般の計量を備えた場合、最小最大化理論を用いて得られる調和2球面のモーレス指数の上界を1に確立する。摂動技法とW¹²における強収束を用いて、幅Wを実現する有限個の調和球面のモーレス指数の和が1以下であることを示し、エネルギー損失を排除するとともに、高次元の最小曲面への指数上界の拡張を達成する。

ABSTRACT

Given a closed manifold of dimension at least three, with non trivial homotopy group \pi_3(M) and a generic metric, we prove that there is a finite collection of harmonic spheres with Morse index bound one, with sum of their energies realizes a geometric invariant width.

研究の動機と目的

• 高次元最小曲面理論における最小最大化理論によって生成される調和2球面のモーレス指数の上界を確立すること。
• 曲率や有限基本群の仮定なしに、αエネルギー法におけるエネルギー実現の失敗を解消すること。
• これまでcodimension 1の埋め込まれた最小超曲面にのみ知られていた指数上界を、任意のcodimensionにおける調和球面へ拡張すること。
• 一般計量と非自明なπ₃(M)のもとで、幅Wを実現する調和球面のモーレス指数の和が1以下であることを証明すること。
• 最小最大化極限におけるバブルツリー収束の困難を、高インデックス構成を避ける摂動の構成によって克服すること。

提案手法

• Colding-Minicozziの最小最大化理論を用いて、幾何的幅Wを実現する有限個の調和球面の集合を構成する。
• スイープアウトの摂動を適用し、モーレス指数の和が1を超える調和球面を含む像集合を避ける。
• 強W¹²収束とArzelà-Ascoliのコンパクト性を用いて、滑らかに調和写像に収束する部分列を抽出する。
• ジャコビ場理論とbumpy計量仮定の非退化性を用いて、極限における安定な調和球面の存在を除外する。
• PSL(2,C)再パrametrizationの下での調和写像の同値関係[f] = [g]を用いて、エネルギーが有界な同値類を定義する。
• 有限被覆の議論と一様なL²勾配上界を用いて、エネルギー≤Wである調和球面クラスの可算性を証明する。

実験結果

リサーチクエスチョン

• RQ1 最小最大化理論によって生成される調和2球面のモーレス指数は、任意のcodimensionにおいて上界を持つだろうか？
• RQ2 非自明なπ₃(M)を備えた3次元以上の一般計量の多様体において、調和球面の最小最大化極限の総モーレス指数は1以下だろうか？
• RQ3 曲率や有限基本群の仮定なしに、αエネルギー法におけるエネルギー損失は調和球面に対して排除できるだろうか？
• RQ4 バブルツリー収束は最小最大化極限のモーレス指数にどのように影響するのか？また、摂動技法によってこれを克服できるだろうか？
• RQ5 一般計量のもとで、幅Wでエネルギーが有界な調和球面の集合は可算だろうか？

主な発見

• 幅Wを実現する調和2球面のモーレス指数の和は1以下である。すなわち、∑ᵢ Index(uᵢ) ≤ 1。
• 幾何的幅Wは、有限個の調和球面の全エネルギーとして実現される。すなわち、∑ᵢ E(uᵢ) = W。
• エネルギー≤Wである調和球面の同値類の集合は可算である。すなわち、FWは可算である。
• 一般計量と非自明なπ₃(M)のもとで、反復的摂動によって総モーレス指数>1の構成を避ける最小最大化極限が得られる。
• 近似列の強W¹²収束は、滑らかな調和写像への収束を示し、ジャコビ場および次数の議論を用いることを可能にする。
• 摂動の議論により、モーレス指数の和が1を超える最小最大化極限の存在が排除され、そのような構成を避ける新しいスイープアウトが構成可能である。