Profinite Borel completeness and smooth Artin motives

Sintesi Tecnica: Profinità, Completezza di Borel e Motivi Artini Lisci

Enunciato del Probleo
Il saggio affronta la relazione tra due distinti framework matematici: la $\infty$-categoria dei motivi artini lisci su uno schema base generale $S$ e la teoria delle rappresentazioni del gruppo fondamentale étale $\pi_1^{\text{ét}}(S)$.
Mentre Voevodsky ha stabilito un'equivalenza tra i motivi artini su un campo $F$ e i moduli di permutazione derivati del gruppo galoisiano assoluto $\text{Gal}(F^{\text{sep}}/F)$, rimaneva aperta la questione se tale equivalenza si estendesse a schemi base generali $S$, dove il gruppo galoisiano viene sostituito dal gruppo fondamentale étale profinito $\pi_1^{\text{ét}}(S)$.

Un problema secondario, di natura fondativa, sorge nella teoria dell'omotopia equivariante per gruppi profiniti. Per i gruppi finiti, la sottocategoria degli spettri Borel completi è ben compresa come una categoria funzionale (tramite Mathew–Naumann–Noel); tuttavia, per i gruppi profiniti, l'orbita $G/1$ non è un $G$-insieme finito, complicando la diretta generalizzazione della completezza di Borel. Il saggio investiga se esistano molteplici, distinte nozioni di "completezza di Borel" per i gruppi profiniti e come queste si relazionino con la teoria degli sciami e dei motivi.

Metodologia
L'autore impiega un approccio a due fronti, sviluppando prima la necessaria teoria dell'omotopia equivariante per poi applicarla alla teoria dei motivi.

1. Teoria dell'Omotopia Equivariante per Gruppi Profiniti:

   • Il saggio rivisita la descrizione degli spettri Borel completi per gruppi finiti, introducendo coefficienti in un anello di spettri commutativo connettivo $R$.
   • Per un gruppo profinito $G = \lim_i G_i$, vengono definite due nozioni di completezza di Borel:
     • Completezza di Borel livello per livello ($Sp^{\text{lwBorel}}_G$): Definita come il limite delle categorie Borel complete dei quozienti finiti $G_i$ lungo i punti fissi categorici.
     • Completezza di Borel ($Sp^{\text{Borel}}_G$): Definita tramite la completezza rispetto a un oggetto algebra specifico $A$, costruito come il colimit dei duali delle orbite di tutti i sottogruppi normali aperti.
   • L'autore utilizza i funtori di Mackey spettrali e la teoria delle categorie di moduli su anelli equivarianti per analizzare queste strutture. Uno strumento tecnico chiave è l'identificazione della relazione tra queste due nozioni tramite le $t$-strutture e l'ipercompletamento.

2. Motivi e Corrispondenze:

   • Il saggio costruisce la $\infty$-categoria dei motivi effettivi di Voevodsky $DM^{\text{eff}}_{\tau}(S; R)$ (per $\tau = \text{Nisnevich}$ o $\text{étale}$) utilizzando corrispondenze finite con coefficienti.
   • I motivi artini lisci $DAM_{\tau}(S; R)$ sono definiti come la sottocategoria localizzante generata dai motivi di schemi étale finiti su $S$.
   • Il saggio stabilisce un ponte tra questi motivi e le categorie equivarianti definite nella prima parte, utilizzando l'equivalenza di Grothendieck tra schemi étale finiti su $S$ e $G$-insiemi finiti discreti (dove $G = \pi_1^{\text{ét}}(S)$).
   • Crucialmente, il saggio investiga il comportamento dei "trasferimenti" (corrispondenze finite) nel contesto degli sciami étale su schemi étale finiti, provando che gli sciami étale su questi schemi ammettono naturalmente trasferimenti.

Contributi Chiave e Risultati

