On the height boundedness of periodic and preperiodic points of dominant rational self-maps on projective varieties

Este artigo refuta a conjectura de que os pontos periódicos isolados de automorfismos de grau pelo menos dois em espaços afins possuem altura limitada, ao mesmo tempo em que estabelece que tais pontos são de altura limitada em um aberto de Zariski não vazio para mapas racionais dominantes cohomologicamente hiperbólicos em variedades projetivas, enquanto sugere que essa propriedade pode falhar para pontos pré-periódicos.

O essencial

Imagine que você tem um jogo matemático onde você joga uma bola em um tabuleiro infinito. A cada jogada, a bola se move para uma nova posição baseada em uma regra fixa (uma fórmula matemática).

• Pontos Periódicos: São lugares onde a bola, se você jogar o suficiente, volta exatamente para onde começou, criando um ciclo infinito (A → B → C → A...).
• Pontos Pré-periódicos: São lugares onde a bola dá algumas voltas aleatórias antes de entrar em um desses ciclos.
• Altura (Height): Pense na "altura" como uma medida de complexidade ou "tamanho" dos números que definem a posição da bola. Se a bola está em coordenadas simples como (1, 2), a altura é baixa. Se ela está em coordenadas com números gigantes e frações complicadas (como $\frac{123456789}{987654321}$), a altura é alta.

O objetivo deste artigo é responder a uma pergunta fundamental: Existe um limite para o "tamanho" (complexidade) desses pontos especiais? Ou seja, será que, não importa quantas vezes você jogue, a bola nunca precisará de números absurdamente grandes para se repetir?

Aqui está o resumo do que os autores descobriram, usando analogias simples:

1. O Grande Equívoco (O Contra-Exemplo)

Antes desse artigo, os matemáticos achavam que, em certos jogos (especificamente em espaços de 3 dimensões, como um cubo infinito), os pontos onde a bola se repete sempre teriam um tamanho limitado. Eles pensavam: "Ah, se a bola volta ao início, ela não pode ficar 'gigante' demais."

A descoberta: Os autores provaram que isso é falso em 3 dimensões.

• A Analogia: Imagine um labirinto 3D. Eles construíram um labirinto onde a bola pode voltar ao ponto de partida, mas a cada vez que ela faz isso, ela precisa usar números cada vez mais complexos e gigantes para descrever sua posição. É como se a bola estivesse subindo uma escada infinita de complexidade cada vez que completa um ciclo.
• O Resultado: Eles mostraram um exemplo específico onde a altura dos pontos periódicos pode crescer para o infinito. Isso quebra a conjectura anterior.

2. A Regra de Ouro (Mapas "Hiperbólicos")

Então, quando a altura é limitada? Os autores descobriram que a chave está em um conceito chamado "Hiperbolicidade Cohomológica".

• A Analogia: Imagine que o tabuleiro do jogo tem uma "força de expansão" e uma "força de contração".
  • Em um mapa "hiperbólico", essas forças são desequilibradas de uma maneira muito específica (uma direção estica muito mais rápido que as outras). É como um elástico sendo esticado em uma direção e encolhendo na outra.
  • A Conclusão: Se o jogo tiver essa propriedade de "estiramento desigual" (hiperbólico), então, sim, existe um limite para o tamanho dos números. Você pode encontrar uma "zona segura" no tabuleiro onde, se a bola estiver lá e se repetir, ela nunca usará números gigantes.

3. O Mistério dos Pontos "Pré-periódicos"

A parte mais intrigante do artigo é sobre os pontos que quase se repetem (pré-periódicos).

• O Problema: Mesmo em jogos onde a regra de ouro (hiperbolicidade) funciona para os pontos que se repetem diretamente, os autores suspeitam que ela falha para os pontos que entram no ciclo depois de algumas voltas.
• A Analogia: Imagine que você pode entrar em um ciclo de volta ao início, mas o caminho para chegar lá exige que você suba uma montanha infinita de números complexos antes de finalmente entrar no loop.
• O Exemplo: Eles criaram um jogo matemático onde, embora o ciclo em si seja "seguro", o caminho para chegar a ele (os pontos pré-periódicos) exige números que crescem para o infinito. Isso sugere que a regra de segurança é mais fraca do que pensávamos.

Resumo Final para Leigos

