[论文解读] A homological study of Green polynomials

Syu Kato|arXiv (Cornell University)|Nov 20, 2011

Advanced Algebra and Geometry参考文献 2被引用 10

一句话总结

本论文通过Kostka系统——编码正交性关系的分次扩张对的范畴类比——引入复反射群的Kostka多项式同调框架。证明了在良好特征下，每个广义Springer对应关系均生成一个Kostka系统，从而实现广义Springer纤维的扭曲同调的上层生成，并提供一种通过分次扩张模进行Kostka多项式递归计算的算法。

ABSTRACT

We interpret the orthogonality relation of Kostka polynomials arising from complex reflection groups (c.f. [Shoji, Invent. Math. 74 (1983), J. Algebra 245 (2001)] and [Lusztig, Adv. Math. 61 (1986)]) in terms of homological algebra. This leads us to the notion of Kostka system, which can be seen as a categorical counter-part of Kostka polynomials. Then, we show that every generalized Springer correspondence [Lusztig, Invent. Math. 75 (1984)] (in good characteristic) gives rise to a Kostka system. This enables us to see the top-term generation property of the (twisted) homology of generalized Springer fibers, and the transition formula of Kostka polynomials between two generalized Springer correspondences of type $\mathsf{BC}$. The latter provides an inductive algorithm to compute Kostka polynomials by upgrading [Ciubotaru-Kato-K, Invent. Math. 178 (2012)] §3 to its graded version. In the appendices, we present purely algebraic proofs that Kostka systems exist for type $\mathsf{A}$ and asymptotic type $\mathsf{BC}$ cases, and therefore one can skip geometric sections §3--5 to see the key ideas and basic examples/techniques.

研究动机与目标

• 为复反射群的Kostka多项式建立同调代数框架。
• 通过分次扩张配对将Kostka多项式的正交性解释为范畴条件。
• 证明在良好特征下，广义Springer对应关系自然导出Kostka系统。
• 确立广义Springer纤维的（扭曲）同调的上层生成性质。
• 提供一种升级至分次设定的递归分次算法，用于计算Kostka多项式，超越Ciubotaru-Kato-K的未分次方法。

提出的方法

• 定义分次代数 $ A_W = π W \ltimes \mathbb{C}[\mathfrak{h}^*] $，其中 $ \deg w = 0 $，$ \deg x = 2 $，并考虑其有限生成分次模的范畴。
• 在 $ \mathbb{Z}((t^{1/2})) $ 中引入分次Euler-Poincaré配对 $ \langle E, F \rangle_{\mathsf{gEP}} = \sum_i (-1)^i \mathsf{gdim}\, \mathrm{ext}^i_{A_W}(E,F) $。
• 将Kostka系统 $ \{K_{\chi}^{\pm}\} $ 定义为具有单上部 $ L_\chi $ 的不可约分次模，满足特定的滤子与正交性条件。
• 利用Frobenius-Nakayama对偶性与最小投影解析，计算代数张量积中的 $ \mathrm{ext}^i $-群。
• 借助反射表示的结构与 $ S_\Gamma $-等变性，控制 $ \mathrm{ext}^i $ 与 $ \langle K_{\bm{\lambda}}, L_{\bm{\mu}} \rangle_{\mathsf{gEP}} $ 的消失条件。
• 证明在良好特征下，广义Springer对应关系导出Kostka系统，从而可通过分次扩张重数实现Kostka多项式的递归计算。

实验结果

研究问题

• RQ1 Kostka多项式的正交性如何通过同调代数解释？
• RQ2 复反射群的Kostka多项式背后的范畴结构是什么？
• RQ3 每个在良好特征下的广义Springer对应关系是否都导出一个Kostka系统？
• RQ4 广义Springer纤维的（扭曲）同调的上层生成性质是否可由Kostka系统导出？
• RQ5 是否存在一种升级自Ciubotaru-Kato-K未分次方法的分次递归算法，用于计算Kostka多项式？

主要发现

• 在良好特征下，每个广义Springer对应关系均导出一个Kostka系统，建立了几何表示论与同调代数之间的直接联系。
• 广义Springer纤维的（扭曲）同调的上层生成性质由Kostka系统的存在性所导出。
• 从Kostka系统框架中推导出类型 $ \mathsf{BC} $ 的Kostka多项式之间的过渡公式。
• 分次扩张配对 $ \langle K_{\bm{\lambda}}^+, (K_{\bm{\mu}}^-)^* \rangle_{\mathsf{gEP}} $ 仅在 $ \chi^\vee \sim \eta $ 时非零，确认了正交性条件。
• 对于类型 $ \mathsf{A} $ 与渐近类型 $ \mathsf{BC} $，附录中提供了完全代数化的Kostka系统存在性证明，避免了几何构造。
• $ \mathrm{ext}^1 $-消失与 $ \mathsf{gEP} $-配对消失条件意味着 $ \{K_{\bm{\lambda}}\} $ 关于 $ Z^{r,s}_n $ 构成一个 $ \mathcal{P} $-迹，从而确认了Kostka系统结构。