Holonomic étale sheaves are constructible

Sintesi Tecnica: Gli Foglietti Étale Olonomici Sono Costruttibili

Enunciato del Problema
Il saggio affronta la relazione tra le nozioni di "costruttibilità" e "olonomicità" per i foglietti (sheaves) étale su varietà algebriche. Nel contesto dei $\mathcal{D}_X$-moduli su varietà complesse, il teorema di Kashiwara stabilisce che i moduli olonomici sono costruttibili. Nel contesto algebrico, Beilinson ha precedentemente dimostrato che ogni foglietto étale costruttibile possiede un supporto singolare con componenti irriducibili di dimensione uguale alla dimensione della varietà sottostante, caratterizzando efficacemente i foglietti costruttibili come "olonomici" (sebbene non avesse esplicitamente definito l'olonomicità per foglietti non costruttibili).

Il problema centrale affrontato qui è il inverso: è possibile definire una nozione di olonomicità per i foglietti étale senza assumere a priori la costruttibilità, e questa definizione implica la costruttibilità? Gli autori mirano a stabilire che i foglietti étale olonomici sono effettivamente costruttibili, fornendo un analogo étale del teorema di Kashiwara.

Metodologia
Gli autori sviluppano un quadro per il "supporto micro" (supporto singolare) per arbitrari foglietti étale, estendendo la costruzione di Beilinson che originariamente assumeva la costruttibilità. La metodologia procede attraverso i seguenti passaggi:

1. Fondamenti Geometrici (Sezioni 1–3): Il saggio stabilisce il linguaggio geometrico necessario riguardante i sottoinsiemi conici chiusi nel fibrato cotangente $T^*X$. Definisce e analizza due proprietà chiave delle morfismi rispetto a un sottoinsieme conico $C$:

   • $C$-trasversalità: Una condizione su un morfismo $h: W \to X$ riguardante l'intersezione del pullback di $C$ con il nucleo della mappa cotangente.
   • $C$-aciclicità: Una condizione su una coppia di morfismi $(h, f)$ che coinvolge l'aciclicità di $f$ rispetto al pushforward di $C$.
     Questi concetti sono adattati dal lavoro di Beilinson ma sono definiti rigorosamente senza assumere che i foglietti coinvolti siano costruttibili.

2. Definizione di Supporto Micro (Sezione 4): Gli autori definiscono un foglietto $F$ come micro supportato su un sottoinsieme conico chiuso $C \subset T^*X$ se, per ogni coppia di morfismi $C$-aciclici $(h, f)$, il morfismo $f$ è localmente aciclico rispetto al pullback $h^*F$. Questa definizione generalizza la nozione di supporto micro ai foglietti non costruttibili. Lemmi chiave stabiliscono il comportamento del supporto micro sotto operazioni quali pullbacks, pushforwards e triangoli distinti.

3. Esistenza del Supporto Singolare (Sezione 5): Gli autori dimostrano che per ogni foglietto $F$ su uno schema liscio $X$, esiste un unico sottoinsieme conico minimo $SSF$ (il supporto singolare) tale che $F$ sia micro supportato su di esso.

   • La dimostrazione si basa sulla riduzione del problema al caso in cui $X$ sia lo spazio proiettivo $\mathbb{P}^n$.
   • La trasformata di Radon e la trasformata di Legendre sono impiegate per analizzare il supporto micro su spazi proiettivi. Nello specifico, gli autori utilizzano la geometria della varietà di incidenza $Q \subset \mathbb{P} \times \mathbb{P}^\vee$ e le proprietà della trasformata di Radon $R$ e della sua inversa $R^\vee$ per relazionare il supporto micro di un foglietto al suo trasformato.
   • Questa sezione dimostra che il supporto singolare esiste anche senza l'assunzione di costruttibilità, un punto sollevato da Tong Zhou.

4. Olonomicità e Costruttibilità (Sezione 6):

   • Definizione: Un foglietto $F$ è definito olonomico se (1) il suo supporto singolare $SSF$ soddisfa $\dim SSF \leq \dim X$, e (2) lo stalk $F_x$ è costruttibile per ogni punto geometrico $x$.
   • Teorema Principale: Gli autori dimostrano che se $F$ è olonomico, allora $F$ è costruttibile.
   • Strategia di Dimostrazione: La dimostrazione procede per induzione su $\dim X$. Essa utilizza il fatto che su un sottoinsieme aperto denso, un foglietto olonomico è localmente costante (micro supportato sulla sezione nulla). Analizzando il triangolo distinto associato al complemento di questo sottoinsieme aperto e utilizzando l'ipotesi induttiva, gli autori mostrano che il foglietto deve essere costruttibile ovunque. L'argomento è prima stabilito per campi perfetti e poi esteso a campi generali tramite base change alla chiusura perfetta.

Contributi Chiave e Risultati

• Definizione di Olonomicità: Il saggio introduce una definizione rigorosa di olonomicità per i foglietti étale che non presuppone la costruttibilità.
• Esistenza del Supporto Singolare: Stabilisce l'esistenza del supporto singolare $SSF$ per arbitrari foglietti (non solo costruttibili), risolvendo una questione riguardante la necessità dell'assunzione di costruttibilità per l'esistenza di $SSF$.
• Teorema Principale (Teorema 6.3): Il risultato centrale è l'inverso del teorema di Beilinson: I foglietti étale olonomici sono costruttibili.
  • Nello specifico, se $\dim SSF \leq \dim X$ e tutti gli stalk sono costruttibili, il foglietto stesso è costruttibile.
• Estensione a Schemi Singolari: La nozione di olonomicità è estesa ai foglietti su schemi singolari tramite immersioni chiuse in schemi lisci, dimostrando che questa definizione è indipendente dall'immersione.
• Stabilità: Il saggio conferma che la categoria dei foglietti olonomici è stabile sotto operazioni standard (immagini dirette e inverse, immagini dirette proprie con supporto compatto) per morfismi di tipo finito.

Significato
Il saggio rivendica la sua importanza come un analogo étale del teorema di Kashiwara sui $\mathcal{D}_X$-moduli olonomici. Proprio come il teorema di Kashiwara afferma che i $\mathcal{D}$-moduli olonomici hanno una coomologia costruttibile (un ingrediente chiave nella corrispondenza di Riemann-Hilbert), questo lavoro afferma che i foglietti étale olonomici sono costruttibili.

Gli autori osservano che questo risultato fornisce un sostituto robusto della "nozione deficitaria di costruttibilità" in contesti come le varietà rigide, dove si prevede che una nozione simile di olonomicità sia definibile. Il lavoro si basa direttamente sull'articolo fondamentale di Beilinson [3], raffinando le definizioni per rimuovere l'assunzione a priori di costruttibilità e dimostrando che la condizione geometrica di avere un supporto singolo "piccolo" (dimensione $\leq \dim X$) combinata con la costruttibilità puntuale è sufficiente a garantire la costruttibilità globale.