Numerical characterizations for integral dependence of graded modules

Sintesi Tecnica: Caratterizzazioni Numeriche per la Dipendenza Integrale di Moduli Graduati

Enunciato del Problema
L'obiettivo primario di questo lavoro è stabilire un nuovo criterio numerico per rilevare la dipendenza integrale di moduli graduati arbitrari definiti su un dominio noetheriano standardmente graduato $A$ su un campo $k$. Sebbene la caratterizzazione della dipendenza integrale tramite invarianti numerici sia stata pionieristicamente sviluppata da Rees per gli ideali e successivamente estesa agli ideali in contesti graduati dagli autori in lavori precedenti [5, 6], questo articolo affronta il caso più complesso di moduli $A$-graduiti $N$-graduiti $M$, finitamente generati e privi di torsione, di rango $e$. Gli autori mirano a costruire specifiche funzioni di densità e a utilizzarle per derivare condizioni necessarie e sufficienti affinché un sottomodulo graduato $N \subseteq M$ sia una riduzione di $M$.

Metodologia e Impostazione
Il lavoro opera all'interno del quadro di un dominio standardmente graduato $A = \bigoplus_{m \ge 0} A_m$ di dimensione $d \ge 2$ su un campo $k$. Il modulo $M$ è un modulo $A$ finitamente generato, privo di torsione, di rango $e$. Per definire l'algebra di Rees $A[Mt]$, gli autori fissano un'immersione graduata $M \hookrightarrow F$, dove $F$ è un modulo $A$-graduito libero di rango finito. L'algebra di Rees è definita come l'immagine della mappa dell'algebra simmetrica: $A[Mt] = \bigoplus_{n \ge 0} M_n t^n \subseteq \text{Sym}_A(F)$.

La metodologia centrale comporta la costruzione e l'analisi di tre distinte funzioni di densità derivate dal comportamento asintotico delle lunghezze delle componenti graduate di $M$, della sua saturazione e del quoziente tra esse. Gli autori utilizzano la bigraduatura naturale sull'algebra di Rees $A[Mt]$, dove i generatori hanno bidegradi $(d_i, 1)$ e gli elementi di $A$ hanno bidegrado $(1, 0)$.

Gli strumenti tecnici chiave impiegati includono:

