🔢 mathematics

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

Dit artikel onderzoekt de dynamica van de Hessiaanse afgeleide op een kubische kromme door deze te beschouwen als een rationele functie op het Riemann-sfeer, waarbij de auteurs de orbiten tellen, de isomorfie tussen een kromme en haar Hessiaanse afgeleiden analyseren, en vergelijkingen maken tussen de orbitgrootte van elliptische krommen en hun $j$ -invarianten.

Oorspronkelijke auteurs: Jake Kettinger

Gepubliceerd 2026-03-27

📖 4 min leestijd🧠 Diepgaand

CC0 1.0

Oorspronkelijke auteurs: Jake Kettinger

Oorspronkelijk artikel vrijgegeven aan het publieke domein onder CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je voor dat wiskunde een enorme, onzichtbare dansvloer is. Op deze vloer dansen speciale figuren die we elliptische krommen noemen. Ze zijn ingewikkeld, maar ze hebben een soort "vingerafdruk" of identiteitskaart, genaamd de j-invariant. Deze kaart vertelt ons precies wat voor soort kromme het is, ongeacht hoe ze op het papier getekend zijn.

Deze paper, geschreven door Jake Kettinger, gaat over een heel specifieke dansstap die deze krommen kunnen maken. Deze stap heet de Hesse-afgeleide.

Hier is een simpele uitleg van wat er gebeurt, zonder de moeilijke wiskundige termen:

1. De Dansstap: De Hesse-afgeleide

Stel je een kromme voor als een stukje klei. Als je de "Hesse-afgeleide" toepast, is het alsof je die klei een beetje knijpt en vervormt volgens een heel strikt recept. Het resultaat is een nieuwe kromme.

Het interessante: Als je deze nieuwe kromme bekijkt, heeft hij een nieuwe "vingerafdruk" (een nieuwe j-invariant).
De formule: De auteur toont aan dat je de nieuwe vingerafdruk kunt berekenen met een simpele formule die alleen de oude vingerafdruk nodig heeft. Het is alsof je een machine hebt die zegt: "Als je vingerafdruk 100 is, wordt je nieuwe vingerafdruk 500."

2. De Dansvloer: De Dynamiek

Nu wordt het spannend. Wat gebeurt er als je die stap steeds opnieuw doet?

Je begint met kromme A.
Je doet de stap: je krijgt kromme B.
Je doet de stap opnieuw: je krijgt kromme C.
En zo verder...

De auteur onderzoekt wat er gebeurt als je dit oneindig vaak doet.

Soms beland je in een lus. Je komt na een paar stappen weer precies terug bij de start. (Bijvoorbeeld: A -> B -> C -> A).
Soms beland je in een val. Je komt nooit meer terug bij de start, maar je blijft dansen in een steeds groter wordend patroon.

De paper berekent precies hoeveel van deze lussen er zijn van elke lengte. Het is alsof je een kaart tekent van alle mogelijke dansroutes op deze vloer.

3. De Grote Vraag: Is de danser terug?

Dit is het meest verrassende deel van het verhaal.
Stel je voor dat je vingerafdruk (de j-invariant) in een lus terechtkomt. Betekent dat dan dat de kromme zelf ook in diezelfde lus zit?

Het antwoord is: Ja, maar...
Als je vingerafdruk na 3 stappen terugkomt, komt de kromme ook terug. Maar! De kromme kan soms een langere lus hebben dan zijn vingerafdruk.
- Voorbeeld: Stel je vingerafdruk doet een rondje van 2 stappen. De kromme zelf kan er 6 stappen voor nodig hebben om precies dezelfde vorm terug te krijgen. Het is alsof de danser (de kromme) soms een paar extra pirouettes maakt voordat hij weer op zijn startpositie staat, terwijl zijn identiteitskaart (de j-invariant) al eerder terug was.

4. De Data: De Dansstatistieken

Aan het einde van de paper staat een hoop data in tabellen. Dit zijn de resultaten van de auteur die met de computer heeft berekend:

"Als de vingerafdruk een lus van lengte 1 heeft, kan de kromme een lus van lengte 2 of 3 hebben."
"Als de vingerafdruk een lus van lengte 2 heeft, kan de kromme een lus van lengte 4, 6 of 9 hebben."

