Složka E × CM Zilberovy a Pinkovy domněnky pro křivky v A₂: proč je zvláštních průsečíků jen konečně mnoho

Algebraická křivka může procházet prostorem, jehož body nepředstavují místa, ale celé matematické objekty. V prostoru A₂ jde o principiálně polarizované abelovské plochy. Některé z nich jsou izogenní součinu dvou eliptických křivek, přičemž alespoň jedna má komplexní násobení. Takových zvláštních objektů je nekonečně mnoho. Přesto předložený matematický rukopis dokazuje, že vhodná pevně zvolená křivka jich potká pouze konečný počet.

Za hlavní zprávu považuji právě rozsah tohoto tvrzení: zahrnuje všechny stupně izogenií, všechna příslušná imaginární kvadratická tělesa i všechny řády endomorfismů. Nepotřebuje dodatečný předpoklad o chování křivky na hranici prostoru ani zvláštní podmínku na redukci. Zároveň ale nejde o vyřešení celé Zilberovy a Pinkovy domněnky. Výsledek se týká její konkrétní složky označované E × CM.

Důkaz spojuje geometrickou degeneraci, aritmetické výšky, pečlivě sestavenou periodu a růst Galoisových orbit. Podrobnosti obsahuje matematický preprint. Níže rozebírám, co výsledek skutečně říká a proč v jeho argumentaci záleží i na zdánlivých detailech, jako je faktor 1/n nebo opakování téže eliptické křivky.

Obsah

• 🧭 Prostor A₂ a otázka nečekaných průsečíků
• 📋 Přesné podmínky: obecná křivka není libovolná křivka
• 🔎 Co přesně znamenají izogenie a komplexní násobení
• 🧩 Kanonický rozklad a původ stupně n²
• 📏 Složitost bodu a velikost Galoisovy orbity
• 🌊 Degenerace přináší rozhodující faktor 1/n
• ⚖️ Jak se výška dostane pod kontrolu
• 🏗️ Proč se ve druhé konstrukci objevuje E dvakrát
• 🎛️ Vyvážení period a zisk mocniny n4/3
• 🧮 Odkud pocházejí exponenty 21 a 42
• 🔗 Proč růst orbit ještě není důkazem konečnosti
• 🛠️ Co výsledek nabízí a co z něj neplyne
• ✨ Hlavní závěr: nekonečně mnoho cílů, konečně mnoho zásahů

🧭 Prostor A₂ a otázka nečekaných průsečíků

Prostor A₂ je modulový prostor dimenze tři. Každý jeho bod odpovídá abelovské varietě dimenze dva vybavené principiální polarizací. Výraz „abelovská plocha“ tedy označuje rozměr samotného objektu, zatímco číslo tři označuje rozměr prostoru, který tyto objekty parametrizuje. Tohle rozlišení si hlídám, protože bez něj se geometrický obraz snadno zamotá.

Do A₂ vložím algebraickou křivku C. Je to jednorozměrná rodina abelovských ploch. Otázka zní, kolik jejích bodů představuje plochy izogenní součinu E × F, kde F má komplexní násobení, zkráceně CM. Eliptická křivka E přitom může, ale nemusí mít CM také.

Pokud CM faktor zafixuji, dostanu speciální křivku. Když připustím všechny možné CM faktory a všechny příslušné izogenie, vznikne nekonečná kolekce takových cílů. Konečnost průsečíku s jedním cílem proto sama o sobě vůbec nestačí. Potřebuji zvládnout celou nekonečnou kolekci najednou.

Právě tady leží základní intuice Zilberovy a Pinkovy domněnky: dostatečně obecná algebraická podvarieta by neměla obsahovat příliš mnoho průsečíků se speciálními podvarietami, jejichž výskyt je vzhledem k rozměrům neobvyklý. V tomto konkrétním problému se potkávají křivky uvnitř trojrozměrného prostoru.

Rozměrovou intuici však neberu jako důkaz. Nekonečná rodina cílů může vytvářet situace, které pouhé počítání rozměrů neřeší. Nový výsledek proto potřebuje aritmetickou informaci: čím složitější zvláštní bod je, tím více musí mít algebraických sourozenců vzniklých působením Galoisovy grupy.

