Change-of-Rings Theorems for the Small Finitistic Dimension

1. Il Problema e il Contesto

L'articolo affronta lo studio della dimensione finitistica piccola (small finitistic dimension), indicata con $\text{fPD}(R)$, di un anello commutativo $R$.

• Definizione: Originariamente introdotta da Bass, la dimensione finitistica piccola è definita come il supremo delle dimensioni proiettive di tutti i moduli finitamente generati che hanno dimensione proiettiva finita.
• Sfida: La definizione originale di Bass può essere scomoda nella pratica perché i sottomoduli di syzygy di moduli finitamente generati non sono necessariamente finitamente generati su anelli arbitrari. Per ovviare a ciò, Glaz ha ridefinito $\text{fPD}(R)$ come il supremo delle dimensioni proiettive dei moduli che ammettono una risoluzione proiettiva finita (classe $\mathcal{FPR}(R)$).
• Lacuna nella letteratura: Mentre le dimensioni globali (global dimension) e le dimensioni globali deboli (weak global dimension) soddisfano noti teoremi di "cambio di anello" (per estensioni polinomiali, quozienti e localizzazione), non esistevano teoremi analoghi consolidati per la dimensione finitistica piccola.
• Obiettivo: L'obiettivo principale del lavoro è stabilire teoremi di cambio di anello per $\text{fPD}(R)$, colmando questa lacuna teorica.

2. Metodologia

Gli autori adottano un approccio basato sull'algebra omologica finitistica piatta (finitistic flat homological algebra). La metodologia si articola nei seguenti punti:

1. Introduzione della Dimensione Piatto-Finitistica (FT-flat dimension):

   • Viene utilizzata la classe $\mathcal{FPR}(R)$ dei moduli che ammettono risoluzioni proiettive finite.
   • Un modulo $M$ è definito FT-flat se $\text{Tor}_1^R(N, M) = 0$ per ogni $N \in \mathcal{FPR}(R)$.
   • La dimensione FT-flat ($\text{FT-fd}_R M$) è definita come la lunghezza minima di una risoluzione esatta da moduli FT-flat.
   • È stato dimostrato in lavori precedenti che $\text{fPD}(R) \leq n$ se e solo se la dimensione FT-flat globale $\text{FT-dim}(R) \leq n$. Questo permette di studiare $\text{fPD}(R)$ attraverso le proprietà della dimensione FT-flat.

2. Studio della classe $\mathcal{FPR}(R)$:

   • Vengono analizzate le proprietà di chiusura della classe $\mathcal{FPR}(R)$ rispetto a successioni esatte corte (Lemma 2.2).
   • Si dimostra che questa classe non si comporta bene in generale sotto localizzazione inversa (un modulo su $R_S$ in $\mathcal{FPR}(R_S)$ non appartiene necessariamente a $\mathcal{FPR}(R)$), il che richiede tecniche specifiche per le disuguaglianze di localizzazione.

3. Strumenti Omologici:

   • Utilizzo estensivo delle successioni esatte lunghe di Tor e delle proprietà di shifting della dimensione.
   • Applicazione del Lemma dell'Orto (Horseshoe Lemma) per costruire risoluzioni.
   • Analisi di anelli triangolari superiori e anelli di polinomi.

3. Contributi Chiave e Risultati Principali

Il lavoro produce diversi risultati fondamentali, suddivisi per tipologia di cambio di anello:

A. Proprietà della Dimensione FT-flat

• Disuguaglianze di Cambio di Anello: Viene stabilito che per un omomorfismo di anelli $\phi: R \to T$ e un $T$-modulo $L$:
  • Se $T$ è piatto su $R$, allora $\text{FT-fd}_R L \leq \text{FT-fd}_T L$.
  • In generale: $\text{FT-fd}_R L \leq \text{FT-fd}_T L + \text{FT-fd}_R T$.
