Smooth categories in a 6 functor formalism and compact generation for nuclear categories in analytic geometry

Sintesi Tecnica: Categorie Lisce in un Formalismo a Sei Functor e Generazione Compatta per Categorie Nucleari in Geometria Analitica

Enunciato del Problema
Il lavoro affronta un'incompatibilità fondamentale tra le definizioni categoriali standard di liscietà e proprietà propria nella geometria algebrica non commutativa e il contesto analitico. Nel contesto algebrico, una varietà $X$ è lissa se e solo se la sua categoria associata di complessi perfetti, $\text{Perf}(X)$, è una $\infty$-categoria lissa (definita tramite la dualizzabilità del bimodulo diagonale). Tuttavia, nella geometria analitica rigida, il prodotto tensoriale standard delle $\infty$-categorie stabili e presentabili non soddisfa la formula di Künneth per le algebre di Tate (ad esempio, $\text{Perf}(k\langle t \rangle) \otimes_k \text{Perf}(k\langle u \rangle) \neq \text{Perf}(k\langle t, u \rangle)$). Di conseguenza, la nozione categoriale standard di liscietà è intrinsecamente algebrica e inadatta per le varietà analitiche. Questo fallimento genera una discontinuità in cui una varietà analitica rigida $X$ può essere geometricamente lissa, eppure $\text{Perf}(X)$ non risulta essere categorialmente lissa a meno che $X$ non sia algebrizzabile (ossia, derivi da uno schema algebrico).

Metodologia
Per risolvere ciò, l'autore utilizza il quadro della matematica condensata e degli stack analitici sviluppati da Clausen e Scholze. La metodologia procede attraverso diversi passaggi chiave:

1. Geometria Analitica Rigida Derivata: Il lavoro utilizza la teoria delle algebre affinoide animate e degli spazi analitici rigidi derivati (seguendo Mikaelian e Porta–Yu). Questi spazi sono costruiti incollando algebre affinoide animate lungo localizzazioni razionali.
2. Categorie Nucleari: Invece di lavorare con $\text{Perf}(X)$, l'autore si concentra sulla $\infty$-categoria dei fasci nucleari, denotata $\text{Nuc}(X)$. Le categorie nucleari, introdotte nella matematica condensata, sono rigide e ammettono un prodotto tensoriale "completato" che soddisfa la formula di Künneth per le varietà rigide.
3. Formalismo a Sei Functor: Viene stabilito un robusto formalismo a sei functor per le categorie nucleari sugli spazi analitici rigidi derivati. Tale formalismo include i functor di pullback ($f^*$), pushforward ($f_*$) e lower shriek ($f_!$), con $f_!$ identificato con $f_*$ per mappe quasi-compatte e semi-separate.
4. Liscietà Relativa: Il lavoro definisce le $\infty$-categorie lisce internamente rispetto a una $\infty$-categoria simmetrica monoidale di base $\mathcal{V}$ (specificamente $\text{Nuc}(k)$). Una $\infty$-categoria $\mathcal{C}$ è liscia internamente se la mappa di covalutazione ammette un aggiunto destro $\mathcal{V}$-lineare che preserva i colimiti.
5. Generazione Atomica: Lo studio indaga l'esistenza di un singolo generatore compatto (o "atomico") per queste categorie, collegando questa proprietà all'algebrizzabilità della varietà sottostante.

Contributi e Risultati Chiave

• Equivalenza tra Liscietà Geometrica e Categoriale: Il risultato principale (Teorema 1.4 / Teorema 5.1) stabilisce che per una varietà analitica rigida classica $X$ su un campo non archimedeo $k$, $X$ è geometricamente lissa se e solo se la $\infty$-categoria $\text{Nuc}(X)$ è lissa internamente su $\text{Nuc}(k)$. Ciò è ottenuto dimostrando che la mappa diagonale $\Delta^* \mathcal{O}_X$ è un complesso perfetto (oggetto compatto) in $\text{Nuc}(X \hat{\times} X)$ se e solo se $X$ è lissa.
• GAGA per Categorie Nucleari: Il lavoro dimostra un teorema di tipo GAGA (Corollario 5.7) che relaziona la categoria nucleare di una analitificazione $X^{\text{an}}$ alla categoria algebrica: $\text{Nuc}(X^{\text{an}}) \simeq \text{QCoh}(X) \otimes_{\text{Mod}_k} \text{Nuc}(k)$.
• Caratterizzazione dell'Algebrizzabilità: Il Teorema 1.8 (Teorema 5.9) fornisce un criterio categoriale per l'algebrizzabilità. Una varietà analitica rigida lissa, propria, quasi-compatta e separata $X$ è algebrizzabile se e solo se $\text{Nuc}(X)$ ammette un singolo generatore $\text{Nuc}(k)$-atomico (equivalentemente, compatto).
• Controesempio alla Congettura 1.7: Il lavoro costruisce un controesempio alla congettura secondo cui ogni $\infty$-categoria $\mathcal{V}$-lineare lissa e generata atomicamente ammette un singolo generatore atomico (Congettura 1.7). Considerando una varietà analitica rigida lissa e propria non algebrizzabile (ad esempio, la superficie di Hopf $p$-adica), l'autore dimostra che $\text{Nuc}(X)$ è lissa internamente ma non possiede un singolo generatore compatto. Ciò mostra che la proprietà di incollare generatori compatti locali per formarne uno globale, valida nella geometria algebrica, fallisce nella topologia analitica.

Significato
Il lavoro rivendica importanza in tre aree principali:

1. Geometria Analitica Non Commutativa: Trasporta con successo la potente macchina della liscietà categoriale nella geometria analitica rigida sostituendo il prodotto tensoriale standard con il prodotto tensoriale nucleare. Ciò permette una caratterizzazione non commutativa precisa della liscietà geometrica, che precedentemente era ostacolata dal fallimento della formula di Künneth nel contesto classico.
2. Criteri di Algebrizzabilità: Fornisce un nuovo metodo puramente categoriale per rilevare se una varietà analitica rigida è algebrizzabile, collegando l'esistenza di un generatore compatto globale nella categoria nucleare alla proprietà geometrica dell'algebrizzabilità.
3. Distinzioni Fondamentali: I risultati evidenziano una differenza strutturale fondamentale tra le topologie algebrica e analitica. Nello specifico, il fallimento dell'"incollamento di generatori compatti locali" nel contesto analitico serve come controesempio alle generalizzazioni di risultati algebrici (come la Congettura 1.7) a basi rigide arbitrarie, dimostrando che il comportamento delle categorie nucleari è distinto da quello dei moduli su anelli nel contesto algebrico.

Il lavoro conclude che, sebbene il quadro categoriale della liscietà possa essere adattato alla geometria analitica tramite la matematica condensata e le categorie nucleari, la teoria risultante rivela limitazioni intrinseche riguardo alla generazione compatta che non esistono nel mondo algebrico.