Generalized K-theoretic invariants and wall-crossing via non-abelian localization

1. Il Problema e il Contesto

La geometria enumerativa moderna si occupa di calcolare invarianti associati agli spazi di moduli di oggetti in categorie abeliane (come fasci su varietà proiettive, rappresentazioni di quiver o oggetti in "cuori" non standard di categorie derivate $D^b(X)$). Un problema fondamentale è comprendere come questi invarianti cambino al variare della condizione di stabilità $\mu$ (fenomeno noto come wall-crossing).

Esistono tre principali contesti per tali invarianti:

1. Motivici: Ben sviluppati (Joyce, Kontsevich-Soibelman), dove gli invarianti sono definiti direttamente sugli stack di oggetti semistabili.
2. Cohomologici: Sviluppati da Joyce, dove la presenza di oggetti strictly semistable (semistabili ma non stabili) complica la definizione degli invarianti. Joyce risolve questo problema introducendo un "functore di incorniciamento" (framing functor) per costruire spazi di moduli di coppie privi di oggetti semistabili.
3. K-teorici: Una versione più recente proposta da Liu, che estende l'approccio coomologico alla K-teoria. Tuttavia, anche qui, la definizione degli invarianti generalizzati dipende dall'esistenza di un framing functor.

Il limite attuale: Per molte condizioni di stabilità di interesse (ad esempio, la stabilità di Bridgeland su varietà di Fano o superfici), non è noto se esistano framing functor naturali. Di conseguenza, le formule di wall-crossing per questi casi rimangono congetturali nell'approccio di Joyce-Liu.

2. Metodologia e Approccio Innovativo

Gli autori sviluppano un approccio completamente nuovo che non richiede l'esistenza di un framing functor. Il loro metodo è più vicino allo spirito dell'approccio motivico, estraendo gli invarianti direttamente dagli stack di oggetti semistabili, ma utilizzando strumenti avanzati di K-teoria e localizzazione non abeliana.

I pilastri metodologici sono:

• Algebra K-Hall: Gli autori definiscono una nuova struttura di algebra associativa sulla K-omologia dello stack rigidificato degli oggetti $\mathcal{M}^{rig}$. Questa algebra, chiamata K-Hall algebra ($K(A)$), è l'analogo K-teorico dell'algebra di Hall motivica o del toro quantico.
  • Il prodotto è definito tramite una formula di push-pull che coinvolge la classe di un complesso quasi-coerente $\Gamma^-$ (legato al fibrato normale virtuale della mappa di somma diretta).
• Invarianze $\delta$ ed $\epsilon$:
  • Definiscono prima le classi $\delta$-invarianti ($\delta^\mu_\alpha$) direttamente dallo stack di oggetti semistabili $\mathcal{M}^\mu_\alpha$.
  • Utilizzando la struttura algebrica della K-Hall algebra, definiscono le $\epsilon$-invarianti ($\epsilon^\mu_\alpha$) prendendo il "logaritmo formale" delle $\delta$-invarianti. Questo passaggio è cruciale per eliminare le singolarità (poli) che appaiono quando si hanno oggetti semistabili.
• Teorema di Localizzazione Non Abeliana Virtuale: La prova delle formule di wall-crossing si basa sul teorema di Halpern-Leistner. Questo teorema permette di esprimere l'indice di Euler (o la caratteristica di Eulero virtuale) di un fascio perfetto su uno stack in termini dei centri delle strati di una stratificazione $\Theta$ (generalizzazione delle stratificazioni Harder-Narasimhan).
• Assunzioni Tecniche: Il lavoro richiede che lo stack degli oggetti sia di tipo finito, quasi-smooth e ammetta un "buon spazio di moduli" (good moduli space) proprio. Queste condizioni sono verificate per molte categorie di interesse, inclusi i cuori di strutture t su $D^b(X)$.

3. Risultati Chiave

A. Definizione degli Invarianti Generalizzati

