G-dimensions for DG-modules over commutative DG-rings

Resumo Técnico: G-dimensões para DG-módulos sobre DG-anéis comutativos

Enunciado do Problema
O artigo aborda uma lacuna na álgebra superior: enquanto a G-dimensão (ou dimensão de Gorenstein) é um invariante bem estabelecido para módulos finitamente gerados sobre anéis noetherianos comutativos (introduzida por Auslander e Bridger) e para complexos sobre tais anéis (desenvolvida por Yassemi e Christensen), ela não havia sido definida ou estudada sistematicamente no contexto da álgebra comutativa derivada. Especificamente, os autores visam introduzir e estudar G-dimensões para DG-módulos sobre DG-anéis comutativos noetherianos não positivamente graduados. Este cenário inclui normalizações de anéis comutativos simpliciais e é central para a álgebra comutativa derivada moderna.

Metodologia
Os autores trabalham na categoria derivada $D(A)$ de DG-módulos sobre um DG-anel local noetheriano comutativo $A = \bigoplus_{i=-\infty}^0 A_i$ com cohomologia limitada ($\text{amp} A < \infty$). Sua abordagem envolve:

1. Definição de Reflexividade e G-dimensão: Eles definem um DG-módulo $X \in D^b_f(A)$ (cohomologia limitada com cohomologia finitamente gerada) como reflexivo se $R\text{Hom}_A(X, A) \in D^b_f(A)$ e o morfismo canônico $X \to R\text{Hom}_A(R\text{Hom}_A(X, A), A)$ é um isomorfismo. A G-dimensão é então definida como $\text{G-dim}_A X = \sup R\text{Hom}_A(X, A)$ para módulos reflexivos, e $\infty$ caso contrário.
2. Versão DG de Resoluções Projetivas: A metodologia depende fortemente de uma versão DG de resoluções projetivas introduzida por Minamoto, utilizando especificamente "morfismos sppj" (morfismos projetivos especiais) e suas resoluções associadas.
3. Técnicas de Categoria Triangulada: As provas utilizam a estrutura da categoria derivada, incluindo triângulos exatos, a operação "estrela" ($*$) para subcategorias e propriedades da categoria de singularidades $D_{sg}(A) = D^b_f(A)/\langle P \rangle$, onde $P$ é a subcategoria de somas diretas finitas de $A$.
4. Comparação com Invariantes Clássicos: O artigo compara sistematicamente a nova G-dimensão com a dimensão projetiva (definida por Bird, Shaul, Sridhar e Williamson) e invariantes de cohomologia local (profundidade, dimensão local de Cohen-Macaulay).

Principais Contribuições e Resultados

• Caracterização da G-dimensão Finita (Teorema 1.2): O resultado central fornece critérios para a finitude da G-dimensão. Estabelece equivalências entre o limite da G-dimensão ($\text{G-dim}_A X \leq n - \sup X$) e a existência de resoluções específicas envolvendo a "classe G" $\mathcal{G}$ e a subcategoria de somandos projetivos $\mathcal{P}$.

  • Uma distinção chave em relação ao caso de anéis clássicos é notada: no cenário DG, a desigualdade $\text{G-dim}_A X \geq -\sup X$ não necessariamente vale (Exemplo 3.4), tornando necessária uma estratégia de prova modificada envolvendo os Lemas 3.8 e 3.9.
  • O teorema prova que um DG-anel local $A$ é Gorenstein se e somente se $\text{G-dim}_A \bar{k} < \infty$ (onde $\bar{k}$ é o corpo residual), ou equivalentemente, se todo $X \in D^b_f(A)$ possui G-dimensão finita.

• Conexão com a Dimensão Finitista Pequena (Corolário 1.3 & Teorema 4.4): O artigo estabelece uma fórmula relacionando a dimensão finitista pequena ($\text{fpd}_A$) à G-dimensão. Prova que $\text{fpd}_A = \sup \{ \text{G-dim}_A X + \inf X \mid X \in D^b_f(A), \text{G-dim}_A X < \infty \}$. Isso fornece uma nova prova para um caso específico de um resultado de Bird et al. sobre a finitude da dimensão finitista pequena para DG-anéis locais Gorenstein.

• Generalização da Teoria de Cohen-Macaulay (Corolário 1.5): Os autores generalizam a relação clássica entre módulos de Cohen-Macaulay maximais e módulos de G-dimensão zero para o cenário DG. Eles definem uma classe $\mathcal{H}$ de DG-módulos e provam que $A$ é local-Cohen-Macaulay se e somente se $\mathcal{H} \subseteq \mathcal{M}$ (módulos local-Cohen-Macaulay maximais), e que $A$ é Gorenstein se e somente se $\mathcal{H} = \mathcal{M}$.

• Extensão da Teoria de Buchweitz-Happel (Corolário 1.6): O artigo estende o Teorema Clássico de Buchweitz-Happel e seu inverso para DG-anéis locais noetherianos comutativos. Prova que o functor da categoria estável de uma classe específica de DG-módulos ($\mathcal{A}$) para a categoria de singularidades $D_{sg}(A)$ é uma equivalência de triângulos se e somente se $A$ é um DG-anel local Gorenstein. Este resultado confirma o inverso do Teorema de Buchweitz-Happel neste contexto mais amplo, alinhando-se com trabalhos recentes de Jin sobre DG-álgebras Gorenstein próprias.

Significado e Alegações
O artigo afirma que a G-dimensão serve como um "invariante mais fino" do que a dimensão projetiva para DG-módulos. Como demonstrado no Exemplo 4.2, existem DG-módulos com G-dimensão finita, mas dimensão projetiva infinita. Essa distinção é crucial porque, enquanto a dimensão projetiva caracteriza anéis locais regulares, a G-dimensão caracteriza anéis locais Gorenstein.

Os autores afirmam que seu trabalho generaliza com sucesso técnicas padrão da álgebra comutativa clássica para o cenário de DG-álgebras comutativas, embora com modificações necessárias devido ao comportamento específico dos DG-módulos (como a falha do limite inferior padrão para a G-dimensão). Os resultados unificam a teoria das dimensões de Gorenstein, dimensões finitistas e categorias de singularidades dentro do quadro da álgebra comutativa derivada, fornecendo uma base teórica robusta para o estudo de singularidades em DG-anéis.