[Paper Review] Symmetric quantum Weyl algebras

Rafael Díaz, Eddy Pariguán|ArXiv.org|Nov 8, 2003

Algebraic structures and combinatorial models4 references3 citations

TL;DR

This paper introduces symmetric quantum Weyl algebras as quantum deformations of the Weyl algebra using $q$-oscillator, $q$-Weyl, $h$-Weyl, and $\mathfrak{sl}_2$ algebras, providing explicit normal coordinate formulae and combinatorial interpretations for products in their symmetric powers. The key contribution is a unified algebraic framework with closed-form expressions for multiplication rules in symmetric algebras over these quantum structures, validated via induction and combinatorial identities.

ABSTRACT

We study the symmetric powers of four algebras: $q$-oscillator algebra, $q$-Weyl algebra, $h$-Weyl algebra and $U({\mathfrak {sl}}_2)$. We provide explicit formulae as well as combinatorial interpretation for the normal coordinates of products of arbitrary elements in the above algebras.

Motivation & Objective

• To extend the study of symmetric powers of the Weyl algebra to its quantum analogues, including $q$-deformations and $h$-deformations.
• To provide explicit normal coordinate formulae for products of arbitrary elements in symmetric powers of $q$-oscillator, $q$-Weyl, $h$-Weyl, and $U(\mathfrak{sl}_2)$ algebras.
• To establish combinatorial interpretations for these product rules, generalizing classical results to quantum settings.
• To unify the treatment of quantum Weyl algebras through symmetric power functors and invariant subalgebras.
• To lay the algebraic foundation for applications in non-commutative geometry and quantum field theory, particularly in string theory.

Proposed method

• Uses the symmetric power functor $\mathrm{Sym}^n(A)$ to construct algebras from associative $\mathbb{C}$-algebras $A$, defined as quotients of $A^{igotimes n}$ by permutation invariance.
• Applies the isomorphism $s: \mathrm{Sym}^n(A) \to (A^{\bigotimes n})^{\mathbb{S}_n}$ to map symmetric tensors to $\mathbb{S}_n$-invariant tensors.
• Employs normally ordered monomials as a basis, with ordering fixed by a total order on generators, to define normal coordinates.
• Derives recursive product rules via induction on $n$, using known commutation relations in $q$-oscillator, $q$-Weyl, $h$-Weyl, and $\mathfrak{sl}_2$ algebras.
• Introduces combinatorial coefficients involving falling factorials, elementary symmetric functions, and binomial coefficients to encode structure constants.
• Applies the formula $ (n!)^{m-1} \prod_{i=1}^m \overline{\bigotimes_{j=1}^n a_{ij}} = \sum_{\sigma \in \{\mathrm{id}\} \times \mathbb{S}_n^{m-1}} \overline{\bigotimes_{j=1}^n \left( \prod_{i=1}^m a_{i\sigma^{-1}_i(j)} \right)} $ to express products in symmetric algebras.

Experimental results

Research questions

• RQ1 How can the symmetric power of the $q$-oscillator algebra be described algebraically, and what are the normal coordinates of products in this algebra?
• RQ2 What is the combinatorial structure of the product rule in the symmetric powers of the $q$-Weyl algebra, and how does it differ from the classical Weyl algebra?
• RQ3 How do the $h$-Weyl and $\mathfrak{sl}_2$ algebras generalize the Weyl algebra in the context of symmetric powers, and what are their product structures?
• RQ4 Can the product rule in symmetric powers of $U(\mathfrak{sl}_2)$ be expressed via explicit formulae with combinatorial interpretation?
• RQ5 What is the role of the $q$-shift and $h$-shift operators in the symmetric power algebras, and how do they affect the normal ordering of monomials?

Key findings

• The paper provides an explicit formula for the normal coordinates $N_{\mathfrak{sl}_2}(A,k,s,p,q)$ in $\mathrm{Sym}^n(\mathbb{C}\langle x,y,z\rangle/I_{\mathfrak{sl}_2})$, involving falling factorials, elementary symmetric functions, and binomial coefficients.
• For $z^a x^b$, the formula $\sum_{s,k} \frac{(a)_k (b)_k}{k!} e_{k-s}^k(-a-b+2k) x^{b-k} y^s z^{a-k}$ gives the normal ordering with $0 \leq s \leq k \leq \min(a,b)$.
• The product rule for $z^a y^b$ is $\sum_{k=0}^b \binom{b}{k} (-2a)^k y^{b-k} z^a$, showing that $y$-operators can be annihilated by $z$-operators with weight $-2$.
• The product rule for $y^a x^b$ is $\sum_{k=0}^a \binom{a}{k} (-2b)^k x^b y^{a-k}$, reflecting similar annihilation and weighting mechanisms.
• Theorem 12 gives a complete formula for the product of $m$ elements in $\mathrm{Sym}^n(\mathbb{C}\langle x,y,z\rangle/I_{\mathfrak{sl}_2})$, with coefficients involving $(-2)^{|p|+|q|}$ and products of $\alpha_i$, $\beta_i$, $\gamma_i$ over $i \in [1,n-1]$.
• The structure constants in symmetric powers are fully determined by combinatorial data: multinomial coefficients, falling factorials, and elementary symmetric functions, all derived from recursive normal ordering.