Àlgebra de Weyl

Sigui $(R,\mathrm{\Delta })$ un anell diferencial parcial amb derivades de commutació $\mathrm{\Delta }=\{{\partial }_1,\dots ,{\partial }_m\}$. L'àlgebra de Weyl associada a $(R,\mathrm{\Delta })$ és l'anell no commutatiu $R[{\partial }_1,\dots ,{\partial }_m]$ satisfent les relacions ${\partial }_{i}r=r{\partial }_i+{\partial }_i(r)$ per a tot $r\in R$.

Aquest article se centra en el cas especial en què $R=F[x_1,\dots ,x_n]$ i $\mathrm{\Delta }=\{{\partial }_{x_1},\dots ,{\partial }_{x_n}\}$ on $F$ és un camp que, en algunes referències, s'anomena "l'àlgebra de Weyl". En àlgebra abstracta, l'àlgebra de Weyl és l'anell d'operadors diferencials amb coeficients polinomials (en una variable), és a dir, expressions de la forma

$f_m(X)\underset{X}{\overset{m}{\partial }}+f_{m-1}(X)\underset{X}{\overset{m-1}{\partial }}+\cdots +f_1(X){\partial }_X+f_0(X).$

Més precisament, sigui F el camp subjacent, i sigui F [ X ] l'anell de polinomis d'una variable, X, amb coeficients en F. Aleshores, cada f_i es troba a F [X], ∂ _X és la derivada respecte a X, i l'àlgebra és generada per X i ∂_X.

L'àlgebra de Weyl és un exemple d'un anell simple que no és un anell de matriu sobre un anell de divisió. També és un exemple no commutatiu d'un domini i un exemple d'extensió Ore.

L'àlgebra de Weyl és isomòrfica al quocient de l'àlgebra lliure de dos generadors, X i Y, per l'ideal generat per l'element

$YX-XY=1.$

L'àlgebra de Weyl és la primera d'una família infinita d'àlgebres, també conegudes com àlgebres de Weyl. L'àlgebra de Weyl n, A_n, és l'anell d'operadors diferencials amb coeficients polinomials en n variables. Es genera per X_i i ∂_Xi, Plantilla:Nowrap Plantilla:Nowrap.

Les àlgebres de Weyl reben el nom d'Hermann Weyl, que les va introduir per estudiar el principi d'incertesa de Heisenberg en mecànica quàntica. És un quocient de l'àlgebra d'envoltant universal de l'àlgebra de Heisenberg, l'àlgebra de Lie del grup de Heisenberg, posant l'element central de l'àlgebra de Heisenberg (és a dir, [X,Y]) igual a la unitat de l'àlgebra d'envoltant universal (anomenada 1 anterior).

L'àlgebra de Weyl també es coneix com àlgebra simplèctica de Clifford. Les àlgebres de Weyl representen per a les formes bilineals simplèctiques la mateixa estructura que les àlgebres de Clifford per a les formes bilineals simètriques no degenerades.

Generadors i relacions

Es pot donar una construcció abstracta de les àlgebres A _n en termes de generadors i relacions. Comenceu amb un espai vectorial abstracte V (de dimensió 2n) equipat amb una forma simplèctica ω. Definiu l'àlgebra de Weyl W(V) com a

$W(V):=T(V)/((v\otimes u-u\otimes v-\omega (v,u),\text{ for }v,u\in V)),$

on T (V) és l'àlgebra tensor de V, i la notació $(())$ significa "l'ideal generat per".

En altres paraules, W(V) és l'àlgebra generada per V subjecta només a la relació Plantilla:Math. Aleshores, W(V) és isomorf a A_n mitjançant l'elecció d'una base de Darboux per Plantilla:Mvar.

Quantització

L'àlgebra W(V) és una quantificació de l'àlgebra simètrica Sym(V). Si V està per sobre d'un camp de característica zero, aleshores W(V) és naturalment isomòrfica a l'espai vectorial subjacent de l'àlgebra simètrica Sym(V) equipada amb un producte deformat, anomenat producte de Groenewold- Moyal (considerant que l'àlgebra simètrica és funcions polinomials a V ^∗, on les variables abasten l'espai vectorial V, i substituint iħ a la fórmula del producte de Moyal per 1).