Blow-Up Constructions and Applications to Segre Classes and Multidegree Formulas

Sintesi Tecnica: Costruzioni di Blow-up e Applicazioni alle Classi di Segre e Formule di Multigrado

Enunciato del Problema
Il saggio affronta due sfide primarie nella teoria dell'intersezione riguardanti il comportamento dei blow-up (spostamenti) e le loro applicazioni alle classi caratteristiche e alle formule di grado. In primo luogo, cerca di stabilire una relazione geometrica rigorosa tra i blow-up multigradi simultanei e le costruzioni di blow-up iterati, specificamente riguardo alla corrispondenza dei loro divisori esaustivi. In secondo luogo, mira a derivare formule di intersezione per le classi di Chern dei divisori esaustivi derivanti da mappe razionali verso spazi multiproiettivi.

Una specifica motivazione per la prima parte è la dimostrazione della formula del prodotto per le classi di Segre. Le dimostrazioni esistenti nella letteratura (ad esempio, il Intersection Theory di Fulton) generalmente si basano sull'ipotesi che gli schemi coinvolti siano di dimensione pura per poter applicare le standard relazioni della teoria dei cicli. Il saggio mira a rimuovere questa restrizione. Allo stesso modo, per la seconda parte, il sello affronta la necessità di una formula di grado per sottoschemi arbitrari di spazi multiproiettivi, estendendo il classico risultato di van der Waerden, originariamente formulato per varietà integrali utilizzando la geometria algebrica classica.

Metodologia
L'autore utilizza il formalismo dei gruppi di Chow, i prodotti di intersezione raffinati e la teoria dei blow-up come sviluppata da Fulton. La metodologia è divisa in due sezioni principali:

1. Confronto delle Costruzioni di Blow-up:
   Il saggio costruisce una corrispondenza birazionale tra due modelli:

   • Il blow-up simultaneo di un prodotto di schemi $Y_1 \times \dots \times Y_n \times \mathbb{A}^1_k$ lungo un'immersione chiusa specifica.
   • Una costruzione di blow-up iterato che coinvolge il prodotto dei divisori esaustivi $E_1 \times \dots \times E_n$.
     Analizzando i coni normali e la proiezione di questi coni, l'autore stabilisce un diagramma commutativo con quadrati cartesiani. Ciò consente il trasferimento di informazioni di intersezione tra i due modelli, relazionando specificamente i cicli fondamentali dei divisori esaustivi.

2. Chiusura del Grafico e Isomorfismo di Blow-up:
   Il saggio investiga la relazione tra il blow-up di uno schema $X$ lungo un fascio di ideali generato da sezioni globali e lo schema-teorico della chiusura del grafico della mappa razionale associata verso uno spazio multiproiettivo.

   • Identifica il blow-up con il Proj relativo dell'algebra di Rees.
   • Dimostra che, per schemi integrali, la chiusura del grafico è isomorfa al blow-up.
   • Questo framework è applicato al caso specifico di $\mathbb{P}^{m+n+1}_k$ e delle sezioni che definiscono una mappa verso $\mathbb{P}^m_k \times \mathbb{P}^n_k$.
   • Utilizzando il teorema di "Miracle Flatness", l'autore analizza le fibre del morfismo risultante (isomorfo a $\mathbb{P}^1$) per derivare una relazione tra le classi di Chern del pullback di fasci lineari tautologici e il divisore esaustivo.

Contributi Chiave e Risultati

1. Corrispondenza Birazionale dei Divisori Esaustivi:
   Il saggio stabilisce l'esistenza di morfismi $\phi$ e $\varphi$ che creano un diagramma commutativo tra il modello di blow-up iterato e il modello di blow-up simultaneo. Crucialmente, dimostra che il pullback del ciclo fondamentale del divisore esaustivo nel modello iterato è uguale al ciclo fondamentale del divisore esaustivo nel modello simultaneo ($\phi^*[E'] = [E]$).

2. Formula del Prodotto per le Classi di Segre (Caso Generale):
   Utilizzando la corrispondenza birazionale, il saggio fornisce una dimostrazione della formula del prodotto per le classi di Segre:
   $$s(X_1 \times \dots \times X_n, Y_1 \times \dots \times Y_n) = s(X_1, Y_1) \times \dots \times s(X_n, Y_n)$$
   Significato: A differenza delle prove precedenti, questa derivazione non richiede che gli schemi $X_i$ o $Y_i$ siano di dimensione pura. La prova riduce il problema al caso dei divisori di Cartier su una risoluzione appropriata tramite il divisore esaustivo, che funge da ponte geometrico.

3. Formula di Multigrado per Sottoschemi Arbitrari:
   Il saggio deriva una formula che mette in relazione il grado di codimensione-$d$ di un sottoschema $V' \subset \mathbb{P}^{m+n+1}_k$ con i bidegree di codimensione-$d$ di un sottoschema $V \subset \mathbb{P}^m_k \times \mathbb{P}^n_k$.

   • Risultato: Il grado di codimensione-$d$ di $V'$ è uguale alla somma dei bidegree di codimensione-$d$ di $V$.
   • Significato: Questo risultato recupera ed estende la classica formula del grado di van der Waerden. Mentre l'argomento originale di van der Waerden si basava sull'assunzione che le varietà fossero integrali, questa prova è interamente basata sulla teoria dell'intersezione e si applica a sottoschemi chiusi arbitrari, inclusi quelli non integrali. Il saggio nota che, per sottoschemi non integrali, la relazione tra gradi e bidegree è più sottile rispetto al caso integrale.

Significato e Rivendicazioni
Il saggio sostiene che le sue costruzioni forniscono un "meccanismo geometrico" per trasferire informazioni di intersezione, offrendo così una derivazione concettuale e funzionale della formula del prodotto per le classi di Segre e della formula di multigrado.

• Riguardo alle Classi di Segre: Il lavoro dimostra che la formula del prodotto è "fondamentalmente una conseguenza della geometria dei blow-up", permettendo la rimozione dell'ipotesi di dimensione pura che limitava le prove precedenti.
• Riguardo alle Formule di Grado: L'approccio offre una riformulazione moderna della formula di van der Waerden, estendendone la validità dalle varietà integrali a sottoschemi chiusi arbitrari all'interno del framework dei gruppi di Chow e della teoria dell'intersezione di Fulton.

Il saggio non propone applicazioni sperimentali o implicazioni future oltre queste estensioni teoriche all'interno della teoria dell'intersezione. Esso aderisce rigorosamente alle convenzioni e alla notazione di Fulton Intersection Theory [Ful98].