Generalised height pairings and the Albanese kernel

1. Contexte et Problématique

L'article s'inscrit dans le cadre de la méthode de Chabauty–Coleman–Kim (ou Chabauty non abélien), une approche puissante pour déterminer l'ensemble des points rationnels $X(\mathbb{Q})$ sur une courbe projective lisse $X$.

• Le problème de la profondeur deux (Quadratic Chabauty) : La méthode classique de Chabauty fonctionne lorsque le rang du groupe de Mordell-Weil de la jacobienne $J$ est strictement inférieur au genre de la courbe. La méthode de Kim généralise cela en utilisant des extensions itérées de représentations galoisiennes (profondeur $n$). Le cas de profondeur deux (souvent appelé quadratic Chabauty) est crucial car il permet de traiter des courbes de rang élevé.
• L'obstacle computationnel : Pour rendre cette méthode effective, il faut calculer un accouplement de hauteur généralisé (generalised height pairing) sur des extensions mixtes de représentations galoisiennes. Contrairement à la hauteur $p$-adique classique (liée à $\mathbb{G}_m$), cet accouplement généralisé fait intervenir des groupes de Chow supérieurs (remplaçant $\mathbb{G}_m$ par des groupes de Chow de codimension supérieure).
• La difficulté centrale : Il est actuellement difficile de définir précisément le domaine de définition de cet accouplement et de le calculer algorithmiquement. Le papier vise à résoudre ce problème en reliant le calcul de ces hauteurs à la structure des cycles algébriques sur $X \times X$.

2. Méthodologie et Cadre Théorique

L'auteur développe une stratégie reposant sur deux piliers principaux : la théorie des extensions mixtes et les conjectures de Beilinson–Bloch.

A. Extensions Mixtes et Cohomologie Non Abélienne

L'article reformule le problème en termes d'extensions mixtes de représentations galoisiennes.

• Soit $V$ la représentation galoisienne associée à la jacobienne de $X$.
• On considère des extensions itérées de la forme $0 \to W \to E \to V \to 0$ (et des structures plus complexes pour la profondeur 2).
• L'auteur définit un accouplement de hauteur généralisé $h$ sur l'espace de ces extensions mixtes. Cet accouplement doit satisfaire des propriétés de bilinéarité et de réciprocité (lois de réciprocité locales-globales) pour filtrer les points rationnels.

B. Le Cœur de l'Albanese et Conjectures de Beilinson–Bloch

Le lien crucial établi dans le papier est entre ces hauteurs généralisées et le cœur de l'Albanese (Albanese kernel) de la surface $X \times X$.

• Le cœur de l'Albanese, noté $T(X \times X)$, est le noyau de l'application naturelle du groupe de Chow de cycles de codimension 2 de degré zéro vers le produit de deux jacobiennes :
  $$T(X \times X) := \text{Ker}\left( CH^2(X \times X)^0 \to \text{Jac}(X) \times \text{Jac}(X) \right)$$
• Hypothèse de travail : L'article suppose la conjecture de Beilinson–Bloch, qui stipule que $T(X \times X)$ est un groupe de torsion (fini).

C. Construction Motive (« Motivic Avatars »)

L'auteur propose une construction « motivique » pour approximer les variétés de cohomologie non abélienne.

• Il définit un ensemble $M(X \times X)$ qui agit comme un avatar motivique de l'espace de Selmer.
• Cet ensemble est construit à partir de triplets $(Z_1, Z_2, \sum (C_i, D_i))$ où $Z_i$ sont des diviseurs de degré zéro sur $X$, et $D_i$ sont des diviseurs principaux sur des courbes $C_i \subset X \times X$.
• La relation d'équivalence est générée par les relations de Chow et les résidus de Milnor $K_2$.

3. Résultats Principaux

Théorème 1 : Algorithme de Calcul sous Conjecture

Le résultat central est le Théorème 1. Il énonce que, en supposant la conjecture de Beilinson–Bloch (c'est-à-dire que le cœur de l'Albanese est de torsion), il existe un algorithme pour calculer l'accouplement de hauteur généralisé $h(P_1, P_2)$ pour deux points $P_1, P_2 \in J(\mathbb{Q})$.

