[论文解读] On the isometry group of $RCD^*(K,N)$-spaces

Luis Guijarro, Jaime Santos-Rodríguez|arXiv (Cornell University)|Aug 23, 2016

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

一句话总结

本文证明了 $RCD^*(K,N)$-空间的等距群是一个李群，给出了其维数的最优上界 $\lfloor N\rfloor(\lfloor N\rfloor + 1)/2$，并分类了达到该最大维数的空間，表明它们同胚于维数为 $\lfloor N\rfloor$ 的欧几里得空间、球面、实射影空间或双曲空间。这些结果将 Myers-Steenrod 定理推广至具有最优维数界和刚性分类的合成 Ricci 曲率空间。

ABSTRACT

We prove that the group of isometries of a metric measure space that satisfies the Riemannian curvature condition, $RCD^*(K,N),$ is in fact a Lie group. We obtain an optimal upper bound on its dimension and classify the spaces where this maximal dimension is achieved.

研究动机与目标

• 建立 $RCD^*(K,N)$-空间的等距群是李群，将 Myers-Steenrod 定理推广至合成 Ricci 曲率空间。
• 根据维数参数 $N$ 推导出等距群的 Hausdorff 维数的最优上界。
• 分类那些其等距群达到最大维数的 $RCD^*(K,N)$-空间。
• 证明刚性结果，表明最大对称性意味着空间同胚于维数为 $\lfloor N\rfloor$ 的标准空间形式（欧几里得、球面、射影或双曲空间）。

提出的方法

• 利用无穷小 Hilbert 性质和曲率-维数条件 $RCD^*(K,N)$，确保切锥的存在性与结构的正则性。
• 应用拓扑与维数理论工具，包括拓扑维数与 Hausdorff 维数的界，以限制等距群的结构。
• 分析等距群 $G$ 在 $X$ 上的作用，通过研究轨道空间与稳定子群，利用 $\dim G = \dim G/G_p + \dim G_p$ 来控制维数。
• 使用测度 Gromov-Hausdorff 收敛性，将 $X$ 的切空间与齐性空间的切空间进行比较，确保 Hausdorff 维数的一致性。
• 应用 Berestovskii 对齐性空间的刻画（作为带有 Carnot-Carathéodory 度量的商空间），并利用 $RCD^*(K,N)$-空间具有二次 Cheeger 能量的事实，推导出黎曼结构。
• 应用文献 [23] 中的刚性定理，得出最大对称性意味着空间是标准空间形式的结论。

实验结果

研究问题

• RQ1 一个 $RCD^*(K,N)$-空间的等距群是否为李群？若是，其成立的条件是什么？
• RQ2 在 $N$ 的表达下，$RCD^*(K,N)$-空间的等距群的维数的最优上界是什么？
• RQ3 哪些 $RCD^*(K,N)$-空间实现了等距群的最大可能维数？
• RQ4 在何种条件下，最大对称性意味着空间同胚于标准空间形式（欧几里得、球面、射影或双曲空间）？

主要发现

• 任何 $RCD^*(K,N)$-空间的等距群都是李群，将 Myers-Steenrod 定理推广至合成 Ricci 曲率空间。
• 等距群的 Hausdorff 维数上界为 $\frac{\lfloor N\rfloor(\lfloor N\rfloor + 1)}{2}$，且该界是紧的。
• 达到该最大维数的空间同胚于以下之一：$\mathbb{R}^{\lfloor N\rfloor}$、$\mathbb{S}^{\lfloor N\rfloor}$、$\mathbb{R}P^{\lfloor N\rfloor}$ 或 $\mathbb{H}^{\lfloor N\rfloor}$。
• 当等距群达到最大维数时，其作用是传递的，意味着空间是齐性的，且同胚于商空间 $G/G_p$。
• 任意正则点处的切空间为 $\mathbb{R}^{\lfloor N\rfloor}$，配备标准欧几里得度量，且由于具有二次 Cheeger 能量，整个空间必为黎曼流形。
• 空间上的测度 $\mathfrak{m}$ 与 $\lfloor N\rfloor$-维 Hausdorff 测度彼此绝对连续，从而确认了黎曼结构的存在。