Weak topological phases in the presence of interactions

Énoncé du Problème
Les phases topologiques protégées par la symétrie (SPT) de la matière sont traditionnellement classifiées à l'aide de techniques homotopiques. Pour les systèmes de fermions non-interagissants (libres), la classification est bien établie via les groupes de la K-théorie, codifiée de manière célèbre dans le tableau périodique des « dix voies » (tenfold way). Cependant, l'introduction d'interactions à courte portée modifie généralement ces classifications, rendant le cadre de la K-théorie des fermions libres insuffisant. Bien que des méthodes homotopiques pour les SPT interagissantes aient été développées en utilisant le cadre de la théorie quantique des champs topologiques (TQFT) et des groupes de bordisme (spécifiquement le programme de Freed-Hopkins), ces méthodes se sont largement concentrées sur les phases « fortes » — celles protégées uniquement par des symétries internes sans symétries spatiales.

Le problème spécifique abordé dans cet article est la classification des phases SPT faibles en présence d'interactions. Les phases faibles sont protégées par des symétries de translation de réseau et peuvent souvent être construites en empilant des phases fortes de dimensions inférieures. Les auteurs visent à prédire mathématiquement la stabilité de ces phases faibles sous l'effet d'interactions à courte portée et à identifier des phases « induites par l'interaction » (phases intrinsèquement interagissantes qui n'ont pas d'analogue de fermion libre) pour les dix classes de symétrie d'Altland-Zirnbauer dans les dimensions spatiales de 0 à 3.

Méthodologie
L'article emploie une approche homotopique, comparant la classification des phases libres (via la K-théorie) avec les phases interagissantes (via les groupes de bordisme dualisés par Anderson des théories de champs inversibles). La méthodologie centrale consiste à étendre la carte « de l'état libre à l'état interactif » de Freed-Hopkins au contexte des systèmes discrets invariants par translation.

1. Cadres Mathématiques :

   • Phases Libres : Modélisées par la K-théorie du tore de la zone de Brillouin ($T^d$). Pour les classes de symétrie réelles, cela implique la théorie KR ou KO ; pour les classes complexes, la K-théorie complexe.
   • Phases Interagissantes : Modélisées par le groupe des classes de déformation des théories de champs inversibles (IFT) possédant une positivité de réflexion, suivant Freed et Hopkins, celles-ci sont classifiées par le dual d'Anderson du groupe de bordisme $\Omega^{H}_{d+2}(Y)$, où $H$ est le groupe de symétrie de l'espace-temps associé à la classe de la voie décuple et $Y$ est la variété spatiale.
   • Analyse des Phases Faibles : Les auteurs proposent que les phases faibles interagissantes soient classifiées par le groupe de cohomologie généralisé $\mathfrak{G}^{d+2}_{H(s)}(T^d)$, où $T^d$ est le tore spatial (cellule unité). Cela s'appuie sur le « principe d'équivalence cristalline » et l'hypothèse de Freed-Hopkins pour les familles de théories de champs.

2. Outils Techniques Clés :

   • Dualité T : Les auteurs utilisent les isomorphismes de dualité T pour relier la K-théorie du tore de Brillouin (espace des moments) à la K-théorie du tore spatial. Cela leur permet de reformuler les phases faibles libres, traditionnellement définies sur la zone de Brillouin, dans un cadre compatible avec le tore spatial utilisé pour les phases interagissantes.
   • Formule Binomiale pour la Cohomologie du Tore : Ils emploient une formule de décomposition (splitting de James) pour la cohomologie généralisée du tore. Celle-ci décompose la cohomologie de $T^d$ en une somme directe des cohomologies de sphères (cellules), exprimant ainsi efficacement les phases faibles comme une combinaison de phases fortes de dimensions inférieures.
   • Carte de l'État Libre à l'État Interactif (Free-to-Interacting Map) : L'objet central d'étude est l'homomorphisme $F2I: \text{Libre} \to \text{Interactif}$. Le noyau de cette carte identifie les phases libres qui deviennent triviales lorsque les interactions sont activées (phases instables), tandis que le cokernel identifie les phases induites par l'interaction.

