Real Twistings are 2-Line Bundles

Sintesi Tecnica: Le torsioni reali sono bundle di 2-linee

Enunciato del Problema
La K-teoria torciata è stata oggetto di significativo interesse per le sue applicazioni nella teoria delle stringhe e nella classificazione delle fasi topologiche della materia. Sebbene le teorie di coomologia torciata possano essere approcciate tramite la teoria dell'omotopia o le algebre operatori, i modelli fisici richiedono spesso realizzazioni geometrico-differenziali. Una sfida primaria consiste nell'unificare i vari modelli geometrici per le "torsioni" (i dati che torcono la K-teoria) in diversi contesti: varietà ordinarie, lie groupoid (che codificano l'equivarianza/orbifold) e graded lie groupoid (che codificano le simmetrie di tipo "orientifold" dove i morfismi possono agire anti-linearmente).

La letteratura esistente offre modelli disparati per queste torsioni, tra cui:

• Bundle di super algebre semplici centrali (Donovan–Karoubi).
• Bundle gerbe (Murray, Stevenson).
• Gerbe equivarianti e di Jandl (Gawędzki–Reis, Meinrenken, Gomi).
• Torsioni FHT (Freed–Hopkins–Teleman) tramite estensioni centrali di groupoid.
• Estensioni di gruppi di Freed–Moore.
• Torsioni reali di Moutuou e torsioni di orientifold di Distler–Freed–Moore.

Questi modelli affrontano spesso casi specifici (ad esempio, torsione vs non torsione, reale vs complessa, equivariante vs non equivariante) senza un singolo quadro geometrico-differenziale coerente che li comprenda tutti, in particolare nel contesto graduato richiesto per gli orientifold.

Metodologia
Gli autori costruiscono un quadro unificato basato sui bundle di super 2-linee. Questo approccio procede in tre fasi principali:

1. Fondamenta sulle Varietà: Il documento richiama la definizione di bundle di super 2-linee su una varietà liscia $X$ come una bicategoria $s2\text{LBdl}(X)$. Questi sono bundle di linee categorificati consistenti in un sottosuperficie di sottomersioni surjective $\pi: Y \to X$, un bundle di super algebre semplici centrali $A$ su $Y$, un bundle di bimoduli invertibili $M$ e un intertwiner associativo $\mu$. Questa struttura unifica i bundle di super algebre semplici centrali e le super bundle gerbe. Gli autori utilizzano la "costruzione plus" (sheafification di presheaf di bicategorie) per definire questi oggetti, assicurando che soddisfino una legge di incollaggio (formando uno 2-stack).

2. Estensione ai Graded Lie Groupoid: L'innovazione metodologica centrale è l'estensione di questo quadro ai graded lie groupoid $(\Gamma, \phi)$. Un graded lie groupoid è un lie groupoid $\Gamma$ dotato di un funtore liscio $\phi: \Gamma \to B\mathbb{Z}_2$, che assegna un grado $\mathbb{Z}_2$ (lineare o anti-lineare) a ogni morfismo.

   • Gli autori definiscono un bundle di super 2-linee su $(\Gamma, \phi)$ come una tripla $(L, P, \psi)$, dove $L$ è un bundle di super 2-linee sul manifold degli oggetti $\Gamma_0$, $P$ è un 1-isomorfismo che relaziona i pullback sorgente e target di $L$ (torciato dalla graduazione $\phi$), e $\psi$ è un 2-isomorfismo che assicura l'associatività su $\Gamma_2$.
   • Questa definizione incorpora la coniugazione complessa come un funtore sulla bicategoria, attivato dalla graduazione $\phi = -1$.
   • La struttura risultante, denotata $s2\text{LBdl}(\Gamma, \phi)$, è una bicategoria che è invariante rispetto alle equivalenze deboli di graded lie groupoid (invarianza di Morita).

3. Classificazione Cohomologica: Gli autori stabiliscono un teorema di classificazione mostrando che le classi di isomorfismo di questi oggetti corrispondono ai gruppi di coomologia di Čech:
   $$\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)$$
   Qui, la coomologia per i groupoid graduati è definita con un differenziale modificato che tiene conto della graduazione $\phi$ (specificamente, l'azione di $\mathbb{Z}_2$ sul sheaf dei coefficienti $\mathbb{C}^\times$ tramite coniugazione complessa).

Contributi Chiave e Risultati
Il documento dimostra che la bicategoria $s2\text{LBdl}(\Gamma, \phi)$ funge da contenitore universale per le varie torsioni presenti in letteratura. Attraverso un lavoro di confronto dettagliato nella Sezione 5, gli autori provano equivalenze o embedding per i seguenti modelli specifici:

• Gerbe Equivarianti e di Jandl: Gli autori mostrano che le gerbe di Jandl equivarianti (su gruppi di orientifold) sono equivalenti a bundle gerbe sul relativo graded action groupoid, e quindi si imbedono nei bundle di super 2-linee.
• Estensioni di Freed–Moore: Le estensioni di groupoid $\phi$-torciate di Freed–Moore sono identificate come la sub-bicategoria di super 2-linee dove il bundle sottostante $L$ è banale. I vector bundle torciati definiti da Freed–Moore sono mostrati coincidere con la definizione degli autori di super vector bundle torciati (morfismi verso l'oggetto banale).
• Torsioni FHT (Freed–Hopkins–Teleman): Il documento costruisce un'equivalenza tra le torsioni FHT (definite tramite super estensioni centrali e equivalenze deboli) e la categoria 1-omotopica di super bundle gerbe su $\Gamma$. Questo colma il divario tra la definizione "span" di FHT e la definizione "stackification" di 2-line bundles.
• Torsioni Reali di Moutuou: Le torsioni reali su real groupoid (lie groupoid con un'involuzione) sono mappate in super 2-line bundles su un associato graded lie groupoid costruito tramite un prodotto semi-diretto con $\mathbb{Z}_2$.
• Torsioni di Freed e Distler–Freed–Moore: I bundle di algebre invertibili torciate e le torsioni di orientifold che coinvolgono funzioni di graduazione $\mathbb{Z}$-valutate sono mostrati corrispondere a super 2-line bundles su $\phi$-induced double covers, che sono poi equivalenti a bundle su un base graded groupoid.

Significatività e Rivendicazioni
Il documento afferma di fornire un singolo, coerente quadro geometrico-differenziale per le torsioni della K-teoria (reale) su graded lie groupoid. La sua principale significatività risiede in:

1. Unificazione: Esso sussume una vasta gamma di modelli precedentemente distinti (bundle gerbe, algebra bundles, varie varianti equivarianti e reali) in un'unica struttura bicategorica.
2. Chiarezza Geometrica: Trattando questi oggetti come sheaf di bicategorie, il quadro chiarisce la geometria sottostante e le condizioni di coerenza (leggi di incollaggio) che precedentemente venivano gestite tramite definizioni disparate.
3. Generalità: Estende la teoria dalle varietà ordinarie alla piena generalità dei graded lie groupoid, accomodando naturalmente le simmetrie di tipo "orientifold" dove i morfismi agiscono anti-linearmente.

Gli autori dichiarano esplicitamente di non considerare strutture aggiuntive come metriche hermitiane o connessioni in questo lavoro, né di approfondire i gruppi di K-teoria torciata risultanti, concentrandosi invece sulla classificazione delle torsioni. Essi vedono questa unificazione come un passo fondante per i ricercatori nella K-teoria torciata, nella geometria superiore e nelle loro applicazioni fisiche.