[论文解读] $RO(C_2)$-graded cohomology of equivariant Grassmannian manifolds

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

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

一句话总结

本文通过等变Schubert胞腔分解与胞腔谱序列，计算了实与复$C_2$-等变Grassmann流形的$RO(C_2)$-分次Bredon上同调。它为$ \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$-等变Grassmann流形的$RO(C_2)$-分次Bredon上同调。
• 通过确定$RO(C_2)$-分次，特别是作为自由$\mathbb{M}_2$-模的分解中权重$b_i$，将已知的等变Grassmann流形上同调结果扩展至非平凡情形。
• 分析由Schubert胞腔滤子诱导的等变胞腔谱序列的结构，识别并计算使上同调计算复杂化的非平凡微分。
• 通过正交补映射（perp map）建立Schubert胞腔与其正交补之间的对偶性，利用此对偶性约束上同调生成元及其在遗忘映射下的像。

提出的方法

• 使用等变Schubert胞腔分解在$\operatorname{Gr}_k(\mathbb{R}^{n,q})$和$\operatorname{Gr}_k(\mathbb{C}^{n,q})$上构造胞腔滤子，从而可应用胞腔谱序列。
• 应用等变悬垂同构$\tilde{H}^{\bullet,\bullet}(S^{p,q} \wedge X) \cong \tilde{H}^{\bullet-p,\bullet-q}(X)$，将悬垂的上同调与基空间的移位上同调联系起来。
• 使用正交补映射$P: \operatorname{Gr}_k(\mathbb{F}^n) \to \operatorname{Gr}_{n-k}(\mathbb{F}^n)$，将Schubert胞腔$\Omega_\lambda$映射为$\widehat{\Omega}_{\lambda^T}$，从而关联互补维数的Grassmann流形的上同调。
• 利用$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 作为$\mathbb{M}_2$上的自由模，实Grassmann流形$\operatorname{Gr}_k(\mathbb{R}^{n,1})$的$RO(C_2)$-分次Bredon上同调是什么？
• RQ2 在分解$H^{\bullet,\bullet}(\operatorname{Gr}_k(\mathbb{R}^{n,1})) = \bigoplus_i \Sigma^{a_i,b_i}\mathbb{M}_2$中，权重$b_i$如何依赖于索引Schubert胞腔的分拆？
• RQ3 在$\operatorname{Gr}_2(\mathbb{R}^{n,2})$的等变胞腔谱序列中，非平凡微分是什么？它们如何影响最终的上同调结构？
• RQ4 正交补映射$P$如何在上同调上诱导同构？这种对偶性如何用于约束遗忘映射下生成元的像？
• RQ5 无限Grassmann流形$\operatorname{Gr}_k(\mathbb{R}^{\infty,1})$及其复版本的$RO(C_2)$-分次上同调是什么？

主要发现

• 实Grassmann流形$\operatorname{Gr}_k(\mathbb{R}^{n,1})$的$RO(C_2)$-分次Bredon上同调被计算为$\mathbb{M}_2$上的自由模，其显式权重$b_i$由Schubert胞腔分解与表示论数据决定。
• 对于$\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}]$，从而可通过对偶性论证排除遗忘映射下某些生成元像的可能性。
• Schubert胞腔滤子的谱序列具有非平凡微分，这些微分通过限制Kronholm移位的定理得以管理，从而实现最终上同调的显式计算。
• 无限Grassmann流形$\operatorname{Gr}_k(\mathbb{R}^{\infty,1})$的上同调通过有限情形的直接极限计算得出，结果为$\mathbb{M}_2$上的自由模，其权重遵循与有限情形相同的规律。
• 对于复Grassmann流形，上同调结构类似，$H^{\bullet,\bullet}(\operatorname{Gr}_k(\mathbb{C}^{n,q}))$是$\mathbb{M}_2$上的自由模，且正交补映射的对偶性在复情形下同样成立。