Gli autori definiscono gli invarianti $\epsilon^\mu_\alpha$ in $K(A)$ senza fare riferimento a spazi di coppie o framing functor. Questo estende la definizione di invarianze K-teoriche a contesti dove prima non erano definiti, come le condizioni di stabilità di Bridgeland su varietà di Fano 3-dimensionali o superfici con anticanonico nef.

B. Formule di Wall-Crossing

Dimostrano che le $\delta$ e $\epsilon$ invarianze soddisfano formule di wall-crossing generali.

• Formula Dominante: Se una condizione di stabilità $\mu_0$ domina un'altra $\mu$ (tipicamente quando $\mu_0$ è su un muro e $\mu$ in una camera adiacente), esiste una relazione esplicita tra le invarianze:
  $$\delta^{\mu_0}_\alpha = \sum \delta^\mu_{\alpha_1} * \dots * \delta^\mu_{\alpha_n}$$
  dove la somma è sulle decomposizioni di $\alpha$ compatibili con la stratificazione.
• Formula Generale: Per condizioni di stabilità collegate da un percorso continuo che attraversa un numero finito di muri, le formule per le $\epsilon$-invarianze possono essere scritte interamente in termini di commutatori nell'algebra di K-Hall:
  $$\epsilon^{\mu_1}_\alpha = \sum \tilde{U}(\dots) \cdot [[\dots[\epsilon^\mu_{\alpha_1}, \epsilon^\mu_{\alpha_2}], \dots], \epsilon^\mu_{\alpha_n}]$$
  Questo risultato è analogo a quello noto nel contesto motivico e coomologico, ma qui è dimostrato in K-teoria con maggiore generalità.

C. Confronto con l'Approccio di Joyce-Liu

Il lavoro dimostra che, quando un framing functor esiste, le loro $\epsilon$-invarianze coincidono con quelle definite da Liu (e Joyce nel caso coomologico).

• Teorema di Isomorfismo di Lie: Gli autori costruiscono un omomorfismo di algebre di Lie tra l'algebra di Lie definita da Liu (basata su una struttura di algebra di vertice moltiplicativa) e la loro algebra di K-Hall (con il commutatore).
• Questo dimostra che il loro approccio è una generalizzazione naturale e più potente, che rende superflua la verifica delle condizioni tecniche sui framing functor.

D. Relazione con la Cohomologia

Gli autori introducono il concetto di "sollevamento omologico" (homological lift). Dimostrano che, se esiste un framing functor, le classi coomologiche definite da Joyce sono sollevamenti omologici delle loro classi $\epsilon$. Inoltre, mostrano che le formule di wall-crossing K-teoriche implicano automaticamente le formule coomologiche per le classi tautologiche, fornendo una nuova via per derivare risultati coomologici noti.

4. Significato e Impatto

1. Generalità: Il risultato principale è la rimozione della dipendenza dai framing functor. Questo permette di applicare la teoria del wall-crossing a condizioni di stabilità "non standard" (come la stabilità di Bridgeland su varietà di dimensione superiore) dove tali functor non sono noti o non esistono.
2. Chiarezza Concettuale: L'approccio è descritto come più breve e concettualmente più pulito rispetto alle precedenti costruzioni di Joyce-Liu, poiché evita la costruzione ausiliaria di spazi di moduli di coppie.
3. Strumenti Nuovi: L'introduzione della K-Hall algebra fornisce un nuovo strumento algebrico potente per lo studio degli invarianti enumerativi in K-teoria, unificando la struttura algebrica con la geometria degli stack.
4. Applicazioni Future: Gli autori indicano che questi risultati permettono di affrontare problemi aperti, come la razionalità delle serie di Donaldson-Thomas per varietà di Fano 3-dimensionali e l'estensione del programma di Feyzbakhsh-Thomas a contesti più ampi. Inoltre, aprono la strada a congetture sulla struttura delle classi $\epsilon$ (es. assenza di poli, esistenza di sollevamenti omologici canonici).

In sintesi, il paper stabilisce un quadro teorico robusto per gli invarianti K-teorici generalizzati e le loro formule di wall-crossing, superando le limitazioni tecniche delle teorie precedenti e aprendo nuove strade nella geometria enumerativa delle categorie derivate.