Sintesi Tecnica: Rilevamento Omologico tramite Algebre Perfettoid

Enunciato del Problema

Il saggio affronta la lacuna nella comprensione di come le algebre perfettoid, che sono diventate fondamentali nella geometria $p$-adica e nella teoria delle singolarità a caratteristica mista, interagiscano con gli invarianti omologici duali. Mentre il lavoro precedente (in particolare quello di Bhatt, Iyengar e Ma) ha stabilito che le algebre perfettoid rilevano la regolarità tramite la dimensione piatta in caratteristica mista (analogamente ai risultati di Kunz e Peskine–Szpiro sul morfismo di Frobenius in caratteristica positiva), molto meno è noto riguardo alla dimensione iniettiva ($\text{idim}_R(-)$) e alle relative proprietà duali. Gli autori mirano a sviluppare una teoria in cui le algebre perfettoid rilevino la dimensione iniettiva finita, le proprietà Gorenstein, la Cohen–Macaulayness e la regolarità in caratteristica mista, fornendo analoghi ai risultati classici che coinvolgono l'endomorfismo di Frobenius.

Metodologia

Gli autori impiegano una combinazione di algebra omologica, sequenze spettrali e le proprietà strutturali delle algebre perfettoid.

1. Stime della Dimensione per i Quozienti: Il passo fondamentale consiste nello stabilire limiti per le dimensioni proiettive e iniettive dei quozienti di algebre perfettoid per ideali radicali.

   • Utilizzano la sequenza spettrale $E_2^{p,q} = \text{Ext}_S^p(S/J, \text{Ext}_R^q(S, M)) \Rightarrow \text{Ext}_R^{p+q}(S/J, M)$ per relazionare la scomparsa dei gruppi Ext su un'algebra perfettoid $S$ con la scomparsa sul campo residuo $k$.
   • Analizzano la dimensione proiettiva di "ideali perfettamente principali" (ideali generati da sistemi compatibili di radici $p$-esime) utilizzando colimiti e limiti derivati nella categoria derivata $D(R)$. Nello specifico, dimostrano che l'ideale generato da un sistema compatibile di radici $p$-esime di un multiplo unitario di $p$ ha dimensione proiettiva al massimo 1.
   • Iterando questi argomenti su un insieme generatore di un ideale radicale, derivano un limite superiore di $2(r+1)$ per la dimensione proiettiva di $A/\sqrt{I}A$, dove $I$ è generato da $r$ elementi fino al radicale.

2. Caratterizzazioni Omologiche Duali:

   • Gli autori sfruttano il funtore di dualità di Matlis per tradurre i risultati tra dimensioni proiettive e iniettive.
   • Utilizzano la dimensione Gorenstein proiettiva ($\text{Gpd}_R(-)$) introdotta da Enochs e Jenda per estendere le caratterizzazioni degli anelli Gorenstein a moduli non finitamente generati.
   • Le prove si basano spesso sul fatto che se un modulo $M$ ha dimensione iniettiva finita, allora $\text{Ext}_R^i(A, M) = 0$ per $i \gg 0$ per ogni algebra $A$. La novità risiede nel dimostrare il contrario: se questa scomparsa avviene per una specifica algebra perfettoid $A$, allora $M$ deve avere dimensione iniettiva finita.

3. Uso delle Condizioni Perfettoid: Il saggio definisce un insieme specifico di condizioni (Notazione 3.1) affinché un'algebra $R$-algebra $A$ sia "tipo-perfettoid" nel contesto di questi teoremi. Ciò include essere un'algebra ridotta contenente un sistema compatibile di radici $p$-esime di un multiplo unitario di $p$, tale che il quoziente per l'ideale generato da queste radici sia perfetto. Questo permette agli autori di indebolire la definizione stretta di algebre perfettoid pur mantenendo le necessarie proprietà omologiche.

Contributi Chiave e Risultati

1. Stime della Dimensione (Sezione 2)

• Proposizione 2.3: Per un'algebra $R$-ridotta $A$ che soddisfa specifiche condizioni tipo-perfettoid, e un ideale $I$ generato da $r$ elementi fino al radicale (contenente $p$), la dimensione proiettiva $\text{pd}_A(A/\sqrt{I}A)$ è limitata da $2(r+1)$.
• Proposizione 2.5: Se $A$ ha dimensione iniettiva finita come modulo $R$, allora anche $A/\sqrt{I}A$ ha dimensione iniettiva finita, con $\text{idim}_R(A/\sqrt{I}A) \leq \text{idim}_R(A)$.
• Corollario 2.6: Stabilisce un criterio di scomparsa: se $\text{Ext}_R^i(A, M) = 0$ per un intervallo sufficientemente lungo di indici, allora $\text{Ext}_R^i(k, M) = 0$. Ciò collega la scomparsa sull'algebra perfettoid alla scomparsa sul campo residuo.

