Real Twistings are 2-Line Bundles

Technische Samenvatting: Echte Twistings zijn 2-Lijn Bundels

Probleemstelling
Twisted K-theorie is een onderwerp van groot belang vanwege de toepassingen in de theoretische fysica, met name in de snaartheorie en de classificatie van topologische fasen van materie. Hoewel getwiste cohomologie-theorieën via homotopietheorie of operatoralgebra's kunnen worden benaderd, vereisen fysische modellen vaak differentiaalgeometrische realisaties. Een primaire uitdaging ligt in het verenigen van de diverse geometrische modellen voor "twistings" (de data die de K-theorie twisten) in verschillende contexten: gewone variëteiten, Lie-groupoids (die equivariantie/orbifolds coderen), en gegradeerde Lie-groupoids (die "orientifold" symmetrieën coderen waarbij morfismen mogelijk anti-lineair werken).

Bestaande literatuur biedt uiteenlopende modellen voor deze twistings, waaronder:

• Central simple super algebra bundels (Donovan–Karoubi).
• Bundle gerbes (Murray, Stevenson).
• Equivariante en Jandl gerbes (Gawędzki–Reis, Meinrenken, Gomi).
• Freed–Hopkins–Teleman (FHT) twistings via centrale extensies van groupoids.
• Freed–Moore's getwiste groupoid extensies.
• Moutuou's real twistings en Distler–Freed–Moore's orientifold twistings.

Deze modellen adressen vaak specifieke gevallen (bijv. torsie versus niet-torsie, reëel versus complex, equivariant versus niet-equivariant) zonder een enkel, coherent differentiaalgeometrisch kader dat hen allemaal omvat, in het bijzonder in de gegradeerde setting die vereist is voor orientifolds.

Methodologie
De auteurs construeren een verenigd kader gebaseerd op super 2-lijn bundels. Deze aanpak verloopt in drie hoofdfasen:

1. Fundamenten op Variëteiten: Het artikel herinnert de definitie van super 2-lijn bundels over een gladde variëteit $X$ als een bicategorie $s2\text{LBdl}(X)$. Dit zijn gecategoriseerde lijnbundels bestaande uit een surjectieve submersie $\pi: Y \to X$, een central simple super algebra bundel $A$ over $Y$, een inversibele bimodule bundel $M$, en een associatieve intertwiner $\mu$. Deze structuur verenigt central simple super algebra bundels en super bundle gerbes. De auteurs maken gebruik van de "plus-constructie" (sheafificatie van presheaves van bicategorieën) om deze objecten te definiëren, wat ervoor zorgt dat ze voldoen aan een lijmwet (het vormen van een 2-stack).

2. Uitbreiding naar Gegradeerde Lie-groupoids: De kern van de methodologische innovatie is de uitbreiding van dit kader naar gegradeerde Lie-groupoids $(\Gamma, \phi)$. Een gegradeerde Lie-groupoid is een Lie-groupoid $\Gamma$ uitgerust met een gladde functor $\phi: \Gamma \to B\mathbb{Z}_2$, die een $\mathbb{Z}_2$-graad (lineair of anti-lineair) toekent aan elke morfisme.

   • De auteurs definiëren een super 2-lijn bundel over $(\Gamma, \phi)$ als een tripel $(L, P, \psi)$, waarbij $L$ een super 2-lijn bundel is over de object-variëteit $\Gamma_0$, $P$ een 1-isomorfie is die de source en target pullbacks van $L$ relateert (getwist door de gradatie $\phi$), en $\psi$ een 2-isomorfie is die associativiteit over $\Gamma_2$ waarborgt.
   • Deze definitie incorporeert complexe conjugatie als een functor op de bicategorie, geactiveerd door de gradatie $\phi = -1$.
   • De resulterende structuur, aangeduid als $s2\text{LBdl}(\Gamma, \phi)$, is een bicategorie die invariant is onder zwakke equivalenties van gegradeerde Lie-groupoids (Morita-invariantie).

