A trick to ensure positive Mordell-Weil rank

Cette note présente une méthode garantissant que le rang de Mordell-Weil de la jacobienne d'une courbe lisse est strictement positif, sous réserve de l'existence d'une classe de diviseur rationnelle de degré 1 et de l'absence de 2-torsion et de caractéristique thêta rationnelles non triviales.

L'essentiel

Voici une explication de l'article de Thibaut Misme, imagée et simplifiée pour le grand public.

🌊 Le problème : Trouver une île dans un océan infini

Imaginez que les mathématiques soient un océan immense. Dans cet océan, il y a des îles spéciales appelées courbes. Autour de ces îles, il y a une "force" invisible, une sorte de champ magnétique appelé le Jacobien.

Le but des mathématiciens est de trouver des points "rationnels" sur ce Jacobien. Ces points sont comme des trésors cachés.

• S'il n'y a qu'un seul trésor (le point de base), on dit que le "rang" est de 0.
• S'il y a un trésor qui permet d'en générer une infinité d'autres, le "rang" est positif (au moins 1).

Le problème : Trouver ce trésor supplémentaire est extrêmement difficile. C'est comme chercher une aiguille dans une botte de foin, ou essayer de deviner où se trouve une île cachée sans carte. Souvent, on ne sait pas si l'île existe ou non.

💡 La solution magique : La règle du "Si ce n'est pas ça, alors c'est ça"

L'auteur, Thibaut Misme, propose un tour de passe-passe logique. Au lieu de chercher directement le trésor (ce qui est dur), il dit : "Regardons ce qui n'est PAS là. Si certaines choses absentes sont vraies, alors le trésor est obligatoirement là !"

Il a découvert une règle simple (une "trique") basée sur trois éléments :

1. Le point de départ : On doit déjà avoir un point rationnel sur la courbe (un point de repère).
2. Les gardiens (Torsion 2) : Ce sont des points spéciaux qui, si on les double, disparaissent.
3. Les clés secrètes (Caractéristiques thêta) : Ce sont des combinaisons mathématiques très spécifiques qui permettent de "déverrouiller" la structure.

La logique du tour de magie :
Imaginons que vous soyez dans une pièce fermée.

• Si la porte est ouverte (il y a un point rationnel), vous pouvez entrer.
• Maintenant, regardez autour de vous.
  • Soit il y a un trésor caché dans la pièce (le rang est positif).
  • Soit il y a un gardien qui bloque la sortie (un point de torsion rationnel).
  • Soit il y a une clé secrète sur la table (une caractéristique thêta rationnelle).

Le coup de génie : Si vous vérifiez la pièce et que vous voyez ni gardien ni clé secrète... alors, par la loi de la logique mathématique, le trésor est obligatoirement là !

🛠️ Comment on vérifie ça en pratique ?

Au lieu de chercher le trésor à la main (ce qui prendrait des siècles), l'auteur utilise des ordinateurs pour vérifier l'absence des "gardiens" et des "clés".

Il utilise un outil informatique (un algorithme) qui génère un polynôme (une longue équation).

• Imaginez ce polynôme comme une clé géante ou un code-barres.
• Si ce code-barres est "cassé" (réductible), cela signifie qu'il y a des gardiens ou des clés. On ne peut pas être sûr du trésor.
• Si ce code-barres est indivisible (irréductible), cela signifie qu'il n'y a aucun gardien et aucune clé.

Conclusion : Si le code-barres est indivisible, alors le trésor (le rang positif) est garanti !

🌟 Exemples concrets dans l'article

L'auteur teste sa méthode sur deux courbes (deux îles) :

1. L'île C1 (La victoire) :
   Il lance l'ordinateur. Le code-barres généré est un monstre mathématique, mais il est indivisible.

   • Résultat : Pas de gardiens, pas de clés. Donc, le Jacobien a un rang positif. On a gagné !

2. L'île C2 (Le défi) :
   Là, le code-barres est "cassé". Il y a des gardiens ou des clés. La règle simple ne suffit pas.

   • Mais l'auteur est malin : Il regarde plus en détail les types de clés (paires et impaires). Il constate qu'il n'y a toujours pas de clé rationnelle et pas de gardien.
   • Résultat : Même si le code-barres était cassé, l'analyse fine confirme qu'il n'y a rien qui bloque. Le trésor est donc aussi là !

