Quasi-Gorenstein morphisms of commutative local dg-algebras

Technische Samenvatting: Quasi-Gorenstein-morfismen van commutatieve lokale DG-algebra's

Probleem en Context
Dit artikel behandelt de uitbreiding van de theorie van quasi-Gorenstein-morfismen van het domein van commutatieve noetheriaanse lokale ringen naar de meer algemene context van commutatieve lokale differentieel-gegradueerde (dg) algebra's. In de klassieke setting introduceerden Avramov en Foxby quasi-Gorenstein-homomorfismen om de Gorenstein-eigenschap te vatten: een lokale ring $R$ is Gorenstein dan en slechts dan als de afbeelding $R \to k$ (naar zijn residuveld) quasi-Gorenstein is. Bovendien geldt voor een lokaal homomorfisme $\phi: R \to S$ dat $R$ Gorenstein is dan en slechts dan als $S$ Gorenstein is, mits $\phi$ quasi-Gorenstein is.

De auteurs beogen deze resultaten te generaliseren naar dg-algebra's, specifiek die waarbij $H_0(R)$ een noetheriaanse lokale ring is en de homologie $H(R)$ eindig gegenereerd is over $H_0(R)$. Een centrale uitdaging bij deze uitbreiding is het karakteriseren van deze morfismen aan de hand van homologische eigenschappen die intrinsiek zijn aan de dg-context, zoals Gorenstein-dimensie en de "virtueel klein"-eigenschap, en het toepassen van deze karakteriseringen om exacte rijen in lokale ringen via Koszul-complexen te begrijpen.

Methodologie
De auteurs werken binnen de afgeleide categorie $D(R)$ van dg $R$-modules, met focus op de subcategorie $D^f_b(R)$ van modules met begrenste en graadsgewijs eindig gegenereerde homologie. De methodologie steunt op:

1. Definities en Achtergrond: Het vaststellen van de definities van Gorenstein-dimensie ($G\text{dim}$), dualiserende dg-modules, en de "virtueel G-klein"-eigenschap (een Gorenstein-analogon van de "virtueel klein"-eigenschap geïntroduceerd door Dwyer, Greenlees en Iyengar).
2. Homologische Karakteriseringen: Het bewijzen van dg-analogen van klassieke resultaten betreffende quasi-Gorenstein-morfismen. Dit omvat het manipuleren van afgeleide functors zoals $\text{RHom}$ en het benutten van eigenschappen van dikke subcategorieën.
3. Analyse van Koszul-complexen: Het onderzoeken van de canonieke augmentatie $R \to H_0(R)$ waarbij $R$ een Koszul-complex is op een rij elementen. De auteurs analyseren de voorwaarden waaronder deze afbeelding quasi-Gorenstein is, en koppelen dit aan het concept van "exacte rijen" (rijen bestaande uit reguliere elementen of exacte nuldelers).
4. Constructie van Voorbeelden: Het gebruik van triviale uitbreidingen ($R \ltimes M$) en tensorproducten van resoluties om specifieke dg-algebra's en morfismen te construeren om de grenzen van de theorie te testen.

Belangrijkste Bijdragen en Resultaten

• Definitie van Quasi-Gorenstein DG-morfismen: Het artikel definieert een morfisme $\phi: R \to S$ van commutatieve lokale dg-algebra's (met $G\text{dim}_R S < \infty$) als quasi-Gorenstein als $\text{RHom}_R(S, R)$ isomorf is in $D(S)$ met een verschuiving van $S$. Deze definitie komt overeen met de klassieke ring-theoretische definitie wanneer deze wordt beperkt tot module-eindige lokale homomorfismen van noetheriaanse lokale ringen.

• Karakterisatie via Virtueel G-kleine Modules (Stelling A):
  Het artikel vestigt een nieuwe karakterisatie van quasi-Gorenstein-morfismen. Laat $\phi: R \to S$ een morfisme zijn waarbij $S_0$ een noetheriaanse lokale ring is en $G\text{dim}_R S < \infty$. De volgende zijn equivalent:

  1. $\phi$ is quasi-Gorenstein.
  2. Elke dg $S$-module $M$ met begrenste, graadsgewijs eindige lengte homologie die eindige Gorenstein-dimensie over $R$ heeft, is virtueel G-klein over $S$.
     De auteurs merken op dat dit resultaat nieuw is, zelfs in het geval waarin zowel $R$ als $S$ gewone ringen zijn, en dat het parallel loopt aan resultaten van Briggs et al. en Dwyer et al. betreffende lokaal complete intersectie-morfismen.

• Karakterisatie van Exacte Rijen (Stelling B):
  De auteurs bieden een karakterisatie van exacte rijen in een noetheriaanse lokale ring $A$ in termen van quasi-Gorenstein-morfismen die Koszul-complexen betrekken. Laat $x_1, \dots, x_n$ een rij zijn in $A$ en $R$ het Koszul-complex op deze rij. De rij is exact dan en slechts dan als:

  1. De afbeelding $R \to H_0(R)$ quasi-Gorenstein is.
  2. De Gorenstein-dimensie $G\text{dim}_{A/(x_1, \dots, x_{i-1})} A/(x_1, \dots, x_i)$ eindig is voor alle $1 \le i \le n$.
     Dit resultaat verbindt de algebraïsche eigenschap van exactheid (reguliere of exacte nuldelers) direct met de homologische eigenschap van het bijbehorende Koszul-complex.

• Voorbeelden en Niet-voorbeelden:

  • Het artikel demonstreert dat een dg-algebra $R$ Gorenstein kan zijn terwijl $H_0(R)$ dat niet is, en omgekeerd, wat impliceert dat de canonieke augmentatie niet altijd quasi-Gorenstein is.
  • Het biedt voorwaarden waaronder de canonieke augmentatie van een Koszul-complex quasi-Gorenstein is, specifiek wanneer de rij bestaat uit exacte nuldelers.
  • De auteurs construeren voorbeelden van niet-vrije Gorenstein-projectieve dg-modules over Koszul-complexen op rijen van exacte nuldelers.

• Dualiserende Modules en Triviale Uitbreidingen:
  Het artikel past resultaten van Jørgensen aan om te tonen dat een dg-algebra $R$ een dualiserende dg-module heeft dan en slechts dan als het een homomorf beeld is van een Gorenstein dg-algebra. Bovendien wordt bewezen dat voor een dualiserende dg-module $D$ met $\inf D > 0$, de afbeelding $R \to R \ltimes D$ quasi-Gorenstein is dan en slechts dan als $R$ Gorenstein is.

Betekenis en Claims
Het artikel claimt dat de introductie van quasi-Gorenstein-morfismen voor commutatieve lokale dg-algebra's het fundamentele werk van Avramov en Foxby succesvol uitbreidt naar de dg-context. De primaire betekenis ligt in de karakterisatie van deze morfismen aan de hand van de "virtueel G-klein"-eigenschap, een resultaat dat de auteurs als nieuw bestempelen, zelfs voor klassieke ringhomomorfismen.

Bovendien biedt het artikel een nieuw perspectief op exacte rijen in lokale ringen, door deze te karakteriseren via de quasi-Gorenstein-natuur van de augmentatie van hun Koszul-complexen. Dit levert een voldoende voorwaarde op voor idealen gegenereerd door exacte rijen om quasi-complete intersecties te zijn. Tot slot levert het werk concrete constructies op van niet-vrije maximale lokaal-Cohen-Macaulay dg-modules over lokaal-Cohen-Macaulay dg-algebra's, waarmee het bekende landschap van Gorenstein-projectieve modules in de dg-context wordt uitgebreid.