1. O Mito: "Pontos que se repetem em jogos matemáticos sempre têm números pequenos."
2. A Realidade: Em 3 dimensões, isso é falso. Você pode ter ciclos com números infinitamente grandes.
3. A Solução Parcial: Se o jogo tiver uma estrutura de "estiramento desigual" (hiperbólico), você pode encontrar uma área onde os números são limitados.
4. A Dúvida Restante: Mesmo nesses jogos "seguros", os caminhos que levam aos ciclos (pré-periódicos) podem ainda exigir números infinitamente grandes.

Em suma: A matemática dinâmica é como um universo onde a complexidade pode explodir de formas inesperadas. Os autores nos mostraram que, embora existam "zonas de segurança" onde a complexidade é controlada, o universo inteiro não é seguro, e a fronteira entre o simples e o complexo é muito mais delicada do que imaginávamos.

Resumo técnico

Título: Sobre a Limitação de Altura de Pontos Periódicos e Pré-Periódicos de Auto-Mapeamentos Racionais Dominantes em Variedades Projetivas

1. Problema e Contexto

O artigo aborda um problema central na dinâmica aritmética: a limitação da altura (height boundedness) de conjuntos de pontos periódicos e pré-periódicos sob a ação de mapeamentos racionais em variedades algébricas definidas sobre corpos de números.

• Contexto Conhecido: Para morfismos surjetivos não-isomórficos $f: \mathbb{P}^N_{\mathbb{Q}} \to \mathbb{P}^N_{\mathbb{Q}}$, é bem estabelecido que o conjunto de pontos pré-periódicos tem altura limitada. Isso decorre da existência de uma função de altura canônica $\hat{h}_f$ tal que $\hat{h}_f(P) = 0$ se e somente se $P$ é pré-periódico.
• A Conjectura Aberta (Conjectura 1.1): Proposta anteriormente, a conjectura afirmava que, para um automorfismo $f: \mathbb{A}^N_{\mathbb{Q}} \to \mathbb{A}^N_{\mathbb{Q}}$ (espaço afim) onde o grau máximo das funções coordenadas é pelo menos 2, o conjunto de pontos periódicos isolados deveria ter altura limitada.
• O Desafio: A questão central é determinar sob quais condições gerais (além do caso projetivo clássico) a limitação da altura se mantém, especialmente para automorfismos em espaços afins de dimensão superior e para mapeamentos racionais dominantes em variedades projetivas.

2. Metodologia

Os autores utilizam uma combinação de técnicas de dinâmica algébrica, teoria de números (propriedades de corpos de números, valores absolutos e ramificação) e geometria algébrica (graus dinâmicos, cohomologia e variedades de módulos).

• Contraexemplo Construtivo: Para refutar a conjectura em dimensão 3, os autores constroem um automorfismo específico em $\mathbb{A}^3$ que projeta em um mapa de Hénon em $\mathbb{A}^2$. Eles analisam a estrutura fibrosa do mapa e utilizam propriedades de redução módulo primos (especificamente o primo 3) para demonstrar que as coordenadas $z$ dos pontos periódicos crescem indefinidamente em altura.
• Análise de Graus Dinâmicos e Hiperbolicidade: Para resultados positivos, eles empregam o conceito de hiperbolicidade cohomológica. Um mapa é dito $p$-hiperbólico cohomologicamente se o $p$-ésimo grau dinâmico é estritamente maior que os demais. Eles utilizam desigualdades recursivas de altura ao longo das órbitas, baseadas em divisores "big" (grandes) no espaço de Picard birracional.
• Construção de Órbitas Reversas: Para o caso de pontos pré-periódicos, eles constroem uma sequência de pontos que mapeiam para trás (órbita reversa) a partir de um ponto fixo, demonstrando que a altura explode mesmo em mapas que são hiperbólicos cohomologicamente.

3. Principais Contribuições e Resultados

A. Refutação da Conjectura em Dimensão 3 (Teorema 1.3)

Os autores provam que a Conjectura 1.1 é falsa para dimensão $N=3$.

• Construção: Eles definem o automorfismo $f: \mathbb{A}^3_{\mathbb{Q}} \to \mathbb{A}^3_{\mathbb{Q}}$ dado por:
  $$f(x, y, z) = (y, x + y - y^3, 2z - y)$$
