Segre classes and integral dependence

Sintesi Tecnica: Classi di Segre e Dipendenza Integrale

Enunciato del Problema
Il saggio affronta la relazione tra le classi di Segre di sottoschemi chiusi e la dipendenza integrale dei loro fasci di ideali definitori. Sebbene sia una nota conseguenza dell'invarianza birazionale delle classi di Segre che la classe $s(Z, X)$ dipenda dalla chiusura integrale del fascio di ideali $\mathcal{I}_Z$, la direzione opposta non era stata stabilita come criterio generale. Nello specifico, l'autore indaga se l'uguaglianza delle classi di Segre (o dei loro invarianti numerici) per due sottoschemi $W \subseteq Z$ implichi che il fascio di ideali $\mathcal{I}_W$ sia integrale su $\mathcal{I}_Z$. Questo problema si connette a un più ampio programma di ricerca avviato da Rees, che cerca criteri numerici per caratterizzare la dipendenza integrale per ideali arbitrari, estendendosi oltre il caso classico degli ideali $\mathfrak{m}$-primari in anelli locali.

Metodologia
La metodologia si basa sul framework della teoria dell'intersezione sviluppato da Fulton–MacPherson e Stückrad–Vogel. Lo strumento tecnico centrale è il risultato fondamentale di van Gastel, che stabilisce una precisa corrispondenza tra classi di Segre e cicli di Vogel.

1. Cicli di Vogel e Cicli Polari: L'autore utilizza un algoritmo di intersezione che coinvolge combinazioni lineari generiche di sezioni globali per costruire i cicli di Vogel ($\nu$) e i cicli polari ($\beta$). Questi cicoli sono definiti sul blow-up dello schema ambiente o sullo schema ambiente stesso.
2. Formula di van Gastel: La dimostrazione sfrutta le formule esplicite che mettono in relazione le classi di Segre $s_i(Z, X)$ con i cicli di Vogel $\nu_i(\sigma, X)$ tramite il fascio lineare $L$. Ciò consente di trasporre le condizioni sulle classi di Segre in condizioni sui gradi dei cicli di Vogel e polari.
3. Formule di Blow-up: Il saggio deriva una formula di blow-up per i cicli polari, esprimendoli come pushforward di prodotti di intersezione sul blow-up torcuto $B_L = \text{Proj}_X(\bigoplus \mathcal{I}^n \otimes L^{\otimes n})$.
4. Analisi Asintotica: Per provare la direzione opposta (ovvero che l'uguaglianza dei gradi implica la dipendenza integrale), l'autore impiega un'analisi asintotica della crescita di Hilbert–Samuel del quoziente delle algebre di Rees. Ciò comporta il confronto della crescita delle sezioni globali $h^0(X, \mathcal{I}_W^n \otimes L^{\otimes k})$ rispetto a $h^0(X, \mathcal{I}_Z^n \otimes L^{\otimes k})$. L'argomento utilizza la non-vacuità di determinati gruppi di coomologia nel caso in cui la dipendenza integrale fallisca, facendo affidamento sui risultati di Kleiman e Thorup riguardanti i polinomi di Buchsbaum–Rim.

Contributi Chiave e Risultati

• Teorema A (Teorema 4.3): Il risultato principale stabilisce un criterio per la dipendenza integrale su uno schema proiettivo equidimensionale $X$ su un campo $k$, assumendo la presenza di un fascio lineare ampio $L$. Per due sottoschemi chiusi $W \subseteq Z$, le seguenti condizioni sono equivalenti:

  • (a) $\mathcal{I}_W$ è integrale su $\mathcal{I}_Z$.
  • (b') $s(Z, X) = s(W, X)$ visto nel gruppo di Chow $A_*(Z)$.
  • (b) $s(Z, X) = s(W, X)$ visto in $A_*(X)$.
  • (c) $\deg_L(s_i(Z, X)) = \deg_L(s_i(W, X))$ per ogni $i \geq 0$.

  Il saggio nota che l'equivalenza tra l'uguaglianza delle classi di Segre e l'uguaglianza dei loro gradi $L$ (condizione (b) $\Leftrightarrow$ (c)) è di interesse indipendente. L'autore sottolinea che l'ampiezza di $L$ è indispensabile; l'Esempio 4.7 dimostra che la conclusione fallisce se $L$ è solo grande e nef (big and nef).

• Corollario B (Corollario 5.2): Come applicazione, il saggio dimostra che la funzione zeta di Segre $\zeta_I(t)$ di Aluffi fornisce un criterio di dipendenza integrale per gli ideali omogenei in un anello polinomiale. Nello specifico, per ideali omogenei $I \subseteq J \subset R = k[x_0, \dots, x_n]$, $J$ è integrale su $I$ se e solo se $\zeta_I(t) = \zeta_J(t)$. Ciò estende l'utilità delle funzioni zeta di Segre dal codificare invarianti birazionali al servire come un test completo per la dipendenza integrale nel contesto graduato.

Significatività e Rivendicazioni
Il saggio sostiene di fornire un criterio numerico globale per la dipendenza integrale che è distinto dai criteri locali precedentemente stabiliti da Rees, Teissier e altri (come il Principio di Specializzazione della Dipendenza Integrale). Dimostrando che le classi di Segre (e i loro gradi numerici) codificano completamente la chiusura integrale di un fascio di ideali nell'ambito proiettivo, il lavoro colma il divario tra la teoria dell'intersezione e la teoria algebrica della dipendenza integrale.

L'autore pone il risultato come un inverso del noto fatto che le classi di Segre sono invarianti birazionali. Mentre l'invarianza implica che la classe dipenda dalla chiusura integrale, questo saggio dimostra che la classe determina la chiusura integrale. La metodologia unifica le classi di Segre con i cicli di Vogel e i cicli polari, offrendo una nuova prospettiva su come i risultati di positività (tramite fasci lineari ampi) possano essere applicati per rilevare proprietà algebriche come la dipendenza integrale. Il saggio non propone nuove applicazioni sperimentali, ma piuttosto consolida le fondamenta teoriche per l'uso delle funzioni zeta di Segre e degli invarianti numerici nell'algebra commutativa e nella geometria algebrica.