Het is alsof de auteur een enorme lijst heeft gemaakt van alle mogelijke danspassen en hoe vaak ze voorkomen.

5. De Open Vragen: Wat weten we nog niet?

De paper eindigt met vragen waar zelfs de slimste wiskundigen nog geen antwoord op hebben:

Kunnen we precies voorspellen hoe lang de lus van de kromme is, als we alleen de lengte van de lus van de vingerafdruk kennen?
Wat gebeurt er als we in een heel andere wereld (een andere "karakteristiek" in wiskundetaal) dansen?

Samenvattend

Deze paper is een reis door een wiskundig dansparadijs. De auteur laat zien dat er een strakke regel is die bepaalt hoe de "vingerafdruk" van een vorm verandert als je die vorm vervormt. Hij ontdekt dat als de vingerafdruk in een ritme terechtkomt, de vorm zelf ook in een ritme terechtkomt, maar dat de vorm soms een complexere dansstap uitvoert dan zijn vingerafdruk suggereert. Het is een mooi voorbeeld van hoe abstracte wiskunde (vormen en getallen) verborgen patronen en symmetrieën in het universum onthult.

Titel: De dynamica van de Hesse-afgeleide op de j-invariant

Auteur: Jake Kettinger (Colorado State University)
Datum: 25 maart 2026

1. Probleemstelling

Het artikel onderzoekt de dynamische systemen die ontstaan door de iteratie van de Hesse-afgeleide op de familie van kubische krommen (elliptische krommen) in het complexe projectieve vlak $\mathbb{P}^2_{\mathbb{C}}$ .

Specifiek richt de auteur zich op de relatie tussen een elliptische kromme $C$ en zijn Hesse-afgeleide $H_C$ . De Hesse-afgeleide wordt gedefinieerd als de kromme bepaald door de determinant van de Hesse-matrix van het polynoom dat de kromme definieert. Voor een kubische kromme is de Hesse-afgeleide opnieuw een kubische kromme, waardoor de Hesse-afgeleide fungeert als een zelfafbeelding op de familie van kubische krommen.

De centrale vraag is hoe deze operatie zich vertaalt naar het niveau van j-invarianten. De j-invariant classificeert elliptische krommen tot op isomorfisme. Het artikel onderzoekt de rational functie $H(j)$ die de j-invariant van een kromme koppelt aan de j-invariant van zijn Hesse-afgeleide, en analyseert de dynamica van deze functie op de Riemann-sfeer ( $\hat{\mathbb{C}}$ ).

2. Methodologie

De auteur hanteert een combinatie van algebraïsche meetkunde, getaltheorie en de theorie van rationele dynamische systemen:

Afleiding van de rationale functie: In Sectie 2 wordt een directe afleiding gegeven van de rationale functie $H(j)$ die de j-invariant van de oorspronkelijke kromme $j(C)$ relateert aan die van de Hesse-afgeleide $j(H_C)$ . Dit wordt gedaan door de Hesse-matrix toe te passen op de Weierstrass-vorm van een kromme en vervolgens coördinatentransformaties toe te passen om terug te keren naar de Weierstrass-vorm.
Dynamische analyse: De functie $H(j) = \frac{(6912 - j)^3}{27j^2}$ wordt geanalyseerd op zijn periodieke punten, vaste punten en kritieke punten. De auteur gebruikt concepten uit de complexe dynamica, zoals Julia-sets, multipliers van periodieke banen, en post-critisch eindige (PCF) systemen.
Combinatoriek van banen: Er wordt een recursieve formule en een gesloten vorm afgeleid (via de Möbius-inversieformule) om het aantal banen van een specifieke lengte $n$ te tellen.
Gebruik van de Hesse-bundel (Hesse pencil): Om te bepalen of een kromme $C$ isomorf is aan zijn $n$ -voudige Hesse-afgeleide $H^n C$ (en niet alleen dat hun j-invarianten periodiek zijn), wordt gebruik gemaakt van de structuur van de Hesse-bundel en de automorfismegroep $G_{216}$ (de Hessian-groep).
Computergestuurde experimenten: Met behulp van computersystemen zoals Macaulay2 en Maple worden specifieke voorbeelden geanalyseerd en tabellen gegenereerd die de grootte van de banen van krommen vergelijken met die van hun j-invarianten.

3. Belangrijkste Bijdragen en Resultaten

