Height arguments toward the dynamical Mordell-Lang problem in arbitrary characteristic

Resumo Técnico: Argumentos de Altura em Direção ao Problema de Mordell–Lang Dinâmico em Característica Arbitrária

Enunciado do Problema
O artigo aborda a conjectura de Mordell–Lang Dinâmico (DML), um problema central na dinâmica aritmética. A conjectura postula que, para um endomorfismo racional $f$ de uma variedade $X$ e um ponto $x$ com órbita bem definida, o conjunto de retorno $\{n \in \mathbb{N} \mid f^n(x) \in V\}$ (onde $V$ é uma subvariedade fechada) é uma união finita de progressões aritméticas. Embora esta conjectura "0-DML" seja válida em característica 0 para casos específicos (por exemplo, endomorfismos étale, endomorfismos de $\mathbb{A}^2$), ela falha em característica positiva $p > 0$. Em característica positiva, os conjuntos de retorno podem exibir estruturas complexas, levando ao problema "pDML", que busca caracterizar a forma desses conjuntos. Trabalhos anteriores de Corvaja, Ghioca, Scanlon e Zannier [6] e dos autores [37] estabeleceram que os conjuntos de retorno para certos sistemas são conjuntos "p-normais" ou "amplamente p-normais". No entanto, a estrutura geral dos conjuntos de retorno para endomorfismos arbitrários em característica positiva permanece em grande parte desconhecida e potencialmente mais complexa do que anteriormente conjecturado.

Metodologia
Os autores empregam argumentos de altura para investigar o problema DML em característica arbitrária. A estratégia central envolve identificar duas "velocidades" distintas de crescimento de altura para a órbita de um ponto sob diferentes fibrados em linha. Se a órbita intersectar uma subvariedade infinitamente muitas vezes, as taxas de crescimento de altura calculadas via esses diferentes fibrados devem ser compatíveis. Os autores demonstram que, sob condições dinâmicas específicas, essas taxas de crescimento são incompatíveis, forçando a interseção a ser finita.

As ferramentas técnicas-chave incluem:

1. Multiplicadores de Lyapunov Cohomológicos ($\mu_i(f)$): Introduzidos pelo primeiro autor [29, 35], estes são definidos como razões de graus dinâmicos ($\lambda_i(f)/\lambda_{i-1}(f)$). Eles servem como autovalores do mapa de pullback no grupo de classes numéricas. Os autores utilizam a condição de que esses multiplicadores não são raízes da unidade (especificamente, não estão no conjunto $\text{Root} = \{a^{1/n} \mid a, n \in \mathbb{Z}^+\}$) para gerar taxas de crescimento distintas.
2. Conjugados de Galois: Para construir o segundo fibrado em linha necessário para o argumento de altura, os autores utilizam conjugados de Galois dos multiplicadores de Lyapunov cohomológicos. A suposição de que $\mu_i(f) \notin \text{Root}$ garante que exista um conjugado $\mu'$ com $|\mu| \neq |\mu'|$, criando a disparidade requerida nas velocidades de crescimento.
3. Mapas de Albanese: Para variedades projetivas gerais, os autores reduzem o problema a casos extremos (onde o número de Picard é trivial ou a variedade é uma variedade abeliana) usando mapas de Albanese.
4. Alturas de Moriwaki: Embora as provas principais sejam conduzidas em característica positiva usando alturas de Weil, os autores observam que os argumentos se estendem à característica 0 substituindo a maquinaria de altura de Weil pela maquinaria de altura de Moriwaki [22], que satisfaz a propriedade de Northcott para corpos de funções aritméticos.

Principais Contribuições e Resultados

1. Finitude dos Conjuntos de Retorno para Órbitas Densas (Teorema 1.1):
   Os autores provam que, para um endomorfismo sobrejetor $f$ de uma variedade projetiva $X$, se os multiplicadores de Lyapunov cohomológicos $\mu_i(f)$ não estiverem em $\text{Root}$ para todo $i$, então o conjunto de retorno de uma órbita densa em qualquer subcurva fechada $C$ é finito. Este resultado generaliza descobertas anteriores sobre automorfismos cohomologicamente hiperbólicos de superfícies [34] para dimensões e variedades arbitrárias.

   • Corolário 1.3: Isto estende-se a casos onde o conjunto de multiplicadores tem interseção vazia com o intervalo $[1, \deg(f)]$, incluindo automorfismos cohomologicamente hiperbólicos e automorfismos amplificados.