📋 Přesné podmínky: obecná křivka není libovolná křivka

Tvrzení platí pro křivku C, která je redukovaná, ireducibilní, uzavřená a definovaná nad algebraickými čísly. Navíc musí být Hodgeovsky generická, tedy nesmí ležet v žádné vlastní speciální podvarietě prostoru A₂. Poslední podmínka je pro pochopení výsledku zásadní.

Pokud by totiž celá křivka už byla uzavřená uvnitř speciálního prostředí, zvláštní body by na ní nebyly stejně překvapivé. Hodgeovská generičnost tak odděluje skutečný problém nečekaných průsečíků od situací, v nichž je speciální struktura přítomná od začátku.

Jednotlivé předpoklady si překládám takto:

• Redukovanost vylučuje dodatečnou nilpotentní strukturu křivky.
• Ireducibilita znamená, že nepracuji se sjednocením několika různých algebraických komponent.
• Uzavřenost určuje křivku jako uzavřenou algebraickou podvarietu A₂.
• Definovanost nad algebraickými čísly umožňuje zapojit aritmetiku a Galoisovy konjugace.
• Hodgeovská generičnost brání tomu, aby celá křivka byla předem uvězněná ve vlastní speciální podvarietě.

Za těchto podmínek je počet bodů na C odpovídajících plochám izogenním součinu E × F s CM faktorem F konečný. Tvrzení neomezuje stupeň izogenie ani diskriminant CM řádu. To je podstatný rozdíl oproti výsledku, který by platil jen pro předem omezenou aritmetickou složitost.

Důležité je také to, co mezi předpoklady není. Rukopis nevyžaduje zvláštní hraniční chování ani dodatečnou redukční podmínku. Technické řešení případů s hranicí i bez ní je součástí argumentu, nikoli omezením, které by se přeneslo na samotné tvrzení.

🔎 Co přesně znamenají izogenie a komplexní násobení

Izogenie je surjektivní homomorfismus abelovských variet s konečným jádrem. Když tedy plocha A připouští izogenii z E × F, není tím řečeno, že je tomuto součinu izomorfní. Součin a plocha jsou propojené konečným algebraickým zobrazením, jehož jádro může být netriviální.

V tomto výsledku navíc izogenie nemusí zachovávat zadanou polarizaci. Považuji za důležité to zdůraznit: požadavek kompatibility s polarizací by změnil rozsah sledované kolekce bodů. Polarizace však z důkazu nezmizí. Naopak se stane zásadním nástrojem pro měření toho, jak jsou eliptické faktory uvnitř plochy slepené.

Komplexní násobení u eliptické křivky znamená, že její geometrická algebra endomorfismů je imaginární kvadratické těleso. Celý okruh endomorfismů tvoří řád v tomto tělese. Právě absolutní hodnota diskriminantu tohoto řádu bude jednou ze složek aritmetické složitosti. Pro základní terminologii nabízí užitečný kontext také heslo o komplexním násobení.

Výsledek rozlišuje dvě situace. V první mají CM oba eliptické faktory. Ve druhé má CM pouze F, zatímco E jej nemá. Tato druhá, smíšená situace představuje hlavní obtíž a je místem, kde rukopis přináší nové propojení geometrických a aritmetických odhadů.

Ve smíšeném případě E a F nejsou izogenní. Jejich rozdílná endomorfní struktura se tak promítá do geometrie plochy a umožňuje určit kanonické eliptické podvariety. Díky tomu nejde složitost bodu jen libovolně přiřadit z nějakého zvoleného rozkladu. Lze ji opřít o přirozenou strukturu samotného bodu.

🧩 Kanonický rozklad a původ stupně n²

Uvnitř smíšené abelovské plochy lze určit dvě kanonické eliptické podvariety. Jejich sčítání dává izogenii E × F → A. Rukopis ukazuje, že její stupeň je n² a že mezi izogeniemi ze součinu eliptických křivek jde o minimální možný stupeň.

Právě tento čtverec není kosmetická volba zápisu. Vzniká z krátkého, ale velmi účinného počítání jádra. Označím r a t kladné násobitele polarizací indukovaných na E a F. Identita pro stupeň polarizace pak říká, že jádro sčítacího zobrazení má rt prvků.

