The Zilber--Pink conjecture for products of curves with highly degenerate reduction

Resumo Técnico: A Conjectura de Zilber–Pink para Produtos de Curvas com Redução Altamente Degenerada

Enunciado do Problema
O artigo aborda a conjectura de Zilber–Pink no contexto específico de autoprodutos de curvas algébricas. Seja $X$ uma curva irredutível, suave e projetiva de gênero $g$ sobre $\mathbb{C}$, e seja $J$ seu Jacobiano. A conjectura refere-se ao conjunto de pontos no $n$-ésimo autoproduto de $X$, $X^n$, que são "linearmente dependentes" no Jacobiano. Especificamente, seja $\iota: X \to J$ o morfismo de Abel–Jacobi relativo a um ponto base $b$. O conjunto de interesse é:
$$X^n(\mathbb{C})_{\text{rk}<n} := \{(x_1, \dots, x_n) \in X^n(\mathbb{C}) : \text{rk}\langle \iota(x_1), \dots, \iota(x_n) \rangle < n\}.$$
A Conjectura 1 postula que este conjunto não é denso em Zariski em $X^n$. Embora a conjectura geral de Zilber–Pink para variedades abelianas (Conjectura 2) seja conhecida em casos envolvendo multiplicação complexa ou produtos de curvas elípticas, o caso para curvas gerais com $\text{End}(J) = \mathbb{Z}$ permanece amplamente em aberto. O trabalho anterior do autor (Dogra, 2022) estabeleceu isso para $n < g$ sobre $\mathbb{Q}_p$ usando o método de Chabauty–Coleman, mas estender isso para uma gama mais ampla de $n$ e $g$ exigiu novas técnicas.

Metodologia
A estratégia de prova sintetiza a teoria da integração $p$-ádica com resultados de transcendência funcional, especificamente adaptando o trabalho de Katz, Rabinoff e Zureick-Brown (KRZB) sobre limites de Manin–Mumford explícitos. A abordagem procede em três estágios principais:

1. Redução à Geometria $p$-ádica: O problema é reduzido a provar a não densidade em Zariski sobre $\mathbb{Q}_p$. O autor utiliza a teoria da integração de Coleman, que define integrais abelianas $p$-ádicas $\int_b^z \omega$. A condição de dependência linear no Jacobiano traduz-se no desaparecimento de determinantes desses integrais.
2. Tratamento de Redução Altamente Degenerada: Diferente de aplicações anteriores do método de Chabauty–Coleman, que frequentemente assumem boa redução ou redução ruim simples, este artigo aborda curvas com redução altamente degenerada. A fibra especial $X_{\mathbb{F}_p}$ é uma curva estável com um grafo dual $\Gamma$. O autor constrói uma cobertura admissível do espaço analítico rígido $X^{\text{an}}$ usando vizinhanças estritas $U_v^+$ associadas a vértices e arestas de $\Gamma$.
3. Caracterização Analítica Rígida e Ax–Schanuel:
   • O autor identifica um subespaço $W \subseteq H^0(X, \Omega)$ de formas diferenciais tal que a restrição do integral $\int \omega$ a essas vizinhanças torna-se uma função analítica rígida.
   • Ao analisar a cohomologia de de Rham dessas vizinhanças ($H^1_{dR}(U_v^+/\mathbb{Q}_p)$), o autor garante que $\dim(W) \geq n$ sob condições combinatórias específicas no grafo dual.
   • O problema é então reduzido ao estudo da interseção da imagem da curva sob o mapa logaritmo com um subespaço linear $Z_n(W^*)$.
   • Finalmente, o teorema de Ax–Schanuel para variedades abelianas é invocado. Este teorema implica que, se a interseção da curva com o subespaço linear contiver um componente de dimensão positiva, esse componente deve mapear para um transladado de um subgrupo próprio. Como a curva não está contida em tal subgrupo, a interseção não pode ser densa em Zariski.

Principais Contribuições e Resultados
O resultado primário é o Teorema 1, que fornece uma condição suficiente sobre o tipo de redução da curva $X$ para que a Conjectura 1 seja válida.

• Teorema 1: Seja $X/\mathbb{Z}_p$ uma curva estável de gênero $g$ com fibra genérica suave. Seja $\Gamma$ o grafo dual da fibra especial $X_{\mathbb{F}_p}$. Seja $g(v)$ o gênero do componente correspondente ao vértice $v$, e $E(S)$ o conjunto de arestas incidentes a um subconjunto de vértices $S$. Se $n$ satisfaz:
  $$n \leq \min \left\{ g - \#E(S) - 2 \sum_{v \in S} g(v) : S \subset V(\Gamma), \#S \leq n \right\},$$
  então a Conjectura 1 é válida para $X$ e $n$.

• Limites Explícitos: O artigo demonstra que, para qualquer $n$ fixo, existem infinitas curvas (especificamente, aquelas com gênero $g$ suficientemente grande e grafos de redução estável específicos) que satisfazem estas condições. Por exemplo, quando $n=2$, curvas de gênero $g \geq 7$ com grafos de redução estável específicos satisfazem o teorema.

• Refinamento de Condições: A Observação 4 nota que a prova produz, na verdade, um resultado ligeiramente mais forte: basta que o núcleo do mapa de restrição $H^0(X, \Omega) \to \bigoplus_{v \in S} H^1_{dR}(U_v^+/\mathbb{Q}_p)$ tenha dimensão pelo menos $n$ para todos os subconjuntos $S$ de tamanho $\leq n$. Esta condição é mais fraca que o limite combinatório explícito no Teorema 1 em certas configurações (ex: uma curva de gênero 4 com uma estrutura de grafo de redução estável específica).

Significância e Alegações
O artigo alega fornecer uma prova de infinitos novos casos da conjectura de Zilber–Pink para autoprodutos de curvas. A significância reside na extensão da estratégia de Katz, Rabinoff e Zureick-Brown, anteriormente usada para a conjectura de Manin–Mumford (o caso $n=1$), para produtos de ordem superior ($n > 1$) e tipos de redução mais complexos.

O autor afirma explicitamente que a estratégia segue o trabalho de Katz, Rabinoff e Zureick-Brown sobre limites explícitos de Manin–Mumford, enriquecendo-o para lidar com o cenário de Zilber–Pink. O artigo não pretende provar a conjectura geral para todas as curvas ou para todo $n$, mas estabelece uma classe concreta de curvas com "redução altamente degenerada" onde a conjectura é verificada. O trabalho baseia-se na teoria de deformação de curvas estáveis para mostrar que tais curvas existem sobre corpos numéricos (especificamente $\mathbb{Q}$), provendo assim novos casos da conjectura nesse cenário.