[論文レビュー] $RO(C_2)$-graded cohomology of equivariant Grassmannian manifolds

Eric Hogle|arXiv (Cornell University)|Jun 5, 2018

Geometry and complex manifolds参考文献 5被引用数 3

ひとこと要約

この論文は、等長的シューベルト細胞分解と細胞スペクトル系列を用いて、実および複素 $C_2$-等長的グラスマンニアンの $RO(C_2)$-次数付きブレドンコホモロジーを計算する。$ \operatorname{Gr}_k(\mathbb{R}^{n,1})$ や $ \operatorname{Gr}_2(\mathbb{R}^{n,2})$ のような族のコホモロジーに対して明示的な公式を提供し、これらのコホモロジー群が係数環 $ \mathbb{M}_2 = H^{\bullet,\bullet}(\text{pt}; \underline{\mathbb{Z}/2})$ 上の自由加群であることを示し、表現論的データによって決定される重みとスペクトル系列内の非自明な微分を特定する。

ABSTRACT

We compute the $RO(C_2)$-graded Bredon cohomology of certain families of real and complex $C_2$-equivariant Grassmannians.

研究の動機と目的

• 実および複素 $C_2$-等長的グラスマンニアン多様体の $RO(C_2)$-次数付きブレドンコホモロジーを計算すること。
• 特に、コホモロジーを自由 $\mathbb{M}_2$-加群として分解する際の重み $b_i$ を特定することで、自明でない場合にまで拡張された等長的グラスマンニアンのコホモロジーに関する既知の結果を拡張すること。
• シューベルト細胞フィルトレーションから生じる等長的細胞スペクトル系列の構造を解析し、コホモロジー計算を複雑にする非自明な微分を同定し、それらを計算すること。
• 垂直写像 $P$ を用いたシューベルト細胞とその直交補空間との間の双対性を確立し、これによりコホモロジー生成子とその忘却写像による像を制約すること。

提案手法

• シューベルト細胞分解を用いて、$\operatorname{Gr}_k(\mathbb{R}^{n,q})$ および $\operatorname{Gr}_k(\mathbb{C}^{n,q})$ 上に細胞フィルトレーションを構成し、細胞スペクトル系列の適用を可能にする。
• 等長的スuspension同型 $\tilde{H}^{\bullet,\bullet}(S^{p,q} \wedge X) \cong \tilde{H}^{\bullet-p,\bullet-q}(X)$ を用いて、スuspensionのコホモロジーと基底空間のシフトされたコホモロジーを関連付ける。
• シューベルト細胞 $\Omega_\lambda$ を $\widehat{\Omega}_{\lambda^T}$ に写像する垂直写像 $P: \operatorname{Gr}_k(\mathbb{F}^n) \to \operatorname{Gr}_{n-k}(\mathbb{F}^n)$ を用いて、補数次元のグラスマンニアンのコホモロジーを関連付ける。
• コホモロジー $H^{\bullet,\bullet}(X)$ が係数環 $\mathbb{M}_2 = H^{\bullet,\bullet}(\text{pt})$ 上の自由加群であり、生成子が細胞に対応することを用い、重み $b_i$ を表現論的データとスペクトル系列の微分を用いて計算する。
• Kronholm型のシフト定理を適用して、特に $C_2$-等長的空間の文脈において、コホモロジー分解における可能なシフトを制限する。
• $\mathbb{M}_2$ の非ネーター的構造、特に $\rho \in H^{1,1}$, $\tau \in H^{0,1}$, $\theta \in H^{0,-2}$ を含む要素を用いて、環構造とそれがコホモロジーに作用する様子を記述する。

実験結果

リサーチクエスチョン

• RQ1 シューベルト細胞の分割によって索引づけられる際、重み $b_i$ がどのように変化するかに依存する、実グラスマンニアン $\operatorname{Gr}_k(\mathbb{R}^{n,1})$ の $RO(C_2)$-次数付きブレドンコホモロジーは、$\mathbb{M}_2$ 上の自由加群としてどのように表されるか？
• RQ2 分解 $H^{\bullet,\bullet}(\operatorname{Gr}_k(\mathbb{R}^{n,1})) = \bigoplus_i \Sigma^{a_i,b_i}\mathbb{M}_2$ における重み $b_i$ は、シューベルト細胞を索引づける分割にどのように依存するか？
• RQ3 $\operatorname{Gr}_2(\mathbb{R}^{n,2})$ の等長的細胞スペクトル系列における非自明な微分は何か？ それらは最終的なコホモロジー構造にどのように影響を与えるか？
• RQ4 垂直写像 $P$ はコホモロジーに同型を誘導するが、その双対性は忘却写像による生成子の像を制約するためにどのように利用できるか？
• RQ5 無限大グラスマンニアン $\operatorname{Gr}_k(\mathbb{R}^{\infty,1})$ 及びその複素版の $RO(C_2)$-次数付きコホモロジーは何か？

主な発見

• $\operatorname{Gr}_k(\mathbb{R}^{n,1})$ の $RO(C_2)$-次数付きブレドンコホモロジーは、シューベルト細胞分解と表現論的データによって決定される明示的な重み $b_i$ を持つ、$\mathbb{M}_2$ 上の自由加群として計算された。
• $\operatorname{Gr}_2(\mathbb{R}^{4,1})$ の場合、コホモロジーは $H^{\bullet,\bullet}(\operatorname{Gr}_2(\mathbb{R}^{4,1})) = \mathbb{M}_2 \oplus \Sigma^{1,1}\mathbb{M}_2 \oplus \Sigma^{2,1}\mathbb{M}_2$ であり、非自明な重み分布を示しているが、非等長的特異コホモロジーは次数 4 に集中している。
• 垂直写像はコホモロジーに同型を誘導し、$[\Omega_\lambda]$ を $[\Omega_{\lambda^T}]$ に写像する。これにより双対性の議論が可能となり、忘却写像による生成子の像の候補を除外できる。
• シューベルト細胞フィルトレーションのスペクトル系列には非自明な微分が存在するが、Kronholmのシフト制限定理を用いることでこれらを管理し、最終的なコホモロジーを明示的に計算可能とした。
• 無限大グラスマンニアン $\operatorname{Gr}_k(\mathbb{R}^{\infty,1})$ のコホモロジーは、有限ケースの直和極限として計算され、同じパターンに従う重みを持つ $\mathbb{M}_2$ 上の自由加群となった。
• 複素グラスマンニアンに対しても同様の構造が成り立ち、$H^{\bullet,\bullet}(\operatorname{Gr}_k(\mathbb{C}^{n,q}))$ は $\mathbb{M}_2$ 上の自由加群であり、垂直写像による双対性は複素設定でも成立する。