Permutahedra, Lusztig varieties, degenerations, and subdivisions

技术摘要：置换多面体、Lusztig 簇、退化与细分

问题陈述
本文探讨了 Lusztig 簇（Hessenberg 簇的一种推广）与置换多面体（permutahedron）之间的几何与组合关系。具体而言，旨在理解置换多面体簇 $\text{Perm} \subset G/B$ 向 Richardson 簇的分解。Anderson–Tymoczko 以及 Harada–Horiguchi–Masura–Park (HHMP) 的先前研究已经确定了 $[\text{Perm}]$ 的上同调类是 Richardson 类的和，并且置换多面体 $\Pi$ 允许分解为 Bruhat 区间多胞体。然而，这些结果是通过组合方法或特定的退化推导出的，并未能充分解释多胞体细分的几何起源。核心问题在于构造一个嵌入的、环面等变的 Lusztig 簇向 Richardson 簇并集的退化，该退化需同时解释这些上同调公式，并诱导出矩多面体（moment polytope）的多面体细分。次要挑战在于确定这些细分是否是“正则的”（regular，即由高度函数诱导），尽管作者的构造并非 Gröbner 退化，但这一性质通常与 Gröbner 退化相关联。

研究方法
作者结合了代数几何、组合表示论和凸几何的方法：

1. 退化构造： 作者构造了一个 Lusztig 簇 $Y_w(t)$（其中 $t$ 是一个一般的环面元素）向减少的 Richardson 簇并集 $X_w = \bigcup \{X_{uw^{-1}}^u \mid uw^{-1} \text{ 为长度相加}\}$ 的嵌入退化。这是通过将一个平坦的复射影 Schubert 簇族与由元素 $t$ 定义的横截切片相交来实现的。
2. 环面退化理论： 他们建立了一个通用的定理（定理 3.1），指出任何从射影环面簇 $Y$ 向其分量并集 $\bigcup X_i$ 的半环面退化（semitoric degeneration），都会诱导出 $Y$ 的矩多面体向 $X_i$ 的矩多面体的细分。至关重要的是，他们证明了这一结论并不要求退化必须是 Gröbner 退化，而是依靠 Duistermaat–Heckman 测度和几何不变性理论（GIT）商来确保这些多面体构成一个细分（具有不相交的内部），而不仅仅是一个剖分（dissection）。
3. 组合分析： 对于 Lusztig 簇为置换多面体（即 $w$ 为 Coxeter 元）的具体情况，作者分析了置换多面体向 Bruhat 区间多胞体 $\Pi_{uc}^u$ 的分解。
4. 正则性证明： 为了证明细分是正则的，作者显式地构造了置换多面体顶点上的高度函数 $h_c$。
   • 在 A 型 中，他们利用“最右侧子表达式”（rightmost subexpressions）定义 $h_c$，并通过格点路径和网格中的斜形状（skew shapes）来解释权重。他们验证了实现正则性所需的共面性和局部折叠条件。
   • 在 B 型和 C 型 中，他们利用“折叠”技术，通过将 C 型问题映射到 A 型（利用 Weyl 群的嵌入 $W_C \hookrightarrow S_{2n}$），从而继承了 A 型的正则性。

主要贡献与结果

• 定理 A（Lusztig 簇的退化）： 作者证明了对于一般的 $t \in T$，Lusztig 簇 $Y_w(t)$ 退化为长度相加的 $X_{uw^{-1}}^u$ 的减少的 Richardson 簇并集。这为 Lusztig 簇的上同调类公式提供了几何证明，扩展了 Anderson–Tymoczko 和 Kim 的结果。
• 定理 B（K-理论与上同调）： 他们推导出了置换多面体 $[\text{Perm}]$ 的上同调类和 K-理论类的显式公式，这些公式是关于涉及 Coxeter 元 $c$ 的长度相加乘积的求和。K-类公式涉及对不包含在单个极大抛物子群陪集中的区间 $[y, z]$ 的带符号求和。
• 定理 C（多胞体细分）： 作者证明了置换多面体簇的退化诱导了 $W$-置换多面体 $\Pi$ 向 Bruhat 区间多胞体 $\{\Pi_{uc}^u \mid uc \text{ 长度相加}\}$ 的一个细分（而非仅仅是剖分）。这将其对任意 Coxeter 元和类型的 HHMP 分解进行了推广。
• A、B、C 型的正则性： 尽管该退化不是 Gröbner 退化（因为不存在作用在 $G/B$ 上的更大环面），但作者证明了所得的细分是正则的。
  • 在 A 型中，他们提供了一个源自置换最右侧子表达式的显式高度向量 $h_c$。
  • 在 B 型和 C 型中，他们通过从 A 型出发的折叠映射推导出了正则性。
• 与热带几何的联系： A 型中的正则细分对应于正热带旗形簇（positive tropical flag variety，或正旗 Dressler 簇）中的极大锥。论文建立并指出，所构造的特定细分对应于 $2^{n-2}$ 个（或根据 $c$ 可能更多）极大锥。
• 单元计数： 作者分析了这些细分中极大单元的数量。他们表明这个数量取决于 Coxeter 元 $c$ 的选择，范围从 Euler 数（最小值）到 $(n-1)!$（最大值），并将其与特定偏序 $\succsim_c$ 的线性扩张数量联系起来。

意义与主张

论文声称统一了若干迥异的代数组合与几何结果：

1. 几何统一： 它提供了一个单一的几何机制（Lusztig 簇的嵌入退化），既解释了置换多面体的上同调分解，也解释了置换多面体的组合剖分。
2. 超越 Gröbner 理论： 其重要的理论贡献在于证明了非 Gröbner 的环面等变环面簇退化仍然可以产生正则的多胞体细分。这挑战了“正则性严格与 Gröbner 退化相关联”的直觉。
3. 组合洞察： 通过将细分与正旗 Dressler 簇及热带旗形簇联系起来，论文为这些热带对象的结构提供了新的见解，特别是为某些极大锥及其相关单元计数提供了具体的描述。
4. 推广： 其结果将已知的 A 型现象推广到了任意 Coxeter 元以及 B 型和 C 型，展示了 Lusztig 簇与置换多面体在不同李型（Lie type）下的稳健关系。

作者对 Kac-Moody 类似物（第 7 节）保持谦逊，指出虽然存在关于 Kac-Moody 旗形簇矩多面体局部有限细分的猜想，但由于缺乏“足够一般”且具有全矩多面体轨道的点等重大障碍，目前的方法尚无法直接扩展到无限维情形。