• Resultados:
  1. Para qualquer $n \ge 1$, o conjunto de pontos $n$-periódicos é finito (todos são isolados).
  2. O conjunto de todos os pontos periódicos é ilimitado em altura.
  3. Existe uma sequência de pontos periódicos que é densa de Zariski em $\mathbb{A}^3_{\mathbb{Q}}$.
• Mecanismo: As duas primeiras coordenadas formam um mapa de Hénon $g$. A terceira coordenada $z$ é determinada por uma soma ponderada das coordenadas de $g$. Ao reduzir módulo 3, o mapa $g$ torna-se linear, permitindo o controle preciso das potências de 2 e 3 na expressão de $z$, forçando a altura a crescer.

B. Limitação de Altura para Mapas Hiperbólicos Cohomologicamente (Teorema 1.8)

Os autores estabelecem uma condição suficiente para a limitação da altura de pontos periódicos em variedades projetivas.

• Teorema: Se $f: X \dashrightarrow X$ é um mapa racional dominante em uma variedade projetiva sobre $\mathbb{Q}$ que é hiperbólico cohomologicamente, então existe um subconjunto aberto de Zariski não vazio $U \subset X$ tal que o conjunto de pontos periódicos cujas órbitas inteiras estão contidas em $U$ tem altura limitada.
• Significado: Este resultado generaliza trabalhos anteriores (Wang, Matsuzawa-Wang) removendo a necessidade de o mapa ser birracional. A prova utiliza desigualdades de crescimento de altura baseadas nos expoentes de Lyapunov cohomológicos.

C. Falha da Limitação para Pontos Pré-Periódicos (Teorema 1.9)

Os autores mostram que a condição de hiperbolicidade cohomológica não é suficiente para garantir a limitação da altura de pontos pré-periódicos.

• Contraexemplo: Eles constroem um mapa racional $f: \mathbb{P}^2_{\mathbb{Q}} \dashrightarrow \mathbb{P}^2_{\mathbb{Q}}$ definido por:
  $$f(x:y:z) = (x^d - \frac{1}{p^{d-3}}y^2z^{d-2} : xy^2z^{d-3} : y^2z^{d-2})$$
  Para $d=4$ e $p=2$, o mapa é 1-hiperbólico cohomologicamente ($d_1=4, d_2=2$).
• Resultado: Existe um ponto fixo $P_0$ e uma sequência de pontos pré-periódicos $\{P_n\}$ (órbita reversa de $P_0$) tal que:
  1. O conjunto $\{P_n\}$ é densa de Zariski.
  2. A altura $h(P_n) \to \infty$ quando $n \to \infty$.
• Implicação: Isso sugere que a limitação da altura para pontos pré-periódicos pode falhar mesmo sob condições fortes de hiperbolicidade, diferentemente do caso de pontos periódicos.

4. Significado e Impacto

1. Refinamento da Conjectura de Silverman: O trabalho demonstra que a limitação da altura para pontos periódicos em espaços afins não é uma propriedade universal para automorfismos de grau $\ge 2$ em dimensões $\ge 3$, exigindo condições mais fortes (como hiperbolicidade cohomológica) ou restrições de dimensão.
2. Distinção entre Periódico e Pré-Periódico: O artigo destaca uma diferença fundamental no comportamento aritmético: enquanto pontos periódicos em mapas hiperbólicos cohomologicamente tendem a ser limitados (em um aberto), pontos pré-periódicos podem escapar dessa limitação, mesmo em mapas com graus dinâmicos bem comportados.
3. Ferramentas Técnicas: A introdução e aplicação de desigualdades recursivas de altura baseadas na teoria de divisores "big" em modelos birracionais fornecem uma ferramenta robusta para futuros estudos em dinâmica aritmética de mapas racionais.
4. Perguntas Abertas: O trabalho levanta questões importantes sobre se a limitação da altura para pontos pré-periódicos pode ser recuperada sob condições mais fortes (como ser definido sobre um corpo de números fixo) ou se a condição de "órbita contida em $U$" é apenas técnica ou essencial.

Em resumo, o artigo fornece uma resposta negativa para uma conjectura de longa data em dimensão 3, mas oferece uma teoria positiva e estruturada baseada na hiperbolicidade cohomológica para o caso periódico, ao mesmo tempo que expõe as limitações dessa teoria para o caso pré-periódico.