[论文解读] 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}$。在二面角条件下，证明了加强版本的严格不等式，解决了 $n \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 格罗莫夫的标量曲率立方体不等式是否在所有维度（包括 $n \geq 9$）中以最优常数 $\frac{1}{4\pi^2}$ 成立？
• 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$ 及其余维数为 $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}))$ 中非零，从而将拓扑与曲率界联系起来。
• 证明中的矛盾源于假设平方倒数之和过小，导致卡利亚斯型算子的指标为零，而博特定-狄拉克算子的指标仍非零。