Divisors on coherent schemes and homogeneous spaces

1. Problema e Motivação

O artigo aborda um obstáculo fundamental na geometria algébrica moderna: a necessidade de uma fundação não-Noetheriana para a teoria de esquemas, especialmente no contexto da geometria aritmética e da teoria perfeita (perfectoid).

• O Cenário: A geometria sobre anéis de valorização de alto rank (como os anéis de inteiros algébricos $\mathbb{Z}$ ou anéis em teoria perfeita como $\mathcal{O}_{\mathbb{C}_p}$) e anéis de Prüfer não satisfazem as condições de Noetherianidade.
• A Obstrução: Em bases não-Noetherianas, a correspondência clássica de Weil-Cartier (entre divisores de Weil e feixes invertíveis) falha. Além disso, os argumentos de limite padrão, frequentemente usados para estender resultados de bases Noetherianas para o caso geral, tornam-se inviáveis. Especificamente, um limite de ciclos positivos de codimensão 1 não corresponde necessariamente a um divisor de Cartier no esquema limite.
• O Objetivo: Estabelecer uma teoria robusta de divisores e feixes amplos (ampleness) sobre esquemas coerentes e bases de Prüfer, permitindo a extensão de polarizações genéricas para modelos integrais e a prova de teoremas de quasi-projetividade para espaços homogêneos sem hipóteses de suavidade ou finitude estritas.

2. Metodologia

O autor desenvolve uma abordagem baseada na teoria de divisores valuativos e na introdução de uma nova classe de morfismos para controlar a degeneração das fibras.

• Esquemas Coerentes Locais: O trabalho utiliza esquemas onde o feixe estrutural é coerente como módulo sobre si mesmo. Isso permite controlar patologias não-Noetherianas homologicamente. Um teorema chave (de [GL24]) estabelece que, em esquemas normais coerentes, os anéis locais são ou anéis de valorização ou têm profundidade $\ge 2$. Isso permite uma "dévissage" (redução) de problemas globais para questões locais sobre anéis de valorização.
• Divisores Valuativos: Em vez de multiplicidades inteiras discretas ($\mathbb{Z}$) usadas nos divisores de Weil clássicos, o autor introduz divisores valuativos, cujos coeficientes pertencem aos grupos de valorização totalmente ordenados ($\Gamma_x$) dos anéis locais.
  • Estabelece-se uma correspondência exata entre divisores valuativos efetivos e feixes ideais reflexivos de posto um.
  • Isso generaliza a correspondência de Weil-Cartier para o contexto não-Noetheriano.
• Morfismos do Tipo (N): Para lidar com a degeneração das fibras (onde propriedades como normalidade ou redução podem "saltar"), o autor define morfismos do tipo (N). Um morfismo plano $X \to S$ é do tipo (N) se suas fibras genéricas são geometricamente normais e as fibras especiais são geometricamente reduzidas sempre que o anel local da base tem dimensão fraca igual a 1.
  • Esta classe de morfismos é estável sob produtos fibrados e mudanças de base plana, fornecendo um ambiente adequado para provar teoremas de cubo e quadrado sem hipóteses de suavidade.
• Picard-Admissibilidade: O autor utiliza a noção de "Picard-admissibilidade" para feixes invertíveis sob ação de grupos, que é a manifestação functorial do teorema do quadrado. A estratégia é reduzir a admissibilidade global à fibra genérica, utilizando as propriedades de descida dos morfismos do tipo (N).

3. Principais Contribuições e Resultados

O artigo apresenta três teoremas centrais que generalizam resultados clássicos de Raynaud e Chow para o contexto não-Noetheriano:

A. Teoria de Divisores e Correspondência (Teorema A)

• Teorema A: Para um esquema localmente coerente, topologicamente localmente Noetheriano e normal $X$:
  1. Existe uma bijeção exata e que preserva a ordem entre o monoide de divisores valuativos efetivos e o monoide de feixes ideais reflexivos de posto um.
  2. Se $X$ é regular, recupera-se a correspondência de Weil-Cartier clássica ($Cl(X) \simeq Div(X)$).
• Teorema de Ramanujam-Samuel Não-Noetheriano: Estabelece que, sobre bases normais, divisores de Cartier relativos efetivos correspondem precisamente a ciclos planos de codimensão um. Crucialmente, sobre bases de Prüfer, divisores de Cartier efetivos na fibra genérica estendem-se unicamente ao espaço inteiro via fechos esquemáticos.

B. Construção de Feixes Amplos via Fronteiras de Órbitas (Teorema B)

• Teorema B: O autor demonstra como construir feixes amplos explicitamente a partir da geometria das órbitas de grupos.
  • Dado um esquema $X$ com ação de um grupo $G$, e uma abertura quasi-affine $U$, as componentes irredutíveis de codimensão um da fronteira da órbita ($G \cdot U \setminus U$) geram um divisor efetivo $D$.
  • O feixes $\mathcal{O}_X(D)$ é S-amplo.
  • Isso permite provar a quasi-projetividade de espaços homogêneos sem invocar condições de finitude (Noetherianidade) para controlar as fronteiras das órbitas, algo que era essencial na prova original de Raynaud.

C. Extensão Rígida de Polarizações (Teorema C)

• Teorema C: Estabelece critérios precisos para estender polarizações genéricas para modelos integrais sobre bases de Prüfer (ex: $\text{Spec } \mathbb{Z}$).
  • Se um feixe invertível na fibra genérica é gerado por seções globais, ele estende-se a um feixe semi-amplo.
  • Se é amplo, uma potência dele estende-se a um feixe amplo global.
  • Resultado Chave: Qualquer extensão de um feixe amplo da fibra genérica para o modelo integral é automaticamente ampla sobre a base inteira. Isso contorna a falha dos argumentos de "spreading-out" (espalhamento) tradicionais.

4. Significado e Impacto

• Generalização de Raynaud: O trabalho recupera e generaliza os teoremas de quasi-projetividade de Raynaud (1970) para o contexto não-Noetheriano, removendo a necessidade de hipóteses de suavidade estritas e condições de finitude no anel base.
• Fundação para Geometria Arithmética Moderna: Ao fornecer ferramentas para trabalhar sobre anéis de valorização de alto rank e anéis de Prüfer, o artigo habilita o estudo de espaços homogêneos e módulos em contextos onde a teoria clássica falha, como na teoria perfeita (perfectoid) e na topologia arc.
• Controle Homológico de Patologias: A introdução da teoria de divisores valuativos e dos morfismos do tipo (N) oferece um novo paradigma para lidar com a degeneração de fibras e a falta de finitude, substituindo argumentos de limite por construções locais baseadas em grupos de valorização.
• Aplicações Potenciais: Os resultados são fundamentais para a compactificação de espaços de módulos, o estudo de formas automorfas sobre bases aritméticas gerais e a compreensão da estrutura de grupos algébricos em contextos não-Noetherianos.

Em resumo, Ning Guo desenvolve uma teoria de divisores e amplidão robusta que transcende as limitações do mundo Noetheriano, permitindo a extensão de resultados clássicos de geometria algébrica para o cenário complexo e rico das bases de valorização e anéis de Prüfer, essenciais para a geometria aritmética contemporânea.