A. De Rationale Functie $H(j)$

De kern van het artikel is de bevestiging en afleiding van de functie:
$H(j) = \frac{(6912 - j)^3}{27j^2}$
De auteur toont aan dat deze functie de dynamica van de Hesse-afgeleide op het niveau van j-invarianten volledig beschrijft.

B. Dynamische Eigenschappen

Julia-set: Het wordt bewezen dat $H$ een post-critisch eindige (PCF) functie is zonder periodieke kritieke punten. Hieruit volgt dat de Julia-set van $H$ de volledige Riemann-sfeer is ( $J(H) = \hat{\mathbb{C}}$ ).
Vaste punten en repellerend gedrag: De functie heeft vier vaste punten (waaronder $j=1728$ en $j=\infty$ ). Alle vaste punten zijn repellerend (de multiplier heeft een absolute waarde groter dan 1).
Aantal banen: De auteur levert een formule voor het aantal banen $B_n$ van grootte $n$ voor de functie $H$ :
$B_n = \frac{1}{n} \sum_{d|n} \mu(d) 3^{n/d}$
Waar $\mu$ de Möbius-functie is. Dit correspondeert met rij A027376 in de OEIS.

C. Relatie tussen j-invariant en Kromme (Hoofdstelling 2)

Een cruciaal resultaat is Stelling 2: Als de j-invariant van een elliptische kromme $E$ periodiek is onder $H$ met orbitgrootte $p$ , dan is de kromme $E$ zelf ook periodiek onder de Hesse-afgeleide.

Er bestaat een $n \in \mathbb{N}$ zodanig dat $H^n E = E$ .
De grootte van de orbit van de kromme is begrensd door $3p$ (d.w.z. $n \leq 3p$ ).
De auteur benadrukt dat de grootte van de orbit van de j-invariant niet uniek de grootte van de orbit van de kromme bepaalt. Verschillende krommen met dezelfde periodieke j-invariant kunnen verschillende perioden hebben onder de Hesse-afgeleide.

D. Empirische Data

De auteur presenteert tabellen (Tabel 1 en 2) die de orbitgrootte van j-invarianten vergelijken met die van de bijbehorende elliptische krommen voor perioden 1 tot 6.

Er worden voorbeelden gevonden waarbij de orbitgrootte van de kromme gelijk is aan die van de j-invariant, maar ook gevallen waar de kromme een orbitgrootte heeft die een veelvoud is (bijv. 2, 3, of 6 keer zo groot).
Er is geen directe positieve correlatie tussen de graad van het minimale polynoom van de j-invariant en de orbitgrootte van de kromme.

4. Significance en Toekomstig Onderzoek

Het artikel biedt een diepgaand inzicht in de interactie tussen algebraïsche meetkunde (Hesse-afgeleiden) en dynamische systemen. Het lost de vraag op of periodieke j-invarianten leiden tot periodieke krommen, en kwantificeert de mogelijke discrepantie tussen de perioden.

De auteur stelt drie belangrijke open vragen voor verdere studie:

Berekening van de minimale periode: Hoe kan men de kleinste $n$ berekenen zodat $H^n E = E$ voor een gegeven periodieke j-invariant?
Endomorfe ringen: Kunnen we alle elliptische krommen classificeren waarvoor de endomorfe ring gelijk blijft na toepassing van de Hesse-afgeleide ( $\text{End}(E) = \text{End}(H_E)$ )? Het artikel toont aan dat krommen niet noodzakelijk isogeen zijn over $\mathbb{Q}$ , zelfs niet als de j-invariant een eindige orbit heeft.
p-adische convergentie: Onder welke voorwaarden convergeert de rij $H^n(j)$ in de $q$ -adische metriek voor rationale $j$ ? Een conjecture wordt gepresenteerd over de verdeling van de iteraten in intervallen voor reële $j$ .

Conclusie:
Dit werk verbindt de klassieke theorie van elliptische krommen met moderne dynamische systemen. Het bewijst dat de dynamica van de Hesse-afgeleide op het niveau van krommen strikt gekoppeld is aan, maar complexer is dan, de dynamica op het niveau van j-invarianten. De resultaten leggen de basis voor verdig onderzoek naar de arithmetische eigenschappen van deze dynamische systemen, zowel in karakteristiek 0 als in positieve karakteristiek.