[论文解读] A combinatorial description of the affine Gindikin-Karpelevich formula of type A_n^(1)

Seok‐Jin Kang, Kyu‐Hwan Lee+2 more|arXiv (Cornell University)|Mar 7, 2012

Algebraic structures and combinatorial models参考文献 15被引用 4

一句话总结

本文通过将广义杨墙的晶体表示为和式，为类型 $A_n^{(1)}$ 的仿射 Gindikin-Karpelevich 公式提供了组合实现。利用 Lusztig 的参数化方法以及统计量 $\mathscr{N}(Y)$（用于计算墙配置中非零条目的数量），公式被重写为系数 $ (1 - q^{-1})^{\mathscr{N}(Y)} $ 的形式，从而为仿射情形提供了新的显式组合解释。

ABSTRACT

The classical Gindikin-Karpelevich formula appears in Langlands' calculation of the constant terms of Eisenstein series on reductive groups and in Macdonald's work on p-adic groups and affine Hecke algebras. The formula has been generalized in the work of Garland to the affine Kac-Moody case, and the affine case has been geometrically constructed in a recent paper of Braverman, Finkelberg, and Kazhdan. On the other hand, there have been efforts to write the formula as a sum over Kashiwara's crystal basis or Lusztig's canonical basis, initiated by Brubaker, Bump, and Friedberg. In this paper, we write the affine Gindikin-Karpelevich formula as a sum over the crystal of generalized Young walls when the underlying Kac-Moody algebra is of affine type A_n^(1). The coefficients of the terms in the sum are determined explicitly by the combinatorial data from Young walls.

研究动机与目标

• 将 Gindikin-Karpelevich 公式的组合实现从有限型扩展到仿射型 $A_n^{(1)}$。
• 通过广义杨墙，将仿射 Gindikin-Karpelevich 公式表示为晶体 $\mathcal{B}(\infty)$ 上的和式。
• 在广义杨墙上定义并计算组合统计量 $\mathscr{N}(Y)$，以推广有限型情形下的系数。
• 利用 Lusztig 的参数化方法与晶体基数据，为仿射情形提供显式公式。

提出的方法

• 通过 Kim 和 Shin 引入的广义杨墙，实现仿射型 $A_n^{(1)}$ 的晶体 $\mathcal{B}(\infty)$。
• 将统计量 $\mathscr{N}(Y)$ 定义为 Lusztig 参数化 $\phi_\mathbf{i}(Y)$ 中非零条目的数量，该参数化对应于广义杨墙 $Y$。
• 将仿射 Gindikin-Karpelevich 公式表示为 $\sum_{Y \in \mathcal{Y}(\infty)} (1 - q^{-1})^{\mathscr{N}(Y)} \mathbf{z}^{-\mathrm{wt}(Y)}$，其中 $\mathrm{wt}(Y)$ 为墙的权。
• 将带权重的乘积形式 $\prod_{\alpha \in \Delta^+} \left( \frac{1 - q^{-1} \mathbf{z}^\alpha}{1 - \mathbf{z}^\alpha} \right)^{\mathrm{mult}(\alpha)}$ 作为生成函数。
• 在 Sage 中通过 `InfinityCrystalOfGeneralizedYoungWalls` 类实现该构造，支持晶体算子与图的生成。
• 通过 Sage 的计算示例验证结果，包括权重计算、晶体算子 $f_i$、$e_i$ 以及内容统计。

实验结果

研究问题

• RQ1 如何将类型 $A_n^{(1)}$ 的仿射 Gindikin-Karpelevich 公式表示为组合晶体基的和式？
• RQ2 在广义杨墙上，对应于公式中系数 $ (1 - q^{-1})^{\mathscr{N}(Y)} $ 的组合统计量是什么？
• RQ3 是否可以利用广义杨墙将 Lusztig 的典范基参数化方法推广到仿射情形？
• RQ4 广义杨墙的晶体结构如何编码仿射根系中正根的重数结构？
• RQ5 通过在 Sage 中的实现，该公式的计算可行性与正确性如何？

主要发现

• 对于类型 $A_n^{(1)}$ 的仿射 Gindikin-Karpelevich 公式，其表达式为 $\sum_{Y \in \mathcal{Y}(\infty)} (1 - q^{-1})^{\mathscr{N}(Y)} \mathbf{z}^{-\mathrm{wt}(Y)}$，其中 $\mathscr{N}(Y)$ 表示 Lusztig 参数化中广义杨墙 $Y$ 的非零条目数量。
• 该公式与乘积形式 $\prod_{\alpha \in \Delta^+} \left( \frac{1 - q^{-1} \mathbf{z}^\alpha}{1 - \mathbf{z}^\alpha} \right)^{\mathrm{mult}(\alpha)}$ 一致，证实了其组合实现的正确性。
• 在 $n=2$ 的例子中，$\#(T^{-\gamma} \cap S^0)$ 的计算结果为 $2(q - 1)^2$，与公式一致。
• Sage 实现正确计算了 $\mathscr{N}(Y)$、权重、晶体算子 $f_i$、$e_i$ 以及内容，对于特定墙 $Y$，其 $\mathrm{wt}(Y) = -7\alpha_0 - 7\alpha_1 - 6\alpha_2$。
• 通过 Sage 中的子晶体构造，成功生成了 $\mathcal{B}(\infty)$ 的晶体图，深度达 4。
• 该实现还支持通过广义杨墙构造的最高权晶体，符合 Kim 和 Shin（2019）的定理 4.1。