Algebre vertex

Algebre vertex

Algèbre vertex

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.

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.

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
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Alg%C3%A8bre vertex ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Algebre vertex de Wikipédia en français (auteurs)

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • Algèbre Vertex — 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 …   Wikipédia en Français

  • Algèbre vertex — Pour les articles homonymes, voir Algèbre (homonymie). 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… …   Wikipédia en Français

  • Algèbre (homonymie) — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Le mot « algèbre » vient de l arabe ’al ǧabr (« réduction »), désignant une technique de chirurgie des membres puis une technique de… …   Wikipédia en Français

  • Vertex Shader — Shader Un shader (anglais, du verbe to shade : ombrager ou estomper, nuancer) est un programme[Quoi ?] utilisé en image de synthèse pour paramétrer une partie du processus de rendu réalisé par une carte graphique ou un moteur de rendu… …   Wikipédia en Français

  • Vertex and pixel shaders — Shader Un shader (anglais, du verbe to shade : ombrager ou estomper, nuancer) est un programme[Quoi ?] utilisé en image de synthèse pour paramétrer une partie du processus de rendu réalisé par une carte graphique ou un moteur de rendu… …   Wikipédia en Français

  • Vertex shader — Shader Un shader (anglais, du verbe to shade : ombrager ou estomper, nuancer) est un programme[Quoi ?] utilisé en image de synthèse pour paramétrer une partie du processus de rendu réalisé par une carte graphique ou un moteur de rendu… …   Wikipédia en Français

  • Vertex shaders — Shader Un shader (anglais, du verbe to shade : ombrager ou estomper, nuancer) est un programme[Quoi ?] utilisé en image de synthèse pour paramétrer une partie du processus de rendu réalisé par une carte graphique ou un moteur de rendu… …   Wikipédia en Français

  • Monstrous moonshine — En mathématiques, monstrous moonshine est un terme anglais conçu par John Horton Conway et Simon P. Norton (en) en 1979, utilisé pour décrire la connexion (alors totalement inattendue) entre le groupe Monstre M et les fonctions modulaires… …   Wikipédia en Français

  • Conjecture Monstrous Moonshine — Monstrous moonshine En mathématiques, monstrous moonshine est un terme anglais conçu par John Horton Conway et Simon P. Norton en 1979, utilisé pour décrire la connexion (alors totalement inattendue) entre le groupe Monstre M et les fonctions… …   Wikipédia en Français

  • Groupe Monstre —  Pour l’article homonyme, voir Groupe monstre de Tarski (en).  En mathématiques, le Monstre M ou groupe de Fischer Griess F1 est le plus gros des 26 groupes simples …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”