Algèbre de Lie Monstre

En mathématiques, l'algèbre de Lie Monstre est une Modèle:Lien de dimension infinie sur laquelle agit le groupe Monstre, qui a été utilisée pour prouver les conjectures du « Monstrous moonshine ».

Structure

L'algèbre de Lie monstre est une algèbre de Lie graduée sur Z². La composante de degré (m, n) est de dimension c_mn si (m, n) ≠ (0, 0) et de dimension 2 si (m, n) = (0, 0), où les entiers c_n sont les coefficients de qⁿ du j-invariant, vu comme fonction modulaire elliptique

$j(q)-744=\frac{1}{q}+196884q+21493760q^2+\cdots .$

La sous-algèbre de Cartan est le sous-espace de dimension 2 de degré (0, 0), de sorte que l’algèbre de Lie Monstre est de rang 2.

L'algèbre de Lie Monstre n'a qu'une seule racine réelle simple, donnée par le vecteur (1, −1) ; le groupe de Weyl est d'ordre 2, il agit par la volte (m, n) → (n, m). Les racines imaginaires simples sont les vecteurs (1, n) pour n entier naturel non nul, elles sont de multiplicité c_n.

La formule du dénominateur de l'algèbre de Lie Monstre est la formule du produit du j-invariant :

$j(p)-j(q)=(\frac{1}{p}-\frac{1}{q})\prod _{m,n=1}^{\mathrm{\infty }}(1-p^m{q}^n{)}^{c_{mn}}.$

La formule du dénominateur, parfois appelée « identité de produit infini de Koike-Norton-Zagier », a été découverte dans les années 1980. Plusieurs mathématiciens, dont Masao Koike, Simon P. Norton et Don Zagier, ont fait cette découverte de manière indépendante.

Construction

On dispose de deux façons de construire l'algèbre de Lie MonstreModèle:Référence nécessaire. Comme il s'agit d'une algèbre de Kac-Moody généralisée dont les racines simples sont connues, elle peut être définie de façon explicite par générateurs et relations ; cependant, cette présentation ne permet pas de lire une action du groupe Monstre.

Elle peut également être construite à partir de l'algèbre vertex du Monstre en utilisant le Modèle:Lien en théorie des cordes. Cette construction est beaucoup plus difficile mais elle donne une action naturelle du groupe Monstre.

Notes et références

Bibliographie

• Modèle:Article
• Modèle:Ouvrage
• Modèle:Ouvrage ; Modèle:Ouvrage
  • Modèle:Lien arXiv
• Modèle:Ouvrage (texte introductif contenant une brève présentation de l'algèbre de Borcherds dans le chapitre 21)

Articles connexes

• Groupe Monstre
• Monstrous moonshine
• Algèbre de Griess
• Algèbre vertex du Monstre