Coherent sheaves on primitive multiple schemes

Sintesi Tecnica: Fasci Coerenti su Schemi Multipli Primitivi

Enunciato del Problema
Il saggio affronta lo studio dei fasci coerenti su schemi multipli primitivi. Uno schema multiplo primitivo $Y$ è definito come uno schema di Cohen-Macaulay su $\mathbb{C}$ tale che il suo sottoschema ridotto $X = Y_{\text{red}}$ sia una varietà liscia e irriducibile, e $Y$ sia localmente imbedibile in una varietà liscia di dimensione $\dim(X) + 1$. L'intero $n$ tale che $Y = X_n$ (il $n$-esimo vicinato infinitesimale di $X$) è chiamato la molteplicità di $Y$.

Una difficoltà primaria in questo contesto è che, anche se il supporto $X$ è proiettivo, lo schema $Y$ stesso non deve necessariamente essere quasi-proiettivo. Di conseguenza, gli strumenti standard come il polinomio di Hilbert, che si basano su un fibrato lineare ampio sull'ambiente circostante, non sono direttamente applicabili. Il saggio mira a stabilire un quadro teorico per definire gli invarianti per i fasci coerenti su tali schemi, studiare le famiglie piatte di tali fasci e costruire spazi moduli per classi specifiche di fasci, in particolare "fasci bilanciati" (balanced sheaves) e fasci ideali di punti.

Metodologia
L'autore impiega una combinazione di tecniche algebriche locali e costruzioni geometriche globali:

1. Anelli Multipli Primitivi: Lo studio inizia con la struttura algebrica locale, definendo anelli multipli primitivi $R[n] = R[t]/(t^n)$ associati a un dominio noetheriano $R$. Il saggio analizza i moduli su questi anelli, introducendo filtrature canoniche (prima e seconda) e definendo proprietà quali quelle di essere "quasi-liberi" e "bilanciati".
2. Filtrature Canoniche: Per un fascio coerente $E$ su $Y$, vengono definite due filtrature canoniche:
   • La prima filtratura canonica ($E_i$) è definita dai nuclei delle restrizioni al sottoschema ridotto.
   • La seconda filtratura canonica ($E^{(i)}$) è definita dai sottofasci annullati dalle potenze del fascio ideale $I_X$.
     Queste filtrature permettono di ridurre i problemi globali su $Y$ a problemi sul supporto liscio $X$.
3. Invarianti Ridotti: Per gestire la mancanza di quasi-proiettività, il saggio definisce il polinomio di Hilbert ridotto $P_{\text{red}, \mathcal{O}_X(1)}(E)$ e le classi di Chern ridotte. Questi sono costruiti sommando gli invarianti standard dei successivi quozienti della filtratura canonica (che sono supportati su $X$). Il saggio dimostra che questi invarianti sono indipendenti dalla scelta della filtratura e sono invarianti rispetto alle deformazioni piatte.
4. Fasci Bilanciati: Un fascio coerente $E$ si dice bilanciato se le sue due filtrature canoniche coincidono ($E_i = E^{(n-i)}$). Questa condizione generalizza la nozione di fasci vettoriali. Il saggio indaga la stabilità di questa proprietà nelle famiglie piatte, dimostrando che è una condizione aperta.
5. Strutture di Fibrati Affini: Per casi specifici, in particolare i fasci ideali su superfici doppie primitive ($n=2, \dim(X)=2$), il saggio utilizza metodi cohomologici per descrivere gli spazi dei parametri di questi fasci come fibrati affini sul supporto $X$.

Contributi Chiave e Risultati

