[论文解读] The equivariant cohomology rings of regular nilpotent Hessenberg varieties in Lie type A: a research announcement

Hiraku Abe, Megumi Harada+2 more|arXiv (Cornell University)|Nov 12, 2014

Advanced Combinatorial Mathematics参考文献 19被引用 12

一句话总结

本文提出了一种系统性算法，用于计算类型 A 中正则幂零 Hessenberg 簇的等变上同调环的显式生成元与关系，该簇由 Hessenberg 函数 $ h $ 定义。关键贡献在于提出了一种统一的方法，可恢复已知的 Peterson 簇和完整旗流形的表示，并证明了从旗流形的上同调到 Hessenberg 簇的上同调的限制映射的满射性。

ABSTRACT

Let $n$ be a fixed positive integer and $h: \{1,2,...,n\} ightarrow \{1,2,...,n\}$ a Hessenberg function. The main result of this manuscript is to give a systematic method for producing an explicit presentation by generators and relations of the equivariant and ordinary cohomology rings (with $\mathbb{Q}$ coefficients) of any regular nilpotent Hessenberg variety $\mathrm{Hess}(h)$ in type A. Specifically, we give an explicit algorithm, depending only on the Hessenberg function $h$, which produces the $n$ defining relations $\{f_{h(j),j}\}_{j=1}^n$ in the equivariant cohomology ring. Our result generalizes known results: for the case $h=(2,3,4,...,n,n)$, which corresponds to the Peterson variety $\mathrm{Pet}_n$, we recover the presentation of $H^*_S(\mathrm{Pet}_n)$ given previously by Fukukawa, Harada, and Masuda. Moreover, in the case $h=(n,n,...,n)$, for which the corresponding regular nilpotent Hessenberg variety is the full flag variety $\mathrm{Flags}(\mathbb{C}^n)$, we can explicitly relate the generators of our ideal with those in the usual Borel presentation of the cohomology ring of $\mathrm{Flags}(\mathbb{C}^n)$. The proof of our main theorem includes an argument that the restriction homomorphism $H^*_T(\mathrm{Flags}(\mathbb{C}^n)) o H^*_S(\mathrm{Hess}(h))$ is surjective. In this research announcement, we briefly recount the context and state our results; we also give a sketch of our proofs and conclude with a brief discussion of open questions. A manuscript containing more details and full proofs is forthcoming.

研究动机与目标

• 为类型 A 中正则幂零 Hessenberg 簇的等变上同调环提供一种统一且算法化的表示。
• 将关于 Peterson 簇和完整旗流形的先前结果推广到任意 Hessenberg 函数的情形。
• 建立从旗流形的等变上同调到 Hessenberg 簇的等变上同调的限制同态的满射性。
• 提供一个框架，用于构造加法基并研究这些簇上的 Schubert 微分几何。
• 探讨正则幂零 Hessenberg 簇与正则半单 Hessenberg 簇的上同调环之间的关系。

提出的方法

• 该方法通过 $ n $ 个显式关系 $ f_{h(j),j} $ 构造等变上同调环，这些关系由 Hessenberg 函数 $ h $ 索引，使用 $ \mathbb{Q}[x_1,\dots,x_n,t] $ 中的多项式生成元。
• 其依赖于一个关键技术结果：对于正则幂零 Hessenberg 簇，限制映射 $ H^*_T(\mathcal{F}\ell ags(\mathbb{C}^n)) \to H^*_S(\operatorname{Hess}(h)) $ 是满射。
• 证明使用了局部化技术，通过比较 Hilbert 系数并分析关于局部化上同调环（在 $ R = \mathbb{Q}[t]\setminus\{0\} $ 上）的交换图表。
• 通过验证在完整旗流形情形（$ h = (n,\dots,n) $）下同构性来验证该构造，此时生成元与 Borel 表示中的陈类完全匹配。
• 该方法可扩展至 Peterson 簇情形（$ h = (2,3,\dots,n,n) $），恢复了 Fukukawa、Harada 和 Masuda 所知的已知表示。
• 该论证利用局部化定理表明，局部化后的限制映射是同构，从而在验证了单射性后，可推出原映射也是同构。

实验结果

研究问题

• RQ1 能否为类型 A 中任意正则幂零 Hessenberg 簇的等变上同调环构造一种统一且算法化的表示？
• RQ2 正则幂零 Hessenberg 簇的上同调环与完整旗流形和 Peterson 簇的上同调环有何关系？
• RQ3 从旗流形的等变上同调到 Hessenberg 簇的等变上同调的限制同态是否为满射？
• RQ4 Mbirika-Tymoczko 表示与正则幂零 Hessenberg 簇的实际上同调环之间存在何种关系？
• RQ5 能否为一般正则幂零 Hessenberg 簇的等变上同调构造出类似 Schubert 微分几何的基？

主要发现

• 等变上同调环 $ H^*_S(\operatorname{Hess}(h)) $ 可由 Hessenberg 函数 $ h $ 显式确定的生成元与关系表示，其中包含 $ n $ 个定义关系 $ f_{h(j),j} $。
• 当 $ h = (n,n,\dots,n) $ 时，理想中的生成元恰好对应于 $ H^*(\mathcal{F}\ell ags(\mathbb{C}^n)) $ 的 Borel 表示中的陈类。
• 对于 Peterson 簇（$ h = (2,3,\dots,n,n) $），该方法恢复了 Fukukawa、Harada 和 Masuda 之前已知的表示。
• 限制映射 $ H^*_T(\mathcal{F}\ell ags(\mathbb{C}^n)) \to H^*_S(\operatorname{Hess}(h)) $ 是满射，这一结果此前在文献中尚未被证明。
• 局部化映射 $ R^{-1}\varphi_h $ 是同构，且由此可推出在验证单射性后，原映射 $ \varphi_h $ 也是同构。
• 尽管 Betti 数相同，但当 $ n \geq 3 $ 时，Mbirika-Tymoczko 环与 $ H^*(\operatorname{Hess}(h)) $ 不同构。