Obě projekce tohoto jádra do jednotlivých faktorů jsou injektivní. Pokud by například prvek jádra měl první souřadnici nulovou, jeho druhá souřadnice by po vložení do A také musela být nulová. Protože jde o vloženou eliptickou podvarietu, nulový je celý prvek.

Současně se jádro promítá do r-torzní podgrupy E a do t-torzní podgrupy F. Tyto podgrupy mají v daném prostředí r², respektive t² prvků. Dostávám tedy dvě nerovnosti:

rt ≤ r² a rt ≤ t².

Protože r a t jsou kladné, první nerovnost dává t ≤ r a druhá r ≤ t. Nutně tedy platí r = t = n. Jádro má n² prvků a prostřednictvím projekcí propojuje celé n-torzní podgrupy obou faktorů.

Tím je vysvětlen vznik n². Minimalita potřebuje ještě další krok: každá jiná součinová izogenie do této plochy se rozkládá přes kanonické sčítací zobrazení. Nemůže tedy mít menší stupeň. Na tomto místě oceňuji, že parametr n není výsledkem odhadu nebo pomocného rozhodnutí, ale má pevný geometrický význam.

📏 Složitost bodu a velikost Galoisovy orbity

Abych oddělil dvě různé veličiny, označím absolutní diskriminant CM řádu symbolem Δ a stupeň pomocného definičního tělesa později symbolem D. Složitost smíšeného bodu je definována jako větší z hodnot n² a Δ:

Komplexita = max{n², Δ}.

Tato definice zachycuje dva nezávislé zdroje obtížnosti. Hodnota n² měří minimální stupeň součinové izogenie. Diskriminant Δ měří aritmetickou složitost CM faktoru. Nestačí kontrolovat pouze jednu veličinu, protože druhá může růst, i když první zůstane omezená.

Galoisovy konjugace vznikají působením symetrií algebraických čísel na souřadnice bodu. Pro pevné těleso definice křivky tak bod získává celou orbitu příbuzných algebraických bodů. Důkaz potřebuje ukázat, že složitý bod nemůže mít příliš malou orbitu.

Cílový odhad má podobu:

Velikost Galoisovy orbity ≥ c · komplexita^1/42,

kde c je kladná konstanta závislá na pevné křivce a jejím definičním tělese. Exponent je tedy 1/42. Jeho původ bude vidět z konečné nerovnosti, která omezí komplexitu pomocí dvaačtyřicáté mocniny stupně tělesa.

Na první pohled jde o velmi slabý růst. Pro následující kritérium konečnosti je však rozhodující, že je to růst kladnou mocninou, nikoli jeho numerická síla. Ani ten ovšem sám o sobě konečnost nedokazuje. Připravuje aritmetickou podmínku, kterou později využije argument založený na počítání bodů.

🌊 Degenerace přináší rozhodující faktor 1/n

První hlavní odhad propojuje geometrii abelovské plochy s aritmetickou velikostí eliptické křivky E. Její j-invariant určuje nad komplexními čísly izomorfní třídu. Logaritmická výška h(j(E)) potom měří aritmetickou velikost tohoto algebraického čísla napříč všemi relevantními místy definičního tělesa.

V konečném místě, kde má E rozštěpenou Tateovu redukci, vychází délka degenerace plochy jako logaritmus místní absolutní hodnoty j(E), dělený n. Podstatné tedy není jen to, že degenerace souvisí s j-invariantem. Rozhodující je přesné měřítko:

Degenerační délka odpovídá log|j(E)| / n.

Faktor 1/n vychází ze struktury slepení obou eliptických faktorů. Grafové jádro ponechává zobrazení torů beze změny, zatímco zobrazení periodových mřížek má násobitel n. Právě rozdíl mezi těmito dvěma částmi vede k reciprokému faktoru.

Proč na něm tolik záleží? Čím větší je n, tím menší koeficient vzniká v následném odhadu výšky. Geometrická složitost součinové izogenie tak poskytuje prostředek ke kontrole aritmetické veličiny, která by jinak mohla zůstat příliš velká.

Rukopis následně porovnává degeneraci s výškami spojenými s hranicí a kombinuje příspěvky konečných i nekonečných míst. Tím přechází od místní informace o jednom typu redukce ke globálnímu odhadu j-invariantu.

