[论文解读] Decomposing Hessenberg varieties over classical groups

Julianna Tymoczko|ArXiv.org|Nov 14, 2002

Advanced Algebra and Geometry参考文献 18被引用 11

一句话总结

本文证明了在类型 $A_n$ 中的所有Hessenberg簇，以及在类型 $B_n$、$C_n$ 和 $D_n$ 中的半单与正则幂零Hessenberg簇，均可通过与Bruhat分解的交集实现仿射空间的铺砌。关键结果是给出了这些胞腔的维数公式，并计算出类型 $A_n$ 中Peterson簇的Poincaré多项式为 $\sum_{i=0}^{n-1}\binom{n-1}{i}x^{2i}$，从而将拓扑与组合数学联系起来。

ABSTRACT

Hessenberg varieties are a family of subvarieties of the flag variety, including the Springer fibers, the Peterson variety, and the entire flag variety itself. The seminal example arises from a problem in numerical analysis and consists for a fixed linear operator M of the full flags V_1 \subsetneq V_2 >... \subsetneq V_n in GL_n with M V_i contained in V_{i+1} for all i. In this paper I show that all Hessenberg varieties in type A_n and semisimple and regular nilpotent Hessenberg varieties in types B_n,C_n, and D_n can be paved by affine spaces. Moreover, this paving is the intersection of a particular Bruhat decomposition with the Hessenberg variety. In type A_n, an equivalent description of the cells of the paving in terms of certain fillings of a Young diagram can be used to compute the Betti numbers of Hessenberg varieties. As an example, I show that the Poincare polynomial of the Peterson variety in A_n is \sum_{i =0}^{n-1} \binom{n-1}{i} x^{2i}.

研究动机与目标

• 通过仿射铺砌建立Hessenberg簇的拓扑分解。
• 将已知的Springer纤维的仿射铺砌推广到经典李型中更广泛的Hessenberg簇类。
• 通过组合胞腔描述提供计算贝蒂数和Poincaré多项式的统一方法。
• 通过显式胞腔维数公式，将Hessenberg簇的几何与表示理论及组合数学联系起来。

提出的方法

• 利用旗流形的Bruhat分解，并与Hessenberg簇相交，构造仿射胞腔。
• 应用环面作用与根空间分解，分析半单与幂零算子下Hessenberg簇的结构。
• 采用基于根系的胞腔维数公式：对于半单 $M$，有 $\dim(B\pi B \cap \mathcal{H}(M,H)) = |\Phi_\pi \cap \pi\mathcal{M}_H \cap \Phi_\mathfrak{n}| + |\Phi_\pi \cap \Phi_\mathfrak{l}|$；对于幂零 $N$，使用其变体。
• 利用共轭下的同构不变性，将问题约化为标准形式（如半单情形的对角形式，幂零情形的若尔当代数标准形）。
• 应用De Concini、Lusztig与Procesi关于Springer纤维的仿射铺砌结果，将其推广至Hessenberg簇。
• 采用Young图的组合填充方法描述类型 $A_n$ 中的胞腔，从而实现贝蒂数的计算。

实验结果

研究问题

• RQ1 能否通过Bruhat分解对经典类型中的Hessenberg簇实现仿射铺砌？
• RQ2 Hessenberg簇铺砌中每个仿射胞腔的维数是多少？
• RQ3 在类型 $A_n$ 中，Hessenberg簇的贝蒂数能否通过组合方法计算？
• RQ4 类型 $A_n$ 中Peterson簇的Poincaré多项式是什么？
• RQ5 该铺砌构造是否可推广至类型 $B_n$、$C_n$ 和 $D_n$ 中的正则幂零Hessenberg簇？

主要发现

• 所有类型 $A_n$ 中的Hessenberg簇均可通过与Bruhat分解的交集实现仿射空间铺砌。
• 类型 $B_n$、$C_n$ 和 $D_n$ 中的半休眠Hessenberg簇也具有此类铺砌，其维数公式涉及根系数据。
• 经典类型中正则幂零Hessenberg簇可被仿射胞腔铺砌，其维数由 $|\Phi_\pi| - |\mathcal{C}_{\pi \cdot H} \cap \Phi_{U_\pi \cdot N}|$ 确定。
• 类型 $A_n$ 中Peterson簇的Poincaré多项式为 $\sum_{i=0}^{n-1}\binom{n-1}{i}x^{2i}$，该结果通过胞腔分解得出。
• 在类型 $A_n$ 中，铺砌的胞腔对应于某个Young图的特定填充方式，从而可显式计算贝蒂数。
• 该铺砌与Weyl群作用相容，并在上同调中提供了排列统计量的几何实现。