[論文レビュー] Biquotients with singly generated rational cohomology

Vitali Kapovitch, Wolfgang Ziller|arXiv (Cornell University)|Oct 16, 2002

Homotopy and Cohomology in Algebraic Topology参考文献 5被引用数 5

ひとこと要約

本稿は、有理コホモロジー環が単一生成である二重商空間を分類し、唯一の非標準的球面として実現可能なものは Gromoll-Meyer 球面 $Sp(2)/\!/Sp(1)$ であることを証明している。有理コホモロジー、ポントリャーギン類、Wall のほぼ微分同相型分類を用いて、このような二重商空間は、コンパクトなランク1対称空間、または15個の特定の同調的または二重商空間のいずれかであり、その中で唯一の非標準的球面は Gromoll-Meyer 球面である。

ABSTRACT

We classify all biquotients whose rational cohomology rings are generated by one element. As a consequence we show that the Gromoll-Meyer 7-sphere is the only exotic sphere which can be written as a biquotient.

研究の動機と目的

• 有理コホモロジー環が単一の生成元によって生成されるすべてのコンパクトかつ simply connected な二重商空間を分類すること。
• 微分幾何学における長年の未解決問題である、どの非標準的球面が二重商として実現可能かを特定すること。
• 同調的状況における有理球面および有理射影空間の古典的分類を、より広い二重商設定へと拡張すること。
• 同型の有理コホモロジーをもつ二重商空間の間で、ポントリャーギン類や Eells-Kuiper 不変量といった異なる位相的不変量によって区別すること。

提案手法

• 有理コホモロジー環の構造を用いて、単一生成の二重商空間を分類し、そのような環が次数と torsion によって決定されることを活用する。
• Wall の 5-連結な 11次元多様体のほぼ微分同相型分類を適用し、リンク形式、二次形式、$\pi_4(SO)$ へのホモーマーフィズムといった不変量を用いる。
• ポントリャーギン類を計算して、同型の有理コホモロジーをもつ二重商空間（例：$\mathbb{CP}^{2n-1}$ 型空間）を区別する。
• Eells-Kuiper 不変量と $PL/\mathrm{O}$-障害理論を用いて、$H_5 \cong \mathbb{Z}_2$ をもつ 11次元多様体の微分同相型を解析し、最大で 992 種類の異なる滑らかさ構造が可能であることを示す。
• 群 $G_2$ および $Sp(2)$ の部分群の指数、特に $π_3$ 上の誘導写像によって定義されるものを利用して、二重商構成における埋め込みと作用を分類する。
• 同調的空間と二重商空間をコホモロジー環と整数コホモロジー群を用いて比較し、類似したホモロジーをもつにもかかわらず、特性類によって区別可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 どの二重商空間が有理コホモロジー環を単一生成で持つか？
• RQ2 Gromoll-Meyer 球面以外の非標準的球面が二重商として実現可能か？
• RQ3 同型の有理コホモロジーをもつ二重商空間はどのように位相的に異なるのか？ 何の不変量がそれらを区別するか？
• RQ4 $H_5 \cong \mathbb{Z}_2$ かつ $H_{11} \cong \mathbb{Z}$ をもつ simply connected な 11次元多様体のほぼ微分同相型は何か？
• RQ5 $G_2/\!/SU(2)$ と $SO(7)/SO(5)$ は微分同相か、それともホモトピー球面の連結和によって異なるか？

主な発見

• 唯一の非標準的球面としての二重商空間は Gromoll-Meyer 球面 $Sp(2)/\!/Sp(1)$ に限られ、これは $S^7$ に位相同相であるが、標準球面とは微分同相でない。
• $G_2/\!/SU(2)$ は $T^1S^6 \simeq SO(7)/SO(5)$ に位相同相であるが、その微分同相型はまだ未定であり、最大で 992 個のホモトピー 11 次元球面との連結和によって異なる可能性がある。
• $SO(2n+1)/(SO(2n-1)\times SO(2))$ および $\triangle SO(2)\backslash SO(2n+1)/SO(2n-1)$ は、$\mathbb{CP}^{2n-1}$ と同型の有理コホモロジー環と整数コホモロジー群をもつが、ポントリャーギン類で異なる。
• $\triangle SU(2)\backslash SO(4n+1)/SO(4n-1)$ は $\mathbb{HP}^{2n-1}$ と同じ整数コホモロジーをもつが、環構造が異なる。
• 有理コホモロジーが単一生成であるような二重商空間は、正確に 15 個（11 個の同調的空間と 4 個の非同調的空間）であり、Gromoll-Meyer 球面や $G_2/\!/SU(2)$ を含む。
• $H_5 \cong \mathbb{Z}_2$ をもつ 11次元多様体の向き付けられたほぼ微分同相型は Eells-Kuiper 不変量によって決定され、最大で 992 種類の異なる滑らかさ構造が可能である。