[論文レビュー] The dihedral rigidity conjecture for n-prisms

Chao Li|arXiv (Cornell University)|Jul 8, 2019

Geometric Analysis and Curvature Flows参考文献 29被引用数 10

ひとこと要約

本稿は、次元2から7のn-素数に対して、二面体剛性予想を証明し、非負のスカラー曲率と弱く平均凸な面をもつリーマン多様体多面体が、そのユークリッド的モデルのものより小さいか等しい二面角をすべての場所でもつならば、平坦なプリズムに等長でない限り不可能であることを示している。証明は、自由境界最小超曲面と、 Schoen-Yau にインspiredされた次元降下技術を用い、正質量定理の局所的バージョンを確立している。

ABSTRACT

We prove the following comparison theorem for metrics with nonnegative scalar curvature, also known as the dihedral rigidity conjecture by Gromov: for $n\le 7$, if an $n$-dimensional prism has nonnegative scalar curvature and weakly mean convex faces, then its dihedral angle cannot be everywhere not larger than its Euclidean model, unless it is isometric to an Euclidean prism. The proof relies on constructing certain free boundary minimal hypersurface in a Riemannian polyhedron, and extending a dimension descent idea of Schoen-Yau. Our result is a localization of the positive mass theorem.

研究の動機と目的

• 次元2から7のn-プリズムに対する二面体剛性予想を解決すること。
• 非負のスカラー曲率と弱く平均凸な面をもつリーマン多様体多面体に対する比較定理を確立すること。
• Schoen-Yau の次元降下法を境界条件を伴う多面体の設定に拡張すること。
• 等しいか小さい二面角と非負のスカラー曲率をもつn-プリズム上にのる多面体が、ユークリッド的プリズムに等長でなければならないことを証明すること。

提案手法

• 境界幾何を解析するために、リーマン多様体多面体内に自由境界最小超曲面を構成する。
• SchoenとYauにインspiredされた次元降下論法を用い、問題を低次元のケースに還元する。
• 楕円型正則性理論とCampanato推定を用い、角の近くでの解の $C^{2,eta}$ 正則性を確立する。
• 楕円型偏微分方程式の解の $C^{2,eta}$ 正則性を保証するため、ノイマン型境界データに適合条件を課す。
• 変換 $v = e^{v_0}$ を用いてロビン型問題をノイマン問題に還元する。
• 開口角が $\pi/2$ より小さい錐特異点の近くでの調和関数の振る舞いを解析し、より高い正則性を導出する。

実験結果

リサーチクエスチョン

• RQ1 非負のスカラー曲率と弱く平均凸な面をもつリーマン多様体多面体が、そのユークリッド的モデルのものより小さいか等しい二面角をすべての場所でもつ場合、それが平坦なプリズムに等長でない限りあり得ないか？
• RQ2 次元7までのn-プリズムに対して、二面体剛性予想は成り立つか？
• RQ3 Schoen-Yau の次元降下法は、自由境界最小超曲面を伴う多面体の設定に適応可能か？
• RQ4 開口角が小さい多面体の角を伴う多面体的領域において、ノイマン型境界条件を満たす楕円型偏微分方程式の解が、どのような正則性を有するか？
• RQ5 制御された二面角をもつリーマン多様体多面体の文脈において、正質量定理の局所化は可能か？

主な発見

• $2 \leq n \leq 7$ に対して、n-プリズムが非負のスカラー曲率と弱く平均凸な面をもつならば、それが平坦なプリズムに等長でない限り、すべての二面角がユークリッド的モデルのものより小さいか等しいことはあり得ない。
• 証明により、曲率と境界条件を満たすn-プリズム上の唯一のリーマン多様体多面体は、ユークリッド的プリズムであることが示された。
• リーマン多様体多面体内に存在する自由境界最小超曲面は、境界にまで $C^{2,\alpha}$ 正則性を有することが示され、幾何的制御が保証された。
• 楕円型正則性結果が、錐特異点を有する多面体的領域に拡張され、関連する偏微分方程式の解が $C^{2,\alpha}$ 正則性を有することが示された。
• 境界データ $q_j$ における適合条件により、$C^{2,\alpha}$ 拡張の存在が保証され、解の正則性に不可欠である。
• 開口角が $\pi/2$ より小さい角の近くでの調和関数の解析により、二次項が排除され、より高次の正則性推定が可能になった。