Weak topological phases in the presence of interactions

Enunciato del Problema
Le fasi topologiche protette da simmetria (SPT) della materia sono tradizionalmente classificate mediante tecniche homotopiche. Per i sistemi di fermioni non interagenti (liberi), la classificazione è ben stabilita tramite i gruppi della K-teoria, celebremente codificata nella "via decupla" (tenfold way) della tavola periodica. Tuttavia, l'introduzione di interazioni a corto raggio generalmente altera tali classificazioni, rendendo insufficiente il framework della K-teoria per i fermioni liberi. Sebbene siano stati sviluppati metodi homotopici per le SPT interagenti utilizzando il framework della teoria quantistica dei campi topologici (TQFT) e dei gruppi di bordismo (specificamente il programma di Freed-Hopkins), tali metodi si sono concentrati ampiamente sulle fasi "forti"—ovvero quelle protette esclusivamente da simmetrie interne senza simmetrie spaziali.

Il problema specifico affrontato in questo articolo è la classificazione delle fasi SPT deboli in presenza di interazioni. Le fasi deboli sono protette da simmetrie di traslazione reticolare e possono spesso essere costruite per sovrapposizione (stacking) di fasi forti di dimensioni inferiori. Gli autori mirano a prevedere matematicamente la stabilità di queste fasi deboli sotto l'effetto di interazioni a corto raggio e a identificare le fasi "abilitate dall'interazione" (intrinsecamente interagenti, che non hanno un analogo nei fermioni liberi) per tutte le dieci classi di simmetria di Altland-Zirnbauer in dimensioni spaziali da 0 a 3.

Metodologia
L'articolo impiega un approccio homotopico, confrontando la classificazione delle fasi libere (tramite K-teoria) con quella delle fasi interagenti (tramite i gruppi di bordismo dualizzati di Anderson per le teorie di campo invertibili). Il framework centrale consiste nell'estendere la mappa "da libero a interagente" di Freed-Hopkins al contesto dei sistemi discreti invarianti per traslazione.

1. Framework Matematici:

   • Fasi Libere: Modellate usando la K-teoria del toro della zona di Brillouin ($T^d$). Per le classi di simmetria reali, ciò comporta la teoria KR o la teoria KO; per le classi complesse, la K-teoria complessa.
   • Fasi Interagenti: Modellate usando il gruppo delle classi di deformazione delle teorie di campo invertibili (IFT) con positività di riflessione. Seguendo Freed e Hopkins, queste sono classificate dall'Anderson dual del gruppo di bordismo $\Omega^{H}_{d+2}(Y)$, dove $H$ è il gruppo di simmetria dello spaziotempo associato alla classe della via decupla e $Y$ è la varietà spaziale.
   • Ansatz per le Fasi Deboli: Gli autori propongono che le fasi deboli interagenti siano classificate dal gruppo di coomologia generalizzata $\mathfrak{G}^{d+2}_{H(s)}(T^d)$, dove $T^d$ è il toro spaziale (cella unitaria). Questo si basa sul "principio di equivalenza cristallina" e sull'ansatz di Freed-Hopkins per le famiglie di teorie di campo.

2. Strumenti Tecnici Chiave:

   • T-Dualità: Gli autori utilizzano le isomorfismi di T-dualità per relazionare la K-teoria del toro di Brillouin (spazio dei momenti) alla K-teoria del toro spaziale. Ciò consente di riconsiderare le fasi deboli libere, tradizionalmente definite sulla zona di Brillouin, in un framework compatibile con il toro spaziale utilizzato per le fasi interagenti.
   • Formula Binomiale per la Cohomologia del Toro: Utilizzano una formula di scomposizione (splitting di James) per la coomologia generalizzata del toro. Questa decompone la coomologia di $T^d$ in una somma diretta delle coomologie di sfere (celle), esprimendo efficacemente le fasi deboli come una combinazione di fasi forti di dimensioni inferiori.
   • Mappa da Libero a Interagente (Free-to-Interacting): L'oggetto centrale di studio è l'omomorfismo $F2I: \text{Libero} \to \text{Interagente}$. Il nucleo (kernel) di questa mappa identifica le fasi libere che diventano triviali quando vengono introdotte le interazioni (fasi instabili), mentre il codominio (cokernel) identifica le fasi abilitate dall'interazione.

