[论文解读] A basis construction for the Shi arrangement of the type $B_{\ell}$ or $C_{\ell}$

Daisuke Suyama|arXiv (Cornell University)|May 29, 2012

Advanced Combinatorial Mathematics参考文献 8被引用 3

一句话总结

本论文利用新的伯努利型多项式 $B_{r,s}^B(x)$ 和 $B_{r,s}^C(x)$，为类型 $B_\tau$ 或 $C_\tau$ 的 Shi arrangement 锥的导子模构造了一个显式基。关键结果是导子 $\theta_E, \theta_1^B, \theta_2^B, \theta_\tau^B$（以及 $C_\tau$ 的类似情形）构成一个自由基，从而为 Yoshinaga 早期关于自由排列的存在性结果提供了显式实现。

ABSTRACT

The Shi arrangement is an affine arrangement of hyperplanes consisting of the hyperplanes of the Weyl arrangement and their parallel translations. It was introduced by J.-Y. Shi in the study of the Kazhdan-Lusztig representation of the affine Weyl groups. M. Yoshinaga showed that the cone over every Shi arrangement is free. In this paper, we construct an explicit basis for the derivation module of the cone over the Shi arrangements of the type $B_{\ell}$ or $C_{\ell}$.

研究动机与目标

• 为类型 $B_\tau$ 或 $C_\tau$ 的 Shi 排列锥的导子模构造一个显式基。
• 为 Yoshinaga 关于锥为自由排列的结果提供一种构造性实现。
• 将类型 $A_\tau$ 和 $D_\tau$ 中使用的伯努利型多项式方法扩展至经典根系 $B_\tau$ 和 $C_\tau$。
• 在反射群作用的背景下，建立基构造的 $W$-等变性与线性性质。
• 证明所导出的导子在多项式环 $S$ 上构成一个自由基。

提出的方法

• 引入满足特定差分方程和归一化条件的新伯努利型多项式 $B_{r,s}^B(x)$ 和 $B_{r,s}^C(x)$。
• 通过这些多项式的齐次化版本以及根子系统上的对称函数，定义齐次导子 $\theta_j^B$ 和 $\theta_j^C$。
• 利用 $x_i^2$ 上的初等对称多项式 $\tau_k^{(3,j)}$ 和 $\tau_k^{(3,j)}$ 来编码根系结构在导子公式中的体现。
• 将欧拉导子 $\theta_E = z\frac{\theta}{\theta z} + \theta x_i \frac{\theta}{\theta x_i}$ 作为基的关键组成部分。
• 通过可除性条件验证所构造的导子保持锥的定义方程。
• 通过证明线性无关性和利用 $W$-等变性与维数计数，证明该基是自由的。

实验结果

研究问题

• RQ1 能否为类型 $B_\tau$ 的 Shi 排列锥的导子模构造一个显式基？
• RQ2 伯努利型多项式应如何推广，以用于非单连通根系的此类基的构造？
• RQ3 对 $D({\rm cone}({\rm Shi}(B_\tau)))$ 导出的基是否具有 $W$-等变性？
• RQ4 $C_\tau$ 的构造是否产生与 $B_\tau$ 类似的自由基？
• RQ5 该基能否被解释为 Yoshinaga 存在性定理在自由排列中的构造性实现？

主要发现

• 利用导子 $\theta_E, \theta_1^B, \theta_2^B, \theta_\tau^B$，为 $D({\rm cone}({\rm Shi}(B_\tau)))$ 构造了一个显式基。
• 导子 $\theta_j^B$ 通过齐次化伯努利型多项式 $B_{r,s}^B(x)$ 和根子系统上的对称函数来定义。
• 对 $C_\tau$ 的构造采用类似方法，使用 $B_{r,s}^C(x)$，得到基 $\theta_E, \theta_1^C, \theta_2^C, \theta_\tau^C$。
• 映射 $\theta_j \to \theta_j|_{z=0}$ 给出从 $E^*$ 到 $D({\rm Shi}(B_\tau), 2)_h$ 的 $W$-等变同构，与 Solomon-Terao 基相联系。
• 通过验证导子保持锥的定义方程且线性无关，证明了该基是自由的。
• 该结果为 Yoshinaga 关于 Shi 排列锥的自由性定理提供了显式实现，扩展了先前在类型 $A_\tau$ 和 $D_\tau$ 中的构造。