Birational and $\mathbf{A}^1$-invariant lattices in the cohomology of the structure sheaf over non-archimedean fields

Resumo Técnico: Retículos Biracionais e $\mathbb{A}^1$-Invariáveis na Cohomologia do Feixe Estrutural sobre Campos Não-Arquimedianos

Enunciado do Problema
O artigo aborda uma questão clássica na geometria aritmética: se uma teoria de cohomologia $X \mapsto H(X)$ definida numa categoria de esquemas sobre um corpo completo não-arquimediano $K$, tomando valores em espaços vetoriais de dimensão finita sobre $K$, admite um retículo functorial sobre o anel de inteiros $R = \mathcal{O}_K$. Uma resolução positiva implica que, para qualquer endomorfismo $f: X \to X$, o polinômio característico do mapa linear induzido $f^*$ tem coeficientes em $R$.

Especificamente, os autores focam na cohomologia do feixe estrutural, $H^i(X, \mathcal{O}_X)$, para esquemas suaves e próprios. Embora seja conhecido que esta cohomologia se estende a um functor em esquemas separados suaves (via compactificação) e é $\mathbb{A}^1$-invariante, a existência de uma estrutura integral definida algebricamente (um retículo) que satisfaça descida terna e seja compatível com a invariância birracional tem sido um desafio aberto, particularmente em característica positiva e para esquemas não-propríos.

Metodologia
Os autores constroem o retículo desejado usando uma variante da cohomologia terna introduzida por Hübner e Schmidt [HS20], modificada conforme [MRS26]. O cerne da sua abordagem envolve:

1. O Sítio Terno: Eles trabalham na categoria $\text{Sch}(S, \bar{S})$ de pares $(U, \tilde{U})$ onde $U \hookrightarrow \tilde{U}$ é uma imersão aberta sobre $\bar{S} = \text{Spec}(R)$, com $U$ fatorando através de $S = \text{Spec}(K)$. Eles equipam esta categoria com a topologia terna, onde as coberturas são definidas por famílias de mapas que são ternos sobre valorações.
2. O Feixe $\mathcal{G}_a(0)$: Em vez de usar o feixe estrutural terno padrão $\mathcal{O}_t$ (cuja rigidificação é o feixe estrutural rígido integral $\mathcal{O}^\circ$), eles definem um feixe torcido $\mathcal{G}_a(0)$. Para um par $(U, \tilde{U})$, este feixe é definido como:
   $$\mathcal{G}_a(0)(U, \tilde{U}) = \left\{ a \in \mathcal{O}(U) \mid a \in \sqrt[m]{\pi \mathcal{O}(\tilde{U}_{\text{int}})} \right\}$$
   onde $\pi$ é um pseudo-uniformizador de $R$ e $\tilde{U}_{\text{int}}$ é o fecho integral de $\tilde{U}$ em $U$.
   Distinção Crucial: A rigidificação de $\mathcal{G}_a(0)$ corresponde ao feixe $\mathcal{O}(1)$ (funções com norma sup estritamente menor que 1), whereas $\mathcal{O}_t$ rigidifica para $\mathcal{O}^\circ$ (funções com norma sup $\le 1$). Os autores argumentam que $\mathcal{O}(1)$ é sobreconvergente, uma propriedade essencial para aplicar teoremas de mudança de base em geometria rígida, o que falha para $\mathcal{O}^\circ$.
3. Comparação com Geometria Rígida: A prova depende de um teorema de comparação entre a cohomologia terna de $\mathcal{G}_a(0)$ e a cohomologia analítica rígida de $\mathcal{O}(1)$. Esta comparação é um teorema "GAGA integral".
4. Anulação Analítica: A invariância $\mathbb{A}^1$ e a invariância birracional são deduzidas de resultados de anulação em geometria analítica rígida. Especificamente, eles utilizam resultados de Bartenwerfer [Bar79] e van der Put [Put82] mostrando que $H^i(D, \mathcal{O}(s)) = 0$ para $i > 0$ em polidiscos generalizados $D$, e que grupos de cohomologia são aniquilados por elementos de pequena norma (Teorema 3.2).