• Mécanisme de l'algorithme :
  1. Étant donné deux points (représentés par des diviseurs), l'algorithme exprime leur produit tensoriel (via le produit cup ou le produit de Somekawa) comme une somme de cycles de torsion dans le noyau de l'Albanese.
  2. Grâce à la conjecture, ces cycles peuvent être écrits comme des sommes de diviseurs principaux sur des courbes $C_i$ incluses dans $X \times X$.
  3. La hauteur généralisée $h(P_1, P_2)$ se décompose alors en une somme finie de hauteurs locales calculées sur ces courbes $C_i$ et leurs diviseurs principaux :
     $$h(P_1, P_2) = \sum h_{\iota_i}(D_i) + \sum n_j h(Q_j)$$
  4. Cela réduit le problème global difficile à un problème local sur des courbes, où les hauteurs $p$-adiques sont mieux comprises.

Exemple Concret (Section 4)

L'auteur illustre cette méthode sur une courbe hyperelliptique spécifique de genre 2 et de rang 2.

• Il construit une courbe $C$ dans $X \times X$ (une normalisation d'une sous-variété définie par $x_1 + x_2 = -1$).
• En utilisant les points rationnels sur une courbe auxiliaire $C_1$ (isogène à une composante de la jacobienne de $C$), il exhibe explicitement une relation de torsion dans le groupe de Chow.
• Cette relation permet de déduire la valeur de l'accouplement croisé $h(P_1, P_2)$ à partir des hauteurs auto-croisées $h(P_1, P_1)$ et $h(P_2, P_2)$, qui sont plus faciles à calculer.

Structure de l'Obstruction

Le papier montre que l'obstruction à la surjectivité de l'application de régulateur (nécessaire pour que l'accouplement soit bien défini sur tout l'espace) est précisément contrôlée par le noyau de l'Albanese. Si ce noyau est de torsion, l'obstruction disparaît modulo torsion, rendant le calcul effectif.

4. Contributions et Signification

1. Résolution d'un problème computationnel : L'article fournit une voie concrète pour calculer les hauteurs généralisées nécessaires à la méthode de Chabauty non abélienne de profondeur deux, un domaine où les méthodes pratiques étaient auparavant inconnues.
2. Lien profond entre Géométrie Algébrique et Théorie de Galois : Il établit un pont explicite entre la structure des cycles algébriques sur $X \times X$ (géométrie) et les extensions de représentations galoisiennes (théorie de Galois), en utilisant le noyau de l'Albanese comme pont.
3. Approche « Motivic » : L'introduction des « avatars motiviques » (l'ensemble $M(X \times X)$) offre un cadre conceptuel pour comprendre les variétés de cohomologie non abélienne sans avoir à construire explicitement des catégories de motifs mixtes (qui n'existent pas encore formellement).
4. Conditionnalité de l'Algorithme : Comme pour la conjecture de Birch et Swinnerton-Dyer, l'algorithme proposé est conditionnel aux conjectures de Beilinson–Bloch. Si ces conjectures sont fausses, l'algorithme pourrait ne pas terminer, mais s'il est vrai, il garantit la terminaison.
5. Généralisation : Bien que centré sur les courbes, le cadre suggéré (produits de variétés, noyaux de Albanese, complexes de Bloch-Suslin) ouvre des perspectives pour l'étude des points rationnels sur des variétés de dimension supérieure et pour d'autres types de Chabauty (ex: équation des unités, Chabauty de type « mixed Tate »).

Conclusion

Netan Dogra démontre que la difficulté computationnelle majeure de la méthode de Chabauty–Coleman–Kim en profondeur deux (le calcul des hauteurs généralisées) peut être surmontée en exploitant la structure de torsion du noyau de l'Albanese de $X \times X$. En supposant les conjectures de Beilinson–Bloch, il transforme un problème global de cohomologie galoisienne en un problème de recherche de diviseurs principaux sur des courbes spécifiques dans le produit cartésien, rendant ainsi la détermination des points rationnels sur les courbes de rang élevé potentiellement algorithmique.