Linear quadratic Chabauty

Resumo Técnico: Chabauty Quadrática Linear

Enunciado do Problema
O artigo aborda o cálculo de pontos integrais $U(\mathbb{Z})$ (ou $U(\mathcal{O}_K)$ sobre corpos numéricos) em curvas hiperelípticas $X: y^2 = f(x)$. Especificamente, ele visa curvas de grau par $2g+2$ onde o coeficiente líder de $f$ é um quadrado perfeito. Os autores operam sob a condição padrão de Chabauty, onde o posto de Mordell-Weil $r$ do jacobiano $J$ é igual ao gênero $g$ (ou satisfaz uma cota generalizada sobre corpos numéricos).

Métodos existentes para pontos integrais, como o método de Chabauty quadrática desenvolvido por Balakrishnan, Besser e Müller [BBM16, BBM17], dependem da construção de uma função localmente analítica não trivial $\rho$ cujos valores em pontos integrais residem em um conjunto finito e computável. No entanto, essas abordagens existentes são tecnicamente complexas, exigindo ferramentas como teoria de Arakelov $p$-ádica, extensões de alturas locais para divisores com suporte comum, integrais de Coleman duplos e integrais com pontos de base tangenciais. Além disso, o cálculo de integrais de Coleman duplos é identificado como o principal gargalo em termos de velocidade.

Metodologia
Os autores introduzem um método de "Chabauty Quadrática Linear" que simplifica a construção da função $\rho$, explorando a geometria específica de curvas de grau par com coeficientes líderes quadrados.

1. Configuração Geométrica: Como o coeficiente líder de $f$ é um quadrado, existe um divisor não trivial de grau 0 em $\mathbb{Q}$ suportado nos dois pontos no infinito, denotados por $\infty^-$ e $\infty^+$.
2. Linearização da Altura: O método utiliza o emparelhamento de altura global $p$-ádica $h$ (Coleman–Gross). Os autores observam que o funcional linear $\lambda(a) = h(\infty^- - \infty^+, a)$ no jacobiano pode ser expresso como uma combinação linear de integrais de Coleman de diferenciais holomórficos $\omega_i = x^i dx/y$. Isso é possível porque o espaço de aplicações lineares $J(\mathbb{Q}) \otimes \mathbb{Q}_p \to \mathbb{Q}_p$ é gerado por essas integrais quando $r=g$.
3. Construção de $\rho$: Em vez de usar integrais duplas, os autores definem a função $\rho: U(\mathbb{Z}_p) \to \mathbb{Q}_p$ como:
   $$\rho(P) = \sum_{i=0}^{g-1} \alpha_i \int_Q^P \omega_i - h_p(\infty^- - \infty^+, P - Q)$$
   onde $Q$ é um ponto integral conhecido, $\alpha_i$ são coeficientes determinados pela relação linear da altura, e $h_p$ é a altura local em $p$.
4. Restrição a Pontos Integrais: Para um ponto integral $P$, a relação de altura global implica:
   $$\rho(P) = \sum_{q \neq p} h_q(\infty^- - \infty^+, P - Q)$$
   Os autores analisam as alturas locais $h_q$ para $q \neq p$. Eles provam que para primos bons, essas alturas se anulam, e para primos ruins, elas assumem valores em um conjunto finito e computável $T_q$ derivado da teoria de interseção em um modelo regular da curva. Assim, $\rho(P)$ é restrito a um conjunto finito $T = \sum T_q$.
5. Generalização para Corpos Numéricos: O método é estendido para corpos numéricos $K$ de grau $d$. Ao utilizar múltiplos caracteres de classe de idèles contínuos e independentes $\chi$, os autores geram $d - r_K$ equações adicionais (onde $r_K$ é o posto do grupo das unidades). Combinado com $r_K$ equações de restrição de escalar, isso produz um sistema de $d$ equações suficiente para isolar os pontos integrais sob a condição $\text{rk}(J/K) \leq dg - r_K$.

Principais Contribuições

• Simplificação: O método elimina a necessidade de integrais de Coleman duplos, pontos de base tangenciais e teoria de Arakelov $p$-ádica. Ele depende exclusivamente de integrais de Coleman simples e cálculos padrão de altura local.
• Eficiência: Ao evitar integrais duplos, o método é significativamente mais rápido que as implementações anteriores de Chabauty quadrática.
• Nova Aplicabilidade: Fornece um algoritmo prático para curvas hiperelípticas de grau par com coeficientes líderes quadrados, um caso onde métodos anteriores eram inaplicáveis ou exigiam ferramentas mais complexas.
• Extensão para Corpos Numéricos: O artigo generaliza a técnica para computar pontos $\mathcal{O}_K$-integrais, utilizando uma combinação de relações lineares de restrição de escalar e alturas $p$-ádicas associadas a caracteres de classe de idèles.

Resultados e Exemplos
Os autores fornecem implementações explícitas e exemplos:

• Sobre $\mathbb{Q}$: Eles computam os pontos integrais em uma curva de gênero 2 $y^2 = x^6 + 2x^5 - 7x^4 - 18x^3 + 2x^2 + 20x + 9$. O método isola com sucesso os pontos integrais, provando que o conjunto é completo.
• Sobre $\mathbb{Q}(\sqrt{7})$: Eles determinam os pontos $\mathcal{O}_K$-integrais em uma curva de gênero 2 definida sobre o corpo quadrático real $K = \mathbb{Q}(\sqrt{7})$. Este exemplo envolve um jacobiano de posto 3 e requer a combinação do novo método de Chabauty quadrática linear com o crivo de Mordell-Weil. Os autores observam que nenhum outro método conhecido poderia lidar com este exemplo específico.

Significado e Alegações
O artigo afirma que esta abordagem é "significativamente mais simples e rápida" do que todas as versões existentes do método de Chabauty quadrática. O significado primordial reside na redução do overhead técnico: ao restringir a altura $p$-ádica a uma função linear via o divisor no infinito, os autores contornam os componentes mais custosos computacionalmente e teoricamente intrincados do framework anterior.

Os autores são modestos quanto ao escopo, reconhecendo que:

• O método exige que o coeficiente líder de $f$ seja um quadrado (ou um quadrado negativo).
• Para coeficientes líderes não quadrados, a extensão do método ainda exigiria as ferramentas mais complexas (integrais duplos, teoria de Arakelov) que este artigo visa evitar.
• O conjunto resultante de pontos pode nem sempre ser finito ou igual ao conjunto de pontos integrais sem o auxílio do crivo de Mordell-Weil.
• O método é atualmente limitado a primos que se decompõem completamente no caso de corpos numéricos, embora os resultados teóricos se apliquem de forma mais geral.

O trabalho é apresentado como uma melhoria prática para uma classe específica, porém importante, de curvas, oferecendo uma ferramenta mais acessível e eficiente para computar pontos integrais no contexto do método Chabauty-Coleman.