Bass numbers of local cohomology modules at the first and last non-vanishing levels

1. Problema e Contesto

Il lavoro si inserisce nel campo dell'algebra commutativa, focalizzandosi sulle proprietà di finitudine dei numeri di Bass dei moduli di coomologia locale.
Sia $R$ un anello Noetheriano commutativo, $\mathfrak{a}$ un ideale di $R$ e $M$ un $R$-modulo finitamente generato. I numeri di Bass $\mu_i(\mathfrak{p}, H^j_{\mathfrak{a}}(M))$ sono definiti come la dimensione vettoriale su $\kappa(\mathfrak{p})$ del gruppo $\text{Ext}^i_{R_{\mathfrak{p}}}(\kappa(\mathfrak{p}), H^j_{\mathfrak{a}}(M)_{\mathfrak{p}})$.

Il problema centrale è la Congettura di Huneke (1.1): se $(R, \mathfrak{m})$ è un anello locale regolare, i numeri di Bass dei moduli di coomologia locale $H^j_{\mathfrak{a}}(R)$ sono finiti per ogni $i, j$?

• È noto che i moduli di coomologia locale sono raramente finitamente generati, quindi la finitudine dei numeri di Bass non è banale.
• La congettura è stata confermata in caratteristiche positive (Huneke-Sharp) e quando $R$ contiene un campo (Lyubeznik).
• Tuttavia, se $R$ non è regolare, i numeri di Bass possono essere infiniti (esempio di Hartshorne).
• Anche nel caso regolare, la finitudine per tutti gli indici non è stata dimostrata in generale.

