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 formes modulaires (en particulier la fonction j).
Précisément, Conway et Norton, suivant une observation initiale de John McKay, trouvèrent que le développement de Fourier de (, où désigne le ) pouvait être exprimé en termes de combinaisons linéaires des dimensions des représentations irréductibles de M ()
où et
Conway et Norton formulèrent des conjectures concernant les fonctions 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 est le sous-groupe de SL2() qui fixe , alors le quotient du demi-plan supérieur du plan complexe par est une sphère privée d'un nombre fini de points, correspondant aux formes paraboliques de .
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 issu de la théorie des cordes, ainsi que la théorie des algèbres vertex et des algèbres de Kac-Moody . Borcherds reçut la médaille Fields pour son travail, et des connexions supplémentaires entre M et la fonction j furent découvertes ultérieurement.
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
avec pour tout m, où
De ceci, il s'ensuit que chaque élément g de M agit sur chaque Vm et possède une valeur de caractère
qui peut être utilisée pour construire la série de McKay-Thompson de g :
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 , de genre zéro, commensurable avec le groupe modulaire Γ = PSL2(Z), et tel que soit la fonction modulaire principale normalisée pour K.
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
This course is an introduction to the non-perturbative bootstrap approach to Conformal Field Theory and to the Gauge/Gravity duality, emphasizing the fruitful interplay between these two ideas.
Group representation theory studies the actions of groups on vector spaces. This allows the use of linear algebra to study certain group theoretical questions. In this course the groups in question wi
vignette|Richard Borcherds 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.
En mathématiques, les groupes de Conway Co, Co et Co sont trois groupes sporadiques découverts par John Horton Conway en 1968. Tous sont intimement liés au réseau de Leech Λ. Le plus grand, Co, d'ordre , est obtenu en quotientant le groupe des automorphismes de Λ par son centre, qui est constitué des matrices scalaires ±1. Les groupes Co (d'ordre ) et Co (d'ordre ) sont constitués des automorphismes de Λ fixant un vecteur de réseau de type 2 et un vecteur de type 3 respectivement.
En mathématiques, le Monstre M ou groupe de Fischer-Griess F est le plus gros des 26 groupes simples sporadiques. Son ordre est 2 × 3 × 5 × 7 × 11 × 13 × 17 × 19 × 23 × 29 × 31 × 41 × 47 × 59 × 71 = ≈ . C'est un groupe simple, ceci signifiant qu'il n'a aucun sous-groupe normal excepté pour le sous-groupe constitué seulement de l'élément identité, et lui-même. Les groupes simples finis ont été complètement classés ; il existe 18 familles infinies dénombrables de groupes simples finis, plus 26 groupes sporadiques qui ne suivent aucun motif apparent.
We start this short note by introducing two remarkable mathematical objects: the E8E8 root lattice Lambda8Lambda8 in 8-dimensional Euclidean space and the Leech lattice Lambda24Lambda24 in 24-dimensional space. These two lattices stand out among their lat ...
In this work we discuss an analytic bootstrap approach [1, 2] in the context of spinning 4D conformal blocks [3, 4]. As an example we study the simplest spinning case, the scalar-fermion correlator. We find that to every pair of primary scalar phi and ferm ...
We prove that in any unitary CFT, a twist gap in the spectrum of operator product expansion (OPE) of identical scalar quasiprimary operators (i.e. phi x phi) implies the existence of a family of quasiprimary operators O t,l with spins l ->.infinity and twi ...