[論文レビュー] Integral geometric Hopf conjectures

Oliver Knill|arXiv (Cornell University)|Jan 6, 2020

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

ひとこと要約

本稿では、積分幾何学的手法を用いて有限単純グラフにおける曲率を定式化し、ホフプの符号予想および積の予想を検討する。任意の正曲率多様体に対して、全積分量に限りなく近い体積を持つ集合上で正の値をとるμ曲率が存在することを示している。このアプローチでは、ランダムなモース関数からのインデックス期待値を用いて曲率測度を構成し、連続的なリーマン幾何学の問題に対する離散的アナログを提供する。

ABSTRACT

The Hopf sign conjecture states that a compact Riemannian 2d-manifold M of positive curvature has Euler characteristic X(M)>0 and that in the case of negative curvature X(M) (-1)^d >0. The Hopf product conjecture asks whether a positive curvature metric can exist on product manifolds like S^2 x S^2. By formulating curvature integral geometrically, these questions can be explored for finite simple graphs, where it leads to linear programming problems. In this more expository document we aim to explore also a bit of the history of the Hopf conjecture and mention some strategies of attacks which have been tried. We illustrate the new integral theoretic mu-curvature concept by proving that for every positive curvature manifold M there exists a mu-curvature K satisfying Gauss-Bonnet-Chern X(M)=\int_M K dV such that K is positive on an open set U of volume arbitrary close to the volume of M.

研究の動機と目的

• リーマン幾何学におけるホフプの符号予想および積の予想を、離散的で積分幾何学的な枠組みで調査すること。
• グラフ上でのランダムなモース関数からのインデックス期待値を用いて曲率を再定式化し、ガウス・ボンネ・ショーンの定理の離散的アナログを可能にすること。
• 正曲率多様体におけるオイラー特性が正のまま保たれる条件を、大規模な測度部分集合上で正の値をとるμ曲率を構成することで確立すること。
• もし有限グラフに正のμ曲率が存在する場合、その性質がリーマン多様体に対しても成立するならば、ホフプ予想が成り立つことを示すことで、離散的・連続的幾何学を橋渡しすること。
• グラフまたは多様体における四分の一分ピンチングな正のμ曲率が、球面的トポロジーを示すかどうかを検討し、球面定理を離散的設定に拡張すること。

提案手法

• 線形関数上の回転不変測度を用いて、有限単純グラフ上にμ曲率を定義し、断面曲率を一般化する。
• モース関数の確率空間上でのインデックス期待値を用いて曲率 $ K(x) = \mathbb{E}[i_f(x)] $ を構成し、ここで $ i_f(x) $ はピオンカレ・ホフプ指数である。
• 離散的状況におけるガウス・ボンネ・ショーンの定理を用いる：$ \chi(G) = \sum_{x \in V} K(x) $ で、$ K(x) $ は期待インデックスから導出される。
• 同一性の分割と局所的なパッチワークを用いて、局所的な正曲率構成をグローバルな計量に拡張するが、接合領域での制御は依然として困難である。
• コーシー＝クロフトンの公式を用いて、関数の経路に沿った符号変化回数の期待値からグラフ上の擬似距離を定義し、コルモゴロフ商をとることで距離空間を構成する。
• グラフをユークリッド空間に埋め込み、細かい三角形分割を用いて多様体を近似することで、離散的グラフ曲率と連続的リーマン曲率を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 正曲率多様体 $ M $ に対して、体積が全体積に限りなく近い集合上で正の値をとるμ曲率が存在する場合、ホフプの符号予想は有限単純グラフ上で証明可能か？
• RQ2 全体積に近い集合上で正のμ曲率が存在する場合、その多様体のオイラー特性が正であると示せるか？
• RQ3 積の予想は、$ S^2 \times S^2 $ のような積グラフに正のμ曲率計量が存在しないことを示すことで、離散的グラフを用いて到達可能か？
• RQ4 グラフまたは多様体における正のμ曲率が、特に四分の一分ピンチング条件を満たす場合、どのような条件下で球面的トポロジーを示すか？
• RQ5 細かい三角形分割と測度論的構成を用いて、離散的および連続的曲率およびオイラー特性の定式化をどの程度まで結びつけることができるか？

主な発見

• 任意の正曲率多様体 $ M $ に対して、$ \chi(M) = \int_M K \, dV $ かつ $ K > 0 $ が $ \text{Vol}(M) $ に限りなく近い体積の開集合上で成り立つようなμ曲率 $ K $ が存在する。
• ランダムなモース関数からのインデックス期待値 $ K(x) = \mathbb{E}[i_f(x)] $ は、離散的および連続的両状況でガウス・ボンネ・ショーンの公式を満たす曲率測度を生成する。
• ゲロッホの反例により、球面バンドル上の線形関数への標準的なガウス・ボンネ・ショーン被積分は、正曲率下でも負になる可能性があることが示され、より一般な測度の必要性が裏付けられる。
• 同一性の分割を用いたグローバル曲率の構成は、接合領域での曲率を制御できないため、局所的な正曲率パッチの拡張における主要な制限を示している。
• 離散的状況では、正のμ曲率かつ四分の一分ピンチング条件を満たす有限単純 $ 2d $-グラフは、$ d $-グラフとしての $ d $-球面であると予想される。
• 関数の経路に沿った符号変化回数の期待値から定義されるグラフ上の擬似距離は、妥当な確率測度のもとで真の距離に収束し、グラフ上に幾何的構造を可能にする。