Algèbre vertex

Un article de Wikipédia, l'encyclopédie libre.

En mathématiques, une algèbre vertex est une structure algébrique qui joue un rôle important en théorie conforme des champs et dans les domaines proches en physique. Ces structures ont aussi montré leur utilité en mathématiques dans des contextes comme l'étude du groupe Monstre et la correspondance de Langlands géométrique.

Les algèbres vertex ont été introduites par Richard Borcherds en 1986, motivées par les opérateurs vertex intervenant lors de l'insertion de champs, dans la théorie conforme des champs en dimension 2. Comme exemples importants, on peut citer les algèbres vertex associées aux réseaux, celle provenant des modules sur les algèbres de Kac-Moody, celles provenant de l'algèbre de Virasoro et enfin le module moonshine V♮ construit par Frenkel, Lepowsky et Meurman en 1988.

Les axiomes des algèbres vertex sont une version algébrique de ce que les physiciens appellent une algèbre chirale, dont la définition rigoureuse a été donnée par Beilinson et Drinfeld.

[modifier] Définition

Une algèbre vertex est un espace vectoriel V, muni d'un élément unité 1, d'un endomorphisme T et d'une application 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 b z^{-n-1}

vérifiant les axiomes suivants :

  1. (Identité) Pour tout a \in V\,,
    Y(1,z)a = a = az^0\, et Y(a,z)1 \in a + zV[[z]]\,
  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 (End V)[z^{\pm 1}]

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-21, donc T est uniquement déterminé par Y.

Une algèbre vertex V est Z+-graduée si

V = \bigoplus_{n=0}^\infty V_n\,

et si a ∈ Vk et b ∈ Vm implique an b ∈ Vk+m-n-1.

Une algèbre vertex conforme est une algèbre vertex Z+-graduée munie d'un élément de Virasoro ω ∈ V2, 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 ∈ Vn, les relations :

  • L_0 a = n a\,
  • Y(L_{-1} a, z) = \frac{d}{dz} Y(a, z) = [Y(a,z),T]\,
  • [L_m, L_n]a = (m - n)L_{m + n}a + \delta_{m + n, 0} \frac{m^3-m}{12}ca\,

où c est une constante appelée la charge centrale ou le rang de V. En particulier, ceci munit V d'une action de l'algèbre de Virasoro.

[modifier] Références

  • Richard Borcherds, "Vertex algebras, Kac-Moody algebras, and the Monster", Proc. Natl. Acad. Sci. USA. 83 (1986) 3068-3071
  • Igor Frenkel, James Lepowsky, Arne Meurman, "Vertex operator algebras and the Monster". Pure and Applied Mathematics, 134. Academic Press, Inc., Boston, MA, 1988. liv+508 pp. ISBN 0-12-267065-5
  • Edward Frenkel, David Ben-Zvi, "Vertex algebras and Algebraic Curves". Mathematical Surveys and Monographs, 88. American Mathematical Society, 2001. xii+348 pp. ISBN 0-8218-2894-0