Modulated symmetries are internal symmetries that are not invariant under spacetime symmetry actions. We propose a general way to describe the lattice translation modulated symmetries in 1+1D, including the non-invertible ones, via the tensor network language. We demonstrate that the modulations can be described by some autoequivalences of the categories. Although the topological behaviors are broken because of the presence of modulations, we can still construct the modulated version of the symmetry TFT bulks by inserting a series of domain walls described by invertible bimodule categories. This structure not only recovers some known results on invertible modulated symmetries but also provides a general framework to tackle modulated symmetries in a more general setting.
academic
Symétries Modulées par Translation de Réseau et TFTs
Les symétries modulées sont des symétries internes qui ne satisfont pas l'invariance sous les symétries spatio-temporelles. Cet article propose une méthode générale utilisant le langage des réseaux de tenseurs pour décrire les symétries modulées par translation de réseau en dimension 1+1, incluant les cas non-inversibles. L'étude montre que la modulation peut être décrite par certaines auto-équivalences de catégories. Bien que le comportement topologique soit détruit par la présence de modulation, il est possible de construire une version modulée de la théorie topologique des champs symétrique (SymTFT) du volume en insérant une série de parois de domaine décrites par des catégories bimodules inversibles. Cette structure non seulement récupère certains résultats connus pour les symétries modulées inversibles, mais fournit également un cadre général pour traiter les symétries modulées dans des configurations plus générales.
Le cadre traditionnel des phases topologiques protégées par symétrie (SPT) et de la théorie topologique des champs symétrique (SymTFT) repose sur l'hypothèse que les opérateurs de symétrie possèdent des propriétés topologiques. Cependant, dans les systèmes physiques réels, il existe une grande quantité de symétries modulées (modulated symmetries) — ces symétries internes ne restent pas invariantes sous l'action des symétries spatio-temporelles, comme:
Symétries multipolaires (multipole symmetries): par exemple, la symétrie dipolaire
Symétries exponentielles (exponential symmetries)
Symétries de sous-système (subsystem symmetries): liées aux phénomènes singuliers des ordres fractonniques
Complétude théorique: Le cadre de classification des symétries existant ne peut pas être directement appliqué aux symétries modulées, nécessitant le développement de nouveaux outils théoriques
Pertinence physique: Les symétries modulées sont largement présentes en physique de la matière condensée, étroitement liées aux sujets de pointe tels que l'ordre topologique fractonnique
Problème de classification: La classification des phases topologiques protégées par symétries modulées (SPT modulé) reste incomplète, particulièrement dans le cas non-inversible
Cas inversible: Les travaux antérieurs 24-26 ont utilisé les états de produit matriciel (MPS) et les réseaux de défauts pour classifier certaines symétries modulées inversibles spécifiques, mais manquent d'un cadre unifié
Construction de la théorie du volume: Seuls quelques travaux portant sur des symétries modulées inversibles spécifiques en 2+1D SymTFT modulé existent 27,28
Cas non-inversible: Les symétries modulées peuvent produire des symétries non-inversibles lors de la jauge 28-30, mais une étude systématique fait défaut
Cadre de description catégorique: Propose d'utiliser le langage des réseaux de tenseurs et la théorie des catégories pour décrire les symétries modulées par translation de réseau en 1+1D, codant la modulation comme une auto-équivalence monoïdaleFT:C→C d'une catégorie de fusion C
Classification des phases: Prouve que les phases SPT modulées sont classifiées par des catégories C-modules semi-simples indécomposables M équipées d'une auto-équivalence C-module FT-tordue FTM:M→M, différents choix correspondant à des phases SPT faibles
Caractérisation des anomalies mixtes: Pour le cas des symétries inversibles, prouve que l'anomalie mixte entre la symétrie interne et la translation de réseau est caractérisée par une classe de cohomologie dans H2(G;U(1))
Construction du SymTFT modulé: Propose de construire le SymTFT 2+1D modulé en insérant une série de parois de domaine le long de la direction de translation de réseau, décrites par des catégories bimodules inversiblesT=DidDFTD
Implémentation concrète: Construit le modèle de Levin-Wen modulé pour la symétrie dipolaire ZN, et prouve que la limite continue récupère la théorie BF feuilletée 32,33
Conditions de condensation d'anyons: Établit la correspondance entre les phases de bord d'énergie finie et la condensation d'anyons du volume dans le cas modulé: une algèbre lagrangienne A correspond à une bord d'énergie finie si et seulement si Φ(T)A et A sont Morita-équivalentes
Opérateurs de symétrie: MPO dépendants de la position marqués par des objets simples X∈I(C) de la catégorie de fusion C (Figure 1):
Position i: [A_i^X] - [A_i^X] - [A_i^X] - ...
Règles de fusion: Satisfaisant
X1⊗X2≃⨁X3∣BX1,X2X3∣X3
où BX1,X2X3⊂HomC(X1⊗X2,X3) est une base orthonormée.
Innovation clé — Caractérisation catégorique de la modulation:
La translation de réseau T mappe la porte au site i+1 à la porte au site i, définissant:
FTX:=porte de X au site i+1 en tant que porte au site i
Par la condition de fermeture, on prouve que FT est une auto-équivalence monoïdale de C, équipée d'isomorphismes naturels:
(ηT)X1,X2:FT(X1⊗X2)∼FTX1⊗FTX2
La représentation en réseau de tenseurs est donnée par les équations (2.14)-(2.16), la clé étant de prouver le diagramme commutatif suivant:
Pour C=VecG (catégorie d'espaces vectoriels G-gradués), FT est déterminée par un homomorphisme de groupe ϕ:⟨T⟩→Aut(G).
L'isomorphisme naturel ηT définit un 2-cocycle α∈C2(G;U(1)):
α(g1,g2):=((ηT)g1,g2g3)τ3τ1,τ2
Satisfaisant la condition de 2-cocycle (2.16), sa classe de cohomologie [α]∈H2(G;U(1)) caractérise l'anomalie mixte entre la symétrie G interne et la translation de réseau.
Description de l'état fondamental: MPS modulé marqué par des objets simples M∈I(M) d'une catégorie C-module semi-simple indécomposable M (Figure 2).
Action de la symétrie: Bifoncteur ▹:C×M→M, satisfaisant des relations d'associativité et de réseau de tenseurs similaires (2.21)-(2.28).
Caractérisation de la phase: M correspond à une phase si et seulement si elle est équipée d'une auto-équivalence C-module FT-tordue FTM:M→M, satisfaisant le diagramme commutatif (2.36):
Utilisation de la 3-catégorie des catégories de fusion FusCat:
0-morphismes: catégories de fusion
1-morphismes: catégories bimodules (interfaces)
2-morphismes: bifoncteurs bimodules
3-morphismes: transformations naturelles
Structure clé: Définition de la catégorie bimodule inversible
T:=DidDFTD
où D:=CM∗ est la dualité de Morita, l'action de droite D étant:
T×D→T,(T,Y)↦T⊗FTDY
Interprétation physique:
FTM:M∼MFTD≃M⊠DT
c'est-à-dire FTM peut être réinterprétée comme une interface 1D à travers la paroi de domaine T.
Théorie du volume modulée: Modèle de Turaev-Viro TV(D) avec une série de parois de domaine T insérées le long de la direction de translation de réseau (Figure 3).
Utilisant l'isomorphisme Φ:BrPic(D)∼Aut⊗br(Z(D)), un anyon Z devient Φ(T)Z après passage à travers la paroi de domaine (Figure 4).
Conditions de bord d'énergie finie: Une algèbre lagrangienne A∈Z(D) correspond à un bord d'énergie finie si et seulement si
ModZ(D)(Φ(T)A)≃ModZ(D)(A)
c'est-à-dire A est invariant de Morita sous l'action de la paroi de domaine.
Résultat: Pour les symétries inversibles, l'anomalie mixte [α]∈H2(G;U(1)) est déterminée par les facteurs de phase de l'isomorphisme naturel ηT (équation 2.16).
Vérification: Quand [α]=0, cela correspond au cas sans anomalie, en accord avec l'intuition physique.
Signification physique des parois de domaine: La catégorie bimodule inversible T encode précisément l'information de modulation, la transformation des anyons à travers la paroi de domaine étant caractérisée par Φ(T)
Correspondance bord-volume: La condition de condensation d'anyons dans le cas modulé (3.19) généralise la correspondance standard, exigeant que l'algèbre de condensation soit invariante de Morita sous l'action de la paroi de domaine
Phénomène d'échange de rôles: L'échange des rôles monopôle-dipôle sur le bord rugueux provient de différents choix de FTM (SPT faible), paramétrés par [β]∈H1(ZN×ZN)
Généralisation non-inversible: Le cadre s'applique naturellement aux symétries non-inversibles (comme les symétries après jauge), nécessitant seulement que C soit une catégorie de fusion générale
Cadre unifié: Établissement d'une description catégorique des symétries modulées par translation de réseau, applicable aux cas inversibles et non-inversibles
Classification des phases: Les phases SPT modulées sont classifiées par des catégories modules équipées d'auto-équivalences modules FT-tordues, différents choix correspondant à des SPT faibles
Construction de la théorie du volume: Construction du SymTFT modulé par insertion de catégories bimodules inversibles décrivant des parois de domaine, les anyons se transformant sous l'action de la paroi de domaine par Φ(T)
Vérification concrète: Implémentation complète de la symétrie dipolaire ZN (modèle de réseau, phases de bord, limite continue) validant l'efficacité du cadre
Restriction dimensionnelle: Le travail actuel se concentre sur 1+1D, la généralisation à dimensions supérieures (particulièrement 3+1D pour les ordres fractonniques) nécessite des structures catégoriques plus complexes
Propriétés dynamiques: Principalement concentré sur la classification de l'état fondamental, les états excités et les processus dynamiques (comme le comportement de diffusion 17,20) ne sont pas abordés
Modèles concrets: Seule l'analyse détaillée de la symétrie dipolaire ZN (relativement simple), d'autres exemples non-triviaux (comme les symétries exponentielles, les symétries de sous-système) restent à étudier
Cas non-semi-simple: Le cadre suppose que les catégories sont semi-simples (correspondant aux phases d'énergie finie), les systèmes critiques nécessitent une généralisation aux catégories non-semi-simples
Complexité computationnelle: Le calcul de la cohomologie de groupes d'ordre supérieur et des symboles F peut être extrêmement complexe
Unification catégorique: Première utilisation d'auto-équivalences pour décrire la modulation, codant la dépendance spatio-temporelle dans la structure catégorique, extrêmement originale
Généralisation non-inversible: Le cadre couvre naturellement les symétries non-inversibles, dépassant les limitations des travaux antérieurs
Interprétation des parois de domaine: Interprétation du SymTFT modulé comme théorie du volume avec insertion de parois de domaine, image physique claire et rigueur mathématique
Chaîne de preuves complète: Dérivation rigoureuse de la monoïdalité de l'auto-équivalence à partir de la condition de fermeture du réseau de tenseurs (2.14)
Vérification des diagrammes commutatifs: Les conditions de compatibilité clés (2.16), (2.35), (2.36) ont des dérivations détaillées
Construction d'isomorphismes: Utilisation appropriée d'outils de théorie des catégories avancés (dualité de Morita, isomorphisme du groupe de Brauer-Picard, etc.)
Cas unique: Seule l'analyse détaillée de la symétrie dipolaire ZN (abélienne et relativement simple)
Absence d'exemples non-inversibles: Bien que le cadre soit présenté comme applicable, aucune instance explicite de symétrie modulée non-inversible n'est donnée
Anomalies mixtes: Aucun modèle concret avec [α]=0 non-trivial n'est présenté
Fondations théoriques: Fournit une base mathématique solide pour les symétries modulées, similaire au rôle des catégories de fusion pour les symétries uniformes
Perspective unifiée: Intègre les symétries multipolaires, exponentielles et de sous-système dans un cadre unique
Pont non-inversible: Relie la recherche sur les symétries inversibles et non-inversibles
Cet article représente une avancée importante dans la théorie des symétries modulées, établissant un cadre unifié et rigoureux par le langage catégorique. Les points forts majeurs sont l'idée innovante de coder la modulation comme auto-équivalence et la construction du SymTFT modulé par insertion de parois de domaine, ainsi que l'implémentation complète de la symétrie dipolaire ZN. Les principales insuffisances sont le manque d'exemples non-triviaux (particulièrement dans le cas non-inversible) et l'abstraction de l'image physique. Néanmoins, ce travail pose des fondations solides pour la recherche future, particulièrement dans l'ordre topologique fractonnique et les symétries modulées en dimensions supérieures. Les travaux recommandés pour le suivi: (1) construction de modèles plus explicites; (2) développement d'algorithmes numériques; (3) exploration des connexions avec l'expérience.