3. Stratégie de Calcul :
   En combinant la dualité T avec la décomposition binomiale, les auteurs démontrent que la carte de l'état libre à l'état interactif faible en dimension $d$ est une somme directe des cartes fortes de l'état libre à l'état interactif des dimensions $0$à$d$. Spécifiquement, $F2I^d_{\text{faible}} \cong \bigoplus_{k=0}^d \binom{d}{k} F2I^{d-k}_{\text{fort}}$. Cela réduit le problème du calcul des classifications faibles au calcul des classifications fortes connues dans les dimensions inférieures.

Contributions Principales et Résultats
L'article fournit un calcul mathématique complet des cartes de l'état libre à l'état interactif pour les phases faibles de toutes les dix classes de symétrie dans les dimensions spatiales 1, 2 et 3. Les résultats sont résumés dans une série de corollaires (3.4 à 3.33) détaillant le noyau (phases libres instables) et le cokernel (phases induites par l'interaction) pour chaque cas.

• Stabilité des Phases Faibles : Les auteurs confirment que de nombreuses phases faibles restent stables sous l'effet des interactions. Par exemple, dans la Classe AII (isolants topologiques invariants par renversement du temps), les phases faibles dans les dimensions allant jusqu'à 3 sont robustes aux interactions, ce qui est cohérent avec les attentes physiques.
• Phases Induites par l'Interaction : L'étude identifie des cas spécifiques de phases faibles intrinsèquement interagissantes.
  • Dans la Classe CI (3+1 dimensions), les auteurs prédisent un groupe $\mathbb{Z}_2^4$ de phases faibles induites par l'interaction. Ces phases n'apparaissent pas dans la classification libre et sont notées comme une nouvelle prédiction non trouvée auparavant dans la littérature.
  • Dans la Classe A (3+1 dimensions), la conductivité Hall (un invariant faible) est montrée comme étant stable, fournissant une dérivation mathématique de résultats physiques antérieurs.
  • Dans la Classe BDI (3+1 dimensions), les trois indices à valeurs $\mathbb{Z}$ des phases faibles libres restent non triviaux sous les interactions, ce qui concorde avec des études physiques récentes.
• Phases Instables : Les calculs identifient des phases libres qui deviennent triviales lors de l'ajout d'interactions. Par exemple, dans la Classe BDI, les phases fortes à valeurs $\mathbb{Z}$ en 1D deviennent $\mathbb{Z}_8$ dans la limite interactive ; cette réduction se propage aux dimensions supérieures, créant un noyau dans la classification faible.

Signification et Revendications
L'article affirme fournir un cadre mathématique rigoureux pour comprendre le devenir des phases topologiques faibles sous l'effet des interactions. Sa signification réside dans :

1. Unification : Il unifie la classification des phases libres et interagissantes pour les SPT faibles en étendant le formalisme de Freed-Hopkins pour inclure la symétrie de translation spatiale via la dualité T et la cohomologie du tore.
2. Pouvoir Prédictif : Il offre des prédictions mathématiques précises concernant la stabilité des phases faibles et l'existence de phases induites par l'interaction, ce qui peut guider les futures investigations théoriques et expérimentales.
3. Validation : Les résultats corroborent la littérature physique existante (par exemple, pour les Classes AII et BDI) tout en offrant de nouvelles prédictions (par exemple, pour la Classe CI) qui n'ont pas encore été explorées dans la littérature physique.
4. Avancement Méthodologique : Il démontre que le problème complexe des phases faibles interagissantes peut être réduit au calcul des phases fortes de dimensions inférieures, en exploitant la structure binomiale de la cohomologie du tore.

Les auteurs déclarent explicitement que leur travail est une introduction aux cartes de l'état libre à l'état interactif pour les phases faibles et un calcul complet pour la voie décuple, notant que des travaux en cours traiteront de symétries cristallines plus générales. Ils ne proposent pas de protocoles expérimentaux spécifiques mais fournînent la classification théorique nécessaire pour interpréter les observations expérimentales potentielles des phases faibles dans les systèmes interagissants.