Decompositions into a direct sum of projective and stable submodules

Titolo: Decomposizioni in una somma diretta di sottomoduli proiettivi e stabili

1. Il Problema

Il lavoro si concentra sulla classificazione dei moduli su un anello associativo con unità $R$. Un modulo $M$ è definito stabile se non possiede alcun sommand diretto proiettivo non nullo. Il problema centrale indagato è: sotto quali condizioni un modulo $M$ (appartenente a una certa classe) ammette una decomposizione della forma:
$$M = P \oplus N$$
dove $P$ è un sottomodulo proiettivo e $N$ è un sottomodulo stabile?

Sebbene esistano risultati noti per classi specifiche di anelli (ad esempio, anelli semiperfetti o hereditary), il paper mira a:

1. Estendere i risultati di esistenza di tale decomposizione a classi più ampie di moduli e anelli.
2. Identificare e costruire controesempi concreti in cui tale decomposizione fallisce, anche per moduli finitamente generati o finitamente presentati.
3. Analizzare l'equivalenza proiettiva: se un modulo non ammette tale decomposizione, è comunque "equivalente proiettivamente" a un modulo stabile?

2. Metodologia

Gli autori utilizzano un approccio misto che combina teoria dei moduli classica, teoria dell'omologia e tecniche costruttive di controesempi:

• Dimensioni Uniformi e Cavi (Hollow): Viene utilizzata la teoria della dimensione Goldie (dimensione uniforme $u.\dim$) e la sua duale (dimensione cava $h.\dim$) per dimostrare l'esistenza della decomposizione in casi di "dimensione finita".
• Trasposto di Auslander-Bridger: Per i moduli finitamente presentati, viene impiegato il funtore trasposto di Auslander-Bridger ($Tr$). Questo strumento permette di collegare la proprietà di stabilità alla dimensione proiettiva del trasposto e all'annullamento del duale del modulo ($M^* = \text{Hom}_R(M, R) = 0$).
• Costruzione di Controesempi: Per le sezioni di fallimento, gli autori costruiscono anelli e moduli specifici basandosi su:
  • Anelli hereditary ma non perfetti (es. $\mathbb{Z}$).
  • Anelli semihereditary non Baer.
  • Anelli semiartiniani di tipo V (V-rings) non semisemplici.
  • Anelli di matrici triangolari su prodotti infiniti di campi (idealizzazione).

3. Risultati Chiave e Contributi

A. Risultati di Esistenza (Decomposizione Possibile)

1. Dimensione Finita: Su un anello arbitrario, ogni modulo con dimensione uniforme finita ($u.\dim(M) < \infty$) o dimensione cava finita ($h.\dim(M) < \infty$) ammette la decomposizione $M = P \oplus N$.
   • Corollario: Questo include tutti i moduli Noetheriani o Artiniani, e quindi tutti i moduli finitamente generati su anelli semilocali.
2. Anelli Semihereditary Sinistri: Il risultato principale della Sezione 3 (Teorema 3.10) afferma che se $R$ è un anello semihereditary sinistro e $M$ è un modulo finitamente presentato (a destra), allora $M$ si decompone come $M = P \oplus N$, con $P$ proiettivo e $N$ stabile.
   • Meccanismo: La dimostrazione si basa sul fatto che per tali anelli, il trasposto di Auslander-Bridger $Tr(M)$ ha dimensione proiettiva $\le 1$, il che implica che il duale $M^*$ è proiettivo e il nucleo della mappa naturale verso il doppio duale è stabile.

B. Risultati di Non Esistenza (Fallimento della Decomposizione)

La parte più significativa del lavoro è la costruzione di esempi dove la decomposizione fallisce, sfidando l'intuizione che moduli "ben comportati" (finitamente generati/presentati) su anelli "ragionevoli" (commutativi, hereditary) ammettano sempre tale struttura.

1. Moduli Torsionless non Proiettivi: Se un anello non è sia destro perfetto che sinistro coerente, esistono moduli torsionless che non sono proiettivi. Su anelli hereditary destri, tali moduli non ammettono la decomposizione desiderata (Teorema 4.1).
   • Esempio: Il prodotto infinito $\prod_{i=1}^\infty \mathbb{Z}$ su $\mathbb{Z}$.
2. Moduli Ciclici su Anelli Semihereditary: Se un anello è semihereditary destro ma non è un anello Baer destro, esiste un modulo ciclico torsionless che non si decompone (Teorema 4.3).
3. Moduli su Anelli Semiartiniani V: Su un anello semiartiniano destro V che non è semisemplice, esiste un modulo ciclico che non ammette la decomposizione (Teorema 4.6).
4. Il Controesempio Principale (Esempio 4.8):
   • Gli autori costruiscono un modulo finitamente presentato (anzi, ciclicamente presentato) $M$ su un anello commutativo $A$.
   • $M$ non ammette alcuna decomposizione in somma diretta di un modulo proiettivo e uno stabile.
   • Punto cruciale: $M$ non è nemmeno equivalente proiettivamente a un modulo stabile. Questo significa che nella categoria stabile dei moduli su $A$, $M$ non è isomorfo a un oggetto stabile.
   • Costruzione: L'anello $A$ è un anello di matrici triangolari su un prodotto infinito di $\mathbb{Z}_2$ con idealizzazione. Il modulo è $M = A/J$, dove $J$ è l'ideale radicale di Jacobson. Si dimostra che $M$ non è proiettivo e non contiene sottomoduli stabili non nulli.

4. Significato e Implicazioni

• Limiti della Teoria delle Decomposizioni: Il lavoro dimostra che l'esistenza di una decomposizione $M = P \oplus N$ non è garantita nemmeno per moduli finitamente presentati su anelli commutativi, un contesto spesso considerato "ben comportato" nella teoria dei moduli.
• Ruolo dell'Equivalenza Proiettiva: L'esempio 4.8 è fondamentale perché mostra che l'assenza di decomposizione non implica necessariamente che il modulo sia "vicino" a un modulo stabile in senso categoriale (equivalenza proiettiva). Questo ha implicazioni per la teoria delle rappresentazioni di algebre, dove spesso si lavora nella categoria stabile.
• Connessione tra Proprietà dell'Anello e del Modulo: Il paper chiarisce le condizioni necessarie sugli anelli (come essere perfetti, coerenti, Baer) affinché certe classi di moduli ammettano decomposizioni strutturali.
• Contributo alla Letteratura: Fornisce una risposta definitiva a domande aperte sollevate da lavori precedenti (come quelli di Warfield, Zangurashvili e Facchini/Girardi) riguardo ai limiti di validità di tali decomposizioni, fornendo una collezione ricca di controesempi costruttivi.

In sintesi, il paper bilancia risultati positivi di generalizzazione (per anelli semihereditary e moduli finitamente presentati) con una profonda analisi negativa, dimostrando che senza ipotesi aggiuntive sull'anello o sul modulo, la decomposizione in parte proiettiva e parte stabile può fallire in modi strutturali e non banali.