Quasi-projective dimensions of complexes over rings

Titel: Quasi-projectieve dimensies van complexen over ringen

Auteurs: Hongxing Chen, Jiangsheng Hu, Xiaoyan Yang
Taal van samenvatting: Nederlands

---

1. Probleemstelling en Achtergrond

Homologische dimensies, zoals de projectieve dimensie ($pd$), G-dimensie en de dimensie van volledige doorsneden (complete intersection dimension), zijn fundamentele invarianten in de studie van modules en complexen over commutatieve noetheriaanse ringen. Ze worden gebruikt om de homologische complexiteit te meten en singulariteiten van onderliggende ringen te detecteren.

Recent hebben Gheibi, Jorgensen en Takahashi een nieuwe homologische dimensie geïntroduceerd: de quasi-projectieve dimensie ($qpd$). Hoewel deze de projectieve dimensie generaliseert, vertoont hij verschillend gedrag; bijvoorbeeld, de categorie van eindig gegenereerde modules met eindige $qpd$ heeft niet de "twee van drie"-eigenschap.

Dit artikel richt zich op twee centrale open vragen in dit domein:

1. Vraag 1 (Gheibi-Jorgensen-Takahashi): Als $R$ een commutatieve noetheriaanse lokale ring is en elke eindig gegenereerde $R$-module een eindige quasi-projectieve dimensie heeft, is $R$ dan een volledige doorsnede (complete intersection)?
2. Vraag 2 (Chang): Als $R$ een commutatieve noetheriaanse ring is, $x$ een regulier element, en $M$ een $R/(x)$-module met $qpd_R M < \infty$, geldt dan ook dat $qpd_{R/(x)} M < \infty$?

De auteurs breiden het bestaande kader uit door de quasi-projectieve dimensie te generaliseren van modules naar complexen van modules over willekeurige ringen.

2. Methodologie

De auteurs hanteren een methodologie gebaseerd op de afgeleide categorie ($D(R)$) en de theorie van dikke subcategorieën (thick subcategories).

• Definitie van $qpd$ voor complexen: Een quasi-projectieve resolutie van een complex $M$ wordt gedefinieerd als een semi-projectief complex $P$ waarvan de homologiewaarden isomorf zijn met een eindige directe som van verschuivingen van $M$ (d.w.z. $H(P) \cong \bigoplus H(\Sigma^i M^{a_i})$). De dimensie wordt gemeten als het verschil tussen het supremum van de resolutie en het supremum van de homologiewaarden.
• Verband met "virtually small" complexen: De auteurs maken gebruik van het concept van "virtually small" complexen (geïntroduceerd door Dwyer, Greenlees en Iyengar). Een ring is een volledige doorsnede dan en slechts dan als elke niet-exacte complex in $D^f(R)$ "virtually small" is. Modules met eindige $qpd$ zijn automatisch virtually small.
• Technische hulpmiddelen:
  • Gebruik van Koszul-complexen ($K(x; M)$) om te werken met reguliere rijen.
  • Toepassing van spectrale sequenties (zoals de Künneth-spectrale sequentie) om relaties tussen Ext-groepen en homologiewaarden te analyseren.
  • Analyse van de interactie tussen projectieve dimensie, diepte (depth) en de quasi-projectieve dimensie via de afgeleide Auslander-Buchsbaum-formule.

3. Belangrijkste Bijdragen en Resultaten

Het artikel levert vier hoofdbijdragen, samengevat in de volgende stellingen:

A. Fundamentele Eigenschappen en Vergelijkingen (Stelling 1.1)

De auteurs vestigen basisrelaties tussen de quasi-projectieve dimensie ($qpd$) en de projectieve dimensie ($pd$) voor complexen:

1. Als $pd_R M < \infty$, dan geldt: $qpd_R M + \text{hsup}(M) = pd_R M$.
2. Als $qpd_R M < \infty$ en bepaalde Ext-groepen verdwijnen ($Ext^j_R(H(M), H(M)) = 0$ voor grote $j$), dan is ook $pd_R M < \infty$.
3. Er geldt een ongelijkheid: $qpd_R M \leq \sup \{ qpd_R H^n(M) \mid n \in \mathbb{Z} \}$.
4. Afgeleide Auslander-Buchsbaum-formule: Voor een commutatieve noetheriaanse lokale ring $R$ en een complex $M$ met eindige $qpd$:
   $$qpd_R M + \text{hsup}(M) = \text{depth}(R) - \text{depth}_R(M)$$
   Dit generaliseert de klassieke formule voor modules.

B. Karakterisering van Volledige Doorsneden (Stelling 1.2 & Corollarium 1.3)

De auteurs geven voldoende voorwaarden waaronder Vraag 1 positief wordt beantwoord. Als $R$ een lokale ring is met volledige afwerking $\hat{R} \cong Q/I$ (waarbij $Q$ regulier is), dan is $R$ een volledige doorsnede als:

• De inbeddingsdimensie van $R$ hoogstens 2 is, OF
• $I$ een Burch-ideaal is, OF
• Het minimale aantal generators van $I$ hoogstens 2 is.
  Dit levert een positief antwoord op voor Artiniaanse ringen en specifieke lokale ringen.

C. Gedrag onder Reguliere Rijen (Stelling 1.4)

Het gedrag van $qpd$ bij het moduleren van een reguliere rij $x = x_1, \dots, x_d$ wordt onderzocht. Als $M$ een complex is over $R/(x)$ met $qpd_R M < \infty$, en er geldt óf dat $R$ von Neumann-regulier is, óf dat $Ext^1_R(H(M), H(M)) = 0$, dan geldt:
$$qpd_{R/(x)} M \leq qpd_R M - d$$
Dit geeft een partiële positief antwoord op Vraag 2, specifiek onder de voorwaarde dat $Ext^1_R(M, M) = 0$.

D. Relatie met "Virtually Small" Complexen

De auteurs tonen aan dat als de homologiewaarden van elk niet-perfect complex $M$ eindig gebouwd zijn uit $M$ zelf in de afgeleide categorie, dan is $R$ een volledige doorsnede. Dit koppelt de theorie van $qpd$ direct aan de structurele stellingen van Pollitz over volledige doorsneden.

4. Significance en Impact

De betekenis van dit werk is meervoudig:

1. Generalisatie: Het breidt de theorie van quasi-projectieve dimensie succesvol uit van modules naar complexe ketens, wat een krachtiger gereedschap biedt voor homologische algebra.
2. Beantwoording van Open Vragen: Het biedt de eerste systematische aanpak en partiële oplossingen voor de open vragen van Gheibi-Jorgensen-Takahashi en Chang, die centraal staan in de classificatie van singuliere ringen.
3. Verbinding van Concepten: Het artikel legt een diep verband tussen quasi-projectieve dimensie, de structuur van de afgeleide categorie (via "thick subcategories") en de klassieke theorie van volledige doorsneden.
4. Nieuwe Formules: De afgeleide Auslander-Buchsbaum-formule voor complexen is een nieuw en krachtig instrument dat de relatie tussen homologische dimensie en diepte in een bredere context beschrijft.

Samenvattend biedt dit artikel een robuust theoretisch raamwerk voor het bestuderen van homologische complexiteit in ringen die niet noodzakelijk regulier zijn, en verrijkt het de toolbox van algebraïsten die werken aan de classificatie van commutatieve noetheriaanse ringen.