Rank varieties over the generic hypersurface I

Resumo Técnico: Variedades de Ranks sobre a Hipersuperfície Genérica I

Enunciado do Problema
O artigo aborda a teoria das variedades de rank e de suporte para módulos e complexos sobre anéis locais completos interseção (lci) comutativos. Embora as variedades de suporte para anéis lci estejam bem estabelecidas via restrição de escalares para "hipersuperfícies permitidas" (anéis da forma $Q/(a_1f_1 + \dots + a_cf_c)$), este trabalho foca na hipersuperfície genérica $R$. A hipersuperfície genérica é definida como $R = Q[x_1, \dots, x_c]/(f_1x_1 + \dots + f_cx_c)$, onde $Q$ é um anel local regular e $f_1, \dots, f_c$ é uma sequência regular.

O problema central é definir e estudar variedades de rank para objetos (especificamente complexos totalmente acíclicos graduados e módulos) sobre a própria $R$. O autor observa que estruturas anteriores para variedades de rank dependem da restrição de escalares. Em contraste, este artigo investiga uma estrutura baseada na extensão de escalares, motivada pela equivalência entre a categoria de singularidades de um anel lci e a de sua hipersuperfície genérica associada (Orlov [22], Buchweitz [7]).

Metodologia
O artigo emprega técnicas de álgebra homológica no contexto de anéis e complexos graduados. A metodologia central envolve:

1. Extensão de Escalares: Para um ponto $\alpha = (\alpha_1, \dots, \alpha_c)$ no espaço projetivo $\mathbb{P}^{c-1}_k$, o autor define um anel especializado $R_\alpha = R/(x_1-a_1, \dots, x_c-a_c)$, onde $a_i$ são pré-imagens de $\alpha_i$ em $Q$. Este anel é isomorfo a uma hipersuperfície permitida $Q/(a_1f_1 + \dots + a_cf_c)$.
2. Definição de Variedade de Rank: Para um complexo totalmente acíclico graduado $C$ sobre $R$, a variedade de rank $V(C)$ é definida como o conjunto de pontos $\alpha \in \mathbb{P}^{c-1}_k$ tal que o complexo especializado $C_\alpha = C \otimes_R R_\alpha$ não é contrátil.
3. Homotopia e Minimalidade: A análise depende fortemente das propriedades de complexos mínimos sobre anéis locais e do comportamento da contratilidade sob equivalência de homotopia. O artigo utiliza o fato de que $R$ é um domínio de integridade para definir ranks de diferenciais via menores.
4. Topologia de Zariski: O artigo estabelece que essas variedades são conjuntos fechados de Zariski relacionando a contratilidade de $C_\alpha$ ao desaparecimento de ideais específicos gerados por menores dos diferenciais de $C$.

Principais Contribuições e Resultados

• Bem-definição: O artigo prova que a definição da variedade de rank é independente da escolha das pré-imagens $a_i$ para $\alpha_i$ (Teorema 3.4) e é invariante sob equivalência de homotopia de complexos (Proposição 3.5).
• Fechamento de Zariski: É demonstrado que $V(C)$ é um subconjunto fechado de Zariski de $\mathbb{P}^{c-1}_k$. Especificamente, $V(C)$ é o conjunto de zeros da interseção de ideais gerados por menores dos diferenciais de $C$ (Teorema 3.6).
• Propriedades das Variedades de Rank: O autor estabelece várias propriedades padrão análogas às do contexto de restrição de escalares:
  • Invariância sob deslocamento: $V(C) = V(\Sigma C)$.
  • Aditividade: $V(C \oplus C') = V(C) \cup V(C')$.
  • Dualidade: $V(C) = V(\text{Hom}(C, R))$.
  • Desigualdade triangular: Para um triângulo exato, a variedade de um termo está contida na união das variedades dos outros dois (Teorema 3.8).
• Realizabilidade: Um resultado majoritário é que toda variedade projetiva em $\mathbb{P}^{c-1}_k$ pode ser realizada como a variedade de rank de algum complexo totalmente acíclico graduado sobre $R$ (Teorema 4.3). Isso é alcançado construindo complexos via cones de aplicação de mapas de multiplicação em uma resolução completa do corpo residual.
• Análogo do Lema de Dade: O artigo fornece uma condição para a variedade de rank ser vazia. $V(C) = \emptyset$ se e somente se $C$ for contrátil ou o radical do ideal dos menores máximos dos diferenciais for o ideal irrelevante (Proposição 3.9).
• Falha de Conectividade: Contrariamente ao comportamento das variedades de suporte sobre álgebras de grupos e anéis lci (onde indecomponibilidade implica conectividade), o artigo demonstra que uma variedade de rank sobre a hipersuperfície genérica pode ser desconectada mesmo que o objeto subjacente seja indecomponível (Exemplo 5.1). Isso destaca uma diferença fundamental entre o cenário da hipersuperfície genérica e o cenário especializado lci.
• Extensão a Módulos: A teoria é estendida a módulos graduados finitamente gerados. A variedade de rank de um módulo $M$ é definida via a dimensão projetiva infinita de $M_\alpha$ sobre $R_\alpha$. É demonstrado que $V(M) = V(C)$ onde $C$ é uma resolução completa de $M$, herdando assim as propriedades do caso de complexos (Teoremas 6.3, 6.4, 6.5).
• Patches Afins: O artigo aborda brevemente a realizabilidade de patches afins de variedades projetivas sobre o anel de interseção completa associado $S$, usando módulos não finitamente gerados (Teorema 6.6).

Significado e Afirmações
O artigo afirma que a estrutura de extensão de escalares sobre a hipersuperfície genérica fornece uma abordagem mais simples e direta para provar propriedades de fechamento e resultados de realizabilidade em comparação com a restrição tradicional de escalares.

O autor enfatiza que, embora variedades de rank e variedades de suporte sejam equivalentes no contexto de anéis lci (via equivalência da categoria de singularidades), estudá-las diretamente sobre a hipersuperfície genérica revela propriedades estruturais distintas. Especificamente, a falha do teorema "indecomponível implica conectado" neste cenário sugere que a geometria das variedades de rank sobre a hipersuperfície genérica é mais rica e menos restrita do que se pensava anteriormente. O artigo posiciona essas variedades de rank como invariantes concretos para fatorações de matrizes graduadas e complexos totalmente acíclicos, oferecendo uma nova perspectiva sobre a álgebra homológica de hipersuperfícies.

O trabalho não afirma resolver diretamente o problema de realizabilidade para o anel lci associado $S$ (o que já é conhecido), mas sim estabelece a hipersuperfície genérica como um terreno de teste robusto onde a realizabilidade é direta e onde novos fenômenos, como variedades de rank desconectadas para objetos indecomponíveis, podem ser observados.