[论文解读] Affine partitions and affine Grassmannians

Sara Billey, Stephen Α. Mitchell|ArXiv.org|Mar 25, 2008

Advanced Combinatorial Mathematics参考文献 13被引用 4

一句话总结

本文在仿射 Weyl 群商群 $\widetilde{W}/W$ 的元素与一类新引入的组合对象——仿射分拆（affine partitions）之间建立了双射关系，这些仿射分拆是由典范线段分解导出的带色分拆。主要贡献在于利用这些仿射分拆和一个推广的杨氏格（generalized Young’s lattice），该格细化了弱序且被布吕哈特序所细化，从而对仿射格拉斯曼流形中的有理光滑 Schubert 簇进行了几何组合表征，该结果在所有经典与例外类型中均有应用，包括在非类型 A 设置下发现了新的分拆恒等式。

ABSTRACT

We give a bijection between certain colored partitions and the elements in the quotient of an affine Weyl group modulo its Weyl group. By Bott's formula these colored partitions give rise to some partition identities. In certain types, these identities have previously appeared in the work of Bousquet-Melou-Eriksson, Eriksson-Eriksson and Reiner. In other types the identities appear to be new. For type $A_{n}$, the affine colored partitions form another family of combinatorial objects in bijection with $n+1$-core partitions and $n$-bounded partitions. Our main application is to characterize the rationally smooth Schubert varieties in the affine Grassmannians in terms of affine partitions and a generalization of Young's lattice which refines weak order and is a subposet of Bruhat order. Several of the proofs are computer assisted.

研究动机与目标

• 在仿射 Weyl 群商群 $\widetilde{W}/W$ 的最小长度陪集代表元与一类新引入的带色分拆——仿射分拆之间，建立组合双射。
• 利用仿射分拆的框架，统一并推广类型 $A_n$ 中涉及 $k$-核心、$k$-有界及斜分拆的现有双射。
• 在仿射分拆上构建一个推广的杨氏格，该格细化左弱序且被布吕哈特序所细化，从而实现对有理光滑 Schubert 簇的新几何组合表征。
• 通过双射从 Bott 公式推导出新的分拆恒等式，将 Bousquet-Mélou–Eriksson 和 Reiner 的已知结果推广至所有类型，包括此前未知的非类型 $A$ 设置下的新恒等式。
• 利用仿射分拆的组合学与推广的杨氏格，以统一、类型无关的方式表征仿射格拉斯曼流形中所有类型的有理光滑 Schubert 簇。

提出的方法

• 将 $\widetilde{W}^S$ 中元素的典范分解为线段，这些线段由有限 Weyl 群的作用与 Dynkin 图的自同构导出。
• 将仿射分拆定义为带色分拆，其中每个部分与一个线段相关联，并通过从 $\widetilde{W}^S$ 到仿射分拆集合的保权映射保持长度。
• 在仿射分拆上引入一个推广的杨氏格，该格通过线段层面的支配关系与序关系，细化左弱序且被布吕哈特序所细化。
• 利用双射将 Schubert 簇的几何性质（如有理光滑性）转化为仿射分拆上的组合条件。
• 利用 Bott 公式计算仿射格拉斯曼流形的 Poincaré 系数，推导出分拆恒等式，其中生成函数表示为 $P_{\widetilde{W}^S}(t) = \prod_{i=1}^n (1 - t^{e_i})^{-1}$，其中 $e_i$ 是 $W$ 的指数。
• 在某些情形下采用计算机辅助验证，以确认组合与序理论性质，特别是在类型 $A_n$ 和例外类型中。

实验结果

研究问题

• RQ1 如何将仿射 Weyl 群商群 $\widetilde{W}/W$ 的最小长度陪集代表元 $\widetilde{W}^S$ 双射地映射到一类自然的组合对象？
• RQ2 在仿射分拆上，何种推广的杨氏格结构能细化弱序且被布吕哈特序所细化？
• RQ3 仿射分拆的组合结构如何反映仿射格拉斯曼流形中 Schubert 簇的几何性质，特别是有理光滑性？
• RQ4 通过仿射分拆双射，从 Bott 公式中可导出哪些新的分拆恒等式？它们与类型 $A_n$、$B_n$、$C_n$、$D_n$、$E_6$、$E_7$、$E_8$、$F_4$、$G_2$ 中已知恒等式有何关联？
• RQ5 能否以统一的方式，用仿射分拆及其序理论性质，在所有类型中表征有理光滑 Schubert 簇？

主要发现

• 在 $\widetilde{W}^S$ 的元素与仿射分拆之间建立了双射对应，每个元素对应一个由典范线段分解生成的带色分拆，保持长度并支持组合分析。
• 在仿射分拆上定义的推广杨氏格细化了左弱序且被布吕哈特序所细化，提供了一种新的偏序集结构，能够捕捉仿射格拉斯曼流形中 Schubert 簇的层次关系。
• 本文提出了有理光滑 Schubert 簇的新表征：$X_w$ 有理光滑当且仅当下理想 $\{v \in \widetilde{W}^S : v \leq w\}$ 是全序的，或 $w$ 是一个闭抛物子群轨道，或 $w$ 在类型 $A_n$ 中是螺旋元素，或 $w$ 是类型 $B_3$ 中的特定元素。
• 从 Bott 公式推导出新的分拆恒等式，将 Bousquet-Mélou–Eriksson 和 Reiner 的已知结果推广至所有类型，其中类型 $B_n$、$C_n$、$D_n$、$E_6$、$E_7$、$E_8$、$F_4$、$G_2$ 的恒等式被证明是新的。
• 在类型 $A_n$ 中，仿射分拆提供了一个新的组合框架，统一了 $n+1$-核心分拆、$n$-有界分拆以及无长钩的斜形，为这些经典分拆家族提供了全新的视角。
• 本研究确认了仿射格拉斯曼流形的 Poincaré 系数由 $P_{\widetilde{W}^S}(t) = \prod_{i=1}^n (1 - t^{e_i})^{-1}$ 给出，其中 $e_i$ 是有限 Weyl 群 $W$ 的指数，且该生成函数通过仿射分拆模型得以实现。