Obiettivo del paper: Fornire risposte parziali alla congettura di Huneke studiando specificamente i numeri di Bass ai livelli di non-vanishing estremi (il primo e l'ultimo livello non nullo) della coomologia locale.

2. Metodologia

Gli autori utilizzano strumenti avanzati di omologia commutativa, in particolare:

• Spettri di Grothendieck: Viene impiegata la sequenza spettrale di Grothendieck per la composizione di funtori covarianti additivi. Nello specifico, si considera la composizione tra il funtore di torsione $\Gamma_{\mathfrak{a}}$ e il funtore $\text{Hom}_R(R/\mathfrak{m}, -)$.
• Convergenza della Sequenza Spettrale: Si analizza la convergenza della sequenza spettrale:
  $$E_2^{i,j} = \text{Ext}^i_R(R/\mathfrak{m}, H^j_{\mathfrak{a}}(N)) \Rightarrow \text{Ext}^{i+j}_R(R/\mathfrak{m}, N)$$
  Questa relazione permette di collegare i numeri di Bass dei moduli di coomologia locale ($H^j_{\mathfrak{a}}$) con i numeri di Bass del modulo originale $M$ (tramite i gruppi $\text{Ext}$).
• Filtri e Isomorfismi: Si costruiscono filtrazioni sui gruppi $\text{Ext}$ per stabilire disuguaglianze o uguaglianze tra i termini della sequenza spettrale e i numeri di Bass.
• Cambiamento di Base Piatto: Viene utilizzato il teorema di cambiamento di base piatto per ridurre il caso generale al caso locale $(R, \mathfrak{m})$ con $\mathfrak{p} = \mathfrak{m}$, semplificando l'analisi.
• Dimensione di Cohen-Macaulay e Regolarità: Si sfruttano le proprietà degli anelli regolari (dove la dimensione proiettiva coincide con l'altezza dell'ideale) e le definizioni di grade (lunghezza della sequenza regolare massima) e cohomological dimension ($c_{\mathfrak{a}}(M)$).

3. Contributi Chiave e Risultati Principali

Il paper stabilisce risultati precisi per due casi specifici: il primo livello non nullo (legato al grade) e l'ultimo livello non nullo (legato alla cohomological dimension).

A. Caso del Primo Livello Non Nullo (Teorema 1.4 e 2.3)

Sia $g = \text{grade}_{\mathfrak{a}}(M)$. Gli autori studiano $\mu_i(\mathfrak{p}, H^g_{\mathfrak{a}}(M))$.

• Risultato Principale: Per $g \leq \text{grade}_{\mathfrak{a}}(M)$ e $\mathfrak{p} \in \text{Var}(\mathfrak{a})$:
  1. $\mu_0(\mathfrak{p}, H^g_{\mathfrak{a}}(M)) = \mu_g(\mathfrak{p}, M) < \infty$.
  2. $\mu_1(\mathfrak{p}, H^g_{\mathfrak{a}}(M)) \leq \mu_{g+1}(\mathfrak{p}, M)$. L'uguaglianza vale se $\mu_0(\mathfrak{p}, H^{g+1}_{\mathfrak{a}}(M)) = 0$.
  3. Se certi numeri di Bass superiori sono nulli, si ottengono stime per $\mu_0$ e $\mu_1$ di livelli di coomologia successivi.
• Corollario Importante: Il modulo $H^{\text{grade}_{\mathfrak{a}}(M)}_{\mathfrak{a}}(M)$ ha dimensione di Goldie finita. Questo implica che il suo inviluppo iniettivo è una somma diretta finita di moduli iniettivi indecomponibili.

B. Caso dell'Ultimo Livello Non Nullo (Teorema 1.2 e 2.5)

Sia $c = c_{\mathfrak{a}}(M)$ (dimensione coomologica) e assumendo che $R$ sia un anello regolare.
Sia $\mathfrak{p} \in \text{Supp}_R(H^c_{\mathfrak{a}}(M))$ e $d = \text{ht}(\mathfrak{p})$.

• Risultato Principale:
  1. $\mu_d(\mathfrak{p}, H^c_{\mathfrak{a}}(M)) = \mu_{d+c}(\mathfrak{p}, M) < \infty$.
  2. $\mu_{d-1}(\mathfrak{p}, H^c_{\mathfrak{a}}(M)) \leq \mu_{d+c-1}(\mathfrak{p}, M) < \infty$. L'uguaglianza vale se $\mu_d(\mathfrak{p}, H^{c-1}_{\mathfrak{a}}(M)) = 0$.
  3. Se $\mu_d(\mathfrak{p}, H^{c-1}_{\mathfrak{a}}(M)) = 0$, allora $\mu_{d-2}(\mathfrak{p}, H^c_{\mathfrak{a}}(M)) \leq \mu_{d+c-2}(\mathfrak{p}, M) < \infty$.

Questi risultati confermano la finitudine dei numeri di Bass ai livelli critici in anelli regolari, fornendo una risposta parziale alla congettura di Huneke.

C. Dimensione Iniettiva (Teorema 1.3 e Corollario 2.6)

Un'importante conseguenza dei risultati sopra è il controllo sulla dimensione iniettiva ($id_R$) dei moduli di coomologia locale in anelli regolari:

• Se $c > 0$, allora $id_R(H^c_{\mathfrak{a}}(M)) < \dim(R)$. Inoltre, $H^c_{\mathfrak{a}}(M)$ non è finitamente generato.
• Se $c > 1$, allora $id_R(H^c_{\mathfrak{a}}(M)) < \dim(R) - 1$.
• Se $c > 2$ e una certa condizione di annullamento sui numeri di Bass del livello precedente è soddisfatta, allora $id_R(H^c_{\mathfrak{a}}(M)) < \dim(R) - 2$.

Questo porta alla Domanda 2.7: In un anello regolare, vale sempre la disuguaglianza $id_R(H^i_{\mathfrak{a}}(M)) \leq \dim(R) - i$?

4. Significato e Impatto

• Avanzamento della Congettura di Huneke: Il lavoro dimostra che, anche se la finitudine totale dei numeri di Bass è aperta, essa è garantita ai livelli "estremi" (primo e ultimo non nullo) in anelli regolari.
• Generalizzazione: Il Teorema 1.4 generalizza risultati precedenti (come il Teorema 2.1 di Bahmanpour et al.) al caso non regolare, purché il grade sia maggiore di 1.
• Struttura dei Moduli: La dimostrazione della finitezza della dimensione di Goldie per il primo modulo di coomologia non nullo fornisce informazioni strutturali cruciali sulla decomposizione iniettiva di questi moduli.
• Limiti Superiori: I risultati sulla dimensione iniettiva offrono nuovi vincoli superiori per la complessità omologica dei moduli di coomologia locale, collegandoli direttamente alla dimensione dell'anello e alla dimensione coomologica.

In sintesi, il paper utilizza la potenza delle sequenze spettrali per "trasferire" la finitudine dei numeri di Bass dal modulo originale $M$ (che è finitamente generato e ha numeri di Bass finiti) ai moduli di coomologia locale $H^j_{\mathfrak{a}}(M)$, risolvendo il problema in casi specifici ma fondamentali della teoria.