[论文解读] On the q-meromorphic Weyl algebra

Rafael Díaz, Eddy Pariguán|ArXiv.org|Apr 1, 2008

Algebraic structures and combinatorial models参考文献 20被引用 3

一句话总结

本文引入了亚纯 Weyl 代数的 $q$-类比，记为 $MW_q$，由 $x^{-1}$ 和 $q$-导数 $Π_q$ 生成，并给出了在单项式正规排序中出现的正规多项式之显式组合公式。通过对称幂 $ΣΣ^n(MW_q)$ 建立了 $q$-组合数学与代数结构之间的联系，导出了涉及 $q$-整数和多项式系数的恒等式。

ABSTRACT

We introduce a q-analogue MW_q for the meromorphic Weyl algebra, and study the normalization problem and the symmetric powers sym^n(MW_q) for such algebra from a combinatorial viewpoint.

研究动机与目标

• 构建亚纯 Weyl 代数 $MW$ 的 $q$-类比，将经典代数结构扩展至 $q$-微积分。
• 通过推导单项式中正规多项式的显式公式，解决 $MW_q$ 中的归一化问题。
• 使用组合方法和 $q$-组合数学研究对称幂 $\mathrm{Sym}^n(MW_q)$。
• 通过加权有限集对 $\mathbb{N}[q]$ 中多项式序列提供组合解释。
• 通过 $MW_q$ 的表示建立涉及 $q$-整数 $[n]!$ 和多项式系数的恒等式。

提出的方法

• 将 $MW_q$ 定义为由 $x^{-1}$ 和 $q$-导数 $Π_q$ 生成的 $\mathbb{C}$ 上的结合代数，其定义关系为 $\u03a0_q x^{-1} = q x^{-1} \u03a0_q - x^{-2}$。
• 将正规多项式 $N(A,k,q)$ 定义为 $MW_q$ 中单项式展开为正规有序形式时的系数。
• 使用 $q$-组合数学：通过配对 $(x, \omega)$ 表示 $\mathbb{N}[q]$ 中的多项式序列，其中 $\omega$ 为有限集 $x$ 的元素分配 $q$-权重，并定义 $|x,\omega| = \sum_{i \in x} \omega(i)$。
• 应用 $C^\infty(\mathbb{R}^*)$ 上的表示 $\rho$ 和 $C^\infty(\mathbb{R})$ 上的表示 $\iota$，推导涉及 $q$-整数 $[t+n]$、$[n]!$ 和对称幂积的恒等式。
• 在正规多项式的组合表达式中使用 $q$-二项式系数 $c(a,b,c) = \binom{a+b}{a}_q$。
• 通过置换 $\sigma$、多指标 $k$ 和分拆的 $p$-向量，在 $\mathrm{Sym}^n(MW_q)$ 中推导显式乘积公式，其系数包含 $c(\cdot,\cdot,\cdot)$。

实验结果

研究问题

• RQ1 如何利用 $q$-微积分将亚纯 Weyl 代数推广为 $q$-类比 $MW_q$？
• RQ2 在 $MW_q$ 中，正规多项式的组合结构是什么？如何显式计算它们？
• RQ3 对称幂 $\mathrm{Sym}^n(MW_q)$ 的代数行为如何？其乘积结构由哪些恒等式控制？
• RQ4 $q$-组合数学能否为 $MW_q$ 中出现的多项式序列提供系统性解释？
• RQ5 从 $MW_q$ 在光滑函数上的表示中，会涌现出哪些涉及 $q$-整数和 $q$-阶乘的恒等式？

主要发现

• 对于 $MW_q$ 的正规多项式 $N(A,k,q)$，其表达式为 $\sum_{p \vdash k} \prod_{i=1}^{n-1} c(b_i, |a_{>i}| + |p_{>i}|, p_i)$，其中 $p$ 取遍 $k$ 的整数分拆，且满足 $0 \leq p_i \leq b_i$，而 $c(a,b,c)$ 表示 $q$-二项式系数 $\binom{a+b}{a}_q$。
• 对 $N(A,k,q)$ 的另一种公式为 $\sum_{p \vdash k} \prod_{i=1}^{n-1} c(|b_{\leq i}| - |p_{<i}|, a_{i+1}, p_i)$，约束条件为 $0 \leq p_i \leq |b_{\leq i}| - |p_{<i}|$。
• 将表示 $\rho$ 应用于 $x^{-t}$，可得恒等式 $\prod_{i=1}^n [t + |b_{\geq i}| + |a_{>i}| - 1] = \sum_{k=0}^{|b|} \left( \sum_{p \vdash k} \prod_{i=1}^{n-1} c(b_i, |a_{>i}| + |p_{>i}|, p_i) \right) [t + |b| - k - 1]$。
• 使用 $\iota$ 在 $x^t$ 上的表示，有恒等式 $\frac{1}{\prod_{i=1}^n [t + |a_{\geq i}| + |b_{\geq i}| + 1]^{(a_i)}} = \sum_{k=0}^{|b|} \left( \sum_{p \vdash k} \prod_{i=1}^{n-1} c(b_i, |a_{>i}| + |p_{>i}|, p_i) \right) \frac{1}{[t + |a| + |b|]^{(|a| + k)}}$ 成立。
• 对于对称幂 $\mathrm{Sym}^n(MW_q)$，导出了乘积恒等式 $ (n!)^{m-1} \prod_{i=1}^m \overline{\prod_{j=1}^n x_j^{a_{ij}} y_j^{b_{ij}}} = \sum_{\sigma,k,p} \left( \prod_{l=1}^{m-1} \prod_{j=1}^n c((b_j^\sigma)_l, |(a_j^\sigma)_{>l}| + |p^j_{>l}|, p_l^j) \right) \overline{\prod_{j=1}^n x_j^{|a_j^\sigma| + k_j} y_j^{|b_j^\sigma| - k_j}} $，其中对 $k_j$ 和 $p_l^j$ 有相应约束。
• 在 $\mathrm{Sym}^2(MW_q)$ 中对 $n=2, m=2$ 进行显式计算，得到一个包含 9 项的展开式，涉及 $q$-幂和 $x_1, x_2, y_1, y_2$ 的单项式，确认了通用公式的系数为 $q^3, q^2, q^2+q$ 等。