[論文レビュー] 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$ のユークリッド空間、球面、実射影空間、または双曲空間に等長であることが示される。本結果は、最適な次元境界と剛性分類を伴って、合成的リッチ曲率空間へのマイヤーズ＝スティーナロッド定理の拡張を提供する。

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)$-空間の等長群がリー群であることの確立。合成的リッチ曲率空間へのマイヤーズ＝スティーナロッド定理の拡張。
• パrameter $N$ に依存する等長群のハウスドルフ次元に対する最適な上界の導出。
• 等長群の次元が最大値に達する $RCD^*(K,N)$-空間の分類。
• 最大対称性が成立する場合、空間が次元 $\lfloor N\rfloor$ の標準的空間形（ユークリッド、球面、射影、双曲空間）に等長であることを示す剛性結果の証明。

提案手法

• 無限小ヒルベルティアンおよび曲率次元条件 $RCD^*(K,N)$ を用いて、接錐の存在と構造的正則性を保証する。
• 拡張的トポロジーおよび次元論的道具（トポロジカル次元およびハウスドルフ次元の境界）を適用し、等長群の構造を制約する。
• 等長群 $G$ の $X$ への作用を用い、軌道空間と安定化部分群を分析することで、$\dim G = \dim G/G_p + \dim G_p$ を用いて次元を評価する。
• 測度付きグロモフ＝ハウスドルフ収束を用いて、$X$ の接空間と同次空間の接空間を比較し、ハウスドルフ次元の一貫性を保証する。
• ベレストフスキーによる同次空間の商空間としての特徴づけ（カルノー＝カラテオドリ距離を伴う）を適用し、$RCD^*(K,N)$-空間が2次形式のチーラーエネルギーを持つことからリーマン構造を導出する。
• [23] の剛性定理を適用し、最大対称性が成立する場合、空間が標準的空間形であることを結論づける。

実験結果

リサーチクエスチョン

• RQ1 $RCD^*(K,N)$-空間の等長群はリー群であるか。もしそうならば、どのような条件下で成立するか？
• RQ2 $RCD^*(K,N)$-空間の等長群の次元に対する最適な上界は、$N$ を用いてどのように表されるか？
• RQ3 どの $RCD^*(K,N)$-空間が等長群の次元を最大に達成するか？
• RQ4 最大対称性が成立するための条件は何か。その場合、空間はユークリッド、球面、射影、または双曲空間の標準的空間形に等長であると示されるか？

主な発見

• 任意の $RCD^*(K,N)$-空間の等長群はリー群であり、合成的リッチ曲率空間へのマイヤーズ＝スティーナロッド定理の一般化が成立する。
• 等長群のハウスドルフ次元は $\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}$ であり、標準的ユークリッド計量を有する。全空間はチーラーエネルギーが2次形式であることからリーマン的構造を有する。
• 空間上の測度 $\mathfrak{m}$ は $\lfloor N\rfloor$ 次元のハウスドルフ測度と互いに絶対連続であり、リーマン的構造の確認がなされる。