3. Strategia Computazionale:
   Combinando la T-dualità con lo splitting binomiale, gli autori derivano che la mappa debole da libero a interagente in dimensione $d$ è una somma diretta delle mappe forti da libero a interagente in dimensioni da 0 a $d$. Nello specifico, $F2I^d_{\text{debole}} \cong \bigoplus_{k=0}^d \binom{d}{k} F2I^{d-k}_{\text{forte}}$. Ciò riduce il problema del calcolo delle classificazioni deboli al calcolo delle note classificazioni forti in dimensioni inferiori.

Contributi Chiave e Risultati
L'articolo fornisce un calcolo matematico completo delle mappe da libero a interagente per le fasi deboli per tutte le dieci classi di simmetria nelle dimensioni spaziali 1, 2 e 3. I risultati sono riassunti in una serie di corollari (3.4 attraverso 3.33) che dettagliano il nucleo (fasi libere instabili) e il codominio (fasi abilitate dall'interazione) per ogni caso.

• Stabilità delle Fasi Deboli: Gli autori confermano che molte fasi deboli rimangono stabili sotto l'effetto delle interazioni. Ad esempio, nella Classe AII (isolanti topologici invarianti per inversione temporale), le fasi deboli fino alla dimensione 3 sono robuste alle interazioni, in linea con le aspettative fisiche.
• Fasi Abilitate dall'Interazione: Lo studio identifica casi specifici di fasi deboli intrinsecamente interagenti.
  • Nella Classe CI (3+1 dimensioni), gli autori prevedono un gruppo $\mathbb{Z}_2^4$ di fasi deboli abilitate dall'interazione. Queste fasi non compaiono nella classificazione libera e sono note come una nuova previsione non precedentemente trovata nella letteratura.
  • Nella Classe A (3+1 dimensioni), la conducibilità Hall (un invariante debole) è mostrata essere stabile, fornendo una derivazione matematica di precedenti risultati fisici.
  • Nella Classe BDI (3+1 dimensioni), gli indici a valore $\mathbb{Z}$ delle fasi deboli libere risultano rimanere non triviali sotto le interazioni, concordando con recenti studi fisici.
• Fasi Instabili: I calcoli identificano fasi libere che diventano triviali aggiungendo interazioni. Ad esempio, nella Classe BDI, le fasi forti a valore $\mathbb{Z}$ in 1D diventano $\mathbb{Z}_8$ nel limite interagente; questa riduzione si propaga alle dimensioni superiori, creando un nucleo nella classificazione debole.

Significato e Rivendicazioni
L'articolo rivendica di fornire un framework matematico rigoroso per comprendere il destino delle fasi topologiche deboli sotto l'effetto delle interazioni. La sua importanza risiede in:

1. Unificazione: Unifica la classificazione delle fasi libere e interagenti per le SPT deboli estendendo il formalismo di Freed-Hopkins per includere la simmetria di traslazione spaziale tramite T-dualità e coomologia del toro.
2. Potere Predittivo: Offre precise previsioni matematiche riguardanti la stabilità delle fasi deboli e l'esistenza di fasi abilitate dall'interazione, che possono guidare future investigazioni teoriche e sperimentali.
3. Validazione: I risultati corroborano la letteratura fisica esistente (ad esempio, per la Classe AII e BDI) offrendo al contempo nuove previsioni (ad esempio, per la Classe CI) che non sono ancora state esplorate nella letteratura fisica.
4. Avanzamento Metodologico: Dimostra che il complesso problema delle fasi deboli interagenti può essere ridotto al calcolo delle fasi forti di dimensioni inferiori, sfruttando la struttura binomiale della coomologia del toro.

Gli autori dichiarano esplicitamente che il loro lavoro è un'introduzione alle mappe da libero a interagente per le fasi deboli e un calcolo completo per la via decupla, notando che il lavoro in corso affronterà simmetrie cristalline più generali. Non propongono protocolli sperimentali specifici, ma forniscono la classificazione teorica necessaria per interpretare potenziali osservazioni sperimentali di fasi deboli in sistemi interagenti.