On rationality for $C_2$-cofinite vertex operator algebras

En établissant que la catégorie des modules d'une algèbre de vertex $C_2$-finie est un catégorie de ruban factorisable, cet article démontre que la semi-simplicité de l'algèbre de Zhu implique la rationalité de l'algèbre, prouvant ainsi la conjecture de Kac-Wakimoto-Arakawa sur les algèbres $W$ et réduisant le problème de rationalité des cosets à celui de la $C_2$-finitude.

L'essentiel

Imaginez que l'univers mathématique est rempli de structures invisibles et complexes appelées Algèbres d'Opérateurs de Vertices (VOA). Pour faire simple, pensez-y comme à des recettes de cuisine cosmiques. Chaque recette (une VOA) contient des instructions précises pour mélanger des ingrédients (des vecteurs) afin de créer des plats (des modules ou des états quantiques).

Certains de ces plats sont "parfaits" : ils sont stables, prévisibles et obéissent à des règles de symétrie très strictes. En mathématiques, on dit qu'ils sont rationnels. D'autres sont un peu plus "chaotiques" ou "logarithmiques", mais ils ont tout de même des propriétés intéressantes.

L'auteur de ce papier, Robert McRae, s'est posé une question cruciale : Comment savoir si une de ces recettes cosmiques est "parfaite" (rationnelle) sans avoir à cuisiner tous les plats possibles pour les tester un par un ?

Voici l'explication de ses découvertes, découpée en images simples :

1. Le Problème : La Cuisine Chaotique

Pour prouver qu'une recette est parfaite, il faut généralement vérifier une condition très difficile appelée C2-cofinité (qui garantit que la recette ne produit pas une infinité de déchets) et une autre condition appelée rationalité (qui garantit que tous les plats finis sont des combinaisons simples de plats de base).

Le problème, c'est que vérifier la "rationalité" est comme essayer de deviner si un gâteau est bien cuit en regardant seulement la croûte, sans pouvoir le couper. C'est très difficile.

2. La Solution de McRae : La "Carte des Saveurs" (Les Caractères)

McRae a trouvé une astuce géniale. Au lieu de cuisiner, il propose de regarder la "Carte des Saveurs" (ce qu'on appelle les caractères en mathématiques). C'est comme une étiquette nutritionnelle qui résume tout le plat.

Il a découvert une règle magique :

Si vous pouvez transformer cette étiquette nutritionnelle en une combinaison simple d'autres étiquettes connues (en utilisant une opération mathématique appelée transformation S), alors la recette est garantie d'être "parfaite" (rationnelle).

C'est comme si vous pouviez dire : "Ah, l'étiquette de ce gâteau mystère ressemble exactement à un mélange de gâteaux au chocolat et de gâteaux aux fraises que je connais déjà. Donc, je sais que ce gâteau est sain et stable, même sans le goûter !".

3. Les Deux Grands Résultats (Les Super-Pouvoirs)

Le papier contient deux découvertes principales qui changent la donne :

• Découverte n°1 : La Rigidité (La Structure Solide)
  Si la "Carte des Saveurs" se comporte bien (comme expliqué ci-dessus), alors l'ensemble de tous les plats possibles forme une structure mathématique très solide appelée catégorie rigide.

  • L'analogie : Imaginez un jeu de construction (Lego). Si la structure est "rigide", cela signifie que chaque pièce a un "double" ou un "miroir" qui peut s'annuler parfaitement avec elle. Vous ne pouvez pas construire de pièces instables ou qui s'effondrent. Tout est verrouillé en place.

• Découverte n°2 : La Rationalité (Le Saint Graal)
  Si, en plus, l'algorithme de base de la recette (l'algèbre de Zhu) est simple (sans complications cachées), alors toute la cuisine est parfaite.

  • L'analogie : C'est comme si vous aviez prouvé que les ingrédients de base sont de première qualité. McRae dit : "Si les ingrédients de base sont purs et que la structure est solide, alors tout le menu sera parfait, point final."

4. Les Applications : Pourquoi c'est important ?

Ces résultats ne sont pas juste de la théorie abstraite. Ils résolvent des énigmes qui traînent depuis des décennies :

