[論文レビュー] Positively curved metrics on symmetric spaces with large symmetry rank

Lee Kennard|arXiv (Cornell University)|Sep 20, 2012

Geometric Analysis and Curvature Flows参考文献 12被引用数 3

ひとこと要約

この論文は、対称空間の高対称性ランクを持つ正曲率リーマン計量の存在に対するコhomological障害を確立し、そのような多様体が特定の次数まで有理コhomologyが4周期的でなければならないことを示している。主な結果は、単連結で正曲率の多様体が対称性ランク $2\log_2 n + \frac{c}{2} - 1$ 以上である場合、その有理コhomologyは次数 $c$ まで4周期的である。これは、正曲率計量を許容する可能性のある対称空間の型を著しく制限し、球面とランク1または低ランクのグラスマンニアンの積を除き、ほとんどのランク2以上に対称空間がそのような計量をもてないことを示している。

ABSTRACT

We prove an obstruction at the level of rational cohomology in small degrees to the existence of positively curved metrics with large symmetry rank. The symmetry rank bound is logarithmic in the dimension of the manifold. As an application, we provide evidence for a generalized conjecture of Hopf that says that no symmetric space of rank at least two admits a metric with positive curvature.

研究の動機と目的

• ランク ≥2 の対称空間が正曲率計量を許容できるかを調査し、ホフの予想を拡張する。
• 大対称性ランクを有する多様体における小次元の有理コhomologyに基づく位相的障害を確立する。
• 一般化されたホフ予想に対する証拠を提供し、正曲率対称空間の可能な有理コhomology型を制限する。
• 正曲率多様体における高対称性ランクがベッチ数および有理的エリプティシティに与える影響を分析する。
• 対称性ランクの制約をもとに、ボットとチェーンの予想へと結果を結びつける。

提案手法

• 有理コhomologyが次数 $c$ まで4周期的であることを、$H^4(M;\mathbb{Q})$ に属するクラス $x$ が $0 < i < c-4$ の次数で同型を誘導するという形で、主要な位相的条件として定義する。
• 対称性ランク条件 $\geq 2\log_2 n + \frac{c}{2} - 1$ を用いて、等変コhomologyおよびスペクトル系列の技法によりコhomological障害を導出する。
• クンネスの定理と次元数え上げの議論を用いて、周期性仮定の下で多様体の積におけるベッチ数を比較する。
• 対称空間の分類結果およびそれらの有理コhomology環の性質を用いて、周期性条件を満たす可能性のある対称空間の型を制限する。
• コhomologyにおける乗法写像の単射性および全射性を活用し、最初の因子を超える既約因子はすべて球面でなければならないことを証明する。
• 既知の例（$\mathbb{C}P^n$、$\mathbb{H}P^n$、グラスマンニアンなど）と比較することで、周期性条件を満たすのは特定の積に限られることを示す。

実験結果

リサーチクエスチョン

• RQ1 ランク ≥2 の対称空間が高対称性ランクのもとで正曲率計量を許容できるか？
• RQ2 対称性ランクが少なくとも $2\log_2 n + \frac{c}{2} - 1$ である場合、正曲率多様体が満たすべき有理コhomology条件は何か？
• RQ3 このような対称性ランク制約の下で、有理コhomologyが次数 $c$ まで4周期的となる対称空間はどれか？
• RQ4 高対称性ランクの下で、$S^k \times S^{n-k}$（$1 < k < 16$）のような積は4周期性条件を満たさないのだろうか？
• RQ5 高対称性ランクは、正曲率多様体における奇数次ベッチ数の消滅をどの程度まで示唆するのか？

主な発見

• 閉じた、単連結で、正曲率の $n$-次元多様体が対称性ランク $2\log_2 n + \frac{c}{2} - 1$ 以上である場合、その有理コhomologyは次数 $c$ まで4周期的である。
• $c \geq 16$ の場合、このような多様体の有理コhomologyを持つ任意の対称空間 $N$ は、球面と、ランク1の対称空間または $SO(p+q)/SO(p)\times SO(q)$（$p \in \{2,3\}$）のグラスマンニアンの積でなければならない。
• $S^k \times S^{n-k}$（$1 < k < 16$）の有理コhomologyは、高対称性ランクの下で要求される4周期性条件を満たさないため、そのような積は大対称性ランクを有する正曲率計量を許容できない。
• $n \equiv 0 \mod 4$ の場合、$c$ より小さい次数における $M$ の有理コhomologyは $S^n$、$\mathbb{C}P^{n/2}$、または $\mathbb{H}P^{n/4}$ と一致し、$2i+1 < c$ に対して $b_{2i+1}(M) = 0$ であることが示される。
• このような多様体に対して $b_4(M)$ および $b_8(M)$ はそれぞれ1以下であるため、$\mathbb{C}P^n$、$\mathbb{H}P^n$、または $\mathrm{Ca}P^2$ の連結和は高対称性ランクの下で除外される。
• 対称性ランク $2\log_2(4n+1)$ を有する正曲率多様体の基本群は、有理ホモロジー球面の基本群と同型であり、これは修正版のチェーン予想を支持する。