Utilisateur:JustineFa/Brouillon2

Définition

Une algèbre vertex est un espace vectoriel $V$ , muni d'un élément unité $1$, d'un endomorphisme $T$ appelé opérateur de translation et d'une application linéaire de multiplication$Y:V\otimes V\to V((z))$qu'on écrit$(a,b)\mapsto Y(a,z)b=\sum _{n\in \mathbb {Z} }a_{n}bz^{-n-1}=a(z)b$,vérifiant les axiomes suivants :

1. (Identité) Pour tout $a\in V\,$,

   $Y(1,z)=\operatorname {Id} _{V}$ et $Y(a,z)1\in a+zV[[z]]\,$ (autrement dit, $a_{n}1=0$ pour $n\geq 0$ et $a_{-1}1=a$),

2. (Translation) $T(1)=0$, et pour tous $a,b\in V\,$,

   $Y(a,z)Tb-TY(a,z)b={\frac {d}{dz}}Y(a,z)b$

3. (4 points) Pour tous $a,b,c\in V\,$, il existe un élément $X(a,b,c;z,w)\in V[[z,w]][z^{-1},w^{-1},(z-w)^{-1}]$

   tel que $Y(a,z)Y(b,w)c$, $Y(b,w)Y(a,z)c$, et $Y(Y(a,z-w)b,w)c$ sont les expansions de $X(a,b,c;z,w)$ dans $V((z))((w))$, $V((w))((z))$, et $V((w))((z-w))$, respectivement.

L'application de multiplication est souvent vue comme une correspondance entre états et champs $Y:V\to {\mathcal {F}}(V)$ (où ${\mathcal {F}}(V)$ est l'ensemble des champs sur $V$, c'est à dire, l'ensemble des séries $a(z)\in (\operatorname {End} V)[[z,z^{-1}]]$ telles que pour tout vecteur $b\in V$ on a $a(z)b\in V((z))$ ) associant une distribution formelle à coefficient opérateurs (un opérateur vertex) à chaque vecteur. Physiquement, la correspondance est une insertion à l'origine et $T$ est un générateur infinitésimal des translations. L'axiome des 4 points mélange l'associativité et la commutativité, aux singularités près.

Remarque : l'axiome de translation entraîne que $Ta=a_{-2}1$, donc $T$ est uniquement déterminé par $Y$.

Remarque : l'axiome des 4 points peut être remplacé par l'axiome suivant appelé axiome de localité :Pour tous $a,b\in V$ il existe $N\in \mathbb {N}$ tel que $(z-w)^{N}[a(z),b(w)]=0$ (où $[a(z),b(w)]=(a(z)b(w)-b(w)a(z)$ ).

Identités de Borcherds

Soient $a,b\in V$. Le calcul explicite de $[a(z),b(w)]=\sum _{m,n\in \mathbb {Z} }[a_{m},b_{n}]z^{-m-1}w^{-n-1}$ donne les deux égalités suivantes appelées identités de Borcherds : pour tous $m,n\in \mathbb {Z}$,

• $[a_{m},b_{n}]=\sum _{i\geq 0}{\binom {m}{i}}(a_{i}b)_{m+n-i}$,
• $(a_{m}b)_{n}=\sum _{j\geq 0}(-1)^{j}{\binom {m}{j}}(a_{m-j}b_{n+j}-(-1)^{m}b_{m+n-j}a_{j})$,

où ${\binom {m}{i}}={\frac {m(m-1)\ldots (m-i+1)}{i(i-1)\ldots 1}}$, pour tout $i\geq 0$.

Algèbres vertex commutatives

Une algèbre vertex $V$ est dite commutative si pour tout $a,b\in V$, les opérateurs vertex associés commutent (i.e. $[a(z),b(w)]=0$). En particulier cela signifie que $N=0$ pour tous vecteurs $a,b\in V$ dans l'axiome de localité. Une condition équivalente est $[a_{m},b_{n}]=0$ pour tous $a,b\in V$ et tous entiers $m,n\in \mathbb {Z}$.

Si $V$ est une algèbre vertex commutative alors $a(z)\in \operatorname {End} V[[z]]$ pour tout $a\in V$, c'est-à-dire, $a_{n}=0$ pour $n\geq 0$.

Une algèbre vertex commutative admet une structure d'algèbre différentielle (i.e. algèbre commutative unitaire munie d'une dérivation). En effet, une algèbre vertex commutative possède une structure d'algèbre commutative unitaire via le produit$a\cdot b=:ab:=a_{-1}b$,où l'unité est $1$ et l'opérateur de translation $T$ agit comme une dérivation sur $V$ (il vérifie la relation de Leibniz) :$T(a\cdot b)=(Ta)\cdot b+a\cdot (Tb)$.Réciproquement toute algèbre différentielle admet une structure d'algèbre vertex commutative.