🎯 En résumé

Cet article est comme un détective mathématique.
Au lieu de courir partout pour trouver un trésor perdu (ce qui est souvent impossible), il dit : "Si je prouve qu'il n'y a pas de pièges (torsion) et pas de fausses pistes (thêta), alors le trésor doit être là."

C'est une méthode puissante car elle transforme un problème de "chasse au trésor" (très dur) en un problème de "vérification d'absence" (beaucoup plus facile à faire avec un ordinateur). Cela permet aux mathématiciens de s'assurer, avec certitude, que certaines structures mathématiques sont riches et intéressantes, sans avoir à trouver explicitement le point magique.

Résumé technique

Voici un résumé technique détaillé de l'article de Thibaut Misme, rédigé en français.

Titre : Une astuce pour garantir un rang positif de Mordell-Weil

Auteur : Thibaut Misme (Trinity College Dublin)
Date : 5 mars 2026 (Note préliminaire)

---

1. Problématique

Le problème central abordé dans cette note est la difficulté de démontrer qu'une courbe lisse $C$ définie sur un corps de nombres $K$ possède un Jacobian $J$ de rang Mordell-Weil strictement positif ($\text{rank}_K(J) \geq 1$).

En pratique, établir un tel rang nécessite généralement d'exhiber un point rationnel non-torsion sur $J$, ce qui est souvent computationnellement difficile ou impossible à trouver explicitement. L'objectif de l'auteur est de fournir une méthode théorique et explicite pour garantir l'existence d'un tel rang sans avoir à construire directement le point non-torsion, en se basant sur l'absence de certaines structures rationnelles spécifiques.

2. Méthodologie et Fondements Théoriques

L'approche repose sur l'analyse de la structure du groupe de Mordell-Weil modulo 2, noté $J(K)/2J(K)$, et de ses relations avec les classes de diviseurs rationnels et les caractéristiques theta.

Hypothèse de départ

La méthode suppose l'existence d'une classe de diviseur rationnelle de degré 1 sur la courbe $C$ (par exemple, un point rationnel). Cela permet d'identifier $J(K)$ avec $\text{Pic}^0_C(K)$.

Proposition 1 (Le résultat central)

Soit $C$ une courbe "nice" (lisse, projective, géométriquement intègre) de genre $g$ sur $K$, et $J$ son Jacobian. Si $C$ possède une classe de diviseur rationnelle de degré 1, alors au moins une des trois affirmations suivantes est vraie :

1. Le rang de Mordell-Weil est strictement positif : $\text{rank}_K(J) > 0$.
2. Le groupe des points de 2-torsion rationnels est non trivial : $J[2](K) \neq 0$.
3. Il existe une caractéristique theta rationnelle sur la courbe.

Preuve (Esquisse) :
L'auteur construit un élément $D \in J(K)$ de degré 0 à partir de la classe canonique $K_0$ et de la classe rationnelle de degré 1 $P_0$.

• Si aucune caractéristique theta rationnelle n'existe, $D$ définit un élément non trivial dans $J(K)/2J(K)$.
• Si, de plus, il n'y a pas de 2-torsion rationnelle ($J[2](K)=0$), alors cet élément non trivial ne peut provenir que d'un rang positif (car $J(K)/2J(K) \cong J[2](K) \oplus \mathbb{Z}_2^{\text{rank}}$).
• Une seconde preuve utilise la cohomologie galoisienne ($H^1(K, J[2])$) pour montrer que l'absence de caractéristique theta implique l'existence d'un élément non trivial dans le groupe de Selmer, qui, en l'absence de 2-torsion, force le rang à être positif.

Raffinement : Corollaires 2 et 3

L'auteur propose une version simplifiée ne nécessitant pas de vérifier explicitement les caractéristiques theta, en se focalisant uniquement sur l'action galoisienne sur la 2-torsion.