1. Analisi Asintotica delle Lunghezze: Gli autori analizzano la funzione di lunghezza $\ell_k((M_n)_m)$ al tendere di $n \to \infty$, sfruttando la struttura dell'algebra di Rees come quoziente di un anello di polinomi bigraduato.
2. Quasi-polinomi e Coni: Attingendo a risultati da [5], gli autori partizionano il dominio della funzione di lunghezza in coni $C_j$ generati dai gradi dei generatori di $M$. All'interno di questi coni, la funzione di lunghezza è mostrata comportarsi come un quasi-polinomio, che alla fine si stabilizza in un polinomio.
3. Saturazione e funzioni $\epsilon$: Gli autori definiscono la saturazione di $M_n$ come $\widetilde{M}_n = (M_n :_F \mathfrak{m}^\infty)$. Introducono la funzione di densità $\epsilon$ per misurare la differenza tra i moduli saturi e adici (originali).
4. Interpretazione Geometrica: Le dimostrazioni sfruttano la funzione volume dei divisori su varietà proiettive (in particolare $X = \text{Proj}_V B$ dove $B$ è l'algebra di Rees) e i teoremi di Riemann-Roch asintotici per stabilire la continuità e la natura polinomiale delle funzioni di densità.
5. Sottoalgebre Diagonali: Per gestire i criteri di dipendenza integrale, gli autori considerano le sottoalgebre diagonali $(c, 1)$ $A[Mt]_{\Delta(c,1)}$ e le loro estensioni $S[Mt]_{\Delta(c,1)}$ dove $S = A[y]$, relazionando le loro molteplicità alle funzioni di densità.

Contributi e Risultati Chiave

1. Costruzione di Funzioni di Densità:

   • Funzione di Densità Adica ($f_M$): Definita come $f_M(x) = \lim_{n \to \infty} \frac{\ell_k((M_n)_{\lfloor xn \rfloor})}{n^{d+e-2}/(d+e-1)!}$. Il Teorema 3.2 stabilisce che $f_M$ è una funzione ben definita, a tratti polinomiale, continua ovunque tranne possibilmente in $x=d_1$ (il grado minimo di un generatore). È supportata su $[d_1, \infty)$.
   • Funzione di Densità Saturata ($\tilde{f}_M$): Definita come $\tilde{f}_M(x) = \lim_{n \to \infty} \frac{\ell_k((\widetilde{M}_n)_{\lfloor xn \rfloor})}{n^{d+e-2}/(d+e-1)!}$. Il Teorema 4.3 dimostra che questa è una funzione continua supportata su $[-c_0, \infty)$ per una certa costante $c_0$. Crucialmente, per $x \ge d_M$, $\tilde{f}_M(x)$ coincide con $f_M(x)$ ed è data da un polinomio che coinvolge le molteplicità miste dell'algebra di Rees.
   • Funzione di Densità $\epsilon$ ($f_\epsilon(M)$): Definita come la differenza $f_\epsilon(M)(x) = \tilde{f}_M(x) - f_M(x)$. Il Teorema 5.2 mostra che questa funzione è a supporto compatto su $[-c_0, d_M]$ e continua su $\mathbb{R} \setminus \{d_1\}$. L'integrale di questa funzione, $\epsilon(M)$, è mostrato esistere come limite, fornendo un invariante numerico che misura il "difetto" tra il modulo e la sua saturazione.

2. Criteri Numerici per la Dipendenza Integrale:
   Il lavoro culmina nel Teorema 6.6, che fornisce un insieme di condizioni equivalenti affinché un sottomodulo graduato $N \subseteq M$ (con $\text{rank } N = \text{rank } M = e$) sia una riduzione di $M$. Le seguenti affermazioni sono equivalenti:

   • $N$ è una riduzione di $M$.
   • Le funzioni di densità adica e saturata coincidono: $f_M \equiv f_N$ e $\tilde{f}_M \equiv \tilde{f}_N$.
   • Gli invarianti $\epsilon$ sono uguali ($\epsilon(M) = \epsilon(N)$) e le molteplicità delle sottoalgebre diagonali $(c, 1)$ sono uguali per qualche $c > d_{N,M}$.
   • Le molteplicità miste delle algebre di Rees $S[Mt]$e$S[Nt]$ coincidono per ogni $0 \le i \le d$.

Significato e Affermazioni
L'articolo afferma di estendere la caratterizzazione numerica della dipendenza integrale dal regno degli ideali graduati (come trattato in [5] e [6]) al contesto più generale dei moduli graduati. Gli autori notano che questa estensione non è banale perché, a differenza del caso ideale dove $A^n = A$, le componenti $F^n$ del modulo libero variano con $n$, e gli invarianti di $F^n$ non sono costanti.

Il significato del lavoro risiede in:

• Generalizzazione: Fornire un quadro unificato per rilevare la dipendenza integrale nei moduli utilizzando invarianti asintotici.
• Nuovi Invarianti: Introdurre la funzione di densità $\epsilon$ e l'invariante associato $\epsilon(M)$ come strumento per misurare la differenza tra un modulo e la sua saturazione in un contesto graduato.
• Limiti Rigorosi: Stabilire l'esistenza dei limiti per queste funzioni di densità e per l'invariante $\epsilon$ nell'impostazione graduata, completando i risultati precedenti in contesti locali [3, 20].
• Criteri Computazionali: Offrire criteri numerici concreti e verificabili (che coinvolgono molteplicità di sottoalgebre diagonali e molteplicità miste) che sono necessari e sufficienti per la riduzione, essenziali per applicazioni algoritmiche in algebra commutativa e teoria delle singolarità.

Gli autori mantengono un tono modesto, inquadrando i risultati come un'estensione delle teorie esistenti per gli ideali ai moduli, utilizzando strategie simili ma adattate (come i limiti di regolarità lineare per le potenze dei moduli) per superare le differenze strutturali tra ideali e moduli.