Exemples

Algèbres vertex universelles affines

Soit $({\mathfrak {g}},[\cdot ,\cdot ])$ une algèbre de Lie de dimension finie et $\kappa$ une forme bilinéaire symétrique définie sur ${\mathfrak {g}}$ supposée invariante (i.e. $\forall x,y,z\in {\mathfrak {g}},~\kappa ([x,y],z)=\kappa (x,[y,z])$ ). On pose ${\hat {\mathfrak {g}}}:={\mathfrak {g}}[t,t^{-1}]\oplus \mathbb {C1}$ l'algèbre de Kac-Moody affine associée à ${\mathfrak {g}}$. Soit l'espace vectoriel

$V^{\kappa }({\mathfrak {g}}):=U({\hat {\mathfrak {g}}})\otimes _{U({\mathfrak {g}}[t]\oplus \mathbb {C1} )}\mathbb {C}$,

où $U({\hat {\mathfrak {g}}})$ est l'algèbre universelle enveloppante de ${\hat {\mathfrak {g}}}$ et où $\mathbb {C}$ est une représentation de dimension $1$ de ${\mathfrak {g}}[t]\oplus \mathbb {C1}$ sur laquelle ${\mathfrak {g}}[t]$ agit trivialement et $\mathbb {1}$ agit comme l'identité.

Le théorème de Poincaré-Birkhoff-Witt, nous donne l'isomorphisme d'espaces vectoriels suivant :

$V^{\kappa }({\mathfrak {g}})\simeq U({\mathfrak {g}}\otimes t^{-1}\mathbb {C} [t^{-1}])$.

Les éléments de $V^{\kappa }({\mathfrak {g}})$ s'identifient aux éléments de $U({\mathfrak {g}}\otimes t^{-1}\mathbb {C} [t^{-1}])$. Pour $x\in {\mathfrak {g}}$ et $n\in \mathbb {Z}$, posons $x_{n}:=x\otimes t^{n}=xt^{n}$. Soit $\{x^{i};1\leq i\leq \dim {\mathfrak {g}}\}$ une base ordonnée de ${\mathfrak {g}}$. Alors une base de $V^{\kappa }({\mathfrak {g}})$ est donnée par : $x_{n_{1}}^{i_{1}}\ldots x_{n_{m}}^{i_{m}}1$, où $n_{1}\leq n_{2}\leq \ldots \leq n_{m}<0$ tels que si $n_{j}=n_{j+1}$ alors $i_{j}\leq i_{j+1}$.

L'algèbre vertex universelle affine associée à $({\mathfrak {g}},\kappa )$ est l'algèbre vertex $(V^{\kappa }({\mathfrak {g}}),1,T,Y)$ où l'opérateur translation est donné par$T1=0,\quad Tx_{n}=-nx_{n-1},~\quad x\in {\mathfrak {g}},\quad n\in \mathbb {Z}$, et l'opérateur vertex est défini par$Y(1,z)=\operatorname {Id} _{V^{\kappa }({\mathfrak {g}})},\quad Y(x_{(-1)}^{i}1,z)=x^{i}(z)={\underset {n\in \mathbb {Z} }{\sum }}x_{(n)}^{i}z^{-n-1}$ et $Y(x_{(n_{1})}^{i_{1}}\ldots x_{(n_{m})}^{i_{m}}1,z)={\frac {1}{(-n_{1}-1)!\ldots (-n_{m}-1)!}}:\partial _{z}^{-n_{1}-1}x^{i_{1}}(z)\ldots \partial _{z}^{-n_{m}-1}x^{i_{m}}(z):$où $:\partial ^{-n_{1}-1}x^{i_{1}}(z)\ldots \partial ^{-n_{m}-1}x^{i_{m}}(z):$ est le produit normé ordonné.

