Recall that the (first) Weyl algebra over $mathbb{C}$ is the algebra generated by $x,y$ with the relation $yx-xy=1$. It can be realized as the algebra of polynomial differential operators in 1 variable, i.e. $mathbb{C}[x]$ is a faithful representation, where $x$ acts by multiplication by $x$ and $y$ acts by $frac{partial}{partial x}$.

In many places I’ve seen the q-Weyl algebra defined as the algebra generated by $x,y$ with relations yx-qxy=1, where q is some fixed nonzero scalar. This seems like a natural way to do it, and seems to be quite common.

Now in the notes Introduction to representation theory Etingof et al. define an algebra which they call the q-Weyl algebra. This is the $mathbb{C}$-algebra generated by $x,x^{-1},y,y^{-1}$ with the relations $xx^{-1} = x^{-1}x = 1$, $yy^{-1}= y^{-1}y = 1$ and $xy=qyx$ where q is some fixed nonzero scalar.

My question then is: What is the reason for the name ‘q-Weyl algebra’ for the algebra defined by Etingof et al.?

MathOverflow Asked by GMRA on February 12, 2021

1 AnswersSuppose that $x$ and $y$ obey $xy-yx=h$, where $h$ is a central element. Set $X$ and $Y$ to be $e^x$ and $e^y$. For now, don't worry too much about what this exponentiation means. Then $XY=q YX$, where $q=e^h$.

If we interpret $X$ and $Y$ as operators on functions then $(Xf)(x)=e^x f(x)$ and $(Yf)(x) = f(x+h)$. You can check that $XY$ does indeed equal $q YX$. So the $q$-commutation relation can be seen as an exponentiation of the standard Weyl relation.

Correct answer by David E Speyer on February 12, 2021

1 Asked on October 6, 2020 by saxen

5 Asked on September 30, 2020 by praphulla-koushik

dg differential geometry groupoids intuition lie groupoids lie groups

0 Asked on September 29, 2020 by curious-math-guy

ag algebraic geometry motivic cohomology motivic homotopy simplicial presheaves

2 Asked on September 26, 2020 by mw19930312

approximation theory c star algebras fa functional analysis reference request

0 Asked on September 21, 2020 by jm-landsberg

0 Asked on September 15, 2020 by s-d

algebraic number theory galois cohomology galois representations

0 Asked on September 10, 2020 by fusiled

convex optimization linear programming nonlinear optimization

0 Asked on September 6, 2020 by alexander-pruss

1 Asked on August 26, 2020 by philippe-gaucher

5 Asked on August 20, 2020 by julin-aguirre

11 Asked on August 18, 2020 by qfwfq

ag algebraic geometry big list mathematics education soft question

36 Asked on August 15, 2020 by joseph-orourke

3 Asked on August 9, 2020 by david-zureick-brown

1 Asked on August 8, 2020 by logan-fox

0 Asked on August 8, 2020 by zz7948

0 Asked on August 7, 2020 by venugopal-k

approximation algorithms computational complexity graph domination graph theory

2 Asked on August 2, 2020 by maxim-ulyanov

0 Asked on August 1, 2020 by mare

gap homological algebra lie algebras quivers rt representation theory

Get help from others!

Recent Questions

- MouseLook Script “Pops” back to the last value when the script is enabled after being disabled or destroyed
- Unity app crashes when using unmodified custom Android manifest (didn’t find class “UnityPlayerActivity”)
- How do i draw a ray in unity
- How to test consistency of responses?
- How can I understand these variograms?

Recent Answers

- Philipp on How do i draw a ray in unity
- Justin Markwell on Unity app crashes when using unmodified custom Android manifest (didn’t find class “UnityPlayerActivity”)
- DMGregory on MouseLook Script “Pops” back to the last value when the script is enabled after being disabled or destroyed
- eric_kernfeld on How to test consistency of responses?
- kjetil b halvorsen on How to test consistency of responses?

© 2022 AnswerBun.com. All rights reserved.