Reduction rules for Demazure modules

1. 研究背景与问题 (Problem Statement)

核心问题：
在表示论中，分支问题（branching problems）旨在理解群 $G$ 的表示如何限制到其子群 $G_1$ 上。本文关注一类特殊的分支问题，称为约化规则（Reduction Rules）。具体而言，作者试图解决以下问题：
给定复约化群 $G$ 的一个 Borel 子群 $B$ 和最高权 $\lambda$，对于 Demazure 模 $V^w_\lambda$（由 Weyl 群元素 $w$ 和权 $\lambda$ 定义），如何计算其特定权重 $\mu$ 的维数（即重数 $\dim V^w_\lambda(\mu)$）？

目标：
寻找一种条件，使得当权重 $\mu$ 位于 Demazure 权重多面体 $P^w_\lambda$ 的某个特定“面”（face）上时，计算 $V^w_\lambda(\mu)$ 的维数可以约化为计算一个更低秩的 Levi 子群 $L$ 的某个 Demazure 模 $V^{w_L}_{\lambda_L}$ 中相同权重 $\mu$ 的维数。即建立等式：
$$\dim V^w_\lambda(\mu) = \dim V^{w_L}_{\lambda_L}(\mu)$$

动机：
现有的约化规则（如 Kostka 数、Littlewood-Richardson 系数、张量积重数等）通常涉及将 $G$ 的计算转化为其 Levi 子群或更小秩群上的计算。这些规则通常与 ample 锥（ample cone）的面或凸几何中的极值数据相关。本文旨在将这一思想推广到 Demazure 模的权重重数上。

2. 方法论 (Methodology)

作者结合了代数几何（几何不变量理论 GIT、Schubert 簇几何）和凸几何/组合数学（Weyl 群、Demazure 乘积、多面体面结构）的方法。

2.1 几何与组合框架

• Demazure 权重多面体 ($P^w_\lambda$)： 定义为 Demazure 模 $V^w_\lambda$ 中所有出现权重的凸包。
• 面的刻画： 利用 GIT 中的 Hilbert-Mumford 判据，作者利用主导余权（dominant coweight）$\eta$ 和 Weyl 群陪集的最小长度代表元 $v$ 来定义多面体的面 $F(v, \eta)$。
• 约化策略： 将计算分为两个阶段：
  1. 阶段一（代数几何）： 证明位于面 $F(v, \eta)$ 上的权重 $\mu$ 在 $V^w_\lambda$ 中的重数等于在某个“中间”Demazure 模 $V^q_\lambda$ 中的重数，且该重数进一步等于 Levi 子群 $L$ 上的 Demazure 模 $V^{w_L}_{\lambda_L}$ 的重数。这一步利用了 Schubert 簇的嵌入和线丛的拉回性质。
  2. 阶段二（凸几何与算子）： 证明中间模 $V^q_\lambda$ 与原始模 $V^w_\lambda$ 在面 $F(v, \eta)$ 上的权重重数相等。这一步利用了 Demazure 算子（Demazure operators）的性质和凸多面体的几何结构（特别是 $\alpha_i$-弦的性质）。

2.2 关键工具

• Demazure 乘积 ($*$)： Weyl 群上的一个非交换乘积，用于描述 Schubert 簇的闭包关系和 Demazure 模的构造。
• Levi 子群与 Borel 子群： 通过共轭作用，将标准 Levi 子群 $L_\eta$ 转化为 $L = \dot{v} L_\eta \dot{v}^{-1}$，并定义相应的 Borel 子群 $B_L$。
• Schubert 簇嵌入： 构造从 Levi 子群的旗流形 $L/B_L$ 到 $G/B$ 的闭嵌入，并研究线丛限制后的截面空间同构。

3. 主要贡献与结果 (Key Contributions & Results)

3.1 主要定理 (Theorem 1.1 / Theorem 3.8)