• Corollaire 2 : Si l'image du groupe de Galois $\rho(G_K)$ dans $\text{Aut}(J[2]) \cong \text{GL}_{2g}(\mathbb{F}_2)$ agit transitivement sur l'ensemble $J[2] \setminus \{0\}$, alors $\text{rank}_K(J) \geq 1$.
  • Justification : Une action transitive implique l'absence de 2-torsion rationnelle. Elle implique aussi l'absence de caractéristique theta rationnelle (car l'ensemble des caractéristiques theta se scinde en deux orbites distinctes : paires et impaires, ce qui contredit la transitivité sur l'ensemble global sauf cas dégénérés).
• Corollaire 3 (Version computationnelle) : Soit $\chi$ le polynôme caractéristique dont l'algèbre étale est isomorphe à l'algèbre de Galois de $J[2] \setminus \{0\}$. Si $\chi$ est irréductible sur $K$, alors $\text{rank}_K(J) \geq 1$.

3. Résultats et Exemples Numériques

L'auteur illustre la méthode sur deux courbes quartiques planes définies sur $\mathbb{Q}$, en utilisant l'algorithme de Mascot pour calculer les algèbres étales associées à la 2-torsion.

• Exemple 0.1 (Action transitive) :

  • Courbe $C_1$ : Quartique plane définie par une équation spécifique.
  • Résultat : Le polynôme $\chi_1$ associé à $J_1[2] \setminus \{0\}$ est irréductible sur $\mathbb{Q}$.
  • Conclusion : L'action galoisienne est transitive, donc $\text{rank}_{\mathbb{Q}}(J_1) \geq 1$.

• Exemple 0.2 (Action non transitive) :

  • Courbe $C_2$ : Une autre quartique plane.
  • Résultat : Le polynôme associé à la 2-torsion est réductible (décomposition en orbites de tailles 31, 121, 481). L'action n'est pas transitive, donc le Corollaire 3 ne s'applique pas directement.
  • Analyse complémentaire : L'auteur calcule les algèbres étales pour les caractéristiques theta paires ($\Delta_{\text{Even}}$) et impaires ($\Delta_{\text{Odd}}$). Il constate qu'il n'y a ni point de 2-torsion rationnel ni caractéristique theta rationnelle.
  • Conclusion : En appliquant la Proposition 1 (et non le corollaire simplifié), on déduit que $\text{rank}_{\mathbb{Q}}(J_2) \geq 1$.

4. Contributions Clés

1. Critère d'existence de rang : Établissement d'un critère logique simple (Proposition 1) reliant le rang positif à l'absence combinée de 2-torsion rationnelle et de caractéristiques theta rationnelles.
2. Simplification computationnelle : Démonstration que pour les courbes génériques (où l'action galoisienne sur la 2-torsion est transitive), il suffit de vérifier l'irréductibilité d'un seul polynôme (Corollaire 3) pour garantir un rang positif, évitant ainsi le calcul complexe des caractéristiques theta.
3. Implémentation algorithmique : Intégration de cette méthode avec les outils existants (algorithme de Mascot pour la 2-torsion et un nouvel algorithme de l'auteur pour les caractéristiques theta), permettant une certification automatique du rang pour des courbes sur $\mathbb{Q}$.

5. Signification et Impact

Cette note offre une méthode puissante pour certifier que le rang d'un Jacobien est au moins 1, ce qui est une étape cruciale dans l'étude des courbes algébriques et des équations diophantiennes.

• Avantage pratique : Elle contourne la difficulté majeure de trouver un point rationnel explicite de rang infini. Au lieu de chercher le point, on prouve son existence par l'élimination des cas "triviaux" (torsion et caractéristiques theta).
• Application aux bornes de rang : Si un rang est déjà borné supérieurement par 1 (via une descente), cette méthode permet de conclure immédiatement que le rang est exactement 1.
• Généricité : Le résultat s'applique à la plupart des courbes "génériques" où l'action galoisienne sur la 2-torsion est maximale (transitive), rendant la vérification très simple (irréductibilité d'un polynôme).

En résumé, l'article transforme un problème de recherche constructive (trouver un point) en un problème de vérification structurelle (vérifier l'irréductibilité de polynômes et l'absence de certaines structures rationnelles), facilitant grandement l'étude effective du rang de Mordell-Weil.