[论文解读] The $S^1$-equivariant cohomology rings of $(n-k,k)$ Springer varieties

Tatsuya Horiguchi|arXiv (Cornell University)|Apr 4, 2014

Advanced Algebra and Geometry参考文献 6被引用 3

一句话总结

本文以商环形式显式给出了类型 A 中 $(n-k,k)$ Springer 簇的 $S^1$-等变上同调环，即多项式环 modulo 一个理想 $I$，推广了 Borel 对旗流形上同调的表述。关键结果是通过胞腔分解与表填充的归纳法，证明了等变上同调环与 $\mathbb{Q}[x_1,\dots,x_n,t]/I$ 之间的同构，从而作为副产品，得到了普通上同调的一种新表述。

ABSTRACT

The main result of this note gives an explicit presentation of the $S^1$-equivariant cohomology ring of the $(n-k,k)$ Springer variety (in type $A$) as a quotient of a polynomial ring by an ideal $I$, in the spirit of the well-known Borel presentation of the cohomology of the flag variety.

研究动机与目标

• 为类型 A 中 $(n-k,k)$ Springer 簇的 $S^1$-等变上同调环提供一个显式的代数表述。
• 将 Borel 对旗流形上同调的表述推广至这些 Springer 簇的等变设定。
• 通过旗流形的限制映射，建立 $H^*_S(\mathcal{S}_{(n-k,k)};\mathbb{Q})$ 与多项式环 modulo 显式定义的理想 $I$ 之间的环同构。
• 通过该表述，恢复一种与 Tanisaki 原始理想不同的普通上同调环 $H^*(\mathcal{S}_{(n-k,k)};\mathbb{Q})$ 的新表述。

提出的方法

• 利用由 $T$ 的对角矩阵最大环面中的圆子群 $S \subset T$ 导出的旗流形上的 $S^1$-作用。
• 利用已知的从 $H^*_T(Flags(\mathbb{C}^n);\mathbb{Q})$ 到 $H^*_S(\mathcal{S}_{(n-k,k)};\mathbb{Q})$ 的满射，通过一个满同态 $\varphi: \mathbb{Q}[x_1,\dots,x_n,t]/I \to H^*_S(\mathcal{S}_{(n-k,k)};\mathbb{Q})$ 构造表述。
• 将理想 $I$ 定义为 $\varphi$ 的核，利用 $S^1$-不动点结构与杨图 $(n-k,k)$ 的允许填充所导出的关系。
• 对杨图 $(n-k,k)$ 的列数进行归纳，证明与允许填充相关的单项式 $x_U$ 属于标准表的 $\mathbb{Q}[t]$-张成空间。
• 利用钩长公式与组合计数，比较 $\mathbb{Q}[x_1,\dots,x_n,t]/I$ 的秩与 $\mathcal{S}_{(n-k,k)}$ 的贝蒂数，从而证明同构。
• 最终得出结论：满同态 $\varphi$ 实际上是同构，从而确立了所需的表述。

实验结果

研究问题

• RQ1 如何将 $(n-k,k)$ Springer 簇的 $S^1$-等变上同调环显式描述为一个多项式环的商？
• RQ2 在此设定下，定义等变上同调环的理想 $I$ 的结构是什么？
• RQ3 $(n-k,k)$ Springer 簇的 $S^1$-等变上同调与其普通上同调之间有何关系？
• RQ4 能否利用 $H^*_S(\mathcal{S}_{(n-k,k)};\mathbb{Q})$ 的表述，恢复普通上同调环 $H^*(\mathcal{S}_{(n-k,k)};\mathbb{Q})$ 的新表述？
• RQ5 从多项式环 modulo $I$ 到等变上同调环的满同态是否实际上为同构？

主要发现

• $(n-k,k)$ Springer 簇的 $S^1$-等变上同调环 $H^*_S(\mathcal{S}_{(n-k,k)};\mathbb{Q})$ 同构于 $\mathbb{Q}[x_1,\dots,x_n,t]/I$，其中 $I$ 为显式定义的理想。
• 理想 $I$ 由 $S^1$-不动点结构与杨图 $(n-k,k)$ 的允许填充所导出的关系生成，推广了 Tanisaki 的理想。
• $\mathbb{Q}[x_1,\dots,x_n,t]/I$ 作为 $\mathbb{Q}[t]$-模的秩为 $\binom{n}{k}$，与 $\mathcal{S}_{(n-k,k)}$ 的贝蒂数一致。
• 通过列数归纳与钩长组合学，证明标准表的 $\mathbb{Q}[t]$-张成空间生成整个环，从而确立同构。
• 限制映射 $H^*_S(\mathcal{S}_{(n-k,k)};\mathbb{Q}) \to H^*(\mathcal{S}_{(n-k,k)};\mathbb{Q})$ 是满射，从而得到普通上同调环的新表述 $\mathbb{Q}[x_1,\dots,x_n]/I'$，该理想与 Tanisaki 的原始理想不同。
• 该结果为这些 Springer 簇的等变上同调建立了新的显式环结构，将 Borel 型表述推广至等变设定。