[論文レビュー] A proof of Gromov's cube inequality on scalar curvature

Jinmin Wang, Zhizhang Xie+1 more|arXiv (Cornell University)|May 25, 2021

Advanced Operator Algebra Research参考文献 21被引用数 6

ひとこと要約

本稿は、ディラック作用素の手法を用いて、任意の次元においてグロモフの立方体不等式の完全な証明を提供し、不等式における最良定数 $\frac{1}{4\pi^2}$ を確立している。また、二面角の条件の下で厳密な不等式が成り立つ強化版を証明し、次元 $\geq 9$ における予想を解決するとともに、被覆空間上の指数論を用いて、コーナーを持つスピン多様体への結果の拡張を達成した。

ABSTRACT

Gromov proved a cube inequality on the bound of distances between opposite faces of a cube equipped with a positive scalar curvature metric in dimension $\leq 8$ using minimal surface method. He conjectured that the cube inequality also holds in dimension $\geq 9$. In this paper, we prove Gromov's cube inequality in all dimensions with the optimal constant via Dirac operator method. In fact, our proof yields a strengthened version of Gromov's cube inequality, which does not seem to be accessible by minimal surface method.

研究の動機と目的

• グロモフのスカラー曲率に関する立方体不等式を、$n \geq 9$ を含むすべての次元で証明すること。
• 不等式における最良定数 $\frac{1}{4\pi^2}$ を確立し、以前の部分最良の境界を改善すること。
• 高次指数論および相対指数定理を用いて、コーナーを持つスピン多様体への結果の拡張を達成すること。
• 二面角が $\pi$ より小さい場合に、最小曲面法では到達できない厳密不等式を含む不等式の強化版を証明すること。

提案手法

• $\mathbb{R}^n$ 上に適切に選んだポテンシャルを備えたディラック作用素を用い、指数を計算し、曲率の上限を導出する。
• 定量的相対指数定理を適用し、コールヤス型作用素の指数と多様体の幾何学的性質との関係を確立する。
• $\Gamma$-被覆空間 $\widetilde{Z}$ 上の $\Gamma$-可換指数論を用い、指数が消えないことを検出する。
• $\widetilde{Y}_{\pitchfork} \times \mathbb{R}^m$ 上に一般化されたボット＝ディラック作用素を構成し、指数を比較して、不等式が成立しないという仮定の下で矛盾を導く。
• 帰納法を用いて、勾配ノルムが制御され、コンパクトな部分レベル集合を持つ多様体 $Z$ 上に完全な計量を構成する。
• 高次指数の積分公式および相対指数定理を適用し、$\mathrm{Ind}_\Gamma(B_o) = \mathrm{Ind}_\Gamma(B)$ を示し、$D_{\widetilde{Y}_{\pitchfork}}$ の指数が非ゼロである場合に矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 グロモフのスカラー曲率に関する立方体不等式は、最良定数 $\frac{1}{4\pi^2}$ を用いて、すべての次元、特に $n \geq 9$ において成り立つか？
• RQ2 二面角が $\pi$ より小さい場合に、立方体不等式の厳密不等式版を証明できるか？
• RQ3 指数論的技法を用いて、立方体不等式をコーナーを持つスピン多様体へ拡張することは可能か？
• RQ4 ディラック作用素の手法は、最小曲面法では到達できない強化された不等式を提供できるか？
• RQ5 基本群およびその単射性は、厳密不等式の証明において果たす役割は何か？

主な発見

• スカラー曲率 $\mathrm{Sc}_g \geq k > 0$ のとき、すべての $n \geq 2$ に対して不等式 $\sum_{i=1}^{n} \frac{1}{\ell_i^2} \geq \frac{kn}{4\pi^2(n-1)}$ が成り立ち、定数 $\frac{1}{4\pi^2}$ が最良である。
• 二面角が $\pi$ より小さいとき、厳密不等式 $\sum_{i=1}^{n} \frac{1}{\ell_i^2} > \frac{kn}{4\pi^2(n-1)}$ が成り立ち、$\min_i \ell_i < 2\pi \sqrt{\frac{n-1}{k}}$ を意味する。
• 証明により、最小曲面法では到達できない、グロモフの不等式の強化版が得られ、これはコーナーを持つ多様体における指数論の使用に起因する。
• 結果は、$n$ 次元のコーナーを持つスピン多様体 $X$ および codimension $m$ の部分多様体 $Y_{\pitchfork}$ に一般化され、$\mathrm{Sc}(X) \geq k > 0$ の下で不等式 $\sum_{i=1}^{m} \frac{1}{\ell_i^2} \geq \frac{kn}{4\pi^2(n-1)}$ が成り立つ。
• 不等式が成り立つためには、高次指数 $\mathrm{Ind}_\Gamma(D_{Y_{\pitchfork}})$ が $KO_{n-m}(C^*_\text{max}(\Gamma;\mathbb{R}))$ 内で非ゼロでなければならない。これは位相と曲率の上限を結びつける。
• 証明における矛盾は、逆数の二乗和が小さすぎるという仮定から生じ、コールヤス型作用素の指数が消える一方で、ボット＝ディラック作用素の指数は非ゼロのまま残る。