Za důležitý bod považuji i oddělené zpracování situace s prázdnou hranicí. Argument tedy nepředpokládá, že křivka musí mít konkrétní degenerující body. Když taková část geometrie chybí, důkaz ji řeší samostatně, místo aby ji zakryl dodatečným předpokladem.

⚖️ Jak se výška dostane pod kontrolu

V mezikroku se výška h(j(E)) objeví na obou stranách nerovnosti. To může působit jako kruh, ale koeficient na pravé straně je úměrný 1/n. Pro dostatečně velké n je nejvýše jedna polovina. Pravostranný příspěvek je potom možné přesunout doleva a pohltit.

V jednoduchém schématu jde o následující operaci: z nerovnosti h ≤ B + h/2 plyne h ≤ 2B. Technická práce samozřejmě spočívá v odvození správného B a v kontrole konstant. Samotné pohlcení však ukazuje, proč je faktor 1/n tak cenný.

Výsledný odhad má podobu:

h(j(E)) ≤ C · n · (1 + √Δ).

Konstanta C může záviset na pevné křivce a aritmetickém prostředí. Odhad proto nelze číst jako univerzální numerický recept pro libovolnou rodinu ploch. Jeho význam je v tom, jak přesně závisí na proměnných n a Δ.

Získaná kontrola je lineární v n. To už je silná vazba mezi stupněm izogenie a výškou eliptické křivky, ale pro potřebný růst Galoisových orbit ještě nestačí. Kdyby další část důkazu poskytovala jen další lineární závislost, mohl by se parametr n při porovnání prostě vykrátit bez užitečného omezení.

Důkaz proto potřebuje odhad s mocninou n o něco vyšší než jedna. Právě tento zisk dodá druhá konstrukce: místo plochy se vytvoří pomocná trojrozměrná abelovská varieta, v níž se faktor E vyskytuje dvakrát. Výškový odhad tím neztrácí význam. Stává se jedním ze vstupů do silnějšího periodového argumentu.

🏗️ Proč se ve druhé konstrukci objevuje E dvakrát

Druhý nový prvek pracuje s pomocnou konstrukcí vycházející ze součinu E × E × F. Zdvojení E není samoúčelné zvětšení rozměru. Umožňuje sestavit konkrétní periodu, která neleží v Lieově algebře žádné vlastní abelovské podvariety. Taková perioda je v argumentu označena jako esenciální.

Zjednodušeně ji lze popsat pomocí dvou nezávislých period ω₁ a ω₂ křivky E a nenulové periody η křivky F. V příslušné kvocientní mřížce se objeví vektor tvaru:

(bω₁, bω₂, η) / n.

Číslo b je index mřížky vzniklé působením endomorfního řádu F na zvolenou periodu η. Zachycuje tedy konkrétní aritmetickou vlastnost CM části konstrukce. Důležité je, že všechny tři souřadnice jsou zapojené současně.

Proč nestačí jediná kopie E? Dvě nezávislé periody poskytují možnost vyloučit celočíselné lineární vztahy, které by jinak mohly vést k menší abelovské podvarietě. Nenulový celočíselný řádek totiž nemůže anulovat dvě nezávislé periody E.

Podobně nenulový endomorfismus F nemůže anulovat jeho nenulovou periodu. Tyto dvě skutečnosti společně vylučují příslušné možnosti, v nichž by sestavená perioda patřila do Lieovy algebry vlastní podvariety.

Za hlavní smysl této konstrukce považuji odstranění skryté nižší dimenze. Pokud by perioda fakticky žila jen v menší části pomocné variety, periodová věta by neposkytla potřebnou kontrolu celého objektu. Zdvojení E je proto nástroj, jak získat periodu, která opravdu nese informaci o celé trojrozměrné konstrukci, nikoli pouze o jednom jejím faktoru.

🎛️ Vyvážení period a zisk mocniny n^4/3

Esenciální perioda sama o sobě ještě neřeší všechny potíže. Dvě základní periody E mohou mít velmi odlišné délky. Označím y imaginární část redukovaného poměru period. Jejich čtvercové délkové škály se pak chovají jako 1/y a y.

