Decomposition in 2d non-invertible gaugings

1. Problématique et Contexte

L'article s'inscrit dans le cadre de la théorie quantique des champs (TQC) en deux dimensions, plus spécifiquement dans l'étude de la décomposition et des symétries non-inversibles.

• La Décomposition : Ce phénomène, observé initialement dans les théories avec des groupes de symétrie finis, stipule qu'une théorie $T$ avec une symétrie globale $\Gamma$ contenant un sous-groupe normal $N$ agissant trivialement se décompose en une somme disjointe de théories indépendantes : $[T/\Gamma] = \bigoplus_i [T/K_i]_{\omega_i}$. Ici, la somme porte sur les orbites des représentations irréductibles de $N$, $K_i$ sont les stabilisateurs, et $\omega_i$ sont des torsions discrètes.
• Le Défi : Récemment, la notion de symétrie a été généralisée aux symétries non-inversibles, décrites par des catégories de fusion (ou multi-fusion). L'objectif de l'article est d'étendre le conjecture de décomposition au cas où la symétrie gaugée est une catégorie de représentations d'une algèbre de Hopf, notée $\text{Rep}(H)$, où une sous-symétrie $\text{Rep}(G)$ agit trivialement.
• L'Objectif : Établir une conjecture de décomposition pour les théories gaugées par $\text{Rep}(H)$ avec une sous-symétrie triviale $\text{Rep}(G)$ et une symétrie résiduelle $\text{Vec}(\Gamma)$, où $H$ est une algèbre de Hopf semi-simple de dimension finie. L'auteur vise ensuite à généraliser ce résultat à des extensions de Hopf plus générales ($\text{Rep}(H'') \to \text{Rep}(H) \to \text{Rep}(H')$).

2. Méthodologie

L'auteur adopte une approche combinant la théorie des catégories de fusion, la théorie des algèbres de Hopf et le calcul explicite des fonctions de partition.

1. Cadre Mathématique :

   • Utilisation des séquences exactes de catégories de fusion : $\text{Rep}(G) \to \text{Rep}(H) \to \text{Vec}(\Gamma)$.
   • Focus sur les extensions abéliennes d'algèbres de Hopf : $C\Gamma \to H \to CG$. Ces extensions sont caractérisées par des données d'extension (paires de groupes appariés, actions, et 2-cocycles $\sigma$ et $\tau$).
   • Construction d'algèbres de Frobenius symétriques spéciales (algèbres gaugables) à partir du foncteur fibre qui reconstruit $H$.

2. Calculs de Partition :

   • Calcul explicite de la fonction de partition sur le tore (genre 1) pour la théorie gaugée par l'algèbre de Frobenius associée à $H$.
   • La méthode consiste à transférer l'algèbre gaugable de $\text{Rep}(H)$ vers $\text{Vec}(\Gamma)$ via un foncteur tensoriel, puis à effectuer le calcul dans la catégorie plus simple $\text{Vec}(\Gamma)$ (où les symboles F sont triviaux).
   • Décomposition de l'objet régulier de l'algèbre gaugable en objets simples de $\text{Vec}(\Gamma)$.

3. Construction d'Opérateurs Topologiques :

   • Identification des opérateurs de point topologiques (TPO) et des projecteurs responsables de la décomposition.
   • Analyse de l'action de la symétrie résiduelle sur l'espace des TPO pour isoler les états invariants qui définissent les univers décomposés.

4. Généralisation :

   • Proposition d'une construction générale pour les extensions de Hopf non-abéliennes en définissant un foncteur d'action tensoriel agissant sur les représentations de l'algèbre duale.

3. Contributions Clés

• Extension du Conjecture de Décomposition : L'article propose une généralisation du conjecture de décomposition aux symétries non-inversibles décrites par $\text{Rep}(H)$. La conjecture principale (Éq. 2.4) stipule que :
  $$[T/\text{Rep}(H)] = \bigoplus_{[x] \in G/\Gamma} [T/K_x]_{\tau_x}$$
  où la somme porte sur les orbites de $G$ sous l'action de $\Gamma$, $K_x$ est le stabilisateur, et $\tau_x$ est une torsion discrète spécifique.

• Indépendance de la Structure Algébrique : Une découverte technique majeure est que l'algèbre de Frobenius utilisée pour le gauging (et donc la décomposition) ne dépend que de la structure de coalgebra de $H$ (via le cocycle $\tau$ et l'action), et non de sa structure d'algèbre (via le cocycle $\sigma$). Cela explique pourquoi la forme de la conjecture reste similaire au cas des groupes, malgré la complexité accrue des algèbres de Hopf.

• Construction Explicite des Projecteurs : L'auteur construit explicitement les opérateurs de projection topologiques $\Pi_{[x]}$ qui séparent les différents univers dans la somme directe. Ces projecteurs sont des combinaisons linéaires d'éléments de la base de l'algèbre duale $H^*$, invariants sous l'action adjointe.

• Généralisation aux Extensions de Hopf Arbitraires : Dans la Section 7, l'article formule une conjecture pour le cas le plus général où ni la sous-symétrie ni la symétrie résiduelle ne sont des groupes (mais des catégories de représentations d'algèbres de Hopf $H''$ et $H'$). Il définit rigoureusement les « orbites » de représentations irréductibles et les sous-catégories stabilisatrices correspondantes.

4. Résultats Principaux

• Vérification par les Fonctions de Partition : Pour les extensions abéliennes, le calcul de la fonction de partition sur le tore confirme la conjecture. Le résultat prend la forme d'une somme de fonctions de partition de théories orbifoldées par des sous-groupes $K_x$ avec des torsions discrètes $\tau_x$ :
  $$Z_{(A, \mu_F, \Delta_F)} = \sum_{[x] \in G/\Gamma} Z_{K_x, \tau_x}$$
  Cela valide que la théorie gaugée se décompose bien en une somme disjointe de théories indépendantes.

• Exemples Concrets :

  • Cas des groupes abéliens : Récupération du résultat classique de décomposition pour les groupes finis avec un sous-groupe normal abélien.
  • Algèbre de Kac-Paljutkin ($H_8$) : Application à l'algèbre de Hopf $H_8$ (la plus petite algèbre semi-simple non commutative et non cocommutative). La théorie gaugée par $\text{Rep}(H_8)$ avec une sous-symétrie $\text{Rep}(\mathbb{Z}_2)$ triviale se décompose en deux orbifolds par $\mathbb{Z}_2 \times \mathbb{Z}_2$, l'un sans torsion et l'autre avec une torsion non triviale.
  • Extensions avec $G=\mathbb{Z}_2$ : Démonstration que même avec des données d'extension non triviales, la décomposition suit la structure prédite, avec des torsions déterminées par les cocycles de l'extension.

• Structure des Projecteurs : Les projecteurs $\Pi_{[x]}$ sont montrés être orthogonaux et former une base de l'identité, confirmant mathématiquement la décomposition en univers disjoints.

5. Signification et Impact

• Unification des Symétries : Ce travail unifie la compréhension de la décomposition entre les symétries inversibles (groupes) et non-inversibles (catégories de fusion/algèbres de Hopf). Il montre que le mécanisme de décomposition est robuste et dépend principalement de la structure de coalgebra et de l'action des symétries résiduelles.
• Outils pour les Théories Non-Inversibles : En fournissant des méthodes explicites pour calculer les fonctions de partition et construire les projecteurs dans le cadre des algèbres de Hopf, l'article offre des outils essentiels pour l'analyse de théories 2D complexes avec des symétries généralisées.
• Perspectives Futures : L'article ouvre la voie à l'étude de la décomposition pour des catégories de fusion qui ne sont pas des représentations d'algèbres de Hopf (par exemple, via les monades de Hopf) et suggère que les phases d'anomalie mixte (phases projectives) jouent un rôle crucial dans la définition des algèbres gaugables pour les symétries non-inversibles.

En résumé, cet article établit un pont solide entre la théorie des extensions d'algèbres de Hopf et la physique des théories quantiques des champs 2D, prouvant que le phénomène de décomposition persiste et prend une forme structurée même dans le régime des symétries non-inversibles.