• Polinomi di Hilbert Ridotti: Il saggio stabilisce che per ogni fascio coerente $E$ su uno schema multiplo primitivo $Y$, si può definire un polinomio di Hilbert ridotto rispetto a un fibrato lineare ampio su $X$. Si dimostra che questo polinomio è costante nelle famiglie piatte, fornendo un invariante necessario per i problemi di moduli anche quando $Y$ non è proiettiva.
• Fasci Quasi-Localmente Liberi: Il saggio estende la teoria dei fasci quasi-localmente liberi (quelli localmente isomorfi a somme dirette degli anelli strutturali dei vicinati infinitesimali) a dimensioni superiori. Dimostra che, in una famiglia piatta di tali fasci con tipo costante, le filtrature canoniche formano esse stesse famiglie piatte.
• Fasci Bilanciati:
  • La nozione di fasci bilanciati viene introdotta come una naturale generalizzazione dei fasci vettoriali.
  • Si dimostra che la proprietà di essere bilanciato è aperta nelle famiglie piatte su una curva liscia.
  • Per schemi doppi primitivi ($n=2$), il saggio caratterizza i fasci bilanciati tramite la suriettività di specifici morfismi tra le componenti graduate della filtratura canonica.
  • Viene stabilito un risultato di chiusura: data una famiglia piatta di fasci privi di torsione su una superficie $X$, il locus nei quali il fascio può essere esteso a un fascio bilanciato su lo schema doppio $X_2$ è chiuso.
• Moduli di Fasci Ideali su Superfici Doppie:
  • Il saggio si concentra sui più semplici fasci bilanciati non localmente liberi su una superficie doppia primitiva $X_2$: quelli la cui restrizione su $X$ è il fascio ideale di un punto $P$.
  • Si dimostra che, per un punto $P$ fissato, l'insieme di tali fasci ideali forma uno spazio affine con spazio vettoriale associato $T_{X,P} \otimes L$ (dove $L$ è il fibrato lineare associato a $Y$).
  • Globalmente, l'insieme $\mathcal{I}$ di tutti tali fasci forma un fibrato affine su $X$ con il fibrato vettoriale associato $T_X \otimes L$.
  • Il saggio costruisce una famiglia universale di questi fasci ideali parametrizzata da $\mathcal{I}$.
• Spazi Moduli Fini: Combinando il fibrato affine dei fasci ideali con il gruppo di Picard di $X_2$, il saggio costruisce uno spazio modulo fine $\mathcal{I}(X_2) \cong \mathcal{I} \times \text{Pic}(X_2)$ per i fasci della forma $I \otimes D$. La struttura di questo spazio modulo è descritta in termini di fibrati affini su la base $X \times \Gamma(X_2)$, dove $\Gamma(X_2)$ è il sottogruppo dei fibrati lineari su $X$ estendibili a $X_2$.

Significato e Rivendicazioni
Il saggio sostiene di fornire il quadro fondamentale per lo studio dei fasci coerenti su schemi multipli primitivi, una classe di schemi singolari che sorgono naturalmente nella teoria delle deformazioni ma che spesso mancano di imbedimenti proiettivi globali.

• Generalizzazione: Il lavoro generalizza i risultati precedenti sui curve multiple primitive (studiati nei riferimenti [17], [2], [3], ecc.) a dimensioni arbitrarie.
• Teoria dei Moduli: Estende la costruzione degli spazi modulo fini dei fasci vettoriali (precedentemente descritti in [15]) alla categoria più ampia dei fasci bilanciati e dei fasci privi di torsione.
• Nuovi Invarianti: L'introduzione di polinomi di Hilbert ridotti e classi di Chern permette l'applicazione di tecniche di stabilità e moduli anche a schemi che non sono quasi-proiettivi.
• Applicazioni Specifiche: L'analisi dettagliata dei fasci ideali su superfici doppie fornisce esempi concreti di spazi moduli che sono fibrati affini, collegando la geometria dello spazio modulo direttamente al fibrato tangente del supporto e al fibrato lineare associato.

Il saggio non pretende di risolvere il problema generale dei moduli per tutti i fasci coerenti su schemi multipli primitivi, quanto piuttosto di stabilire le definizioni, gli invarianti e i risultati strutturali necessari per classi specifiche e importanti (fasci quasi-localmente liberi e bilanciati), abilitando così lo studio dei loro spazi moduli.