[論文レビュー] Topology of the octonionic flag manifold

Augustin-Liviu Mare, Matthieu Willems|arXiv (Cornell University)|Sep 25, 2008

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

ひとこと要約

本稿は、Octonionic flag manifold Fl(𝕆) の整数係数コホモロジーおよび Spin(8)-等変コホモロジーの完全な Borel 型記述を提供する。これは、Fl(𝕆) から 𝕆P² への射影を通じて得られるランク 8 ベクターバンドルのオイラー類を用いる。両方の等変コホモロジー環および等変 K-理論環に対して Goresky-Kottwitz-MacPherson 型の表示を確立し、例外的リー群 F₄ および対称空間 E₆(−26)/F₄ と深く結びついた代数的構造を明らかにする。

ABSTRACT

The octonionic flag manifold $Fl(\mathbb{O})$ is the space of all pairs in $\mathbb{O}P^2 imes \mathbb{O}P^2$ (where $\mathbb{O}P^2$ denotes the octonionic projective plane) which satisfy a certain "incidence" relation. It comes equipped with the projections $π_1,π_2 : Fl(\mathbb{O}) o \mathbb{O}P^2$, which are $\mathbb{O}P^1$ bundles, as well as with an action of the group $Spin(8)$. The first two results of this paper give Borel type descriptions of the usual, respectively $Spin(8)$-equivariant cohomology of $Fl(\mathbb{O})$ in terms of $π_1$ and $π_2$ (actually the Euler classes of the tangent spaces to the fibers of $π_1$, respectively $π_2$, which are rank 8 vector bundles on $Fl(\mathbb{O})$). Then we obtain a Goresky-Kottwitz-MacPherson type description of the ring $H^*_{Spin(8)}(Fl(\mathbb{O}))$. Finally, we consider the $Spin(8)$-equivariant $K$-theory ring of $Fl(\mathbb{O})$ and obtain a Goresky-Kottwitz-MacPherson type description of this ring.

研究の動機と目的

• Octonionic flag manifold Fl(𝕆) の整数係数コホモロジー環を Borel 型の表示を用いて特定すること。
• 生成子と関係式を用いた Fl(𝕆) の Spin(8)-等変コホモロジーの記述。
• Fl(𝕆) の等変コホモロジー環に対して Goresky-Kottwitz-MacPherson 型の表示を確立すること。
• Fl(𝕆) の等変 K-理論環に対して GKM アプローチを拡張し、その環の表示を提供すること。
• 対称空間 E₆(−26)/F₄ としての Fl(𝕆) の実現および Jordan 代数 ℋ₃(𝕆) との関係を通じて、Fl(𝕆) の位相的および代数的構造を明確化すること。

提案手法

• Fl(𝕆) = F₄/Spin(8) としての同定および Fl(𝕆) → 𝕆P² への自然な射影 π₁, π₂: Fl(𝕆) → 𝕆P² を用い、これらが 𝕆P¹-バンドルとしての性質を持つこと。
• Fl(𝕆) 上のランク 8 ベクターバンドル 𝒟₁ および 𝒟₂ を分析し、それぞれが π₁ および π₂ のファイバーに接する。
• オイラー類 e(𝒟₁) および e(𝒟₂) を計算し、2e(𝒟₁) + e(𝒟₂) および e(𝒟₁) + 2e(𝒟₂) が 3 で割り切れることを示す。
• 正規化された生成子 (1/3)(2e(𝒟₁) + e(𝒟₂)) および (1/3)(e(𝒟₁) + 2e(𝒟₂)) を導入し、整数係数コホモロジー環の表示を構成。
• 最大トーラスの作用とルート系のデータを用いて、Spin(8) の作用を活用し、Goresky-Kottwitz-MacPherson フレームワークを等変コホモロジーに適用。
• Cartan 分解 𝔞₆(−26) = 𝔣₄ ⊕ ℋ₃⁰(𝕆) およびルート系の分解を用い、ルート系を特定し、GKM 表示を構成。

実験結果

リサーチクエスチョン

• RQ1 整数係数コホモロジー環 H*(Fl(𝕆); ℤ) の構造は何か？ 生成子と関係式による表示はどのように得られるか？
• RQ2 Spin(8)-等変コホモロジー H*_{Spin(8)}(Fl(𝕆)) はどのように分解され、特徴類を用いた表示は何か？
• RQ3 Fl(𝕆) の等変コホモロジーに対して Goresky-Kottwitz-MacPherson 型の表示を構成できるか？
• RQ4 Fl(𝕆) の Spin(8)-等変 K-理論環の構造は何か？ また、GKM 型フレームワークを用いて記述可能か？
• RQ5 E₆(−26)/F₄ のルート系および対称空間構造は、Fl(𝕆) の位相にどのように関係するか？

主な発見

• 整数係数コホモロジー環 H*(Fl(𝕆); ℤ) は自由であり、正規化されたクラス (1/3)(2e(𝒟₁) + e(𝒟₂)) および (1/3)(e(𝒟₁) + 2e(𝒟₂)) によって生成される。
• オイラー類 e(𝒟₁) および e(𝒟₂) は、2e(𝒟₁) + e(𝒟₂) および e(𝒟₁) + 2e(𝒟₂) が 3 で割り切れるという性質を持つ。これにより、有理数係数の生成子が使用可能になる。
• コホモロジー環の関係式のイデアルは、三変数における第二および第三基本対称多項式の消滅によって生成される：S₂(α, β, γ) = 0 および S₃(α, β, γ) = 0、ここで α = (1/3)(2e(𝒟₁) + e(𝒟₂))、β = (1/3)(−e(𝒟₁) + e(𝒟₂))、γ = (1/3)(−e(𝒟₁) − 2e(𝒟₂)) である。
• 最大トーラスの作用とルート系データを用いて、Spin(8)-等変コホモロジー環 H*_{Spin(8)}(Fl(𝕆)) に対して Goresky-Kottwitz-MacPherson 型の表示が確立された。
• Fl(𝕆) の等変 K-理論環は、コホモロジーの場合と同様に GKM 型の表示を備え、フレームワークが K-理論へと拡張された。
• 対称空間 E₆(−26)/F₄ はフラッグ多様体 Fl(𝕆) として実現され、そのルート系および Cartan 分解が、コホモロジー的および K-理論的結果の幾何的基盤を提供する。