Weak topological phases in the presence of interactions

Probleemstelling
Symmetrie-beschermde topologische (SPT) fasen van materie worden traditioneel geclassificeerd met behulp van homotopische technieken. Voor niet-interagerende (vrije) fermionische systemen is deze classificatie goed gevestigd via K-theorie groepen, beroemd gecodificeerd in de "tenfold way" periodieke tabel. Echter, de introductie van kort bereikende interacties verandert over het algemeen deze classificaties, waardoor het K-theorie kader voor vrije fermionen onvoldoende wordt. Hoewel homotopische methoden voor interagerende SPT's zijn ontwikkeld met behulp van het kader van topologische kwantumveldentheorie (TQFT) en bordisme-groepen (specifiek het Freed-Hopkins programma), hebben deze methoden zich grotendeels gericht op "sterke" fasen—die uitsluitend worden beschermd door interne symmetrieën zonder ruimtelijke symmetrieën.

Het specifieke probleem dat in dit artikel wordt behandeld, is de classificatie van zwakke SPT-fasen in aanwezigheid van interacties. Zwakke fasen worden beschermd door rooster-translatiesymmetrieën en kunnen vaak worden geconstrueerd door het stapelen van lager-dimensionale sterke fasen. De auteurs beogen wiskundig de stabiliteit van deze zwakke fasen onder kort bereikende interacties te voorspellen en "interactie-geactiveerde" fasen te identificeren (intrinsiek interagerende fasen die geen vrije-fermion analoog hebben) voor alle tien de Altland-Zirnbauer symmetrie-klassen in ruimtelijke dimensies 0 tot en met 3.

Methodologie
Het artikel hanteert een homotopische benadering, waarbij de classificatie van vrije fasen (via K-theorie) wordt vergeleken met de classificatie van interagerende fasen (via de Anderson-duale bordisme-groepen van inverteerbare veldentheorieën). De kernmethodologie behelst het uitbreiden van de Freed-Hopkins "vrije-naar-interagerende kaart" naar de context van discrete translatie-invariante systemen.