3. Cohomologische Classificatie: De auteurs vestigen een classificatiestelling die aantoont dat isomorfieklassen van deze objecten overeenkomen met de Čech-cohomologiegroepen:
   $$\check{H}^0((\Gamma, \phi), \mathbb{Z}_2) \times \check{H}^1((\Gamma, \phi), \mathbb{Z}_2) \times \check{H}^2((\Gamma, \phi), \mathbb{C}^\times)$$
   Hierbij is de cohomologie voor gegradeerde groupoids gedefinieerd met een gemodificeerde differentiaal die rekening houdt met de gradatie $\phi$ (specifiek de actie van $\mathbb{Z}_2$ op de coëfficiënt sheaf $\mathbb{C}^\times$ via complexe conjugatie).

Belangrijkste Bijdragen en Resultaten
Het artikel demonstreert dat de bicategorie $s2\text{LBdl}(\Gamma, \phi)$ dient als een universele container voor de diverse twistings die in de literatuur worden gevonden. Door middel van gedetailleerd vergelijkend werk in Sectie 5, bewijzen de auteurs equivalenties of embeddings voor de volgende specifieke modellen:

• Equivariante en Jandl Gerbes: De auteurs tonen aan dat equivariante Jandl gerbes (over orientifold groepen) equivalent zijn aan bundle gerbes over de geassocieerde gegradeerde actie-groupoid, en daarmee embedden in super 2-lijn bundels.
• Freed–Moore Extensies: De $\phi$-getwiste groupoid extensies van Freed–Moore worden geïdentificeerd als de sub-bicategorie van super 2-lijn bundels waarbij de onderliggende bundel $L$ triviaal is. De getwiste vectorbundels gedefinieerd door Freed–Moore blijken samen te vallen met de definitie van de auteurs voor getwiste super vectorbundels (morfismen naar het triviale object).
• Freed–Hopkins–Teleman (FHT) Twistings: Het artikel construeert een equivalentie tussen FHT twistings (gedefinieerd via centrale super extensies en zwakke equivalenties) en de homotopie 1-categorie van super bundle gerbes over $\Gamma$. Dit overbrugt de kloof tussen de "span"-definitie van FHT en de "stackification"-definitie van 2-lijn bundels.
• Moutou's Real Twistings: Real twistings over real groupoids (Lie-groupoids met een involutie) worden in kaart gebracht naar super 2-lijn bundels over de geassocieerde gegradeerde Lie-groupoid die geconstrueerd is via een semi-direct product met $\mathbb{Z}_2$.
• Freed's en Distler–Freed–Moore Twistings: Getwiste inversibele algebra bundels en orientifold twistings die betrokken zijn bij $\mathbb{Z}$-gewaardeerde gradatiefuncties, worden getoond als overeenkomend met super 2-lijn bundels over $\phi$-geïnduceerde dubbele dekkingen, die vervolgens equivalent zijn aan bundels over de basis gegradeerde groupoid.

Betekenis en Claims
Het artikel claimt een enkele, coherente differentiaalgeometrische framework te bieden voor twistings van (reële) K-theorie over gegradeerde Lie-groupoids. De primaire betekenis ligt in:

1. Unificatie: Het omvat een breed scala aan voorheen onderscheidende modellen (bundle gerbes, algebra bundels, diverse equivariante en reële varianten) in één bicategorische structuur.
2. Geometrische Helderheid: Door deze objecten te behandelen als sheaves van bicategorieën, verheldert het kader de onderliggende geometrie en consistentievoorwaarden (lijmwetten) die voorheen via uiteenlopende definities werden gehanteerd.
3. Generaliteit: Het breidt de theorie uit van gewone variëteiten naar de volledige algemeenheid van gegradeerde Lie-groupoids, wat natuurlijkerwijs "orientifold" symmetrieën accommodeert waarbij morfismen anti-lineair werken.

De auteurs stellen expliciet dat zij in dit werk geen aanvullende structuren zoals hermitische metrieken of connecties overwegen, noch diep ingaan op de resulterende getwiste K-theorie groepen zelf, maar zich concentreren op de classificatie van de twistings. Zij beschouwen deze unificatie als een fundamentele stap voor onderzoekers in getwiste K-theorie, hogere geometrie en hun fysische toepassingen.