[论文解读] The torus equivariant cohomology rings of Springer varieties

Hiraku Abe, Tatsuya Horiguchi|Osaka City University (Osaka City University)|Apr 4, 2014

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

一句话总结

本文通过在等变上同调上构造对称群 $S_n$ 的显式作用，完整地给出了类型 $A$ 的 Springer 单形的 $T^{\rho}$-等变上同调环的表示。它将 Tanisaki 的理想推广到等变设置，得到一个由 Tanisaki 生成元的等变类比生成的多项式环的商环，并证明通过遗忘映射，该表示在非等变情形下可恢复。

ABSTRACT

The Springer variety of type $A$ associated to a nilpotent operator on $\mathbb{C}^n$ in Jordan canonical form admits a natural action of the $\ell$-dimensional torus $T^{\ell}$ where $\ell$ is the number of the Jordan blocks. We give a presentation of the $T^{\ell}$-equivariant cohomology ring of the Springer variety through an explicit construction of an action of the $n$-th symmetric group on the $T^{\ell}$-equivariant cohomology group. The $T^{\ell}$-equivariant analogue of so called Tanisaki's ideal will appear in the presentation.

研究动机与目标

• 为类型 $A$ 的 Springer 单形的 $T^{\rho}$-等变上同调环 $H^{*}_{T^{\rho}}(\mathcal{S}_{\lambda};\mathbb{Z})$ 提供一个完整的代数表示。
• 通过 $\ell$-维环 $T^\ell$ 的作用，将 Tanisaki 的理想从非等变情形推广到等变情形。
• 通过局部化技术，显式构造 $S_n$-作用于等变上同调群 $H^{*}_{T^\rho}(\mathcal{S}_{\lambda};\mathbb{Z})$。
• 证明所得表示与等变上同调环同构，通过在 $\mathbb{Z}[u_1,\dots,u_\ell]$ 上证明自由性与秩一致。
• 证明从等变上同调到非等变上同调的遗忘映射可恢复 Tanisaki 的原始表示（在 $\mathbb{Z}$ 上）。

提出的方法

• 将 $\ell$-维环 $T^\ell$ 定义为保持块对角酉矩阵的结构，其保持与一个若尔当代数形式的幂零算子相关的 Springer 单形 $\mathcal{S}_\lambda$，其中块大小为 $\lambda = (\lambda_1,\dots,\lambda_\ell)$。
• 将 $\mathcal{S}_\lambda$ 的 $T^\ell$-不动点识别为满足索引块有序条件的置换 $w \in S_n$。
• 利用局部化同构与不动点数据，构造 $H^{*}_{T^\ell}(\mathcal{S}_\lambda;\mathbb{Z})$ 上的 $S_n$-作用。
• 引入等变理想 $\widetilde{I}_\lambda$，其由对称多项式 $e_d(\bar{y}_{i_1},\dots,\bar{y}_{i_s} \mid u_{\phi_\lambda(1)},\dots,u_{\phi_\lambda(s+1-d)})$ 生成，作为 Tanisaki 生成元的推广。
• 通过证明目标为 $\mathbb{Z}[u_1,\dots,u_\ell]$ 上的自由模且秩为 $\binom{n}{\lambda}$，证明映射 $\bar{\psi}: \mathbb{Z}[y_1,\dots,y_n,u_1,\dots,u_\ell]/\widetilde{I}_\lambda \to H^{*}_{T^\ell}(\mathcal{S}_\lambda;\mathbb{Z})$ 是同构。
• 通过次数的归纳法与遗忘映射 $\theta$ 的核，证明 $y_i$ 的单项式是 $\mathbb{Z}[u_1,\dots,u_\ell]$ 上 $\mathbb{Z}[y_1,\dots,y_n]/I_\lambda$ 代表元的线性组合，从而证明模的生成性。

实验结果

研究问题

• RQ1 如何将 Springer 单形 $\mathcal{S}_\lambda$ 的 $T^\ell$-等变上同调环显式表示为一个多项式环的商？
• RQ2 在 $T^\ell$-等变上同调的语境下，Tanisaki 理想的等变类比是什么？
• RQ3 对称群 $S_n$ 如何作用于 $\mathcal{S}_\lambda$ 的等变上同调，且该作用如何用于证明该表示？
• RQ4 等变表示是否通过遗忘映射恢复非等变上同调环？如果是，如何实现？
• RQ5 等变上同调环是否为 $\mathbb{Z}[u_1,\dots,u_\ell]$ 上的自由模？其秩是多少？

主要发现

• $T^\ell$-等变上同调环 $H^{*}_{T^\ell}(\mathcal{S}_\lambda;\mathbb{Z})$ 同构于商环 $\mathbb{Z}[y_1,\dots,y_n,u_1,\dots,u_\ell]/\widetilde{I}_\lambda$，其中 $\widetilde{I}_\lambda$ 是由推广 Tanisaki 生成元的等变对称多项式生成的理想。
• $H^{*}_{T^\ell}(\mathcal{S}_\lambda;\mathbb{Z})$ 作为 $\mathbb{Z}[u_1,\dots,u_\ell]$ 上的自由模，其秩为 $\binom{n}{\lambda} = \frac{n!}{\lambda_1!\lambda_2!\cdots\lambda_\ell!}$，与非等变上同调的秩一致。
• 遗忘映射 $H^{*}_{T^\ell}(\mathcal{S}_\lambda;\mathbb{Z}) \to H^{*}(\mathcal{S}_\lambda;\mathbb{Z})$ 恢复了 Tanisaki 在 $\mathbb{Z}$ 上的原始表示，确认与经典情形的一致性。
• $H^{*}_{T^\ell}(\mathcal{S}_\lambda;\mathbb{Z})$ 上的 $S_n$-作用通过 $T^\ell$-不动点的局部化构造，且在证明所给表示环与上同调环同构的过程中至关重要。
• 证明依赖于：在单项式次数上使用归纳法，证明 $\mathbb{Z}[y_1,\dots,y_n]/I_\lambda$ 的一组代表元可生成 $\mathbb{Z}[y_1,\dots,y_n,u_1,\dots,u_\ell]/\widetilde{I}_\lambda$ 作为 $\mathbb{Z}[u_1,\dots,u_\ell]$-模。
• $\widetilde{I}_\lambda$ 被证明包含 $I_\lambda$ 在映射 $u_i \mapsto 0$ 下的像，且在商环中关系 $e_d(\dots) = -\sum (-1)^{d-r} e_r h_{d-r}$ 确保 $\theta$ 的核由 $u_1,\dots,u_\ell$ 生成。