Principais Contribuições e Resultados

1. Construção do Functor $F$
Os autores definem um functor $F: \text{Sm}_K \to D^{\ge 0}(R)_f$ (onde $D^{\ge 0}(R)_f$ é a categoria derivada de complexos com cohomologia na categoria de $R$-módulos de tipo finito até torção limitada) por:
$$F(X) := R\Gamma_t(X/R, \mathcal{G}_a(0))$$
Eles provam que este functor satisfaz as seguintes propriedades (Teorema 1):

• Compatibilidade: $F(X) \otimes_R K \simeq R\Gamma(X, \mathcal{O})$ para qualquer compactificação suave $X$ de $X$.
• Invariância $\mathbb{A}^1$: $F(X) \simeq F(X \times \mathbb{A}^1)$.
• Invariância Birracional: $F(X) \simeq F(Y)$ para qualquer mapa $Y \to X$ que seja um isomorfismo sobre um subconjunto aberto denso.
• Descida Terna: $F$ satisfaz descida em relação a coberturas $R$-ternas.

2. Restrições Dimensionais e de Característica

• Característica Zero: Os resultados valem para todos os esquemas separados suaves sobre $K$ de qualquer dimensão.
• Característica Positiva: Os resultados valem para esquemas separados suaves de dimensão $\le 3$. Esta restrição surge da dependência da existência de compactificações suaves e resolução de singularidades em característica positiva (usando [CP19] e [CR15]), que atualmente só estão estabelecidas para dimensões até 3.

3. Aplicação a Grupos de Automorfismos
Como uma aplicação direta, os autores provam que, para uma variedade própria suave $X$ de dimensão $\le 3$ sobre um corpo $k$ de característica positiva, o grupo de automorfismos birracionais $\text{Aut}_k(k(X))$ atua quasi-unipotentemente nos grupos de cohomologia $H^i(X, \mathcal{O}_X)$.

• Mecanismo: Ao reduzir a um corpo finitamente gerado, os autovalores da ação são mostrados como pertencendo ao grupo multiplicativo de um corpo finito, implicando que são raízes da unidade.

4. Extensão a Esquemas Singulares
O artigo observa que a suposição de suavidade é principalmente necessária para aplicar o teorema de anulação de Bartenwerfer para afinoides suaves. Os autores propõem que, se o resultado de anulação para $\mathcal{O}(1)$ puder ser generalizado para afinoides com singularidades específicas (por exemplo, racionais, log-canônicas, Du Bois), então os teoremas principais se estendem a esquemas normais com tais singularidades (Teorema 4.19).

Significado e Alegações
O artigo alega fornecer a primeira estrutura integral definida algebricamente na cohomologia do feixe estrutural que é tanto $\mathbb{A}^1$-invariante quanto satisfaz descida terna.

• Analítico vs. Algébrico: Embora uma estrutura integral possa ser definida analiticamente via GAGA e resultados de Bartenwerfer sobre espaços rígidos, este artigo a constrói algebricamente através do sítio terno.
• Superando Singularidades: O uso do feixe torcido $\mathcal{G}_a(0)$ (rigidificando para $\mathcal{O}(1)$) em vez do feixe estrutural terno padrão é a chave técnica que permite aos autores contornar a necessidade de resolução de singularidades sobre $R$ na prova da invariância $\mathbb{A}^1$, confiando em vez disso em computações analíticas no lado rígido.
• Modéstia: Os autores afirmam explicitamente que a restrição à dimensão 3 em característica positiva é uma limitação dos resultados atuais de resolução de singularidades, e não do seu método. Eles também notam que a extensão para cohomologia de de Rham ou cristalina permanece um assunto para trabalho futuro, condicionado à construção de feixes adequados no sítio terno.

Em resumo, o artigo estabelece uma estrutura robusta para estudar estruturas integrais em cohomologia não-arquimediana, fazendo a ponte entre geometria algébrica terna e geometria analítica rígida para derivar fortes resultados estruturais sobre invariantes birracionais e ações de automorfismos.