[論文レビュー] Isoperimetric Regions in Nonpositively Curved Manifolds

Joel Hass|arXiv (Cornell University)|Apr 11, 2016

Point processes and geometric inequalities参考文献 16被引用数 4

ひとこと要約

本稿は、非正曲率を持つ完全で単連結なリーマン多様体（カルタン–ハダマール多様体）として知られる2次元および3次元の明示的例を構築する。このような多様体において、等周領域は凸でもなく、連結でもないことがある。平坦な球を双曲的背景空間に埋め込むことで、著者たちは、与えられた体積に対して境界面積を最小化する非連結な構成が可能であることを示し、直感的な期待とは反して、このような領域が凸または連結な球であるべきではないことを示している。

ABSTRACT

Isoperimetric regions minimize the size of their boundaries among all regions with the same volume. In Euclidean and Hyperbolic space, isoperimetric regions are round balls. We show that isoperimetric regions in two and three-dimensional nonpositively curved manifolds are not necessarily balls, and need not even be connected.

研究の動機と目的

• カルタン–ハダマール多様体における等周領域が、常に凸または連結である必要があるかどうかを調査すること。
• 非正曲率空間における等周領域が常に凸またはトポロジカルな球であるという長年の予想に反論すること。
• 2次元および3次元において、等周領域が非連結である明示的反例を構築すること。
• 古典的な等周性質（固定体積に対して境界面積を最小化）が、非正曲率空間において非凸・非連結領域によって実現可能であることを示すこと。
• このような領域の存在が、連結でも凸でもない場合でも、一般化されたカルタン–ハダマール予想と両立可能であることを示すこと。

提案手法

• コンパクト集合の外部で双曲空間に等長であり、2つの不連続な球上で平坦であるような、2次元または3次元多様体上のリーマン計量を構築すること。
• ワーパード積構造を用いて、平坦な球を双曲的環境空間に接合し、全域で非正曲率を保証すること。
• 双曲空間における等周不等式を用いて、平坦な球内に成分を持つ非連結領域が、固定体積に対して連結領域よりも小さい境界面積を達成できることを示すこと。
• 境界の第2基本形式に関する比較幾何学と境界の上界を用いて、大きな分離距離において、連結な等周領域が存在しないことを除外すること。
• ユークリッド空間における最小曲面の安定性結果を活用し、曲率の均一な上界を導出し、任意の仮想的な連結等周領域の面積に下界を与えること。
• 体積と面積の比較による議論を用いる：仮想的な連結領域の境界面積が閾値（例：251328）を超える場合、それは等周的ではあり得ず、矛盾に至る。

実験結果

リサーチクエスチョン

• RQ1 カルタン–ハダマール多様体における等周領域は、必然的に凸であるか？
• RQ2 非正曲率多様体における等周領域は、非連結であってもよいのか？
• RQ3 ユークリッド空間および双曲空間の古典的等周性質が、一般のカルタン–ハダマール多様体に拡張可能か？
• RQ4 3次元において、等周領域の連結性は曲率制約の必然的結果であるか？
• RQ5 3次元の非正曲率多様体において、非凸な成分が等周領域に現れ得るか？

主な発見

• 2次元および3次元のカルタン–ハダマール多様体に、非連結な等周領域が存在する。これは、このような領域が常に連結でなければならないという予想を反証する。
• 十分に大きな分離距離 $d$ に対して、構築された多様体 $Q(d)$ において体積 $V = 8377580$ を囲む等周領域は非連結である。
• 多様体 $Q(d)$ における仮想的な連結等周領域の境界面積は、$d$ が大きい場合には251328を超えるため、非連結構成より劣り、最適でない。
• 2次元のカルタン–ハダマール多様体における等周領域の各連結成分は凸ディスクであるが、これは3次元には拡張されない。
• この構成を摂動することで、厳密に負の曲率を持つ例が得られ、非連結な等周領域を維持できる。
• 境界面の曲率と平均曲率の矛盾を示す議論により、3次元において非凸な等周領域が存在する可能性が示唆される。