[论文解读] Singular polynomials for the symmetric groups

Charles F. Dunkl|ArXiv.org|Mar 16, 2004

Mathematical Analysis and Transform Methods参考文献 7被引用 6

一句话总结

本文在负有理参数 $\kappa = -\frac{m}{n}$ 下构造对称群的不可约 $S_N$-模，其中 $2 \leq n \leq N$ 且 $\frac{m}{n} \notin \mathbb{Z}$，这些模由奇异多项式构成。它确定了每个模的同型为 $\left(n-1, (n_1-1)^l, \rho\right)$，其中 $n_1 = n/\gcd(m,n)$，并提供了杜克算子作用的显式公式，以及一种检测极点依赖于 $N$ 的方法，使用穆菲元素分析表示理论。

ABSTRACT

For certain negative rational numbers k, called singular values, and associated with the symmetric group S_N on N objects, there exist homogeneous polynomials annihilated by each Dunkl operator when the parameter equals k. It was shown by the author, de Jeu and Opdam (Trans. Amer. Math. Soc. 346 (1994), 237-256) that the singular values are exactly the values -m/n with 2 <= n <= N, m = 1,2,... and m/n is not an integer. This paper constructs for each pair (m,n) satisfying these conditions an irreducible S_N-module of singular polynomials for the singular value -m/n. The module is of isotype (n-1,(n1-1)^p,r) where n1 = n/gcd(m,n), r = N-n+1-p(n1-1) and 1 <= r <= n1-1 (thus defining p). The singular polynomials are special cases of nonsymmetric Jack polynomials. The paper presents some formulae for the action of Dunkl operators on these polynomials valid in general, and a method for showing the dependence of poles (in the parameter) on the number of variables (N). Murphy elements are used to analyze the representation of S_N on irreducible spaces of singular polynomials.

研究动机与目标

• 在奇异值 $\kappa = -\frac{m}{n}$ 处显式构造对称群的不可约 $S_N$-模，这些模由奇异多项式构成。
• 以 $m$、$n$ 和 $N$ 表示，确定由这些奇异多项式生成的不可约 $S_N$-模的同型 $\tau$。
• 提供杜克算子在奇异多项式上作用的公式，并分析其在参数 $\kappa$ 中的极点结构。
• 使用穆菲元素分析 $S_N$ 在奇异多项式空间上的表示，并确立其半正规结构。

提出的方法

• 将奇异多项式构造为与由 $m$、$n$ 和 $N$ 衍生的组合 $\lambda$ 相关的非对称杰克多项式的特例。
• 定义同型 $\tau = \left(n-1, (n_1-1)^l, \rho\right)$，其中 $n_1 = n/\gcd(m,n)$，$l = \left\lceil \frac{N+1-n}{n_1-1} \right\rceil - 1$，且 $\rho = (N+1-n) - l(n_1-1)$。
• 通过杜克算子 $\mathcal{D}_i$ 在单项式上的作用并应用乘积法则，证明当 $\kappa = \kappa_0$ 时，模块 $M_\tau$ 在 $\mathcal{D}_i$ 作用下封闭。
• 利用穆菲元素在基 $\{\zeta_{w\lambda}^x : w \in E_\tau\}$ 上实现 $S_N$ 的半正规表示，证明该模块按不可约表示 $\tau$ 变换。
• 通过追踪杜克算子作用中出现的有理函数行为，分析 $\kappa$ 的极点对变量数 $N$ 的依赖性。
• 使用组合 $\lambda$ 的反向格子排列对同型 $\tau$ 的奇异多项式进行标记。

实验结果

研究问题

• RQ1 对于哪些负有理数 $\kappa = -\frac{m}{n}$，存在被所有杜克算子消去的非零奇异多项式？
• RQ2 在 $\kappa = -\frac{m}{n}$ 处，由奇异多项式生成的不可约 $S_N$-模的同型 $\tau$ 是什么？
• RQ3 对于给定的 $\kappa$，杜克算子作用中的极点如何依赖于变量数 $N$？
• RQ4 是否可以使用穆菲元素完全表征 $S_N$ 在奇异多项式空间上的表示？
• RQ5 是否存在一种通用构造方法，用于在给定 $\kappa_0$ 时构造所有奇异多项式，且在某些条件下能否确立其唯一性？

主要发现

• 对称群 $S_N$ 的奇异值恰好为 $\kappa = -\frac{m}{n}$，其中 $2 \leq n \leq N$，$m \in \mathbb{N}$，且 $\frac{m}{n} \notin \mathbb{Z}$。
• 对于每个这样的 $\kappa_0 = -\frac{m}{n}$，存在一个不可约 $S_N$-模，其由同型 $\tau = \left(n-1, (n_1-1)^l, \rho\right)$ 的奇异多项式构成，其中 $n_1 = n/\gcd(m,n)$，$l = \left\lceil \frac{N+1-n}{n_1-1} \right\rceil - 1$，且 $\rho = (N+1-n) - l(n_1-1)$。
• 奇异多项式是非对称杰克多项式的特例，其结构完全由组合 $\lambda = \Lambda(n_1-1, d-1, l, \rho, m_1)$ 决定，其中 $d = \gcd(m,n)$，$m_1 = m/d$，且 $n_1 = n/d$。
• 模块 $M_\tau = \mathrm{span}_{\mathbb{P}}\{\zeta_{w\lambda}^x : w \in E_\tau\}$ 在 $\kappa = \kappa_0$ 时对 $\mathcal{D}_i$ 和 $S_N$ 作用封闭，构成有理赫里奇代数 $\mathbf{A}$ 的模。
• $S_N$ 在基 $\{\zeta_{w\lambda}^x\}$ 上的作用同构于半正规表示，通过穆菲元素及反向格子排列的结构得到证实。
• 本文提供了针对任意给定 $(m,n)$ 对的完整算法，用于计算同型 $\tau$ 和标记 $\lambda$，并给出了以 $m$、$n$ 和 $N$ 表示的 $l$、$\rho$ 和 $\lambda$ 的显式公式。