[论文解读] Symmetric polynomials vanishing on the diagonals shifted by roots of unity

Boris Feigin, M. Jimbo+3 more|ArXiv.org|Sep 11, 2002

Advanced Mathematical Identities参考文献 2被引用 4

一句话总结

该论文刻画了当 $k+1$ 与 $r-1$ 互素时，对称多项式在单位根平移对角线上的零点。它利用 $r-1$-纤细分拆和容许分拆构造了显式基，并通过涉及 $b_n^{(k)}(v^{r-1})$ 和纤细分拆的生成函数的乘积公式推导出该空间的特征标。

ABSTRACT

For a pair of positive integers (k,r) with r>1 such that k+1 and r-1 are relatively prime, we describe the space of symmetric polynomials in variables x_1,...,x_n which vanish at all diagonals of codimension k of the form x_i=tq^{s_i}x_{i-1}, i=2,...,k+1, where t and q are primitive roots of unity of orders k+1 and r-1.

研究动机与目标

• 描述在 $n$ 个变量中，对称多项式在形如 $x_i = t q^{s_i} x_{i-1}$ 的对角线上为零的空间，其中 $t$ 和 $q$ 分别是 $k+1$ 阶和 $r-1$ 阶的单位根。
• 在 $\gcd(k+1, r-1) = 1$ 的条件下，为该空间构造显式基。
• 计算该类对称多项式空间的特征标 $\chi_{k,r}(z,v)$。
• 通过杰克极限，建立零点条件与 $W_k$ 代数极小系列 $(k+1, k+r)$ 表示理论之间的联系。
• 将 [FJMM2] 中通用 $u$-情形的结果推广到 $u$ 为 $(k+1)(r-1)$ 阶单位根的情形。

提出的方法

• 定义轮盘集 $\mathcal{S}_{r-1}(q,t) = \{t, tq, \dots, tq^{r-2}\}$，其中 $t^{k+1} = 1$，$q^{r-1} = 1$，且 $t$，$q$ 为单位根。
• 使用麦克唐纳多项式 $P_\lambda(x;q,t)$，其中 $q = u^{-(k+1)}$，$t = u^{r-1}$，$u$ 为 $(k+1)(r-1)$ 阶单位根。
• 引入 $r-1$-纤细分拆的概念：每个部分最多出现 $r-1$ 次的分拆。
• 定义 $F_n^{(k,r)}$ 为在所有满足 $x_2 = t x_1, \dots, x_{k+1} = t q^{k} x_k$，$x_1 = t q^{k} x_{k+1}$ 的 $k+1$ 元组上为零的对称多项式空间，其中 $t^{k+1} = 1$，$q^{r-1} = 1$。
• 应用弗罗贝尼乌斯同态 $\mathcal{F}$，通过 $f_\lambda = \mathcal{F}(\tilde{f}_\lambda)$ 将函数从 $F_n^{(k,2)}$ 提升至 $F_n^{(k,r)}$。
• 利用麦克唐纳算子 $D_n(X;q,\tilde{t})$ 验证零点条件在特定变换下保持不变，从而通过特征值分离法构造基。

实验结果

研究问题

• RQ1 当 $\gcd(k+1, r-1) = 1$ 时，对称多项式在单位根平移对角线上为零的空间结构如何？
• RQ2 如何利用麦克唐纳多项式为该空间构造显式基？
• RQ3 该类对称多项式空间 $F^{(k,r)}$ 的特征标 $\chi_{k,r}(z,v)$ 是什么？
• RQ4 与 [FJMM2] 中的通用 $u$-情形相比，单位根情形在零点平面和共振条件方面有何不同？
• RQ5 该空间与 $W_k$ 代数极小系列 $(k+1, k+r)$ 关联的顶点算子代数中阿贝尔电流相关函数之间存在何种关系？

主要发现

• 在指定对角线上为零的对称多项式空间 $F_n^{(k,r)}$ 的基由乘积 $f_\lambda g_\mu$ 构成，其中 $f_\lambda$ 是 $F_n^{(k,2)}$ 的基元素，$g_\mu$ 是对应于 $r-1$-纤细分拆 $\mu$ 的麦克唐纳多项式。
• 特征标 $\chi_{k,r}(z,v)$ 由公式 $\sum_{n=0}^\infty \left( b_n^{(k)}(v^{r-1}) \prod_{s=1}^n \frac{1 - v^{s(r-1)}}{1 - v^s} \right) z^n$ 给出，其中 $b_n^{(k)}(v)$ 是 $k$-容许分拆的生成函数。
• 基的构造依赖于弗罗贝尼乌斯同态 $\mathcal{F}$，通过 $f_\lambda = \mathcal{F}(\tilde{f}_\lambda)$ 将函数从 $F_n^{(k,2)}$ 提升至 $F_n^{(k,r)}$。
• 零点条件在麦克唐纳算子 $D_n(X;q,\tilde{t})$ 的作用下保持不变，这确保了对不同 $\lambda$ 的特征值分离论证成立。
• $F_n^{(k,r)}$ 空间同构于 $k$-容许分拆空间与 $r-1$-纤细分拆空间的张量积，其特征标为生成函数的乘积。
• 在杰克极限 $u \to 1$ 下，空间 $F^{(k,r)}$ 对应于参数 $\beta = -(r-1)/(k+1)$ 的杰克多项式，且预期与 $W_k$ 代数极小系列 $(k+1, k+r)$ 中阿贝尔电流的相关函数一致。