2. Endomorfismos Divididos e Sistemas de Produto (Teorema 1.8):
   O artigo estabelece um resultado para endomorfismos divididos de espaços de produto $X \times C$. Se $f: X \to X$ e $g: C \to C$ forem endomorfismos sobrejetores tais que o grau de $g$ excede o primeiro grau dinâmico de $f$ ($\deg(g) > \lambda_1(f)$), e se $(X, f)$ satisfizer a propriedade DML do tipo $\epsilon$ (onde $\epsilon \in \{0, 1, 2\}$), então o sistema produto $(X \times C, f \times g)$ também satisfaz a propriedade DML do tipo $\epsilon$.

   • Mecanismo: A condição $\deg(g) > \lambda_1(f)$ cria um fator "rápido" ($C$) e um fator "lento" ($X$). O argumento de altura força a componente da órbita no fator rápido a ser pré-periódica, reduzindo o problema ao fator mais lento.
   • Corolário 1.9: Aplicado a produtos de curvas com graus distintos, isto implica que, se os graus dos fatores estiverem estritamente crescentes (com o primeiro sendo 1), o sistema satisfaz a propriedade DML2 (conjuntos amplamente p-normais).

3. Contraintuitivos e Complexidade dos Conjuntos de Retorno (Seção 5):
   Os autores demonstram que o argumento de altura não pode ser aplicado a todos os sistemas, especificamente àqueles com entropia zero ou endomorfismos int-amplificados (que são "isotrópicos" em termos de crescimento).

   • Proposição 1.12: Eles constroem um automorfismo de um toro linear com entropia zero que não satisfaz a propriedade DML1. Isto refuta uma conjectura de Ghioca [9] relativa a variedades afins.
   • Exemplos 5.5 e 5.6: Os autores fornecem exemplos heurísticos e rigorosos mostrando que os conjuntos de retorno podem ser significativamente mais complexos do que "conjuntos amplamente p-normais". Especificamente, eles constroem sistemas onde o conjunto de retorno envolve soluções para sistemas de equações polinomial-exponenciais, produzindo conjuntos da forma $\{p^{m_1} + p^{m_2} + p^{m_1+m_2}\}$, que estão fora do escopo dos conjuntos p-normais previamente definidos.

Significado e Alegações
O artigo afirma avançar a compreensão do problema DML em característica positiva ao:

• Fornecer uma abordagem unificada baseada em altura que funciona em característica arbitrária (com a maquinaria de altura apropriada).
• Identificar uma ampla classe de sistemas dinâmicos (aqueles com multiplicadores de Lyapunov não-raiz) onde os conjuntos de retorno são finitos, estendendo resultados conhecidos de superfícies para dimensões superiores.
• Esclarecer a relação estrutural entre sistemas dinâmicos divididos e seus fatores, mostrando como disparidades de grau controlam a complexidade dos conjuntos de retorno.
• Desafiar a intuição predominante de que os conjuntos de retorno em característica positiva são limitados por estruturas "amplamente p-normais". Os autores afirmam explicitamente que seus exemplos mostram que os conjuntos de retorno podem ser "muito complicados — mais complicados do que os especialistas imaginavam uma vez", mesmo para endomorfismos de entropia zero de toros.

Os autores permanecem modestos quanto ao escopo completo do problema pDML, observando que o caso de endomorfismos de toros é equivalente a resolver equações diofantinas difíceis [6] e que seus contraexemplos sugerem a necessidade de uma conjectura refinada (Questão 5.9) envolvendo conjuntos semilineares e sistemas de equações. Eles não afirmam ter resolvido o problema pDML geral, mas sim delinear os limites onde os argumentos de altura têm sucesso e onde o problema exibe complexidade sem precedentes.