• Les Algèbres W (Les Recettes Exotiques) :
  Il existe une famille de recettes très complexes appelées "Algèbres W", utilisées en physique théorique (théorie des cordes, physique quantique). On soupçonnait qu'elles étaient parfaites, mais personne n'arrivait à le prouver pour toutes.

  • Le résultat : McRae a utilisé sa méthode pour prouver que toutes ces recettes exotiques (quand elles sont bien définies) sont en effet parfaites. C'est comme si on avait enfin validé la sécurité de toute une nouvelle gamme de voitures de sport.

• Le Problème du "Coset" (La Cuisine Partagée) :
  Imaginez que vous avez un grand restaurant (A) qui est parfait. À l'intérieur, il y a une cuisine spécialisée (U) qui est aussi parfaite. Le reste du restaurant (V) est ce qu'on appelle le "coset" (le complément).

  • La question : Si le restaurant principal et la cuisine spécialisée sont parfaits, est-ce que le reste du restaurant l'est aussi ?
  • Le résultat : McRae dit : "Oui, à condition que le reste du restaurant ne produise pas trop de déchets (C2-cofinité)." C'est une règle très puissante qui permet de construire de nouvelles recettes parfaites à partir d'anciennes.

En Résumé

Robert McRae a écrit un manuel pour les chefs mathématiciens. Il leur dit :

"Ne vous perdez pas à tester chaque plat individuellement. Regardez l'étiquette nutritionnelle (le caractère). Si elle se transforme proprement en d'autres étiquettes connues, alors votre recette est solide, stable et parfaite. Et si vous utilisez cette méthode, vous pouvez prouver que des familles entières de recettes complexes (les Algèbres W) et des sous-parties de grands restaurants (les cosets) sont mathématiquement impeccables."

C'est une avancée majeure qui transforme un problème de cuisine chaotique en un jeu de logique élégant et prévisible.

Résumé technique

1. Problématique et Contexte

La théorie des algèbres de vertex (VOA) vise à fournir une construction mathématique rigoureuse des théories quantiques des champs conformes (CFT) en deux dimensions. Un objet central de cette théorie est la rationalité d'une VOA. Une VOA est dite fortement rationnelle si elle est simple, à énergie positive (type CFT), auto-duale (self-contragredient), $C_2$-cofinie, et si sa catégorie de modules est semi-simple.

Le théorème de modularité de Huang établit que la catégorie de modules d'une VOA fortement rationnelle est une catégorie tensorielle modulaire semi-simple. Cependant, prouver la rationalité d'une VOA donnée est souvent difficile, car cela nécessite de classifier tous ses modules et de démontrer l'absence d'extensions non triviales.

L'article se concentre sur les VOA fortement finies (c'est-à-dire simples, $N$-graduées, auto-duales et $C_2$-cofinies, mais pas nécessairement rationnelles). Le problème principal est de déterminer sous quelles conditions ces algèbres sont rationnelles, ou à défaut, de comprendre la structure de leur catégorie de modules si elles ne le sont pas.

2. Méthodologie

L'auteur combine des techniques avancées de la théorie des catégories tensorielles avec la méthode de Moore-Seiberg et Huang pour l'analyse des fonctions de corrélation de genre un.

• Théorie des catégories tensorielles : L'article utilise la structure de catégorie tensorielle braquée sur la catégorie $\mathcal{C}$ des modules généralisés à restriction de graduation. L'objectif est d'établir que $\mathcal{C}$ est une catégorie ruban finie factorisable (une version non semi-simple d'une catégorie tensorielle modulaire).
• Fonctions de corrélation de genre un : L'auteur utilise les développements en série des fonctions de corrélation à deux points sur un tore. Une étape clé consiste à relier la transformation $S$ (transformation modulaire $\tau \to -1/\tau$) des caractères des modules à des propriétés de rigidité et de non-dégénérescence du tressage (braiding).
• Algèbre de Zhu : L'analyse repose sur l'algèbre associative $A(V)$ associée à la VOA $V$. La semi-simplicité de cette algèbre est utilisée comme critère pour déduire la semi-simplicité de la catégorie de modules.
• Réduction et Orbifolds : La méthode est généralisée pour traiter les sous-algèbres d'invariants (orbifolds) sous l'action d'un automorphisme d'ordre fini, permettant de déduire la rationalité de la sous-algèbre à partir de celle de l'algèbre mère.

3. Contributions et Résultats Principaux

L'article établit trois théorèmes principaux et deux applications majeures :

A. Théorèmes Fondamentaux

