[論文レビュー] On the q-meromorphic Weyl algebra

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

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

ひとこと要約

本稿では、$x^{-1}$ と $q$-微分作用素 $\partial_q$ で生成される、$MW_q$ と表記される $q$-類似のメロモーフィック・ウェイの代数を導入し、単項式の正規順序化において生じる正規多項式の明示的組合せ的公式を提示する。対称冪 $\mathrm{Sym}^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.

研究の動機と目的

• 古典的な代数的構造を $q$-微積分に拡張することで、メロモーフィック・ウェイ代数 $MW$ の $q$-類似 $MW_q$ を構成すること。
• 単項式における正規多項式の明示的公式を導出することによって、$MW_q$ における正規化問題を解くこと。
• $q$-組合せ論と組合せ的手法を用いて、対称冪 $\mathrm{Sym}^n(MW_q)$ を研究すること。
• 重み付き有限集合を用いた組合せ的解釈を通じて、$\mathbb{N}[q]$ に値をとる多項式列に意味を与えること。
• $MW_q$ の表現を通じて、$q$-整数 $[n]!$ と多項係数に関する恒等式を確立すること。

提案手法

• $MW_q$ を、$\mathbb{C}$ 上の結合代数として、$x^{-1}$ と $q$-微分作用素 $\partial_q$ で生成され、関係式 $\partial_q x^{-1} = q x^{-1} \partial_q - x^{-2}$ を満たすものとして定義する。
• 正規多項式 $N(A,k,q)$ を、$MW_q$ 内の単項式を正規順序形式に展開する際の係数として定義する。
• $q$-組合せ論を用いる：$\mathbb{N}[q]$ に値をとる多項式列を、有限集合 $x$ の各要素に $q$-重み $\omega$ を割り当てるペア $(x, \omega)$ で表現し、$|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$-微積分を用いて、メロモーフィック・ウェイ代数を $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$ に制約が課される。
• $n=2, m=2$ の場合の $\mathrm{Sym}^2(MW_q)$ における明示的計算により、$q$-冪と $x_1, x_2, y_1, y_2$ の単項式を含む9項の展開が得られ、係数が $q^3, q^2, q^2+q$ などとなることから、一般公式が確認された。