The integral (log) cotangent complex of extensions of valued fields

Resumo Técnico: O Complexo Cotangente Integral (Log) de Extensões de Campos Valorizados

1. Problema e Motivação

O artigo aborda o estudo de extensões de campos valorizados $(L, v_L)/(K, v_K)$, focando na estrutura dos módulos de diferenciais integrais $\Omega_{L^\circ/K^\circ}$ e diferenciais logarítmicos $\Omega^{\log}_{L^\circ/K^\circ}$, onde $L^\circ$ e $K^\circ$ são os anéis de inteiros.

• Contexto: Em geometria biracional, análise de Berkovich e teoria de ramificação, invariantes como o diferente (different), a discordância logarítmica (log discrepancy) e a norma de Kähler são fundamentais. Tradicionalmente, esses invariantes são calculados através do comprimento (length) de módulos de torção.
• Desafio: Quando os campos não são discretamente valorizados (ou seja, quando o anel de inteiros $L^\circ$ não é Noetheriano), o conceito de comprimento deixa de ser útil. O objetivo é encontrar uma descrição explícita desses módulos e seus complexos associados que permita o cálculo de invariantes generalizados, como o conteúdo (content) de Temkin, que substitui o comprimento em contextos não-Noetherianos.
• Objetivo Principal: Construir o complexo cotangente integral e o complexo cotangente logarítmico para extensões finitas e puramente transcendentais, utilizando a teoria de MacLane-Vaquié, e derivar fórmulas explícitas para os invariantes associados.

2. Metodologia

A abordagem central do autor baseia-se na teoria de MacLane-Vaquié, que fornece uma descrição explícita de semi-valorizações em anéis de polinômios $K[T]$ através de cadeias de augmentações (ordinary e limit augmentations) e polinômios-chave (key polynomials).

• Cadeias de MacLane-Vaquié: O autor aproxima a valorização $v_L$ (ou a semi-valorização $w$ em $K[T]$) por uma cadeia de augmentações $(a_i)$. Cada passo da cadeia corresponde a uma extensão do valorização.
• Anéis Escaláveis (Scalable Rings): Para lidar com a não-Noetherianidade, o autor introduz o conceito de "anéis escaláveis". Estes anéis comportam-se de maneira análoga a anéis de valorização, permitindo a rescalagem de elementos para qualquer valor no grupo de valorização. Isso é crucial para garantir que os anéis de aproximação sejam interseções completas (complete intersections).
• Enlargements (Ampliamentos): O autor modela as etapas da cadeia de augmentação como "enlargements" dos anéis de inteiros. Ele descreve explicitamente a estrutura desses anéis como uniões filtradas de álgebras apresentadas finitamente.
• Complexos Cotangentes: Utiliza-se a teoria de Illusie e Gabber para calcular o complexo cotangente $L_{B/A}$ e seu análogo logarítmico $L^{\log}_{B/A}$. O cálculo é feito passo a passo ao longo da cadeia de augmentações, utilizando triângulos distinguídos e propriedades de homologia.
• Conteúdo (Content): Em vez de comprimento, utiliza-se o "conteúdo" definido por Temkin, que generaliza o comprimento para módulos sobre anéis de valorização não-Noetherianos e é aditivo em sequências exatas.

3. Principais Contribuições e Resultados

O artigo fornece descrições explícitas e fórmulas para vários invariantes, organizados em três categorias principais:

A. Estrutura do Complexo Cotangente

• Teorema 4.3.1 (Generalização de Gabber-Ramero): Para qualquer extensão de campos valorizados (finita, puramente transcendente ou arbitrária), o complexo cotangente integral (e logarítmico) tem homologia concentrada em graus 0 e 1.
  • $H_i = 0$ para $i \geq 2$.
  • $H_1$ é livre de torção.
  • $H_1$ é trivial se e somente se a extensão for separável.
  • Este resultado generaliza um teorema importante de Gabber e Ramero para o contexto logarítmico e para valorizações não-discretas.

B. Fórmulas para Diferentes e Discordâncias
Para extensões finitas $L/K$ definidas por um polinômio irreduzível $f$, o autor deriva fórmulas explícitas para o diferente ($d_{L/K}$) e o diferente logarítmico ($d^{\log}_{L/K}$) em termos do passo (step) da cadeia de augmentações de MacLane-Vaquié:

• Diferente Logarítmico: $d^{\log}_{L/K} = \text{step}(a_i) - v(f) + v(f')$.
• Diferente Clássico: Inclui um termo adicional relacionado à diferença entre os grupos de valorização ($\inf \Gamma_K - \inf \Gamma_L$).
• Discordância (Discrepancy): Para extensões puramente transcendentais $L=K(T)$, a discordância logarítmica de um diferencial $\omega$ é dada pelo passo da cadeia de augmentações.

C. O Diferente Logarítmico Absoluto e a Semi-Valorização de Kähler

• Semi-Valorização de Kähler: O autor conecta a semi-valorização de Kähler ($kv$) em $\Omega_{L/K}$ com os polinômios-chave da cadeia de MacLane-Vaquié. Ele prova que $kv$ é determinada unicamente pelos valores $w(\phi) - w(\phi')$ para os polinômios-chave $\phi$.
• Diferente Logarítmico Absoluto ($d^{abs, \log}_{L/K}$): Define-se este invariante como o conteúdo da parte de torção do módulo de diferenciais logarítmicos. O autor fornece uma fórmula recursiva/limitante para calcular este invariante em pontos do tipo IV ou pontos não-rígidos do espaço de Berkovich, mostrando uma propriedade de continuidade.
  • Fórmula: $d^{abs, \log} = \text{step} + w(\phi_0) - \sup\{w(\phi) - w(\phi') \mid \phi \in \text{key polynomials}\}$.

4. Significado e Impacto

1. Generalização da Teoria de Ramificação: O trabalho estende a teoria clássica de diferenciais e diferentes (usualmente restrita a campos discretamente valorizados) para o contexto geral de campos valorizados reais, incluindo casos não-Noetherianos.
2. Conexão com Geometria de Berkovich: Os resultados fornecem ferramentas algébricas precisas para estudar funções de peso (weight functions) e esqueletos (skeleta) em espaços de Berkovich. A discordância logarítmica calculada aqui corresponde diretamente às funções de peso usadas na análise não-Arquimediana.
3. Ferramentas Computacionais: Ao fornecer fórmulas explícitas baseadas em cadeias de MacLane-Vaquié, o artigo permite o cálculo efetivo de invariantes complexos que antes eram difíceis de acessar em situações de ramificação selvagem ou em valorizações de posto 1 não-discretas.
4. Unificação Logarítmica: A abordagem unifica o tratamento de diferenciais clássicos e logarítmicos, mostrando que a estrutura do complexo cotangente logarítmico é frequentemente mais simples e direta de calcular, gerando os diferenciais logarítmicos diretamente a partir dos polinômios-chave.

Em suma, o artigo estabelece uma ponte robusta entre a teoria de valorizações (MacLane-Vaquié), a álgebra homológica (complexos cotangentes) e a geometria analítica não-Arquimediana, fornecendo uma base teórica sólida para o estudo de singularidades e ramificação em contextos gerais.