[論文レビュー] Betti numbers of random real hypersurfaces and determinants of random symmetric matrices

Damien Gayet, Jean-Yves Welschinger|arXiv (Cornell University)|Jul 6, 2012

Geometry and complex manifolds参考文献 18被引用数 50

ひとこと要約

本稿は、滑らかな実射影多様体内のランダムな実超曲面の期待ベッチ数に対する漸近的上界を確立し、それが次数の平方根に比例して増加することを示している。上界は、実部分多様体のケーラー体積と、ランダムな実対称行列の期待絶対行列式に依存しており、次元が増加するに従い、中間次元のベッチ数から離れるほど係数が指数的に減少する。

ABSTRACT

We asymptotically estimate from above the expected Betti numbers of random real hypersurfaces in smooth real projective manifolds. Our upper bounds grow as the square root of the degree of the hypersurfaces as the latter grows to infinity, with a coefficient involving the K\\"ahlerian volume of the real locus of the manifold as well as the expected determinant of random real symmetric matrices of given index. In particular, for large dimensions, these coefficients get exponentially small away from mid-dimensional Betti numbers. In order to get these results, we first establish the equidistribution of the critical points of a given Morse function restricted to the ran- dom real hypersurfaces.

研究の動機と目的

• 実射影多様体内のランダムな実超曲面の期待全ベッチ数に対する先行の上界を改善すること。
• 全和ではなく、各ベッチ数ごとの個別的な上界を導出すること。
• ランダムな実超曲面上に制限されたモース関数の臨界点の等分布性を確立すること。
• ベッチ数の漸近的挙動を、与えられた符号を持つランダムな実対称行列の期待絶対行列式と結びつけること。
• 高次元において、上界の係数が中間次元のベッチ数から離れるに従い指数的に減少することを示すこと。

提案手法

• 著者たちは、実射影多様体上のアーマンラインバンドルの高次のテンソル巾の実正則切断の空間に、ガウス確率測度を用いる。
• 彼らは、実超曲面上の任意のモース関数について、インデックス i の臨界点の最小個数として「フェイク・ベッチ数」を定義する。
• インデックス i の臨界点の経験的測度を分析し、それがケーラー体積形式に比例する密度に弱収束することを証明する。
• 鍵となる技術的道具は、ランダムな実超曲面上に制限されたモース関数の臨界点の漸近的等分布性である。
• 期待ベッチ数は、与えられた符号を持つ対称行列の期待絶対行列式 $ e_{\mathbb{R}}(i,n-1-i) $ を用いて上界で抑えられる。
• 解析はランダム行列理論に依拠し、ガウス測度を伴う対称行列空間上の積分を用いる。

実験結果

リサーチクエスチョン

• RQ1 ランダムな実超曲面の個々の期待ベッチ数は、実射影多様体内の超曲面の次数とともにどのように増加するか？
• RQ2 実部分多様体のケーラー体積が、ベッチ数の漸近的増加に果たす役割は何か？
• RQ3 与えられた符号を持つランダムな実対称行列の期待絶対行列式が、ベッチ数の上界にどのように影響するか？
• RQ4 多様体の次元が増加するに従い、上界の係数が中間次元のベッチ数から離れるほど指数的に減少する程度はどの程度か？
• RQ5 ランダムな実超曲面上のモース関数の臨界点の経験的分布は、次数が無限大に近づくとき、弱収束して滑らかな測度に近づくか？

主な発見

• 次数 $ d \to \infty $ のとき、期待ベッチ数 $ E(b_i) $ は $ \frac{1}{\sqrt{\pi}} e_{\mathbb{R}}(i,n-1-i) \mathrm{Vol}_h(\mathbb{R}X) \sqrt{d}^n $ に比例して上界を持つ。係数 $ e_{\mathbb{R}}(i,n-1-i) $ は、符号 $ (i,n-1-i) $ の対称行列の期待絶対行列式に依存する。
• 次元 $ n=1 $ の場合、上界は等式に一致する：$ E(b_0) \sim \frac{\mathrm{Length}_h(\mathbb{R}X)}{\sqrt{\pi}} \sqrt{d} $ となり、Kostlan および Shub-Smale の実多項式に関する結果が回復される。
• 係数 $ e_{\mathbb{R}}(i,n-1-i) $ は高次元において指数的に減少し、特に中間次元のベッチ数から離れるほど顕著である。
• ランダムな実超曲面上のインデックス i の臨界点の経験的測度は、$ d \to \infty $ のとき $ \frac{1}{\sqrt{\pi}} e_{\mathbb{R}}(i,n-1-i) \, d\mathrm{vol}_h $ に弱収束する。
• 符号の和が $ p+q \leq 3 $ である場合の $ e_{\mathbb{R}}(p,q) $ の明示的値が計算され、$ e_{\mathbb{R}}(1,0) = \frac{1}{\sqrt{2\pi}} $、$ e_{\mathbb{R}}(2,0) = \frac{1}{4}(\sqrt{2}-1) $、$ e_{\mathbb{R}}(1,1) = \frac{1}{\sqrt{2}} $ が得られる。
• 結果は多様体 $ X $ 上の正規化された体積形式の選び方に依存せず、曲率形式 $ \omega $ から得られるケーラー計量にのみ依存する。