• Distinzione della Completezza di Borel: Il saggio identifica che, per i gruppi profiniti, la completezza di Borel "livello per livello" e la "completezza di Borel" standard (definita tramite l'algebra $A$) sono generalmente distinte.

  • Teorema 3.30: La categoria degli spettri $G$ Borel completi è equivalente all'ipercompletamento della categoria degli spettri $G$ Borel completi livello per livello. Ciò fornisce una precisa relazione strutturale tra le due nozioni.

• Equivalenza con Sciami e Rappresentazioni:

  • Proposizione 4.8 & 4.13: Il saggio stabilisce un diagramma commutativo che connette le categorie Borel complete degli spettri equivarianti alle categorie di sciami su $G$-insiemi finiti e alle categorie derivate di moduli discreti.
  • Nello specifico, la categoria dei moduli Borel completi livello per livello è equivalente alla categoria degli sciami su $G$-insiemi finiti, mentre la categoria Borel completa corrisponde agli iposci (hypersheaves) (sotto specifiche condizioni sulla dimensione coomologica virtuale di $G$).

• Generalizzazione del Teorema di Voevodsky (Caso Nisnevich):

  • Teorema 5.19: Per uno schema connesso, noetheriano di dimensione di Krull finita $S$, esiste un'equivalenza monoidale simmetrica tra la $\infty$-categoria dei motivi artini lisci (topologia di Nisnevich) e la categoria derivata dei moduli di permutazione sul gruppo profinito $\pi_1^{\text{ét}}(S, s); R$:
    $$DAM^{\text{Nis}}(S; R) \simeq D\text{Perm}(\pi_1^{\text{ét}}(S, s); R)$$
  • Questo risultato conferma che la descrizione classica dei motivi artini tramite rappresentazioni galoisiane si estende a schemi base generali nella topologia di Nisnevich.

• Caso Étale e Trasferimenti:

  • Teorema 5.34: Il saggio dimostra che gli sciami étale su schemi étale finiti possiedono automaticamente trasferimenti. Ciò identifica la categoria degli sciami étale con trasferimenti su schemi étale finiti con la categoria degli sciami étale su schemi étale finiti (senza riferimento esplicito alle corrispondenze).
  • Teorema 5.37: Viene presentato un diagramma commutativo esaustivo che collega i moduli di permutazione derivati, gli spettri Borel completi e i motivi artini lisci per entrambe le topologie di Nisnevich ed étale.
  • Corollario 5.31: Nel caso étale ipercompleto, sotto le assunzioni che l'anello di coefficienti $R$ abbia una caratteristica $n$ positiva e che le caratteristiche residue di $S$ siano prime a $n$, la categoria dei motivi artini lisci è equivalente alla categoria degli iposci con trasferimenti su schemi étale finiti.

Significatività e Rivendicazioni
Il saggio sostiene di risolvere la questione se la descrizione di Voevodsky dei motivi artini valga per schemi base generali. Lo conferma per la topologia di Nisnevich e fornisce una risposta sfumata per la topologia étale, evidenziando il ruolo dell'ipercompletamento.

La significatività risiede nel:

1. Framework Unificato: Unifica la teoria dei motivi con la teoria dell'omotopia equivariante per gruppi profiniti, mostrando che i motivi artini lisci sono controllati dal gruppo fondamentale étale.
2. Chiarificazione dell'Equivarianza Profinita: Chiarisce la sottile distinzione tra la completezza di Borel livello per livello e quella ipercompleta nel contesto profinito, identificando quest'ultima come la nozione corretta per catturare la piena struttura degli sciami étale (iposci).
3. Trasferimento dei Trasferimenti: Fornisce una prova indipendente che gli sciami étale su schemi étale finiti portano intrinsecamente trasferimenti, un risultato precedentemente noto ma dipendente da specifiche identificazioni di hom-set in altra letteratura.

L'autore osserva che, mentre il caso Nisnevich produce un'equivalenza pulita, il caso étale richiede di distinguere tra sciami e iposci, e l'equivalenza ai moduli di permutazione nel caso étale non ipercompleto richiede ulteriori calcoli degli spazi di mapping che non sono eseguiti in questo lavoro. I risultati sono presentati come un passo fondativo, basandosi sul recente lavoro di Balmer–Gallauer e Dubey–Gómez riguardante gli spettri di Balmer di queste categorie.