Local height arguments toward the dynamical Mordell-Lang conjecture

Resumo Técnico: Argumentos de Altura Local em Direção à Conjectura de Mordell–Lang Dinâmica

Declaração do Problema
Este artigo investiga a conjectura de Mordell–Lang dinâmica (DML) para endomorfismos regulares do espaço afim complexo $\mathbb{A}^N_{\mathbb{C}}$. A conjectura DML postula que, para um endomorfismo $f$ de uma variedade quasi-projetiva $X$, o conjunto de retorno $\{n \in \mathbb{N} \mid f^n(x) \in V\}$ de um ponto $x$ em uma subvariedade fechada $V$ é uma união finita de progressões aritméticas. Embora a conjectura seja conhecida para casos específicos (por exemplo, endomorfismos étale ou $\mathbb{A}^2$), este trabalho foca no caso em que $V$ é uma curva (a propriedade DML(1)) para uma classe específica de endomorfismos regulares com uma "lacuna de grau".

Os autores consideram endomorfismos regulares $f: \mathbb{A}^N \to \mathbb{A}^N$ que se estendem a $\mathbb{P}^N$. Tais mapas são da forma $f(x) = (f_1+g_1, \dots, f_N+g_N)$, onde $f_i$ são polinômios homogêneos de grau $d$ sem zeros comuns, e $g_i$ são polinômios de grau $\le d-k$. O inteiro $k$ é a "lacuna de grau". O comportamento do mapa induzido $f_\infty$ no hiperplano no infinito $H_\infty$ é crucial. O problema central é determinar sob quais condições sobre $k$ e a ramificação de $f_\infty$ a propriedade DML(1) vale e caracterizar as curvas periódicas.

Metodologia
Os autores empregam um "argumento de altura local", uma técnica distinta dos argumentos de altura global usados em trabalhos anteriores (por exemplo, por Ghioca, Tucker e Xie) que dependem do sistema ser "polarizado" de uma maneira que permite duas velocidades de crescimento distintas. Como os sistemas estudados aqui são polarizados, o argumento de altura global falha. Em vez disso, os autores utilizam:

1. Teoria de Arakelov para Campos de Funções Aritméticos: Para trabalhar sobre $\mathbb{C}$, os autores descem a um campo de funções aritmético $K$ (uma extensão finitamente gerada de $\mathbb{Q}$) onde todos os dados estão definidos. Eles utilizam a teoria de Arakelov desenvolvida por Vojta e Moriwaki, que fornece uma fórmula de produto e um espaço de medida de valores absolutos $M_K$.
2. Alturas Locais (Funções de Weil): Eles definem funções de Weil $\lambda_P$ para pontos e $\lambda_{H_\infty}$ para o hiperplano no infinito sobre o conjunto de lugares $S$. Essas funções medem a proximidade de pontos a subvariedades específicas.
3. Teorema de Roth: Uma ferramenta central é o teorema de Roth sobre campos de funções aritméticos (estabelecido por Vojta). Os autores usam isso para controlar a distribuição de pontos em curvas. Especificamente, eles provam que, se uma curva é "suficientemente vertical" (o que significa que pontos na curva se aproximam do hiperplano no infinito de uma maneira específica em relação à sua projeção), a curva deve ser uma linha reta.
4. Propriedade de Finitude de Northcott: Isso é usado para estabelecer a finitude de pontos periódicos com altura limitada, garantindo que as órbitas reversas de pontos no infinito sejam conjuntos finitos de pontos periódicos.
5. Desigualdade Triangular e Iteração: A prova envolve a construção de uma sequência de pré-imagens da curva $C$ (denotada $C_{-n}$) e mostrar que, sob a condição de lacuna de grau, essas curvas tornam-se cada vez mais "verticais" em seus pontos de interseção com $H_\infty$.

Contribuições e Resultados Principais

• Teorema Principal (Teorema 1.3): Seja $f$ um endomorfismo regular de $\mathbb{A}^N$ com lacuna de grau $k$. Se $C$ é uma subcurva fechada irredutível com uma interseção infinita com uma órbita de $f$, e se $k > 2 \max_{P \in I_0} e_{f_\infty}(P)$ (onde $I_0$ é a órbita direta dos pontos de interseção $C \cap H_\infty$ e $e_{f_\infty}(P)$ é a multiplicidade de $f_\infty$ em $P$), então:

  1. A interseção $C \cap H_\infty$ consiste em 1 ou 2 pontos, que são periódicos sob $f_\infty$.
  2. $C$ é uma "linha vertical" (uma linha reta passando pela origem).

• Propriedade DML(1) (Teorema 1.7): Sob a mesma condição ($k > 2 \max_{P \in \text{Per}(f_\infty)} e_{f_\infty}(P)$), o mapa $f$ satisfaz a propriedade DML(1). Além disso, toda curva $f$-periódica irredutível é uma linha vertical.

• Existência de Exemplos (Proposição 1.6): Os autores provam que, para um endomorfismo geral $f_\infty$ de $H_\infty \cong \mathbb{P}^{N-1}$ de grau $d$, a multiplicidade máxima é limitada por $(N-1)! \cdot 2^{N-1}$. Consequentemente, se a lacuna de grau $k$ for escolhida como $(N-1)! \cdot 2^N + 1$, a condição para o teorema principal é satisfeita para $f_\infty$ geral.

• Optimalidade (Exemplo 1.8): O artigo fornece exemplos demonstrando que a condição $k > 2 \max e_{f_\infty}(P)$ é ótima. Especificamente, se a desigualdade for relaxada para $\ge$, existem curvas invariantes que não são linhas verticais.

• Caracterização de Curvas Periódicas: Como subproduto, os autores caracterizam completamente as curvas periódicas para tais mapas: elas são estritamente linhas verticais. Se a união dessas linhas for densa de Zariski, os termos de grau inferior $g_i$ devem desaparecer.

Significado e Alegações
O artigo alega avançar a compreensão da conjectura DML em dimensões superiores ao introduzir um "argumento de altura local" adaptado a sistemas polarizados com uma lacuna de grau visível. O significado reside em:

1. Quebra de Isotropia: A condição sobre a lacuna de grau e a ramificação é interpretada como um mecanismo para "quebrar a isotropia" do sistema, permitindo que os autores encontrem duas velocidades diferentes de crescimento da altura local, o que é necessário para aplicar o teorema de Roth.
2. Classificação Completa: Ao contrário de trabalhos anteriores que podem apenas estabelecer a propriedade DML, essa abordagem permite a determinação explícita de todas as curvas periódicas (identificando-as como linhas verticais) como uma consequência direta da prova.
3. Optimalidade: Os autores abordam explicitamente a nitidez de suas condições, mostrando que a desigualdade estrita é necessária para forçar a rigidez geométrica das curvas periódicas.
4. Limitações em Característica Positiva: O artigo observa que seu método depende fortemente do teorema de Siegel e do teorema de Roth, que não valem na mesma forma em característica positiva. Eles fornecem um contraexemplo em característica positiva onde curvas invariantes não são linhas verticais, sugerindo que novos métodos são necessários para esse cenário.

O trabalho é apresentado como um sucessor de argumentos anteriores baseados em altura (referenciando especificamente [XYb]), mas adaptado às restrições específicas de endomorfismos regulares com lacunas de grau, utilizando o cenário de campo de funções aritmético para lidar com o caso complexo.