The motivic tt-geometry of real quadrics

Titolo: La Geometria Tensor-Triangolare Motiva delle Quadriche Reali

1. Il Problema e il Contesto

L'articolo si inserisce nel campo della geometria tensor-triangolare (tt-geometry), un approccio sviluppato da Balmer per classificare le categorie triangolate rigide tramite il loro spettro di Balmer ($Spc(\mathcal{K})$), ovvero lo spazio topologico dei loro ideali primi tt.
L'obiettivo principale della ricerca motivica è comprendere la struttura della categoria dei motivi di Voevodsky $DM(k)$ e, in particolare, il suo sottocategoria compatta $DM_{gm}(k)$.

• La sfida: La classificazione completa dello spettro di $DM_{gm}(k)$ è un problema aperto e complesso. Vishik ha recentemente dimostrato che su un campo reale $k=\mathbb{R}$, lo spazio ha cardinalità $2^{\mathfrak{c}}$, indicando una complessità enorme.
• L'approccio: Invece di affrontare l'intera categoria, l'autore adotta una strategia "dal basso", studiando sottocategorie piene tt ben scelte. In particolare, si concentra sulla categoria generata dai motivi delle quadriche proiettive lisce, denotata $DQM_{gm}(k; R)$.
• Il caso specifico: Il lavoro si focalizza sul caso in cui il campo base $F$ è un campo realmente chiuso (es. $\mathbb{R}$) e i coefficienti sono nel campo finito $\mathbb{F}_2$. Questo caso è cruciale perché, a differenza dei campi algebricamente chiusi (dove le quadriche sono isotrope e i motivi si decompongono in motivi di Tate) o dei campi dove 2 è invertibile (dove $DQM \simeq DATM$, motivi Artin-Tate), nel caso $F=\mathbb{R}$ con coefficienti $\mathbb{F}_2$, le quadriche anisotrope di dimensione arbitraria introducono una struttura ricca e non banale.

2. Metodologia

L'autore impiega una combinazione di tecniche avanzate di teoria dei motivi e geometria tensor-triangolare:

1. Riduzione a Categorie Cellulari (Funzioni Geometriche):
   Viene costruita una famiglia di funtori geometrici $\{\pi_n\}_{n \in \mathbb{N} \cup \{\infty\}}$ dalla categoria principale $DQM(F; \mathbb{F}_2)$ verso categorie tt cellulari più gestibili $K_n$.

   • Questi funtori sono definiti tramite cambi di base sui campi di funzione di quadriche anisotrope specifiche ($Q_n$) e localizzazioni "smashing" che uccidono i motivi delle quadriche rimaste anisotrope.
   • Viene dimostrato che questa famiglia è giuntamente conservativa. Per un teorema di Barthel et al., ciò riduce il calcolo dello spettro globale alla determinazione degli spettri delle categorie cellulari $K_n^c$ (oggetti compatti).

2. Strutture di Peso (Weight Structures):
   Per calcolare gli spettri delle categorie cellulari $K_n^c$, l'autore utilizza strutture di peso (in particolare la Chow weight structure e varianti periodiche).

   • L'idea chiave è che la geometria tt di queste categorie è determinata dall'anello di endomorfismi bi-graduato dell'unità.
   • Dimostrando l'esistenza di sufficienti morfismi nilpotenti rispetto al tensore su oggetti specifici, si riesce a mostrare che certi spettri sono ridotti a un singolo punto o a spazi di Sierpiński a due punti.

3. Analisi degli Ideali Primi e Topologia:
   Una volta identificati i punti dello spettro tramite le mappe $\pi_n$, l'autore determina le relazioni di specializzazione e la topologia completa descrivendo i generatori di ogni ideale primo tt.

   • Vengono utilizzati strumenti come le Rost motives ($M_n$), le loro versioni ridotte ($\tilde{M}_n$) e coni di morfismi specifici ($\text{cone}(\rho)$, $\text{cone}(\tau)$).
   • La topologia è caratterizzata studiando i supporti degli oggetti compatti.

3. Risultati Principali

Teorema Principale:
Lo spettro di Balmer della categoria $DQM_{gm}(F; \mathbb{F}_2)$ (con $F$ campo realmente chiuso) è uno spazio topologico infinito numerabile, non Noetheriano, di dimensione di Krull 2.

La struttura dello spazio è descritta come segue:

