🔢 mathematics

The dynamics of the Hesse derivative on the $j$ -invariant

Cet article étudie la dynamique de la dérivée de Hesse appliquée aux courbes cubiques en analysant la fonction rationnelle induite sur les invariants $j$ , en déterminant les conditions de périodicité des courbes et en comparant les tailles des orbites de ces courbes à celles de leurs invariants.

Auteurs originaux : Jake Kettinger

Publié 2026-03-27

📖 4 min de lecture🧠 Analyse approfondie

CC0 1.0

Auteurs originaux : Jake Kettinger

Article original placé dans le domaine public sous CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imagine que vous avez un jeu de construction mathématique très spécial, où chaque pièce est une forme géométrique appelée courbe cubique. Ces formes sont comme des sculptures complexes dessinées dans l'espace.

Ce papier de recherche, écrit par Jake Kettinger, raconte l'histoire de ce qui se passe quand on applique une règle magique, appelée la dérivée de Hesse, à ces sculptures.

Voici l'explication simple, étape par étape, avec quelques images pour aider à visualiser :

1. La Carte d'Identité (Le "j-invariant")

Chaque sculpture cubique a une "carte d'identité" unique, un nombre spécial appelé le j-invariant.

L'analogie : Imaginez que chaque courbe est une personne. Le j-invariant est son empreinte digitale ou son code-barres. Deux courbes différentes peuvent avoir le même code-barres si elles sont essentiellement la même chose, juste tournées différemment.
Le but de l'auteur est de voir ce que devient ce code-barres quand on applique la règle magique.

2. La Règle Magique (La Dérivée de Hesse)

La "dérivée de Hesse" est une opération mathématique qui prend une courbe et en génère une nouvelle.

L'analogie : C'est comme un photocopieur magique qui ne copie pas l'image telle quelle, mais la transforme en une nouvelle version basée sur sa courbure. Si vous prenez une courbe, vous appliquez la règle, et vous obtenez une nouvelle courbe.
L'auteur a découvert une formule mathématique (une fonction rationnelle) qui prédit exactement comment le code-barres (le j-invariant) change après cette transformation.

3. Le Voyage dans l'Univers des Nombres (La Dynamique)

L'auteur s'intéresse à ce qui se passe si on répète cette opération encore et encore.

Le scénario : Vous prenez une courbe, vous appliquez la règle, puis vous prenez le résultat et vous appliquez la règle encore, et encore.
Les boucles (Orbits) : Parfois, après plusieurs tours, le code-barres revient à son point de départ. C'est comme faire le tour d'un manège et se retrouver exactement à la même place.
- L'auteur a calculé combien de fois on peut faire ce tour avant de revenir au départ. Il a trouvé une formule pour prédire le nombre de ces boucles de différentes tailles.
- Il a aussi découvert que l'univers des nombres est rempli de "points de fuite" (des points qui ne reviennent jamais) et de "points fixes" (qui ne bougent pas du tout).

4. Le Mystère de la Courbe vs. Son Code-barres

C'est la partie la plus fascinante du papier.

Le problème : Si le code-barres (le j-invariant) revient à son point de départ après 3 tours, est-ce que la sculpture elle-même (la courbe) revient aussi à son état original après 3 tours ?
La découverte : Pas toujours !
- L'analogie : Imaginez que vous avez un masque (le code-barres) et une personne (la courbe). Si le masque revient à sa position initiale après 3 rotations, la personne pourrait avoir besoin de 6 rotations pour revenir à sa position exacte, car elle a peut-être changé de vêtements ou de posture pendant le tour.
- L'auteur a prouvé que si le code-barres fait une boucle, la courbe finira toujours par faire une boucle aussi, mais la taille de la boucle de la courbe peut être plus grande que celle du code-barres.

5. Les Données et les Questions Ouvertes

À la fin, l'auteur a fait beaucoup de calculs (comme un explorateur qui remplit un journal de bord) pour comparer la taille des boucles des codes-barres et des courbes.

