Dynamical Mordell-Lang conjecture for split self-maps of affine curve times projective curve

Resumo Técnico: Conjectura de Mordell–Lang Dinâmica para Auto-mapeamentos Divididos

1. O Problema: A Conjectura de Mordell–Lang Dinâmica (DML)

O artigo aborda um dos problemas centrais da dinâmica aritmética: a Conjectura de Mordell–Lang Dinâmica, proposta por Ghioca e Tucker.

• Enunciado: Seja $f: X \to X$ um endomorfismo de uma variedade quasi-projetiva sobre um corpo $K$ de característica zero, e $V$ uma subvariedade fechada de $X$. Para qualquer ponto $x \in X(K)$, o conjunto de retorno $\{n \in \mathbb{N} \mid f^n(x) \in V(K)\}$ deve ser uma união finita de progressões aritméticas.
• Contexto: A conjectura já foi provada em casos específicos, como quando $f$ é um endomorfismo étale ou quando $X = \mathbb{A}^2$ (plano afim). O desafio atual reside em generalizar esses resultados para produtos de variedades com diferentes naturezas geométricas (afim vs. projetiva).

2. Contribuições Principais e Resultados

Os autores provam a conjectura para uma classe específica de sistemas dinâmicos divididos (split), onde o espaço é um produto de uma curva afim e uma curva projetiva.

• Teorema Principal (Teorema 1.1):
  Seja $X$ uma curva afim e $Y$ uma curva projetiva sobre $\mathbb{Q}$. Sejam $f: X \to X$ e $g: Y \to Y$ endomorfismos. A conjectura DML vale para o sistema produto $(X \times Y, f \times g)$.

• Proposição Chave (Proposição 1.2):
  O caso central da prova é reduzido para o produto $\mathbb{A}^1 \times \mathbb{P}^1$. Especificamente, se $f: \mathbb{A}^1 \to \mathbb{A}^1$ e $g: \mathbb{P}^1 \to \mathbb{P}^1$ são endomorfismos sobre $\mathbb{Q}$, a conjectura DML vale para $(\mathbb{A}^1 \times \mathbb{P}^1, f \times g)$.

• Corolário de Generalização (Corolário 1.3):
  Os autores estabelecem uma condição para variedades de dimensão superior. Se $X$ é uma variedade afim e $Y$ uma variedade projetiva sobre $\mathbb{Q}$, e ambos os sistemas $(X, f)$ e $(Y, g)$ satisfazem a propriedade DML(1) (onde o conjunto de retorno para qualquer curva é uma união finita de progressões aritméticas), então o sistema produto $(X \times Y, f \times g)$ também satisfaz a propriedade DML(1).

3. Metodologia e Estrutura da Prova

A prova da Proposição 1.2 (o caso $\mathbb{A}^1 \times \mathbb{P}^1$) é o núcleo técnico do trabalho e utiliza uma combinação de redução geométrica, teoria de alturas e análise de velocidades de crescimento em valuações.

A. Reduções Iniciais:

• Utilizando resultados anteriores ([BGT10], [Xie17]), o problema é reduzido ao caso onde $\deg(f) = \deg(g) = d > 1$.
• Assume-se que nenhuma iteração de $g$ é conjugada a um mapa polinomial (caso contrário, reduz-se ao caso conhecido de $\mathbb{A}^2$).
• Assume-se que o ponto inicial $(x_0, y_0)$ não é pré-periódico e que a curva $C$ não é uma fibra vertical ou horizontal.

B. O Argumento de Velocidade (O "Giro" da Prova):
A estratégia central baseia-se na comparação das taxas de crescimento das coordenadas em uma valuação $v$ (local height).

1. Comportamento em $\mathbb{A}^1$: Pelo Lema 2.2, se $x_0$ não é pré-periódico, existe uma valuação $v$ onde a coordenada $x_n = f^n(x_0)$ tende ao infinito com a velocidade máxima possível, ou seja, $|x_n|_v \sim d^n$.
2. Comportamento em $\mathbb{P}^1$: Pelo Lema 2.1 (baseado em Silverman), se $y_0$ não é pré-periódico e $g$ não tem pontos excepcionais (o que é garantido pela hipótese de não ser conjugado a polinômio), a coordenada $y_n = g^n(y_0)$ não pode tender a qualquer ponto fixo com a mesma velocidade exponencial $d^n$.
3. Contradição Geométrica:
   • Considera-se uma curva irreduzível $C \subset \mathbb{A}^1 \times \mathbb{P}^1$.
   • A equação definidora de $C$ é analisada quando a coordenada $x$ tende ao infinito.
   • Se a órbita $(x_n, y_n)$ permanecesse em $C$ infinitamente, a velocidade de crescimento de $x_n$ forçaria a coordenada $y_n$ a convergir para um ponto específico (uma raiz do polinômio definidor no infinito) com uma taxa que contradiz o Lema 2.1.
   • Especificamente, a equação da curva exige que $|y_n - b|_v$ decaia exponencialmente rápido para compensar o crescimento de $x_n$, o que é impossível para órbitas não pré-periódicas sob $g$ sem pontos excepcionais.

C. Classificação por Gênero (Prova do Teorema 1.1):
Para o caso geral de curvas $X$ e $Y$, os autores analisam o gênero das fechaduras projetivas:

• Gênero > 1: O endomorfismo é trivialmente periódico (iteração é identidade), provando a conjectura trivialmente.
• Gênero = 1: Os endomorfismos são étale, coberto por resultados existentes ([BGT10]).
• Gênero = 0: Reduz-se ao caso $\mathbb{A}^1 \times \mathbb{P}^1$ tratado na Proposição 1.2, após lidar com pontos fixos no infinito.

4. Significado e Impacto

• Avanço Teórico: O trabalho resolve um caso não trivial da conjectura DML onde as componentes do sistema têm naturezas geométricas distintas (uma afim, uma projetiva), preenchendo uma lacuna entre os casos de $\mathbb{A}^2$ e variedades étale.
• Técnica Inovadora: A introdução de uma comparação de velocidades de crescimento (via alturas locais) entre as coordenadas de um produto é uma ferramenta poderosa que pode ser adaptada para outros problemas de dinâmica aritmética em variedades de produto.
• Generalização: O Corolário 1.3 fornece um critério robusto para verificar a propriedade DML em produtos de variedades de dimensão superior, desde que a propriedade seja válida para curvas nos fatores.

Em suma, o artigo demonstra que a interação dinâmica entre uma curva afim (onde os pontos podem "escapar" para o infinito rapidamente) e uma curva projetiva (onde o movimento é mais restrito) impõe fortes restrições geométricas que forçam o conjunto de retorno a ser finito ou estruturado, confirmando a conjectura para essa classe de sistemas.