Bez vyvážení by jedna souřadnice mohla převládnout nad druhou a výsledný odhad by ztratil potřebnou sílu. Rukopis proto volí váhy v polarizaci pomocné trojrozměrné variety:

• první kopie E dostane váhu u = ⌈y²⌉,
• faktor F dostane váhu v = ⌈y⌉.

Tyto váhy kompenzují rozdíl mezi periodovými škálami. Pro zvolenou polarizaci vychází veličina jejího stupně jako 6n⁴uv. Současně je čtverec normy esenciální periody omezen konstantním násobkem (b² + 1)y.

Klíčový okamžik nastává při třetí odmocnině stupně polarizace. Protože u odpovídá škále y² a v škále y, jejich součin má škálu y³. Třetí odmocnina tedy přinese právě faktor odpovídající y, který se při porovnání s periodovou normou vyruší.

Závislost na nepříjemném poměru period je tak vyvážena. Zůstane však mocnina n^4/3, pocházející ze třetí odmocniny n⁴. To je přesně zisk, který předchozímu lineárnímu výškovému odhadu chyběl.

Na tomto kroku je dobře vidět, proč nestačí neurčité tvrzení, že perioda je „malá“ nebo polarizace „velká“. Důkaz potřebuje současně správný rozměr, vhodné váhy a konkrétní exponentskou bilanci. Teprve jejich kombinace vytvoří mocninu větší než jedna, kterou lze později převést do aritmetického omezení n.

🧮 Odkud pocházejí exponenty 21 a 42

Periodová věta převádí geometrický zisk na aritmetickou nerovnost. Zde vstupuje D, stupeň tělesa, nad nímž je pomocná konstrukce definována. Rukopis přitom udržuje D v mezích pevného násobku velikosti původní Galoisovy orbity. To je zásadní: pomocná konstrukce nesmí vyžadovat nekontrolovaně velké rozšíření tělesa.

CM odhady dávají kontrolu diskriminantu Δ i veličiny b² + 1 pomocí konstantních násobků D⁴. Z dřívějšího výškového odhadu potom plyne, že zbývající výškový člen v periodové větě lze omezit konstantním násobkem nD².

Všechny hlavní příspěvky se spojí do nerovnosti:

n^4/3 ≤ C · D⁴ · D · nD² = C · nD⁷.

Tuhle řádku považuji za nejčitelnější kontrolu celé exponentské bilance. Mocnina čtyři pochází z CM odhadů, další faktor D ze stupně tělesa a mocnina dvě z výškového členu. Jejich součet je sedm.

Po vydělení n zbývá n^1/3 ≤ C · D⁷. Umocněním na třetí tedy dostávám:

n ≤ C′ · D²¹.

Odtud n² ≤ C″ · D⁴². Diskriminant je už omezen pomocí D⁴, takže pro maximum obou veličin platí:

max{n², Δ} ≤ C‴ · D⁴².

Protože D nepřevyšuje pevný násobek velikosti Galoisovy orbity, obrácení této nerovnosti dává požadovaný růst s exponentem 1/42. Konkrétní konstanty se při jednotlivých úpravách mění, jejich závislost však zůstává svázaná s pevnými vstupními daty.

Samostatně jsou zahrnuty i případy s omezeným malým n. To je potřebné, protože pohlcení výškového členu využívalo dostatečně velké n. Důkaz tak pokrývá celý rozsah parametrů, nejen jeho asymptotickou část.

🔗 Proč růst orbit ještě není důkazem konečnosti

Velká Galoisova orbita znamená, že složitý bod přináší mnoho algebraických konjugátů. Z toho však bez dalšího neplyne, že složitých bodů může být jen konečně mnoho. Mohlo by jich přece existovat nekonečně mnoho a každý by měl velkou orbitu.

Pro smíšené body proto rukopis využívá opravenou verzi kritéria Dawa a Orra. Toto kritérium převádí vhodný mocninný dolní odhad Galoisových orbit na konečnost bodů na Hodgeovsky generické křivce. Je založené na strategii počítání Pily a Wilkieho; obecný kontext nabízí přehled Pilaovy a Wilkieho věty.

