[論文レビュー] Positive curvature and torus symmetry in small dimensions, I -- Dimensions 10, 12, 14, and 16

Manuel Amann, Lee Kennard|arXiv (Cornell University)|Dec 4, 2015

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

ひとこと要約

本稿は、正の断面曲率とトーラス対称性を備える10, 12, 14, 16次元の偶数次元で単連結な多様体に対して、オイラー乗数、シグニチャ、楕円的生成関数といった位相的不変量を計算する。最小限の対称性仮定の下で鋭い分類結果を確立し、これらの多様体が球面、複素射影空間、またはクaternion的射影空間といった既知の例と一致するオイラー乗数を持つことを証明する。また、16以下の次元またはオイラー乗数を持つ正の楕円的多様体についてハルペリン予想を確認する。

ABSTRACT

This is the first part of a series of papers where we compute Euler characteristics, signatures, elliptic genera, and a number of other invariants of smooth manifolds that admit Riemannian metrics with positive sectional curvature and large torus symmetry. In the first part, the focus is on even-dimensional manifolds in dimensions up to 16. Many of the calculations are sharp and they require less symmetry than previous classifications. When restricted to certain classes of manifolds that admit non-negative curvature, these results imply diffeomorphism classifications. Also studied is a closely related family of manifolds called positively elliptic manifolds, and we prove the Halperin conjecture in this context for dimensions up to 16 or Euler characteristics up to 16.

研究の動機と目的

• 正の断面曲率とトーラス対称性を備える偶数次元多様体の位相的不変量（オイラー乗数、シグニチャ、楕円的生成関数）を計算すること。
• 最小限の対称性仮定の下で10, 12, 14, 16次元における鋭い分類結果を確立し、既存の分類を改善すること。
• 16次元以下、またはオイラー乗数が16以下の正の楕円的多様体についてハルペリン予想を証明すること。
• 対称性制約の下で非負曲率多様体（特にバイクォオビエンツや共型1次元多様体）の微分同相型分類を提供すること。
• 2011年にデッサイが8次元多様体に対して$T^2$対称性について得た結果を、より高い偶数次元へと、対称性ランクを高めた状態で拡張すること。

提案手法

• トーラス作用の下での等変コホモロジーと特徴類を用いて位相的不変量を計算する。
• コンパクトで単連結かつ非可約な対称空間の分類を応用し、正の曲率と対称性を満たす候補を列挙する。
• 積に関するオイラー乗数とシグニチャの乗法性を用いて、分解可能な多様体を分析する。
• スピンと非スピン条件を用いて可能な多様体を絞り込み、Cahen–GuttおよびHirzebruch–Slodowyの基準に依拠する。
• 正の楕円的多様体に対するハルペリン予想の枠組みを適用し、スピンの場合に楕円的生成関数が消えることによりその妥当性を検証する。
• 低次元の同型（例：$\mathrm{SO}(8)/\mathrm{U}(4) \cong \mathrm{SO}(8)/\mathrm{SO}(2)\times\mathrm{SO}(6)$）を用いて重複するケースを除外する。

実験結果

リサーチクエスチョン

• RQ1 10, 12, 14, 16次元の正の曲率をもつトーラス対称性を持つ多様体に対して、オイラー乗数、シグニチャ、楕円的生成関数といった位相的不変量を計算できるか？
• RQ2 $T^3$または$T^4$対称性の下で、このような多様体のオイラー乗数およびコホモロジー構造にどのような鋭い制約が課されるか？
• RQ3 16次元以下、またはオイラー乗数が16以下の正の楕円的多様体について、ハルペリン予想を検証できるか？
• RQ4 既知の例（例：球面、複素射影空間、クaternion的射影空間）の中で、このような多様体の微分同相型として可能なのはどれか？
• RQ5 対称性ランクと曲率制約は、これらの多様体のコホモロジールーピングおよびベッチ数にどのような制限を課えるか？

主な発見

• 10次元では、$T^3$対称性をもつ閉じた単連結な正の曲率多様体は、$\mathbb{S}^{10}$に位相的に同相、または次数3まで$\mathbb{C}\mathrm{P}^5$と同一のコホモロジーをもつ。
• 14次元では、$T^4$対称性をもつそのような多様体は、3連結で$\chi(M)=2$、または特定の生成子関係を持つ$\mathbb{C}\mathrm{P}^7$と同型なコホモロジーをもつ。
• 16次元では、オイラー乗数は2, 3, 5, 9に限定され、これらはそれぞれ$\mathbb{S}^{16}$, $\mathbb{C}\mathrm{P}^8$, $\mathbb{H}\mathrm{P}^4$, カイリー平面に対応する既知の例と一致する。
• $M^{16}$では、$\chi(M) \in \{3,5,9\}$のときシグニチャは$\pm1$であり、$M$がスピンであれば楕円的生成関数は消える。
• 12次元では、スピンの場合はオイラー乗数が$\{2,4,6,8\}$、非スピンの場合は$\{7,9,10,12\}$に制限され、すべてのケースが対称空間分類と整合する。
• 12次元の対称空間の分類により、曲率と対称性の制約を満たすのは、$\mathbb{S}^{12}$, $\mathbb{H}\mathrm{P}^3$, $\mathrm{SO}(7)/\mathrm{SO}(3)\times\mathrm{SO}(4)$, $\mathbb{C}\mathrm{P}^6$, および$\mathrm{SO}(8)/\mathrm{U}(4)$に限られることが確認された。