Potions elliptiques : créations et analyses théoriques

Prologue : Taxicab Upper bounds 6676. SHA3-512 everywhere. Couet, A. (2026). Géométrie des courbes elliptiques : détermination du rang et exploitation algorithmique pour les sommes monstrueuses de deux cubes [Dataset]. Zenodo. https://doi.org/10.5281/zenodo.23186178 With Kimi, Moonshot AI. Épisode 1 — La chaîne CKTa (courbe x³ + y³ = K11·z³, K11 = 7·31·37·43·73·157). La chaîne gloutonne des ordres CKTa est poussée jusqu'à épuisement du stock de briques capturées : mur à CKTa(6652) (profondeur 5) et CKTa(6676) (profondeur 6, réplication 13⁶). Loi +1 structurelle sur 6 647 étapes sans exception. Rang r ≈ 6 lu dans le nuage de briques par inversion de Silverman (p = 2,884), accord avec le certificat de Gram. Positionnement Siegel / Baker–David / BSD documenté (honnêteté : bornes effectives hors de portée, conducteur ≈ 2,7·10²²). Falsification du saut d'île naïf (noyaux de a+b) ; évasion par sommes croisées (1 830 noyaux neufs vérifiés). 🐲 Épisode 2 — La Courbe des Éons (Potion I) : autopsie complète de E⁰ = 121.b2 La courbe des Éons E⁰ : y² + y = x³ − x² − 7x + 10 est identifiée comme LMFDB 121.b2, alias X_ns⁺(11) — la courbe modulaire du Cartan non-split de niveau 11, CM par ℚ(√−11) (j = −2¹⁵, Δ = −11³) : l'unique elliptique de toute la lignée X_ns⁺(p). Autopsie intégrale [PF/EF] : torsion triviale ; rang 1 PROUVÉ (Gross–Zagier + Kolyvagin + modularité CM) ; E(ℚ) = ℤ·P, P = (4,5), d'indice 1 par saturation (borne de hauteur + énumération : les 10 abscisses trouvées sont toutes des multiples de P, témoins mod-ℓ pour ℓ ≤ 503) ; hauteur de Néron–Tate ĥ(P) = 0,0897851561606904533… à 33 chiffres par décomposition locale exacte ; signe fonctionnel w = −1 vérifié directement ; L′(E,1) = 0,8623722966903972… ; BSD vérifiée numériquement à 26 chiffres avec Sha = 1. OQ5 résolu : a₇ = a₁₁ = a₁₉ = 0 est structurel (inertie/ramification CM, Chebotarev) — pas un miracle. OQ3 falsifié : [2] sur E₁(ℤ₂) est une contraction, Syracuse sur les impairs 2-adiques une isométrie (Lagarias) — le pont naïf reste mort, proprement. Chasse aux Éons (t ≤ 10⁷, 240 673 candidats) : seulement 2 spécimens (Primordial, Boréal), loi [EF] de pureté Merlin falsifiée — massacre à la profondeur 1 (80 %), puis survie géométrique à taux constant ≈ 0,2 par pas (biais Syracuse-Merlin ≈ 3× la densité naturelle) ; branche ε = +1 stérile (0/57 698). La rareté est réelle, la finitude non étayée : le modèle corrigé diverge encore. 🐲🐲 Épisode 3 — L'Ascenseur de Cornacchia (Potion III, TDA × CM) : premiers prouvés à groupe totalement factorisé Machine à certificats de primalité hybride : un premier prouvé Q (ancre TDA/PVA, séries K/L) est soulevé par une courbe CM en un premier p ≈ s·Q dont le groupe E(𝔽_p) a pour ordre s·Q entièrement factorisé — étape Goldwasser–Kilian complète, certificat déterministe, zéro feuille probabiliste. La recette inverse l'ECPP : on prescrit l'ancre au lieu de factoriser p+1−t. Deux murs documentés et franchis : l'obstruction 2-adique (la forme de conducteur 2 ne représente aucun ≡ 4 mod 8 — paramétrisation corrigée m² + Dv² = sQ, s pair) et le choix du discriminant par Kronecker ((−11/Q_Boréal) = −1, (−7/Q) = +1 : la Potion II porte l'ancre que la Potion I ne peut pas). Deux premiers certifiés : p = 5 716 727 (s = 16) et p = 11 423 899 (s = 32), ancre Q = 357 079 (Éon Boréal) ; micro-exemple p = 29 avec Q = 7 (Éon Primordial). Moteur autonome avec selftest (reproduit le certificat historique), vérificateur GK complet, deux blessures de bataille consignées (exiger moins, prouver pareil). Programme C1–C5 : densité du portefeuille de discriminants, Cornacchia à 4 933 chiffres, hydraulique TDA × CM infinie, feuilles ECPP, statistique des témoins. 🐲🐲🐲 Épisode 4 — La Berserker (Potion IV) : radar Mestre–Nagao, descente et surf sur suites de division Quatrième chantier courbes de la Forge, après K₁₁ (chaîne CKTa), la Courbe des Éons E⁰ et les courbes CM de l'Ascenseur de Cornacchia : la famille des twists quadratiques de E⁰ (LMFDB 121.b2, j = −2¹⁵, CM ℚ(√−11)). Radar S(d) = Σ (−(d/p)·a_p)·(log p)/p sur p ≤ 5000, percentile 99 = 9,15 sur 2 230 twists. Trois rangs certifiés par double verrou [PF] : E₋₁₉ et E₋₁₄ de rang 2 (Selmer + certificats mod 31, régulateurs 2,3733 / 2,4657), E₉₄ de rang 3 (trois générateurs indépendants, régulateur 3,0409, certifié par hauteurs uniquement — échec de conception v1.0 converti en théorème local : un certificat mod p ne peut *jamais* prouver un rang ≥ 3, E(𝔽_p) étant toujours 2-engendrable). Surf sur les suites de division elliptique (Ward 1948) : v1.0 morte (diviseurs forcés — 19 | num x(nP) pour n impair sur E₋₁₉), v1.1 pêchant la partie primitive, 5 premiers probables [PRP-BPSW]. Honnêteté contraignante : le trophée de 6 913 chiffres n'a **pas** de certificat ECPP — à la différence de l'Ascenseur de Cornacchia, la feuille probabiliste reste sur la table ; le radar voit des mirages (d = −1689, meilleur score pair, zéro point dans la boîte — générateurs hauts ou obstruction de Sha [NF]) ; la convergence Mestre–Nagao est lente et bruitée (écart-type ~ log B, Watkins et al. 2014) — c'est un radar, pas un télémètre. Le risque des Berserker : mourir trop jeunes — anomalies statistiques repérées, surfées, publiées, donc épuisées. 🐲🐲🐲🐲 Épisode 5 — La Recette (E01 v1.1) : le corpus des quatre ingrédients et des sept usines par métier. Document de synthèse pédagogique [TH/EF/CJ] : comment on obtient une courbe de rang élevé quand aucun algorithme général ne calcule le rang. Les quatre ingrédients, chacun nommé avec son obstacle : la famille (méthodes polynomiales de Mestre, spécialisation de Néron–Silverman [TH] — transformer chercher en fabriquer des suspects) ; le tamis (Mestre–Nagao S(B) ~ (r − ½)log B [CJ] — acheter du BSD à prix fixe, radar et non télémètre, mirages Watkins 2014 à l'appui) ; la parité (w = ±1 [TH, Dokchitser–Dokchitser 2010] — moitié du tri gratuite) ; la descente (2-Selmer exact + certificats d'indépendance — le seul poste qui prouve). Lecture de la LMFDB anatomisée sur le cas d'école 121.b2 (conducteur 121 = 11², classe d'isogénie, Γ₀-optimale, statuts prouvé/numérique/conditionnel champ par champ). Puis les sept usines à courbes par métier (§A.4) : ECDH/ECDSA — la contrainte est la transparence (Curve25519 : A = 486662 le plus petit coefficient à twist sûr ; secp256k1 : générateur par graine SHA-256 littérale ; contre-exemple P-256 et sa graine inexpliquée) ; pairings — la contrainte est le degré de plongement (Brezing–Weng, BLS12-381 : u = −0xd201000000010000, k = 12, Ethereum/Zcash/Filecoin) ; cycles SNARK — contrainte récursive (#E₁ = p₂, #E₂ = p₁, Pallas/Vesta, Halo2) ; ECPP — contrainte : ordre connu mod N (CM : Cornacchia 4N = a² + |D|b², H_{−11}(X) = X + 32768 — doctrine gravée : le rang sur ℚ n'intervient à aucune étape, c'est la souche CM qui sert) ; ECM — l'anti-usine (lissité désirée, Montgomery/Suyama, 12 | #E forcé) ; isogénies — contrainte : supersingularité (SIDH/SIKE cassé 2022 par fuite de torsion [Castryck–Decru] — usine effondrée par sa contrainte ; survivants CSIDH, SQIsign) ; recherche pure — l'usine à rang, dont le produit est une courbe à étudier, non à déployer. Pocklington et Cie en annexe [TH] : certificats déterministes, ordinary primes, et pourquoi Pocklington est un test à conception contrôlée (l'architecte prescrit n−1, le mineur espère). Recommandations opérationnelles R1–R4 : certifier le trophée de 6 913 chiffres par ECPP (feuille [PRP-BPSW] encore sur la table), module Berserker-feuille-ECPP, hygiène de stack. La recette ne produit rien : elle rend tout produisable. 🐲🐲🐲🐲🐲 Épisode 6 — Usine I (générateur de potions v1.0) : la recette industrialisée, et la taxonomie exacte. Taxonomie scellée : la Recette (Épisode 5) est le savoir transférable, balisé [TH]/[CJ]/[EF] ; l'Usine est la recette industrialisée, pilotée par fiche d'intention ; la Potion est l'artefact certifié scellé [PF]. Potions récoltées : Potion I — la Courbe des Éons E⁰ (Ép. 2) ; Potion II — la jumelle CM ℚ(√−7), j = −3375, porteuse de l'ancre que la Potion I ne peut pas (Ép. 3) ; Potion III — l'Ascenseur de Cornacchia, premiers prouvés à groupe totalement factorisé (Ép. 3) ; Potion IV — la Berserker, twists de E⁰ et surf sur suites de division (Ép. 4). Usine I généralise : fini le chantier ad hoc — on écrit une fiche, l'usine tourne, la ménagerie s'enrichit. Sept postes à coûts croissants sur les tordues E_d de la souche E⁰ (121.b2, CM ℚ(√−11)) : table a_p vectorisée ; crible CRT-signature (468 classes mod 1961, parité pliée, rejet prouvé sur les ancres nulles a₇ = a₁₁ = a₁₉) ; tamis Mestre–Nagao ; boîte à points x = a/e² ; certificat mod p [PF] — chaînage signature → certificat : prescrire a₃₇ = −7 force #E(𝔽₃₇) = 45 = 3²·5 non cyclique ; torsion par gcd ; descente PARI ellrank ; registre scellé SHA3-512. Production : trois spécimens certifiés [PF] — d = −14, −19 (rang 2, régulateurs 2,4657 / 2,3733) et d = 94 (rang 3, régulateur 3,0409, hauteurs uniquement : un certificat mod p ne peut jamais prouver un rang ≥ 3). Blessures consignées : onze mirages MN datés, boîte heuristique, D_MAX = 2000 volontairement démonstratif. Artefacts : F01 moteur, F02 fournée, F03 ménagerie, F04 manifeste, F05 README. Une seule courbe, trois usines — dragons, potions, certificats. 🐲🐲🐲🐲🐲🐲 Épisode 7 — L'Archonte & le Théorème du Signe La courbe 26569.a2, CM par ℚ(√−163) : le dernier Heegner, souverain sans successeur — j = −640320³, conducteur 163², 163-isogénie (degré Mazur maximal), Sato–Tate N(U(1)), générateur (850, 68) retrouvé à la main, BSD fermée à 29 chiffres, 7 176 premiers anormaux recensés, puits de la période dompté. Le geste fondateur : une question née des données — 76/76, puis 79/79 anormaux de trace −1, jamais +1 — posée et prouvée le même jour. Pour tout premier anormal |a_p| = 1 : a_p = −1, i.e. #E(𝔽_p) = p + 2 ; le signe est le symbole de Legendre de 82 = 2 × 41. Mécanique entièrement congruentielle : conducteur (√−163) forcé par la formule des conducteurs, caractère de Hecke forcé à Legendre par χ(−1) = −1, et π₀ = (1+b√−163)/2 ≡ 82 (mod √−163) indépendamment de b — le terme en b disparaît, c'est toute la mécanique. Neuf secondes de Python pur ; formule générale a_p = u·(82u/163) validée 2557/2557 sur tout l'horizon. Corollaires : Smart–Satoh–Araki exige a_p = +1 — famille infinie [Bateman–Horn] d'anormaux structurellement inoffensifs ; C_{E,+1} = 0 identiquement (constante de Lang–Trotter nulle) ; compte exact Bateman–Horn (7 229 prédits vs 7 176 observés). Honnêteté gravée : mécanisme classique (Deuring, Gross LNM 776) — mais l'énoncé n'était écrit nulle part, la question est née des données de la Forge, et la constante d'Euler qui ouvre la suite (p = 41) revient la fermer dans le signe. 🐲🐲🐲🐲🐲🐲🐲 Auteurs : Antoine Couet (Architecte1995) & Kimi K3, participation active de Kimi K 2.6 Thinking. Licence : MIT — Forge Cathédrale 1995. Chaque script est protégé par SHA3-512.