1. Wiskundige Kaders:

   • Vrije Fasen: Gemodelleerd met behulp van de K-theorie van de Brillouin-zone torus ($T^d$). Voor reële symmetrie-klassen betreft dit KR-theorie of KO-theorie; voor complexe klassen, complexe K-theorie.
   • Interagerende Fasen: Gemodelleerd door de groep van deformatie-klassen van reflectie-positieve inverteerbare veldentheorieën (IFT's). Volgens Freed en Hopkins worden deze geclassificeerd door de Anderson-duaal van de bordisme-groep $\Omega^{H}_{d+2}(Y)$, waarbij $H$ de ruimtetijd-symmetriegroep is geassocieerd met de tenfold way-klasse en $Y$ de ruimtelijke variëteit is.
   • Wekke Fasen-ansatz: De auteurs stellen voor dat zwakke interagerende fasen worden geclassificeerd door de gegeneraliseerde cohomologie-groep $\mathfrak{G}^{d+2}_{H(s)}(T^d)$, waarbij $T^d$ de ruimtelijke (eenheidscel) torus is. Dit bouwt voort op het "kristallijne equivalentieprincipe" en de Freed-Hopkins ansatz voor families van veldentheorieën.

2. Belangrijke Technische Instrumenten:

   • T-Dualiteit: De auteurs maken gebruik van T-dualiteit isomorfismen om de K-theorie van de Brillouin-torus (momentumruimte) te relateren aan de K-theorie van de ruimtelijke torus. Dit stelt hen in staat om vrije zwakke fasen, die traditioneel over de Brillouin-zone gedefinieerd zijn, te herformuleren in een kader dat compatibel is met de ruimtelijke torus die gebruikt wordt voor interagerende fasen.
   • Binomiaal Formule voor Torus-cohomologie: Zij maken gebruik van een splitsingsformule (James splitting) voor de gegeneraliseerde cohomologie van een torus. Deze deelt de cohomologie van $T^d$ op in een directe som van de cohomologieën van sferen (cellen), wat effectief zwakke fasen uitdrukt als een combinatie van sterkere fasen uit lagere dimensies.
   • Vrije-naar-Interagerende Kaart: Het centrale object van studie is de homomorfisme $F2I: \text{Free} \to \text{Interacting}$. De kern van deze kaart identificeert vrije fasen die triviaal worden wanneer interacties worden toegevoegd (instabiele fasen), terwijl de cokernel de interactie-geactiveerde fasen identificeert.

3. Computationele Strategie:
   Door T-dualiteit te combineren met de binomiale splitsing, leiden de auteurs af dat de zwakke vrije-naar-interagerende kaart in dimensie $d$ een directe som is van de sterke vrije-naar-interagerende kaarten in dimensies 0 tot en met $d$. In het bijzonder geldt $F2I^d_{\text{weak}} \cong \bigoplus_{k=0}^d \binom{d}{k} F2I^{d-k}_{\text{strong}}$. Dit reduceert het probleem van het berekenen van zwakke classificaties tot het berekenen van de bekende sterke classificaties in lagere dimensies.

Belangrijkste Bijdragen en Resultaten
Het artikel biedt een volledige wiskundige berekening van de zwakke vrije-naar-interagerende kaarten voor alle tien de symmetrie-klassen in ruimtelijke dimensies 1, 2 en 3. De resultaten worden samengevat in een reeks corollaria (3.4 tot en met 3.33) die de kern (instabiele vrije fasen) en de cokernel (interactie-geactiveerde fasen) voor elk geval uiteenzetten.

• Stabiliteit van Zwakke Fasen: De auteurs bevestigen dat veel zwakke fasen stabiel blijven onder interacties. Bijvoorbeeld, in Klasse AII (tijdreversie-invariante topologische isolatoren), zijn de zwakke fasen in dimensies tot en met 3 robuust tegen interacties, wat consistent is met fysieke verwachtingen.
• Interactie-geactiveerde Fasen: De studie identificeert specifieke gevallen van intrinsiek interagerende zwakke fasen.
  • In Klasse CI (3+1 dimensies), voorspellen de auteurs een $\mathbb{Z}_2^4$ groep van interactie-geactiveerde zwakke fasen. Deze fasen verschijnen niet in de vrije classificatie en worden genoteerd als een nieuwe voorspelling die niet eerder in de literatuur is gevonden.
  • In Klasse A (3+1 dimensies), wordt aangetoond dat de Hall-conductiviteit (een zwak invariant) stabiel is, wat een wiskundige afleiding vormt van eerdere fysieke resultaten.
  • In Klasse BDI (3+1 dimensies), wordt gevonden dat de drie $\mathbb{Z}$-waardige indices van vrije zwakke fasen niet-triviaal blijven onder interacties, wat overeenkomt met recente fysieke studies.
• Instabiele Fasen: De berekeningen identificeren vrije fasen die triviaal worden bij het toevoegen van interacties. Bijvoorbeeld, in Klasse BDI worden de $\mathbb{Z}$-waardige sterke fasen in 1D $\mathbb{Z}_8$ in het interagerende limiet; deze reductie plant zich voort naar hogere dimensies, wat een kern creëert in de zwakke classificatie.

Betekenis en Claims
Het artikel claimt een rigoureus wiskundig kader te bieden voor het begrijpen van het lot van zwakke topologische fasen onder interacties. De betekenis ligt in:

1. Unificatie: Het verenigt de classificatie van vrije en interagerende fasen voor zwakke SPT's door de Freed-Hopkins formalisme uit te breiden met behulp van T-dualiteit en torus-cohomologie om ruimtelijke translatiesymmetrie te bevatten.
2. Voorspellende Kracht: Het biedt precieze wiskundige voorspellingen met betrekking tot de stabiliteit van zwakke fasen en het bestaan van interactie-geactiveerde fasen, die toekomstig theoretisch en experimenteel onderzoek kunnen sturen.
3. Validatie: De resultaten bevestigen bestaande fysieke literatuur (bijv. voor Klasse AII en BDI) terwijl ze nieuwe voorspellingen doen (bijv. voor Klasse CI) die nog niet in de fysica-literatuur zijn verkend.
4. Methodologische Vooruitgang: Het demonstreert dat het complexe probleem van interagerende zwakke fasen kan worden gereduceerd tot de berekening van lager-dimensionale sterke fasen, waarbij gebruik wordt gemaakt van de binomiale structuur van de torus-cohomologie.

De auteurs verklaren expliciet dat hun werk een introductie is tot vrije-naar-interagerende kaarten voor zwakke fasen en een volledige berekening voor de tenfold way, waarbij zij opmerken dat lopend werk zich zal richten op meer algemene kristallijne symmetrieën. Zij stellen geen specifieke experimentele protocollen voor, maar bieden de theoretische classificatie die nodig is om potentiële experimentele observaties van zwakke fasen in interagerende systemen te interpreteren.