Logiku propojení si rozděluji na dvě části. Aritmetická část říká, kolik konjugovaných bodů musí složitý objekt dodat. Počítací a geometrická část kontroluje, zda takové množství může být slučitelné s prostředím obecné křivky. Samotný nový odhad tedy není celou teorií, ale dodává chybějící vstup do existujícího rámce.

Hodgeovská generičnost se zde znovu ukazuje jako zásadní. Není jen formální položkou v úvodním seznamu. Brání tomu, aby množství zvláštních bodů bylo vysvětlitelné tím, že celá křivka leží ve vlastní speciální podvarietě.

Případy, kdy mají CM oba eliptické faktory, se řeší jinou cestou, pomocí výsledku Andrého a Oorta. Finální tvrzení proto stojí na rozdělení:

1. Smíšené body: nový odhad orbit a kritérium Dawa a Orra.
2. Body se dvěma CM faktory: výsledek Andrého a Oorta.

Spojením obou větví vzniká přesně požadovaná konečnost pro všechny body typu E × CM. Žádná z těchto větví se nemá zaměňovat za důkaz celé Zilberovy a Pinkovy domněnky.

🛠️ Co výsledek nabízí a co z něj neplyne

Rukopis dokazuje konečnost, ale netvrdí efektivnost použitých konstant. Z výsledku proto nelze automaticky získat praktický numerický seznam všech zvláštních bodů na zadané křivce ani výslovnou horní mez jejich komplexity, kterou by šlo rovnou dosadit do výpočtu.

Tento rozdíl považuji za důležitý. Výrok „existuje konstanta“ může stačit pro důkaz konečnosti, i když její konkrétní hodnotu důkaz neposkytuje. Stejně tak znalost exponentu 1/42 neznamená, že jsou všechny další části odhadu numericky dostupné.

Opatrně je třeba zacházet i s výpočetními kontrolami a vysvětlujícími diagramy. Mohou dobře ukázat jednotlivé mechanismy, ověřit exponentskou aritmetiku nebo pomoci s konkrétní konfigurací. Samy však neprokazují obecné tvrzení o všech příslušných algebraických bodech.

Celý technický důkaz navíc zahrnuje práci s kompaktifikací, hraničními výškami a počítacími argumenty. Přehled hlavních nerovností tuto práci nenahrazuje. Dává ale jasnou odpověď na otázku, kde nový výsledek získává sílu, která předtím v řetězci odhadů chyběla.

Za nejvýstižnější shrnutí přínosu považuji trojici propojených kroků:

• Reciproká kontrola degenerace: faktor 1/n umožní pohltit výškový člen.
• Vyvážená esenciální perioda: konstrukce z E × E × F přinese mocninu n^4/3.
• Mocninný růst Galoisových orbit: získaná kontrola komplexity splní předpoklad existujícího kritéria konečnosti.

Žádný z těchto bodů nefunguje izolovaně. Síla výsledku spočívá v jejich přesném propojení a v tom, že při přechodech mezi geometrií a aritmetikou nezmizí potřebný zisk.

✨ Hlavní závěr: nekonečně mnoho cílů, konečně mnoho zásahů

Výsledek pro složku E × CM ukazuje, jak lze zkrotit nekonečnou rodinu speciálních křivek v A₂. Ne tím, že se omezí možné CM řády nebo stupně izogenií, ale tím, že rostoucí složitost bodu vynutí rostoucí aritmetickou stopu.

Pevná Hodgeovsky generická křivka tak nemůže libovolně často potkávat plochy izogenní součinům s CM faktorem. Ve smíšeném případě každý dostatečně složitý bod přináší mnoho Galoisových konjugátů. Počítací kritérium potom převádí tuto nutnou bohatost na omezení počtu možných bodů.

Nejzajímavější mi připadá cesta k tomuto závěru. Z elementárního počítání jádra vznikne n². Z místní degenerace přijde 1/n. Zdvojení E a vyvážení polarizace vytvoří n^4/3. A pečlivé spojení odhadů nakonec přinese exponenty 21, 42 a 1/42.

Hlavní zpráva tedy není jen to, že určitých zvláštních bodů je konečně mnoho. Je to také konkrétní vysvětlení, jak geometrické slepení, periodové délky a Galoisovy symetrie společně tuto konečnost vynutí. Právě v tomto propojení leží přínos pro danou část Zilberovy a Pinkovy domněnky.