A characterization of monoid graded semihereditary rings

Resumo Técnico: Uma Caracterização de Anéis Semihersitários Graduados por Monoide

Declaração do Problema
O artigo aborda a caracterização estrutural de anéis $\Gamma$-graduados, focando especificamente na classe dos anéis semihersitários graduados à esquerda. Um anel $\Gamma$-gradado $R$ é definido como semihersitário à esquerda se todo ideal homogêneo à esquerda finitamente gerado for um módulo projetivo sobre $R$. Este conceito serve como uma generalização dos domínios de Prüfer graduados.

Enquanto trabalhos anteriores (especificamente [1]) estabeleceram que um anel graduado é semihersitário à esquerda se e somente se for coerente à esquerda e todo ideal homogêneo à esquerda for plano, os autores buscam uma caracterização mais ampla. O problema central é determinar se a condição sobre ideais pode ser estendida a uma condição sobre módulos: especificamente, se a propriedade vale se e somente se o anel for coerente à esquerda e todo submódulo graduado de um módulo à esquerda plano for plano.

Metodologia
Os autores empregam o quadro da teoria de módulos graduados sobre um monoide de cancelamento $\Gamma$. A metodologia baseia-se nas seguintes ferramentas técnicas:

1. Álgebra Homológica Graduada: O artigo utiliza versões graduadas de conceitos homológicos padrão, incluindo módulos injetivos graduados, módulos planos graduados e dimensões fracas graduadas.
2. Isomorfismo Adjunto: É estabelecida uma versão graduada do isomorfismo adjunto (Proposição 2.1) para relacionar homomorfismos e produtos tensoriais na categoria graduada.
3. Cogeradores Injetivos Graduados: A existência de um cogerador injetivo graduado $E$ é utilizada para construir duais ($M' = {}^*\text{Hom}_R(M, E)$) para testar propriedades de exatidão e planicidade.
4. Análise de Dimensão Plana: Os autores definem a dimensão plana graduada ($\text{gr-fd}_R(M)$) e a dimensão fraca graduada ($\text{gr-wD}(R)$), provando que as dimensões fracas graduadas à esquerda e à direita coincidem (Proposição 2.6).
5. Anulação de Tor: A caracterização da planicidade é vinculada à anulação de $\text{Tor}_1^R(R/I, N)$ para ideais homogêneos, estendendo resultados clássicos para o contexto graduado.

Principais Contribuições e Resultados

1. Generalização de Condições de Planicidade:
   O artigo prova que, para um anel $\Gamma$-gradado $R$, a condição "todo ideal homogêneo à esquerda é plano" é equivalente a "todo submódulo graduado de um módulo à esquerda plano é plano" (Corolário 2.9). Isso preenche a lacuna entre caracterizações baseadas em ideais e baseadas em módulos.

2. Teorema Principal de Caracterização (Teorema 2.10):
   O resultado principal afirma que um anel $\Gamma$-gradado $R$ é semihersitário à esquerda graduado se e somente se:

   • $R$ for coerente à esquerda graduado (todo ideal homogêneo à esquerda finitamente gerado for finitamente apresentado); e
   • Todo submódulo graduado de um módulo à esquerda plano for plano.

   Este resultado é apresentado como um análogo graduado do teorema clássico de Chase para anéis não graduados.

3. Conexão com Dimensão Fraca:
   Os autores estabelecem que $R$ é semihersitário à esquerda graduado se e somente se $R$ for coerente à esquerda graduado e a dimensão fraca graduada satisfizer $\text{gr-wD}(R) \leq 1$ (Corolário 2.11).

4. Aplicação a Domínios de Prüfer Graduados:
   Para um domínio integral $\Gamma$-gradado, o artigo deduz que o anel é um domínio de Prüfer graduado se e somente se for coerente à esquerda graduado e $\text{gr-wD}(R) \leq 1$ (Corolário 2.12).

5. Distinção entre Dimensões Graduadas e Não Graduadas:
   O artigo demonstra que a dimensão fraca graduada $\text{gr-wD}(R)$ não é necessariamente igual à dimensão fraca usual $wD(R)$. Usando um exemplo específico envolvendo um domínio de Dedekind $D$ e o anel de polinômios de Laurent $R = D[X, X^{-1}]$, os autores mostram um caso onde $\text{gr-wD}(R) \leq 1$ (tornando-o um domínio de Prüfer graduado) enquanto $wD(R) > 1$ (significando que não é um domínio de Prüfer clássico).

6. Assimetria na Coerência:
   O artigo fornece um exemplo (Exemplo 2.14) de um anel triangular que é coerente à esquerda graduado, mas não coerente à direita graduado, ilustrando que as propriedades dos anéis semihersitários graduados podem ser inerentemente assimétricas.

Significância e Alegações
O artigo alega fornecer uma nova caracterização de domínios de Prüfer graduados e anéis semihersitários graduados. Ao deslocar o foco da planicidade de ideais isoladamente para a planicidade de todos os submódulos graduados de módulos planos, os autores generalizam caracterizações existentes encontradas em [1].

A significância reside na unificação das condições de coerência e planicidade no contexto graduado, espelhando a teoria clássica não graduada (resultado de Chase) enquanto destaca nuances específicas introduzidas pela graduação. Os autores observam modestamente que seus resultados generalizam caracterizações anteriores e fornecem um quadro para distinguir entre dimensões homológicas graduadas e não graduadas, conforme evidenciado pelos contraexemplos fornecidos. O trabalho não propõe novas aplicações ou métodos experimentais, mas sim solidifica os fundamentos teóricos da teoria de anéis graduados.