Quasi-Gorenstein morphisms of commutative local dg-algebras

Resumo Técnico: Morfismos Quasi-Gorenstein de DG-Álgebras Locais Comutativas

Problema e Contexto
Este artigo aborda a extensão da teoria dos morfismos quasi-Gorenstein do domínio dos anéis locais noetherianos comutativos para o cenário mais geral das DG-álgebras locais comutativas. No cenário clássico, Avramov e Foxby introduziram os homomorfismos quasi-Gorenstein para capturar a propriedade Gorenstein: um anel local $R$ é Gorenstein se e somente se o mapa $R \to k$ (para seu corpo residual) é quasi-Gorenstein. Além disso, para um homomorfismo local $\phi: R \to S$, $R$ é Gorenstein se e somente se $S$ é Gorenstein, desde que $\phi$ seja quasi-Gorenstein.

Os autores visam generalizar esses resultados para DG-álgebras, especificamente aquelas onde $H_0(R)$ é um anel local noetheriano e a homologia $H(R)$ é finitamente gerada sobre $H_0(R)$. Um desafio central nesta extensão é caracterizar esses morfismos usando propriedades homológicas intrínsecas ao cenário DG, como a dimensão Gorenstein e a propriedade "virtualmente pequena", e aplicar essas caracterizações para entender sequências exatas em anéis locais via complexos de Koszul.

Metodologia
Os autores trabalham dentro da categoria derivada $D(R)$ de DG-módulos $R$, focando na subcategoria $D^f_b(R)$ de módulos com homologia limitada e finitamente gerada grau a grau. A metodologia baseia-se em:

1. Definições e Fundamentos: Estabelecer as definições de dimensão Gorenstein ($G\text{dim}$), DG-módulos dualizantes e a propriedade "virtualmente G pequena" (um análogo Gorenstein da propriedade "virtualmente pequena" introduzida por Dwyer, Greenlees e Iyengar).
2. Caracterizações Homológicas: Provar análogos DG de resultados clássicos sobre morfismos quasi-Gorenstein. Isso envolve a manipulação de funtores derivados como $\text{RHom}$ e a utilização de propriedades de subcategorias espessas.
3. Análise do Complexo de Koszul: Investigar o aumento canônico $R \to H_0(R)$ onde $R$ é um complexo de Koszul sobre uma sequência de elementos. Os autores analisam as condições sob as quais este mapa é quasi-Gorenstein, ligando-o ao conceito de "sequências exatas" (sequências consistindo de elementos regulares ou divisores de zero exatos).
4. Construção de Exemplos: Utilizar extensões triviais ($R \ltimes M$) e produtos tensoriais de resoluções para construir DG-álgebras e morfismos específicos para testar os limites da teoria.

Principais Contribuições e Resultados

• Definição de Morfismos DG Quasi-Gorenstein: O artigo define um morfismo $\phi: R \to S$ de DG-álgebras locais comutativas (com $G\text{dim}_R S < \infty$) como quasi-Gorenstein se $\text{RHom}_R(S, R)$ é isomorfo em $D(S)$ a um deslocamento de $S$. Esta definição alinha-se com a definição clássica de teoria de anéis quando restrita a homomorfismos locais finitamente modulares de anéis locais noetherianos.

• Caracterização via Módulos Virtualmente G Pequenos (Teorema A):
  O artigo estabelece uma nova caracterização de morfismos quasi-Gorenstein. Seja $\phi: R \to S$ um morfismo com $S_0$ um anel local noetheriano e $G\text{dim}_R S < \infty$. São equivalentes:

  1. $\phi$ é quasi-Gorenstein.
  2. Todo DG-módulo $S$ $M$ com homologia limitada e de comprimento finito grau a grau que possui dimensão Gorenstein finita sobre $R$ é virtualmente G pequeno sobre $S$.
     Os autores observam que este resultado é novo mesmo no caso onde ambos $R$ e $S$ são anéis ordinários, paralelizando resultados de Briggs et al. e Dwyer et al. sobre morfismos de interseção completa local.

• Caracterização de Sequências Exatas (Teorema B):
  Os autores fornecem uma caracterização de sequências exatas em um anel local noetheriano $A$ em termos de morfismos quasi-Gorenstein envolvendo complexos de Koszul. Sejam $x_1, \dots, x_n$ uma sequência em $A$ e $R$ o complexo de Koszul sobre esta sequência. A sequência é exata se e somente se:

  1. O mapa $R \to H_0(R)$ é quasi-Gorenstein.
  2. A dimensão Gorenstein $G\text{dim}_{A/(x_1, \dots, x_{i-1})} A/(x_1, \dots, x_i)$ é finita para todo $1 \le i \le n$.
     Este resultado conecta a propriedade algébrica de exatidão (elementos regulares ou divisores de zero exatos) diretamente à propriedade homológica do complexo de Koszul associado.

• Exemplos e Não-Exemplos:

  • O artigo demonstra que uma DG-álgebra $R$ pode ser Gorenstein enquanto $H_0(R)$ não é, e vice-versa, implicando que o aumento canônico nem sempre é quasi-Gorenstein.
  • Fornece condições sob as quais o aumento canônico de um complexo de Koszul é quasi-Gorenstein, especificamente quando a sequência consiste em divisores de zero exatos.
  • Os autores constroem exemplos de DG-módulos projetivos Gorenstein não-livres sobre complexos de Koszul sobre sequências de divisores de zero exatos.

• Módulos Dualizantes e Extensões Triviais:
  O artigo adapta os resultados de Jørgensen para mostrar que uma DG-álgebra $R$ possui um DG-módulo dualizante se e somente se é uma imagem homomórfica de uma DG-álgebra Gorenstein. Além disso, prova que para um DG-módulo dualizante $D$ com $\inf D > 0$, o mapa $R \to R \ltimes D$ é quasi-Gorenstein se e somente se $R$ é Gorenstein.

Significância e Alegações
O artigo alega que a introdução de morfismos quasi-Gorenstein para DG-álgebras locais comutativas estende com sucesso o trabalho fundamental de Avramov e Foxby para o cenário DG. A principal significância reside na caracterização desses morfismos usando a propriedade "virtualmente G pequena", um resultado que os autores afirmam ser novo mesmo para homomorfismos de anéis clássicos.

Adicionalmente, o artigo oferece uma nova perspectiva sobre sequências exatas em anéis locais, caracterizando-as através da natureza quasi-Gorenstein do aumento de seus complexos de Koszul. Isso fornece uma condição suficiente para ideais gerados por sequências exatas serem quase-interseções completas. Finalmente, o trabalho produz construções concretas de DG-módulos locais-Cohen-Macaulay maximais não-livres sobre DG-álgebras locais-Cohen-Macaulay, expandindo o panorama conhecido de módulos projetivos Gorenstein no contexto DG.