[論文レビュー] Morse Spectra, Homology Measures and Parametric Packing Problems

Misha Gromov|arXiv (Cornell University)|Oct 10, 2017

Geometric and Algebraic Topology参考文献 22被引用数 5

ひとこと要約

本稿は、恒常的ホモロジーと幾何トポロジーの観点から、モーススペクトル、ホモロジー測度、パラメトリックパッキング問題を結びつける画期的な枠組みを提示する。粒子系をエントロピーに類似した汎関数によって再解釈し、体積スペクトル、ウェスト、ホモロジー局在化の間の関係を確立し、ミニマックス原理とシンプレクティック技法を用いてパッキング半径およびサイクル体積の新たな下界を提示する。

ABSTRACT

We suggest several mathematical counterparts to the idea of "effective degrees of freedom" and formulate specific questions, much of which are inspired by Larry Guth's results and ideas on the Hermann Weyl kind of asymptotics of the Morse (co)homology spectra of the volume energy function on the spaces of cycles in balls.

研究の動機と目的

• 幾何的・パラメトリックパッキング問題におけるホモロジカルおよびトポロジカル不変量を用いて、エントロピーおよび自由度といった統計力学的概念——例えば、再定式化すること。
• 移動粒子の集合における恒常的自由度のホモトピー的および測度論的解釈を構築すること。
• ミニマックス体積原理およびホモロジー局在化を用いて、パッキング半径およびサイクル体積の新たな下界を確立すること。
• 無限次元サイクル空間における対称性、等変ホモトピー、スペクトル不変量の相乗的相互作用を調査すること。
• オルソゴナル空間における体積とハウスドルフ測度の下界を定めるために、ウェスト、フィリング、リンクインバリアントの役割を調査すること。

提案手法

• モース理論およびコホモロジーを用いて、多様体内のk-サイクル空間におけるk-体積エネルギーのスペクトルを定義する。
• ポincare双対性およびカップ積構造を用いて、ホモロジー局在化を適用し、体積スペクトルの下界を導出する。
• Xにおけるk-サイクルのパラメトリックパッキングを、内接半径およびk-ウェスト不変量によって制約し、そのホモトピー型を研究する。
• 距離を減少させる写像および径方向射影を用いて、δ-近傍の体積増大を球面的ウェスト不等式に関連付ける。
• フレドホルム写像および無限次元ヒルベルト球モデルを用いて、サイクルのホモロジカルに顕著な族を定義する。
• シンプレクティックおよび等変技法を用いて、supϑ-スペクトルおよび対称空間におけるシンプレクティックパッキングを研究する。

実験結果

リサーチクエスチョン

• RQ1 リーマン多様体内のサイクル空間におけるk-体積エネルギー関数のホモロジー的およびスペクトル的性質は何か？
• RQ2 ミニマックス体積およびk-ウェストは、コンパクトおよび非コンパクト空間におけるサイクルパッキングのサイズの下界とどのように関係するか？
• RQ3 ホモロジー局在化およびポincare双対性を用いて、非可縮小部分多様体のδ-近傍の体積に対する鋭い不等式を導出可能か？
• RQ4 指数kまたは次数1のフレドホルム写像の下で、無限次元ヒルベルト球のk-ウェストはどのように振る舞うか？
• RQ5 リンクおよび対称性の制約は、R^nにおけるk次元および(n−k−1)次元部分多様体のハウスドルフ測度にどのように影響するか？

主な発見

• R^n内のk次元部分多様体のδ-Minkowski k-ウェストは、半径Rのk次元球の体積によって下から抑えられ、特定の径方向射影構成では等号が成立する。
• 注入半径 ≥ R であるリーマン多様体内で等半径の球によるパッキングを考えた場合、総半径の和がR/2未満であれば、パッキング空間はX内における相異なる点の配置空間とホモトピー同値である。
• R^n内の点を中心とする球S^{n-1}(R)へのk-サイクルWからの径方向射影は距離を減少させ、δ-近傍上で体積を減少させる写像を誘導する。これにより、Csikósの定理を用いて体積の下界が得られる。
• 次元がkおよびn−k−1である2つの閉集合WとW'がスケーリング変換によって分離できない場合、そのハウスドルフ測度の積は Hausmes_k(W) · Hausmes_{n−k−1}(W') ≥ const_n R^{n−1} を満たす。
• 立方体[0,l]^nの場合、k-ウェストはl^kであると予想されているが、等辺長の場合には未解決のままである。
• 無限次元ヒルベルト球S^∞は、指数kのフレドホルム写像を用いてホモロジカルに顕著なk-サイクルの族を許容するが、そのk-ウェストの正確な値は未だ不明である。