Linear quadratic Chabauty

Résumé Technique : Chabauty Linéaire Quadratique

Énoncé du Problème
L'article traite du calcul des points entiers $U(\mathbb{Z})$ (ou $U(\mathcal{O}_K)$ sur des corps de nombres) sur des courbes hyperelliptiques $X: y^2 = f(x)$. Il cible spécifiquement les courbes de degré pair $2g+2$ où le coefficient dominant de $f$ est un carré parfait. Les auteurs opèrent sous la condition standard de Chabauty où le rang de Mordell-Weil $r$ du jacobien $J$ est égal au genre $g$ (ou satisfait une borne généralisée sur les corps de nombres).

Les méthodes existantes pour les points entiers, telles que la méthode de Chabauty quadratique développée par Balakrishnan, Besser et Müller [BBM16, BBM17], reposent sur la construction d'une fonction localement analytique non triviale $\rho$ dont les valeurs sur les points entiers appartiennent à un ensemble fini et calculable. Cependant, ces approches existantes sont techniquement complexes, nécessitant des outils tels que la théorie d'Arakelov $p$-adique, l'extension des hauteurs locales à des diviseurs à support commun, des intégrales de Coleman doubles et des intégrales avec points de base tangentiels. De plus, le calcul des intégrales de Coleman doubles est identifié comme le principal goulot d'étranglement en termes de vitesse.

Méthodologie
Les auteurs introduisent une méthode de « Chabauty Linéaire Quadratique » qui simplifie la construction de la fonction $\rho$ en exploitant la géométrie spécifique des courbes de degré pair à coefficient dominant carré.

1. Configuration Géométrique : Puisque le coefficient dominant de $f$ est un carré, il existe un diviseur non trivial de degré 0 sur $\mathbb{Q}$ supporté aux deux points à l'infini, notés $\infty^-$ et $\infty^+$.
2. Linéarisation de la Hauteur : La méthode utilise la paire de hauteur globale $p$-adique $h$ (Coleman–Gross). Les auteurs observent que la fonction linéaire $\lambda(a) = h(\infty^- - \infty^+, a)$ sur le jacobien peut être exprimée comme une combinaison linéaire d'intégrales de Coleman de différentielles holomorphes $\omega_i = x^i dx/y$. Ceci est possible car l'espace des applications linéaires $J(\mathbb{Q}) \otimes \mathbb{Q}_p \to \mathbb{Q}_p$ est engendré par ces intégrales lorsque $r=g$.
3. Construction de $\rho$ : Au lieu d'utiliser des intégrales doubles, les auteurs définissent la fonction $\rho: U(\mathbb{Z}_p) \to \mathbb{Q}_p$ comme :
   $$\rho(P) = \sum_{i=0}^{g-1} \alpha_i \int_Q^P \omega_i - h_p(\infty^- - \infty^+, P - Q)$$
   où $Q$ est un point entier connu, $\alpha_i$ sont les coefficients déterminés par la relation linéaire de la hauteur, et $h_p$ est la hauteur locale en $p$.
4. Restriction aux Points Entiers : Pour un point entier $P$, la relation de hauteur globale implique :
   $$\rho(P) = \sum_{q \neq p} h_q(\infty^- - \infty^+, P - Q)$$
   Les auteurs analysent les hauteurs locales $h_q$ pour $q \neq p$. Ils prouvent que pour les bons nombres premiers, ces hauteurs s'annulent, et pour les mauvais nombres premiers, elles prennent des valeurs dans un ensemble fini et calculable $T_q$ dérivé de la théorie des intersections sur un modèle régulier de la courbe. Ainsi, $\rho(P)$ est contraint à un ensemble fini $T = \sum T_q$.
5. Généralisation aux Corps de Nombres : La méthode est étendue aux corps de nombres $K$ de degré $d$. En utilisant plusieurs caractères de classe d'idèles continus indépendants $\chi$, les auteurs génèrent $d - r_K$ équations supplémentaires (où $r_K$ est le rang du groupe des unités). Combiné avec $r_K$ équations issues de la restriction des scalaires, cela produit un système de $d$ équations suffisant pour isoler les points entiers sous la condition $\text{rk}(J/K) \leq dg - r_K$.

Contributions Clés

• Simplification : La méthode élimine le besoin d'intégrales de Coleman doubles, de points de base tangentiels et de la théorie d'Arakelov $p$-adique. Elle repose uniquement sur des intégrales de Coleman simples et des calculs de hauteurs locales standards.
• Efficacité : En évitant les intégrales doubles, la méthode est nettement plus rapide que les implémentations précédentes de Chabauty quadratique.
• Nouvelle Applicabilité : Elle fournit un algorithme pratique pour les courbes hyperelliptiques de degré pair avec un coefficient dominant carré, un cas où les méthodes précédentes étaient soit inapplicables, soit nécessitaient des outils plus complexes.
• Extension aux Corps de Nombres : Le papier généralise la technique pour calculer les points $\mathcal{O}_K$-entiers, en utilisant une combinaison de relations linéaires issues de la restriction des scalaires et de hauteurs $p$-adiques associées à des caractères de classes d'idèles.

Résultats et Exemples
Les auteurs fournissent des implémentations explicites et des exemples :

• Sur $\mathbb{Q}$ : Ils calculent les points entiers sur une courbe de genre 2 $y^2 = x^6 + 2x^5 - 7x^4 - 18x^3 + 2x^2 + 20x + 9$. La méthode isole avec succès les points entiers, prouvant que l'ensemble est complet.
• Sur $\mathbb{Q}(\sqrt{7})$ : Ils déterminent les points $\mathcal{O}_K$-entiers sur une courbe de genre 2 définie sur le corps quadratique réel $K = \mathbb{Q}(\sqrt{7})$. Cet exemple implique un jacobien de rang 3 et nécessite la combinaison de la nouvelle méthode de Chabauty linéaire quadratique avec le crible de Mordell-Weil. Les auteurs notent qu'aucune autre méthode connue ne pouvait traiter cet exemple spécifique.

Signification et Revendications
Le papier affirme que cette approche est « nettement plus simple et plus rapide » que toutes les versions existantes de la méthode de Chabauty quadratique. La principale signification réside dans la réduction de la charge technique : en restreignant la hauteur $p$-adique à une fonction linéaire via le diviseur à l'infini, les auteurs contournent les composantes les plus coûteuses en calcul et les plus complexes sur le plan théorique du cadre précédent.

Les auteurs font preuve de modestie quant à la portée de leur travail, reconnaissant que :

• La méthode exige que le coefficient dominant de $f$ soit un carré (ou un carré négatif).
• Pour les coefficients dominants non carrés, l'extension de la méthode nécessiterait toujours les outils plus complexes (intégrales doubles, théorie d'Arakelov) que ce papier vise à éviter.
• L'ensemble de points résultant peut ne pas toujours être fini ou égal à l'ensemble des points entiers sans l'aide du crible de Mordell-Weil.
• La méthode est actuellement limitée aux nombres premiers qui se décomposent complètement dans le cas des corps de nombres, bien que les résultats théoriques soient plus généraux.

Ce travail est présenté comme une amélioration pratique pour une classe spécifique mais importante de courbes, offrant un outil plus accessible et efficace pour le calcul de points entiers dans le contexte de la méthode de Chabauty-Coleman.