Monstrous moonshine

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 (particulièrement, la John McKay (en), trouvèrent que le développement de Fourier de j(τ) (suite A000521 de l’OEIS, où τ désigne le quotient des demi-périodes (en)) pouvait être exprimé en termes de combinaisons linéaires des dimensions des représentations irréductibles de M (suite A001379 de l’OEIS)

j(\tau) = \frac1q + 744 + 196884~q + 21493760~q^2 + 864299970~q^3 + \cdots

q = eiτ et


\begin{align}
1 & = 1 \\
196884 & = 196883 + 1 \\
21493760 & = 21296876 + 196883 + 1 \\
864299970 & = 842609326 + 21296876 + 2\cdot 196883 + 2\cdot 1 \\
& {}\,\,\, \vdots
\end{align}

Conway et Norton formulèrent des conjectures concernant les fonctions jg(q) obtenues en remplaçant les traces sur l'élément neutre par les traces sur d'autres éléments g de M. La partie la plus saisissante de ces conjectures est que toutes ces fonctions sont de genre zéro. En d'autres termes, si Gg est le sous-groupe de SL2(\R) qui fixe jg(q), alors le quotient du demi-plan supérieur du plan complexe par Gg est une sphère privée d'un nombre fini de points, correspondant aux formes paraboliques de Gg.

Il s'avère que derrière monstrous moonshine se trouve une certaine théorie des cordes ayant le groupe Monstre comme groupe de symétries ; les conjectures faites par Conway et Norton furent démontrées par Richard Ewen Borcherds en 1992 en utilisant le théorème de Goddard-Thorn (en) issu de la théorie des cordes, ainsi que la théorie des algèbres vertex et des algèbres de Kac-Moody généralisées (en). Borcherds reçu la médaille Fields pour son travail, et plus de connexions entre M et la fonction j furent découvertes ultérieurement.

Sommaire

Versions formelles des conjectures de Conway et Norton

La première conjecture faite par Conway et Norton fut ce que l'on appela la « conjecture moonshine » ; elle établit qu'il existe un M-module gradué de dimension infinie

V = \bigoplus_{m\geq -1} V_m

avec dim(Vm) = c(m) pour tout m, où

j({q}) = \sum_{m\geq -1} c_m {q}^m.

De ceci, il s'ensuit que chaque élément g de M agit sur chaque Vm et possède une valeur de caractère

\chi_m(g) = \mathrm{tr}(g|_{V_m})

qui peut être utilisée pour construire la série de McKay-Thompson de g :

T_g({q}) = \sum_{m\geq -1} \chi_m(g){q}^m.

La deuxième conjecture de Conway et Norton établit ensuite qu'avec V comme ci-dessus, pour chaque élément g de M, il existe un sous-groupe K de PSL_2(\R), de genre zéro , commensurable avec le groupe modulaire Γ = PSL2(Z), et tel que Tg(q) soit la fonction modulaire principale normalisée pour K.

Le module Monstre

Il fut montré plus tard par A. O. L. Atkin (en), Paul Fong et Frederic L. Smith en utilisant des calculs informatiques qu'il existe en effet une représentation graduée de dimension infinie du groupe Monstre dont les séries de McKay-Thompson sont précisément les Hauptmoduls trouvés par Conway et Norton, Igor Frenkel (en), James Lepowsky (en) et Arne Meurman (en) construisirent explicitement cette représentation en utilisant les opérateurs vertex. Le module résultant est appelé le module Monstre, ou algèbre vertex Monstre (en).

La démonstration de Borcherds

La démonstration de Richard Ewen Borcherds de la conjecture de Conway et Norton peut être séparée en cinq étapes majeures comme ce qui suit :

  1. On construit une algèbre vertex V qui est une algèbre graduée fournissant les représentation moonshine sur M, et on vérifie que le module Monstre possède une structure d'algèbre vertex invariante sous l'action de M.
  2. On construit une algèbre de Lie \mathcal{M} à partir de V en utilisant le théorème de Goddard-Thorn ; ceci est une algèbre de Lie Kac-Moody généralisée.
  3. On calcule pour \mathcal{M} une équations des dénominateurs (en), reliée aux coefficients de j(q).
  4. On calcule des équations tordues des dénominateurs, qui sont reliées de manière similaire aux séries Tg(q).
  5. Toutes ces équations sont utilisées pour déterminer les nombres cm, en utilisant les opérateurs de Hecke (en), l'homologie d'algèbre de Lie (en) et les opérations d'Adams (en).

Ainsi, la démonstration est achevée. Borcherds fut plus tard cité comme ayant dit « j'étais sur la Lune lorsque j'ai démontré la conjecture moonshine (clair de lune) » et « Je me demande quelquefois si c'est ce que l'on ressent lorsque l'on prend certaines drogues. Je ne le sais pas actuellement, comme je n'ai pas testé cette théorie personnelle. »

Pourquoi « monstrous moonshine » ?

Le terme « monstrous moonshine » fut inventé par Conway, qui, lorsque John McKay lui dit à la fin des années 1970 que les coefficients de q (concrètement 196 884) étaient précisément la dimension de l'algèbre de Griess (en) (et ainsi exactement un de plus que le degré de la plus petite représentation fidèle complexe du groupe Monstre), répondit que ceci était « moonshine » (au sens de « dingue » ou « idées folles »). Ainsi, le terme fait référence non seulement au groupe Monstre M, mais aussi à la folie perçue concernant la relation compliquée entre M et la théorie des fonctions modulaires.

Cependant, « moonshine » est aussi un mot d'argot pour un whisky distillé illégalement, et en fait, le nom peut être expliqué à la lumière de ceci. Le groupe Monstre fut étudié dans les années 1970 par les mathématiciens Jean-Pierre Serre, Andrew Ogg (en) et John Griggs Thompson ; ils étudièrent le quotient du plan hyperbolique (en) par les sous-groupes de SL(2,R), en particulier le normalisateur Γ0(p) + du sous-groupe de congruences (en) Γ0(p) dans SL(2,R). Ils trouvèrent que la surface de Riemann obtenue en prenant le quotient du plan hyperbolique par Γ0(p) + est de genre zéro si et seulement si p est 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 41, 47, 59 ou 71 (c’est-à-dire, un nombre premier super-singulier), et lorsque Ogg entendit plus tard parler du groupe Monstre et remarqua que ces nombres étaient précisément les facteurs premiers de la taille de M, il prépara un article offrant une bouteille de whisky Jack Daniel's à quiconque pouvait expliquer ce fait.[réf. nécessaire]

Références

  • (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Monstrous moonshine » (voir la liste des auteurs).
  • Jacques Tits, Le module du « Moonshine », Séminaire Bourbaki, 29 (1986-1987), Exposé No. 684, p. 285-303.
  • (en) John Horton Conway et Simon P. Norton, Monstrous Moonshine, Bull. London Math. Soc. 11, 308–339, 1979.
  • (en) I. B. Frenkel, J. Lepowsky et A. Meurman, Vertex Operator Algebras and the Monster, Pure and Applied Math., Vol. 134, Academic Press, 1988.
  • (en) Richard Ewen Borcherds, Monstrous Moonshine and Monstrous Lie Superalgebras, Invent. Math. 109, 405–444, 1992 [lire en ligne].
  • (en) Terry Gannon, Monstrous Moonshine: The first twenty-five years, 2004 [lire en ligne].
  • (en) Terry Gannon, Monstrous Moonshine and the Classification of Conformal Field Theories, réimpr. dans Conformal Field Theory, New Non-Perturbative Methods in String and Field Theory, (2000) Yavuz Nutku, Cihan Saclioglu, Teoman Turgut, eds. Perseus Publishing, Cambridge Mass (ISBN 0-7382-0204-5) (fournit des exposés introductifs aux applications en physique).

Lien externe

(en) Moonshine Bibliography


Wikimedia Foundation. 2010.

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

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • Monstrous moonshine — In mathematics, monstrous moonshine, or moonshine theory, is a term devised by John Horton Conway and Simon P. Norton in 1979, used to describe the (then totally unexpected) connection between the monster group M and modular functions… …   Wikipedia

  • Monstrous moonshine — El término monstrous moonshine describe una inesperada relación descubierta en los años 1970 entre las ramas de teoría de grupos y teoría de números. El término fue creado por J. H. Conway. En inglés, moonshine no se refiere sólo al brillo de la… …   Wikipedia Español

  • Monstrous moonshine — El término monstrous moonshine describe una inesperada relación descubierta en los años 70 entre las ramas de teoría de grupos y teoría de números. El término fue creado por J. H. Conway; en inglés, moonshine no se refiere sólo al brillo de la… …   Enciclopedia Universal

  • 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

  • Monstrous — may refer to: Monstrous carbuncle, a term used to describe modernist architecture which is unsympathetic to its surroundings Monstrous humanoid, a creature type in the Dungeons Dragons fantasy role playing game Monstrous moonshine, a mathematical …   Wikipedia

  • Moonshine (novel) — For other uses, see Moonshine (disambiguation). Moonshine   Author(s) Rob Thurman …   Wikipedia

  • Монстр (группа) — У этого термина существуют и другие значения, см. Монстр (значения). В алгебре, группа Монстр (или монстр Фишера Грейса, или Friendly Giant)  спорадическая простая группа порядка Она была исходно построена Р. Л. Грейсом в… …   Википедия

  • 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

  • Monster group — For infinite groups with all nontrivial proper subgroups isomorphic, see Tarski monster group. Group theory …   Wikipedia

  • John H. Conway — John Horton Conway John Horton Conway (* 26. Dezember 1937 in Liverpool) ist ein englischer Mathematiker. Inhaltsverzeichnis 1 Leben und Wirken 2 …   Deutsch Wikipedia

Share the article and excerpts

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