Algèbre vertex d'Heisenberg

Si $({\mathfrak {g}},[\cdot ,\cdot ])$ est une algèbre de Lie complexe de dimension $1$ (i.e. ${\mathfrak {g}}\simeq \mathbb {C}$) et $\kappa$ une forme bilinéaire symétrique invariante non dégénérée alors l'algèbre vertex universelle $V^{\kappa }({\mathfrak {g}})$ est appelée algèbre vertex d'Heisenberg de $({\mathfrak {g}},\kappa )$.

Algèbre vertex universelle affine associée à ${\hat {\mathfrak {g}}}$ de niveau $k$

Si $({\mathfrak {g}},[\cdot ,\cdot ])$ est une algèbre de Lie simple et $\kappa ={\frac {k}{2h^{\vee }}}\kappa _{\mathfrak {g}}$ ($k\in \mathbb {C}$) où $\kappa _{\mathfrak {g}}$ est la forme de Killing de ${\mathfrak {g}}$ et $h^{\vee }$ le dual du nombre de Coxeter. L'algèbre vertex universelle $V^{\kappa }({\mathfrak {g}})$ est appelée l'algèbre vertex universelle affine associée à ${\hat {\mathfrak {g}}}$ de niveau $k$. On la note $V^{k}({\mathfrak {g}})$.

Algèbre vertex de Virasoro

Soit $Vir$ l'algèbre de Virasoro et soit $c\in \mathbb {C}$. On considère l'espace vectoriel $Vir_{c}=U(Vir)\otimes _{U(\mathbb {C} [[t]]\partial _{t}\otimes \mathbb {C} C)}\mathbb {C} _{c}$ où $\mathbb {C} _{c}$ est une représentation de dimension $1$ sur laquelle $C$ agit par multiplication par $c$ et $\mathbb {C} [[t]]\partial _{t}$ agit trivialement. On peut définir une structure d'algèbre vertex sur $Vir_{c}$ dont une base est donnée par les éléments de la forme $L_{j_{1}}\ldots L_{j_{m}}1$ avec $j_{1}\leq \ldots \leq j_{m}$. Cette algèbre vertex est appelée l'algèbre vertex de Virosoro de charge centrale $c$.

Algèbre vertex conforme

Une algèbre vertex $V$ est $\mathbb {Z} _{+}$-graduée si $V=\bigoplus _{n=0}^{\infty }V_{n}\,$et si $a\in V_{k}$ et $b\in V_{m}$ implique $a_{n}b\in V_{k+m-n-1}$.

Une algèbre vertex est dite conforme si elle est $\mathbb {Z} _{+}$-graduée et s'il existe un élément $\omega \in V_{2}$ dît conforme, tel que l'opérateur vertex associé$Y(\omega ,z)=\sum _{n\in \mathbb {Z} }\omega _{n}{z^{-n-1}}=\sum _{n\in \mathbb {Z} }L_{n}z^{-n-2}$ vérifie, pour tout $a\in V_{n}$, les conditions suivantes :

• $L_{0}a=na$,
• $Y(L_{-1}a,z)={\frac {d}{dz}}Y(a,z)=[Y(a,z),T]\,$ (autrement dit $L_{-1}=T$),
• $[L_{m},L_{n}]=(m-n)L_{m+n}+{\frac {m^{3}-m}{12}}\delta _{m+n,0}c$,

où $c$ est une constante appelée la charge centrale ou le rang de $V$.

Remarque : ceci munit $V$ d'une action de l'algèbre de Virasoro $Vir$.

Exemple : l'algèbre vertex de Virasoro $Vir_{c}$ est conforme de charge centrale $c$. Un vecteur conforme est donné par $\omega =L_{-2}1.$