Il a remarqué que parfois, les deux boucles sont de la même taille, mais souvent, la courbe fait un plus grand tour.
Il se pose encore des questions :
- Peut-on prédire exactement combien de tours la courbe fera ?
- Que se passe-t-il si on change les règles du jeu (en utilisant d'autres types de mathématiques, comme en "caractéristique positive") ?
- Y a-t-il un lien secret entre la forme de la courbe et les nombres qui la composent ?

En résumé

Ce papier est une enquête sur le comportement de formes géométriques quand on les transforme de manière répétée. L'auteur a découvert que même si le "numéro de série" de la forme semble simple et cyclique, la forme elle-même peut avoir des mouvements beaucoup plus complexes et longs avant de revenir à la case départ. C'est comme observer la danse d'une ombre : l'ombre peut faire un petit cercle, tandis que le danseur fait un grand tour complet.

1. Problématique et Contexte

L'article étudie la dynamique d'une fonction rationnelle spécifique définie sur la sphère de Riemann $\hat{\mathbb{C}}$ , notée $H$ , qui relie l'invariant $j$ d'une courbe cubique (ou d'une courbe elliptique) à l'invariant $j$ de sa dérivée de Hesse.

La dérivation de Hesse d'une courbe $C$ définie par un polynôme homogène $f$ est la courbe déterminée par le déterminant de la matrice hessienne de $f$ . Pour une courbe cubique ( $d=3$ ), la dérivée de Hesse est également une courbe cubique, ce qui permet de considérer cette opération comme une application de l'espace des courbes cubiques sur lui-même.

Le problème central est d'analyser le comportement itératif de cette application au niveau des invariants $j$ . La fonction clé est :
$H(j) = \frac{(6912 - j)^3}{27j^2}$
L'auteur s'interroge sur la relation entre la périodicité de l'invariant $j$ sous l'action de $H$ et la périodicité de la courbe elliptique elle-même sous l'itération de la dérivée de Hesse. Plus précisément : si $j(E)$ est un point périodique pour $H$ , la courbe $E$ est-elle nécessairement périodique sous l'application de la dérivée de Hesse ?

2. Méthodologie

L'approche de l'article combine la géométrie algébrique complexe, la théorie des nombres et la dynamique complexe :

Dérivation algébrique : L'article commence par une preuve directe (Proposition 1) reliant l'invariant $j$ d'une courbe de Weierstrass $y^2z = x^3 + axz^2 + bz^3$ à celui de sa dérivée de Hesse, aboutissant à la formule de la fonction $H(j)$ .
Analyse dynamique : L'étude des points fixes, des points périodiques et des points pré-périodiques de $H$ . L'auteur calcule les multiplicateurs des points fixes pour déterminer leur nature (répulsifs, attractifs, etc.) et identifie l'ensemble de Julia de $H$ .
Théorie des groupes et fibrations : Pour étudier la périodicité des courbes elles-mêmes (et non seulement de leurs invariants), l'article utilise la structure du faisceau de Hesse (Hesse pencil) induit par une courbe elliptique. L'analyse repose sur le groupe d'automorphismes de ce faisceau, connu sous le nom de groupe de Hesse ( $G_{216}$ ), qui est isomorphe à $(\mathbb{Z}/3\mathbb{Z})^2 \rtimes SL_2(\mathbb{F}_3)$ .
Combinatoire et inversion de Möbius : Pour compter le nombre d'orbites de taille donnée, l'auteur utilise des techniques de dénombrement combinatoire et la formule d'inversion de Möbius sur les fonctions arithmétiques.
Calcul expérimental : Utilisation de systèmes d'algèbre computationnelle (Macaulay2, Mathematica, Maple) pour vérifier des cas spécifiques, calculer des polynômes minimaux et générer des tables de données comparant les tailles des orbites des courbes et de leurs invariants.

3. Contributions Clés et Résultats

A. Dynamique de la fonction $H$

Ensemble de Julia : L'auteur démontre que $H$ est une fonction rationnelle post-critiquement finie (PCF) sans points critiques périodiques. Par conséquent, son ensemble de Julia est l'ensemble de la sphère de Riemann ( $J(H) = \hat{\mathbb{C}}$ ).
Points fixes et périodiques : Il est établi que les points fixes de $H$ dans $\mathbb{C}$ sont $1728$ et deux autres valeurs complexes conjuguées. Tous les points fixes sont répulsifs (leurs multiplicateurs ont un module $>1$ ).
Comptage des orbites : Le théorème principal (Théorème 1) fournit une formule fermée pour le nombre $B_n$ d'orbites de taille $n$ sous l'action de $H$ :
$B_n = \frac{1}{n} \sum_{d|n} \mu(d) 3^{n/d}$
où $\mu$ est la fonction de Möbius. Cette séquence correspond à la suite A027376 de l'OEIS.

B. Périodicité des Courbes Elliptiques (Théorème 2)

C'est le résultat le plus significatif de l'article. L'auteur prouve que :

Si l'invariant $j(E)$ d'une courbe elliptique $E$ est un point périodique de période $p$ pour la fonction $H$ , alors il existe un entier $n \in \mathbb{N}$ tel que la $n$ -ième dérivée de Hesse de $E$ soit isomorphe à $E$ ( $H^n E \cong E$ ).

De plus, la période de la courbe $n$ est bornée par $3p$ . La preuve repose sur l'action du groupe de Hesse sur le faisceau de Hesse induit par $E$ , montrant que l'action de $H^p$ sur l'ensemble des fibres isomorphes à $E$ est une permutation.

C. Disparité entre Orbites de $j$ et Orbites de $E$

L'article met en évidence une nuance importante : la taille de l'orbite de $j(E)$ ne détermine pas de manière unique la taille de l'orbite de la courbe $E$ .

Des exemples sont fournis où $j(E)$ a une période $p$ , mais la courbe $E$ a une période $n$ différente (parfois $n=p$ , parfois $n=2p$ ou $n=3p$ ).
Des tables de données (Tableaux 1 et 2) comparent les tailles d'orbites pour divers polynômes minimaux, montrant que la corrélation entre le degré du polynôme minimal de $j$ et la taille de l'orbite de la courbe n'est pas linéaire.

4. Signification et Perspectives

Ce travail établit un lien rigoureux entre la dynamique arithmétique des invariants $j$ et la géométrie des courbes elliptiques sous l'opération de dérivation de Hesse.

Théorique : Il confirme que la périodicité de l'invariant $j$ implique la périodicité de la courbe, bien que les périodes puissent différer. Cela enrichit la compréhension des systèmes dynamiques sur les espaces de modules de courbes elliptiques.
Pratique : Les tables de données fournies offrent une base empirique pour explorer les propriétés de ces orbites, suggérant que la complexité des orbites de courbes peut être supérieure à celle de leurs invariants.
Questions ouvertes : L'article se termine par plusieurs questions de recherche, notamment :
1. Comment calculer la période minimale $n$ d'une courbe $E$ à partir de la période $p$ de $j(E)$ ?
2. Classification des courbes où l'anneau d'endomorphismes est préservé ($End(E) = End(HE)$).
3. Convergence de la suite $H^n(j)$ dans les métriques $p$ -adiques.
4. Conjecture sur la distribution asymptotique des valeurs de la suite $H^n(j)$ dans les intervalles réels (conjecture de répartition uniforme entre les valeurs négatives, positives inférieures à 6912, et supérieures à 6912).

En résumé, cet article fournit une analyse complète de la dynamique de la dérivée de Hesse, démontrant que bien que le système soit chaotique (ensemble de Julia complet), il possède une structure périodique sous-jacente forte qui relie les propriétés arithmétiques des invariants $j$ à la géométrie des courbes elles-mêmes.