2. Caratterizzazione della Dimensione Iniettiva Finita e degli Anelli Gorenstein (Sezione 3.1)

• Teorema 3.2: Fornisce un analogo in caratteristica mista del criterio di Herzog. Per un anello locale noetheriano $(R, \mathfrak{m})$ con $p \in \mathfrak{m}$ e un modulo $M$ non nullo finitamente generato o $\mathfrak{m}$-adicamente completo, i seguenti sono equivalenti:

  1. $M$ ha dimensione iniettiva finita.
  2. $\text{Ext}_R^i((R/pR)^{\text{perf}}, M) = 0$ per tutti $i \gg 0$.
  3. $\text{Ext}_R^i(A, M) = 0$ per tutti $i \gg 0$ per qualche algebra $R$-perfettoid $A$ (con $\mathfrak{m}A \neq A$).
  • Significato: Questa caratterizzazione è annotata come nuova anche in caratteristica $p$ e si applica a moduli completi, non solo finitamente generati. Ciò implica che $R$ è Cohen–Macaulay se queste condizioni sono soddisfatte.

• Corollario 3.4: Caratterizza gli anelli locali Gorenstein. $R$ è Gorenstein se e solo se $\text{Ext}_R^i((R/pR)^{\text{perf}}, R) = 0$ per $i \gg 0$, o equivalentemente, se esiste un'algebra perfettoid con dimensione Gorenstein proiettiva finita. Questo serve come analogo in caratteristica mista dei risultati di Takahashi–Yoshino e Iyengar–Sathers-Wagstaff.

3. Caratterizzazione dei Moduli Cohen–Macaulay (Sezione 3.2)

• Teorema 3.7 & Corollario 3.10: Un modulo finitamente generato (o completo) è Cohen–Macaulay se e solo se esiste un'algebra perfettoid $A$ tale che $\text{Ext}_R^i(A, M) = 0$ per tutti $i < \dim(M)$.
• Corollario 3.13: Per un anello locale completo Cohen–Macaulay, un modulo privo di torsione $M$ è una somma diretta finita del modulo canonico se e solo se $\text{Ext}_R^i(A, M) = 0$ per tutti $i \neq \dim(M)$.

4. Regolarità e Dimensioni Iniettive (Sezione 3.3)

• Teorema 3.15: Fornisce un duale al criterio di regolarità di Bhatt–Iyengar–Ma. Un anello locale noetheriano $R$ è regolare se e solo se:
  1. La perfezione $(R/pR)^{\text{perf}}$ ha dimensione iniettiva finita.
  2. Esiste un'algebra $R$-perfettoid $A$ con dimensione iniettiva finita.
  3. $R$ ha una singolarità isolata ed esiste un'algebra $A$ perfettoid tale che $\text{Ext}_R^i(A, A) = 0$ per $i \gg 0$.
• Corollario 3.16 & 3.18: Se tale algebra perfettoid $A$ è anche un'algebra big Cohen–Macaulay e ha dimensione iniettiva finita, allora $\text{idim}_R(A) = \dim(R)$. Questo stabilisce una dicotomia in cui la dimensione iniettiva è o la dimensione dell'anello o infinita.

Significato e Rivendicazioni

Il saggio sostiene di aver stabilito un "analogo in caratteristica mista" delle classiche caratterizzazioni omologiche che si basano sul morfismo di Frobenius in caratteristica positiva. Sostituendo l'endomorfismo di Frobenius con le algebre perfettoid (o le loro chiusure perfette), gli autori dimostrano che questi oggetti altamente non-noetheriani possono effettivamente controllare e rilevare invarianti omologici standard come la dimensione iniettiva, la Gorensteinness e la regolarità.

Nello specifico, gli autori evidenziano:

• Nuove Caratterizzazioni: I risultati forniscono nuove caratterizzazioni della dimensione iniettiva finita e degli anelli Gorenstein, particolarmente per i moduli completi e in caratteristica mista.
• Estensione dell'Ambito: La teoria si estende oltre i moduli finitamente generati per includere i moduli $\mathfrak{m}$-adicamente completi e i moduli big Cohen–Macaulay.
• Risoluzione di Congetture: Il lavoro risolve una congettura implicita nella letteratura precedente riguardante la dimensione iniettiva della chiusura integrale assoluta ($R^+$) sia in caratteristica prima che in caratteristica mista, mostrando che se è finita, l'anello deve essere regolare.
• Dualità: Il saggio costruisce con successo una teoria duale ai risultati di rilevamento della dimensione piatta di Bhatt, Iyengar e Ma, completando così un quadro più ampio di come le algebre perfettoid interagiscano con le congetture omologiche in algebra commutativa.

Gli autori mantengono un tono modesto, notando che, sebbene la condizione perfettoid possa essere indebolita (alle condizioni in Notazione 3.1), i risultati centrali si basano sulle proprietà strutturali di queste algebre per limitare le dimensioni omologiche e rilevare la scomparsa dei gruppi Ext.