这是论文的核心成果。设 $\mu$ 是 Demazure 模 $V^w_\lambda$ 的一个权重，且 $\mu$ 位于关联多面体 $P^w_\lambda$ 的面 $F(v, \eta)$ 上（其中 $\eta$ 是主导余权，$v \in W^\eta$ 是最小长度代表元）。

定义：

• $L := \dot{v} L_\eta \dot{v}^{-1}$ 为 Levi 子群。
• $w_L := v (\pi_\eta(w^{-1} * v))^{-1} v^{-1}$。
• $\lambda_L := v (\pi_\eta(w^{-1} * v))^{-1} \lambda$。
• $q$ 为满足 $w^{-1} * v = q^{-1}v$ 的唯一 Weyl 群元素（且 $q \le w$）。

结论：
$$\dim V^w_\lambda(\mu) = \dim V^{w_L}_{\lambda_L}(\mu)$$
其中 $V^{w_L}_{\lambda_L}$ 是 Levi 子群 $L$ 的 Borel 子群 $B_L$ 对应的 Demazure 模。

3.2 证明的两个关键步骤

1. 第一步（Theorem 3.8(1)）： 利用代数几何技术（参考 Roth 对 Littlewood-Richardson 系数的约化证明），证明了：
   $$\dim V^{w_L}_{\lambda_L}(\mu) = \dim V^q_\lambda(\mu)$$
   这里利用了 $L/B_L$ 到 $X_q$（Schubert 簇）的闭嵌入，以及线丛拉回后截面空间的同构性。关键在于证明在特定权重 $\mu$ 下，理想层的截面空间消失（vanishing），从而使得限制映射成为同构。

2. 第二步（Theorem 3.8(2)）： 利用凸几何和 Demazure 算子的性质，证明了：
   $$\dim V^q_\lambda(\mu) = \dim V^w_\lambda(\mu)$$
   通过归纳法，利用简单反射 $s_i$ 和 Demazure 算子 $D_i$ 的作用，证明了当 $\mu$ 位于特定面上时，权重重数在从 $w$ 到 $q$ 的约化过程中保持不变。这依赖于多面体面 $F(v, \eta)$ 在 Weyl 群作用下的稳定性以及 $\alpha_i$-弦的极值性质。

3.3 示例

论文在 $B_3$ 型群（Spin(7)）中给出了具体示例。对于最高权 $\lambda = \rho$ 和特定的 $w$，展示了如何将 $V^w_\lambda$ 中位于面 $F(s_1, \check{\omega}_1)$ 上的权重重数计算，约化为 $B_2$ 型 Levi 子群上的 Demazure 模计算。

4. 意义与影响 (Significance)

1. 统一了约化规则的理论框架： 本文将已知的关于 Littlewood-Richardson 系数、Kostka 数等的约化规则思想，成功推广到了 Demazure 模的权重重数这一更广泛的领域。
2. 计算效率的提升： 对于高秩群 $G$ 的 Demazure 模，直接计算权重重数通常非常复杂。该规则提供了一种算法，将问题分解为更低秩 Levi 子群上的问题，显著降低了计算复杂度。
3. 连接了几何与组合： 论文深刻揭示了 Demazure 模的代数结构（表示论）、Schubert 簇的几何结构（代数几何）以及权重多面体的凸结构（凸几何）之间的内在联系。特别是证明了 Demazure 多面体的“面”本身也是更低秩群的 Demazure 多面体。
4. 为后续研究奠定基础： 这一结果为理解更复杂的分支问题、以及探索 Demazure 模在几何不变量理论（GIT）中的进一步应用提供了强有力的工具。

总结

该论文通过严谨的代数几何构造和凸几何论证，建立了一套完整的Demazure 模权重重数约化规则。它表明，当权重位于 Demazure 多面体的特定面上时，其重数完全由一个更低秩的 Levi 子群上的 Demazure 模决定。这一结果不仅具有理论深度，也为实际计算提供了有效的简化途径。