Arithmetic Cycles with Modulus

Resumo Técnico de "Arithmetic Cycles with Modulus"

Enunciado do Problema
O artigo aborda a lacuna entre duas teorias estabelecidas na geometria aritmética: a teoria dos grupos de Chow com módulo (que captura informações geométricas em relação a um divisor de fronteira $D$) e a teoria dos grupos de Chow aritméticos desenvolvida por Gillet e Soulé (que incorpora dados analíticos via correntes de Green para definir a teoria de interseção em variedades aritméticas).

Embora os grupos de Chow com módulo, $CH^p(X|D)$, estendam com sucesso a teoria de interseção clássica para variedades quase-projetivas suaves $X$ em relação a um divisor efetivo $D$ (restaurando propriedades como o mapa de grau e a variedade de Albanese em configurações adequadas), eles carecem de um componente analítico. Por outro lado, os grupos de Chow aritméticos, $\widehat{CH}^p(X)$, fornecem uma teoria de interseção refinada para variedades aritméticas ao parear ciclos algébricos com correntes de Green, mas não contabilizam inerentemente condições de módulo ao longo de um divisor de fronteira. Os autores propõem a questão: Como se pode definir um grupo de Chow aritmético com módulo, $\widehat{CH}^p(X|D)$, que respeite as condições de nulidade ao longo de $D$, mantendo simultaneamente a estrutura analítica da teoria de Gillet e Soulé?

Metodologia
Os autores constroem $\widehat{CH}^p(X|D)$ adaptando a definição de grupos de Chow aritméticos para o cenário relativo. A metodologia central envolve:

1. Configuração Analítica: Seja $X$ uma variedade suave quase-projetiva sobre um corpo numérico $k$, e seja $D$ um divisor efetivo tal que seu suporte reduzido $D_{red}$ seja um divisor de cruzamento normal simples (sncd). Os autores utilizam o complexo de formas diferenciais suaves no espaço analítico associado $X(\mathbb{C})$ que se anulam em $D_{red}$, denotado por $\Sigma_{D_{red}}A^*(X)$.
2. Lema de Extensão: Uma ferramenta técnica crucial é o Lema 2.5, que estabelece que a inclusão de formas que se anulam em um sncd no complexo de todas as formas é um isomorfismo quasia-isomorfo no contexto da cohomologia relativa. Isso permite que os autores representem classes de cohomologia relativa usando formas suaves que se anulam na fronteira.
3. Correntes de Green com Módulo: Para um ciclo algébrico $Z \in Z^p(X|D)$ (um ciclo disjunto de $D$), os autores provam a existência de uma corrente de Green $g_Z$ satisfazendo a equação diferencial $\partial\bar{\partial}g_Z + \delta_Z = [\omega_Z]$, onde a forma suave associada $\omega_Z$ pertence ao subespaço de formas que se anulam em $D_{red}$. Isso garante que a "condição de módulo" seja satisfeita no nível analítico.
4. Definição do Grupo: O grupo de Chow aritmético com módulo é definido como o quociente de pares $(Z, g_Z)$ por um subgrupo gerado por equivalências racionais aritméticas com módulo. Essas equivalências são geradas por divisores de funções racionais $f$ que são unidades ao longo de $D$ (satisfazendo a condição de módulo $f \equiv 1 \mod \mathcal{I}_D$) e suas correntes associadas $-\log|f|^2$, bem como correntes da forma $\partial u + \bar{\partial} v$ onde $u, v$ satisfazem condições específicas de nulidade.

Principais Contribuições e Resultados
O artigo estabelece seus principais resultados:

• Teorema A (Existência de Correntes de Green): Para qualquer ciclo com módulo, existe uma corrente de Green $g_Z$ tal que a forma associada $\omega_Z$ se anula em $D_{red}$. Isso valida a definição do grupo.
• Definição de $\widehat{CH}^p(X|D)$: O grupo é formalmente definido como $\widehat{Z}^p(X|D) / \widehat{R}^p(X|D)$, onde $\widehat{Z}^p$ consiste em pares $(Z, g_Z)$ com a condição de nulidade, e $\widehat{R}^p$ é o subgrupo de equivalências racionais aritméticas com módulo.
• Functorialidade e Sequências Exatas: O grupo $\widehat{CH}^p(X|D)$ satisfaz propriedades functoriais naturais (pullback para morfismos suaves, pushforward para morfismos próprios) e se encaixa em uma sequência exata natural análoga aos grupos de Chow aritméticos clássicos:
  $$CH^{p,p-1}(X|D) \to \widehat{A}^{p-1,p-1}(X_{\mathbb{R}}, \text{vanishing}) \to \widehat{CH}^p(X|D) \to CH^p(X|D) \to 0$$
• Estrutura de Módulo (Teorema B): O anel de Chow aritmético clássico $\widehat{CH}^*(X)$ atua sobre os grupos de Chow aritméticos com módulo $\widehat{CH}^*(X|D)$ via um produto de contração (cap product), satisfazendo a fórmula de projeção. Isso eleva a estrutura de módulo conhecida dos grupos de Chow algébricos com módulo.
• Isomorfismo com o Grupo de Picard Hermitiano Relativo (Teorema C): Os autores definem um grupo de Picard Hermitiano relativo, $\widehat{\text{Pic}}(X, D)$, consistindo em fibrados lineares hermitianos $(L, \|\cdot\|)$ equipados com uma trivialização ao longo de $D$ tal que a forma de Chern $c_1(L, \|\cdot\|)$ se anula em $D_{red}$. Eles provam um isomorfismo:
  $$\widehat{\text{Pic}}(X, D) \cong \widehat{CH}^1(X|D)$$
  Este isomorfismo comuta com os isomorfismos conhecidos entre o grupo de Picard e o primeiro grupo de Chow.

Significância
Os autores descrevem este trabalho como uma "amalgamação muito natural" da teoria de interseção aritmética de Gillet e Soulé com a teoria dos grupos de Chow com módulo. A construção fornece uma realização concreta da cohomologia motivica aritmética com módulo.

O artigo posiciona estes resultados como um passo fundamental para:

1. Definir um análogo aritmético do grupo de Grothendieck relativo $K_0(X, D)$.
2. Desenvolver um análogo aritmético da teoria de classe-campo global de dimensões superiores.

Os autores declaram explicitamente que definir o análogo aritmético de $K_0(X, D)$ e estudar sua conexão com $\widehat{CH}^p(X|D)$ é o assunto de seu próximo artigo, mantendo um escopo modesto quanto às aplicações imediatas do presente trabalho.