1. Factorisabilité à partir de la rigidité (Théorème 5.3) :
   Si $V$ est une VOA fortement finie et si sa catégorie de modules $\mathcal{C}$ est rigide (c'est-à-dire que chaque objet possède un dual), alors $\mathcal{C}$ est une catégorie ruban finie factorisable. Cela signifie que $\mathcal{C}$ est une catégorie tensorielle modulaire (éventuellement non semi-simple). Ce résultat résout une conjecture de Huang, Carnahan et Genovese concernant la structure des catégories de modules pour les VOAs non rationnelles mais $C_2$-cofinies.

2. Critère de rigidité via les caractères (Théorème 5.8 / Corollaire 5.10) :
   Si $V$ est une VOA fortement finie et que la transformation $S$ du caractère de $V$ (noté $S(\text{ch}_V)$) est une combinaison linéaire de caractères de modules de $V$ (sans termes de pseudo-traces), alors la catégorie $\mathcal{C}$ est rigide.
   Note technique : L'hypothèse d'absence de pseudo-traces est cruciale ici, bien que l'auteur conjecture qu'elle pourrait être levée avec une compréhension plus fine des fonctions de trace pseudo.

3. Rationalité via l'algèbre de Zhu (Théorème 5.18 / Corollaire 5.19) :
   Si $V$ est une VOA fortement finie et que son algèbre de Zhu $A(V)$ est semi-simple, alors $V$ est rationnelle.
   Conséquence : La catégorie de modules est une catégorie tensorielle modulaire semi-simple. Si $V$ est de plus à énergie positive, elle est fortement rationnelle.
   Importance : Ce résultat fournit un critère purement interne (calculable via l'algèbre de Zhu) pour prouver la rationalité, sans avoir besoin de classifier explicitement tous les modules simples.

B. Applications Majeures

1. Rationalité des algèbres W affines (Conjecture Kac-Wakimoto-Arakawa) :
   L'auteur prouve que toutes les algèbres W affines exceptionnelles $W_k(\mathfrak{g}, f)$ obtenues par réduction de Drinfeld-Sokolov quantique à des niveaux admissibles sont fortement rationnelles.
   Preuve : Arakawa et van Ekeren ont récemment démontré que les algèbres de Zhu de ces algèbres W sont semi-simples. En combinant ce résultat avec le Théorème 5.18 de McRae, la rationalité est établie. L'article traite également le cas où l'algèbre est $\frac{1}{2}\mathbb{N}$-graduée (nécessitant un vecteur conforme adapté), en vérifiant des conditions algébriques sur les orbites nilpotentes (Annexe A).

2. Problème de rationalité des cosets (Théorème 6.11) :
   L'article résout partiellement le problème de rationalité des cosets. Soit $A$ une VOA fortement rationnelle contenant une sous-algèbre fortement rationnelle $U$. Si le coset $V = C_A(U)$ (le commutant de $U$ dans $A$) est $C_2$-cofini, alors $V$ est fortement rationnelle.
   Méthode : L'auteur montre que la rigidité de la catégorie de modules de $V$ découle de la rationalité de $A$ et $U$ via des fonctions de trace multivariables, puis applique le critère de semi-simplicité.

4. Signification et Impact

• Unification des critères de rationalité : L'article démontre que la semi-simplicité de l'algèbre de Zhu est une condition suffisante pour la rationalité, éliminant le besoin de classifications de modules complexes pour de nombreuses familles d'algèbres.
• Structure des catégories non semi-simples : Il confirme que même pour les VOAs non rationnelles (mais $C_2$-cofinies), la catégorie de modules conserve une structure riche et bien définie (catégorie factorisable), reliant la théorie des VOAs à la topologie de basse dimension et aux TQFT non semi-simples.
• Résolution de conjectures : La preuve de la rationalité des algèbres W exceptionnelles clôt un programme de recherche majeur initié par Kac, Wakimoto et Arakawa.
• Outil pour les sous-algèbres : Le résultat sur les cosets fournit un outil puissant pour générer de nouvelles VOAs fortement rationnelles à partir d'algèbres connues, un problème ouvert depuis longtemps.

En résumé, cet article établit un pont robuste entre les propriétés algébriques internes (algèbre de Zhu, transformations modulaires des caractères) et la structure catégorique globale des modules, offrant des critères pratiques pour établir la rationalité dans des contextes complexes comme les algèbres W et les cosets.