• Punti:
  • Una sequenza orizzontale superiore di punti chiusi: $p_{k,0}$ per $k \in \mathbb{N}$.
  • Una sequenza orizzontale inferiore di punti chiusi: $p_{k,1}$ per $k \in \mathbb{N}$.
  • Un punto all'infinito $p_{\infty, 0}$ verso cui convergono entrambe le sequenze orizzontali.
  • Due punti aggiuntivi "verticali": $p_{\infty, 1}$ e $p_{\infty, 2}$, che formano una catena di specializzazione $p_{\infty, 0} \subset p_{\infty, 1} \subset p_{\infty, 2}$.
• Relazioni di Specializzazione:
  • Le sequenze $p_{k,0}$ e $p_{k,1}$ convergono a $p_{\infty, 0}$.
  • Esistono relazioni di specializzazione verticali tra i punti $p_{k,0}$ e $p_{k,1}$ (indicati nel diagramma come frecce verso l'alto).
• Topologia:
  • I sottoinsiemi chiusi sono esattamente i sottoinsiemi chiusi rispetto alla specializzazione tali che: se $p_{\infty, 0} \notin Z$, allora $Z$ è finito.
  • Il punto $p_{\infty, 0}$ non è "visibile" come supporto di un singolo oggetto (non è un punto chiuso nel senso di essere un supporto), il che implica la non-Noetherianità dello spazio.

Generatori degli Ideali Primi:
L'autore fornisce una descrizione esplicita dei generatori per ogni punto:

• $p_{k,0} = \langle M_{k-1}, \tilde{M}_k \rangle$ (per $k \ge 2$), $p_{1,0} = \langle \tilde{M}_1 \rangle$.
• $p_{k,1} = \langle M_{k-1}, \tilde{M}_{k-1} \rangle$.
• $p_{\infty, 0} = \langle M_n \mid n \in \mathbb{N} \rangle$.
• $p_{\infty, 1} = \langle \text{cone}(\rho) \rangle$.
• $p_{\infty, 2} = \langle \text{cone}(\rho), \text{cone}(\tau) \rangle$.

Corollario per i Motivi Integrali:
Combinando questi risultati con quelli di Balmer-Gallauer sui motivi Artin-Tate, l'autore descrive lo spettro integrale $DQM_{gm}(\mathbb{R}_{alg}; \mathbb{Z})$ (dove $\mathbb{R}_{alg}$ sono i numeri reali algebrici). Questo spettro include i punti sopra descritti più una famiglia di punti associati ai numeri primi dispari ($m_l, e_l$), riflettendo la decomposizione dei motivi quando 2 è invertibile.

4. Significato e Impatto

1. Complessità Strutturale: Il lavoro fornisce la prima descrizione completa e esplicita dello spettro di una categoria motivica generata da varietà di dimensione superiore (quadriche) su un campo reale. Dimostra che la complessità non è solo "grande" (cardinalità), ma ha una struttura topologica ricca e non banale (dimensione 2, non Noetheriana).
2. Connessione con la Teoria delle Forme Quadratiche: Lo spettro riflette direttamente la teoria delle forme quadratiche su campi reali. La presenza di punti infiniti e le relazioni di specializzazione sono legate alla gerarchia delle quadriche anisotrope e alla loro isotropia su estensioni di campo.
3. Relazione con i Punti Isotropi di Vishik: L'articolo analizza come i $2^{\mathfrak{c}}$ punti isotropi chiusi scoperti da Vishik in $DM_{gm}(\mathbb{R}; \mathbb{F}_2)$ si restringono alla sottocategoria delle quadriche. Si dimostra che questi punti si mappano in modo iniettivo sui punti della sequenza $p_{k,0}$, collegando la classificazione globale alla struttura locale delle quadriche.
4. Metodologia Innovativa: L'uso combinato di localizzazioni smashing, strutture di peso periodiche e funtori conservativi congiunti offre un modello metodologico potente per studiare altre sottocategorie motiviche complesse.
5. Ponte tra Casi: Il risultato unifica la comprensione dei casi "semplici" (Tate, Artin-Tate) con il caso "complesso" delle quadriche anisotrope reali, mostrando come la geometria tt emerga dall'interazione tra la coomologia motivica e le proprietà algebriche del campo base.

In sintesi, il paper di Schemeil rappresenta un passo fondamentale verso la comprensione della geometria motivica su campi reali, fornendo un modello esplicito e calcolabile di uno spazio di spettro che era finora solo parzialmente compreso.