• Localizzazione: Viene provato che la dimensione FT-flat globale è limitata superiormente dal supremo delle dimensioni FT-flat delle localizzazioni massimali:
  $$\text{FT-fd}_R M \leq \sup \{ \text{FT-fd}_{R_{\mathfrak{m}}} M_{\mathfrak{m}} \mid \mathfrak{m} \in \text{Max}(R) \}$$

B. Teoremi per la Dimensione Finitistica Piccola ($\text{fPD}$)

Sfruttando l'equivalenza tra $\text{fPD}$ e $\text{FT-dim}$, gli autori derivano i seguenti teoremi:

1. Teorema del Quoziente:
   Se $a \in R$ non è un divisore di zero né un'unità, e $R = R/aR$, allora se $\text{fPD}(R) < \infty$:
   $$\text{fPD}(R) \geq \text{fPD}(R) + 1$$
   Questo generalizza il classico risultato per la dimensione globale.

2. Teorema dell'Estensione Polinomiale:
   Per un anello $R$ con $\text{fPD}(R) < \infty$ e indeterminati $x_1, \dots, x_m$:
   $$\text{fPD}(R[x_1, \dots, x_m]) = \text{fPD}(R) + m$$
   Questo risolve il caso finito, confermando che la dimensione aumenta esattamente di $m$.

3. Limiti Superiori di Localizzazione:
   Viene stabilito un limite superiore per la dimensione finitistica globale in termini delle localizzazioni:
   $$\text{fPD}(R) \leq \sup \{ \text{fPD}(R_{\mathfrak{m}}) \mid \mathfrak{m} \in \text{Max}(R) \}$$

C. Anelli Triangolari Superiori

Gli autori estendono l'analisi agli anelli triangolari superiori $T = \begin{pmatrix} R & M \\ 0 & S \end{pmatrix}$, assumendo che $M$ sia proiettivo sia come $R$-modulo che come $S$-modulo (Ipotesi 4.1).

• Risultato:
  $$\max\{\text{fPD}(R), \text{fPD}(S)\} \leq \text{fPD}(T) \leq \max\{\text{fPD}(R) + 1, \text{fPD}(S) + 1\}$$
• Esempio Critico: Viene fornito un esempio (Esempio 4.8) che mostra come il termine $+1$ nell'upper bound sia necessario, anche quando $\text{fPD}(R) = \text{fPD}(S) = 0$. In tal caso, $\text{fPD}(T)$ può essere 1.
• Applicazione agli Anelli di Matrici: Per l'anello delle matrici triangolari superiori $UT_n(R)$, si ottiene:
  $$\text{fPD}(UT_n(R)) \leq \text{fPD}(R) + (n-1)$$

4. Significato e Implicazioni

• Unificazione Teorica: Il lavoro collega efficacemente la dimensione finitistica piccola alla teoria della dimensione piatta finitistica, fornendo un quadro omologico coerente per derivare teoremi di cambio di anello.
• Generalizzazione: Estende risultati classici noti per la dimensione globale (di Auslander-Buchsbaum-Serre) e la dimensione debole globale al contesto più sottile della dimensione finitistica, che è cruciale per lo studio di anelli non noetheriani.
• Strumenti per la Ricerca Futura: Le caratterizzazioni fornite (ad esempio, in termini di $\text{Tor}$ e $\text{Ext}$ su moduli in $\mathcal{FPR}(R)$) offrono nuovi strumenti per calcolare o stimare $\text{fPD}(R)$ in strutture algebriche complesse come anelli di polinomi, estensioni di anelli e anelli di matrici.
• Precisione dei Limiti: La dimostrazione che i limiti superiori per gli anelli triangolari e polinomiali sono ottimali (o strettamente vicini all'ottimalità) chiarisce i limiti strutturali della dimensione finitistica in queste costruzioni.

In sintesi, questo articolo rappresenta un avanzamento significativo nella teoria omologica degli anelli commutativi, fornendo la prima trattazione sistematica dei teoremi di cambio di anello per la dimensione finitistica piccola, risolvendo problemi aperti e stabilendo nuovi confini per le future indagini in algebra commutativa e teoria dei moduli.