Eliptické čtverce a Zilberova a Pinkova domněnka pro křivky v A₂: kdy se skrytá struktura objeví jen konečněkrát

Dvourozměrný algebraický objekt může mít překvapivě jednoduchou vnitřní stavbu: až na vhodný algebraický vztah může být součinem dvou kopií téže eliptické křivky. Rukopis OpenAI přichází s tvrzením, že v dostatečně obecné jednoparametrické rodině principiálně polarizovaných abelových ploch se taková struktura bez komplexního násobení objeví jen konečněkrát.

Na první pohled to zní jako úzká otázka pro specialisty. Ve skutečnosti jde o konkrétní případ širšího problému: jak často může algebraická rodina potkat objekty, které mají nečekaně mnoho symetrií? A kdy lze dokázat, že takových setkání není nekonečně mnoho?

Za nejdůležitější považuji rozsah tvrzení. Eliptická křivka se může měnit, stupeň příslušné izogenie není předem omezený a měnit se může i hlavní polarizace. Výsledek navíc nevyžaduje zvláštní podmínku na chování křivky u hranice modulového prostoru. Zahrnuje tedy i úplné křivky.

Důkazová strategie propojuje geometrii, lokální aritmetiku, monodromii, výšky a počítání Galoisových orbit. Jeden její klíčový krok přitom stojí na docela přístupné myšlence: exponent prvočísla v druhé mocnině racionálního čísla musí být sudý.

Obsah

• 🧩 Co znamená, že je abelova plocha eliptickým čtvercem
• 📍 Přesné tvrzení: konečnost na Hodgeovsky obecné křivce
• ♾️ Proč konečnost jednotlivých průniků nestačí
• 🎯 Důkaz sporem začíná volbou vnitřního středu
• 📐 Pět rozměrů operátorů a dvě pomocná prvočísla
• 🔬 Lokální porovnávání a rovnice bez explicitního p
• 🌀 Proč musí rovnice něco skutečně omezovat
• 🔢 Kladné znaménko: úplný rozpor pomocí parity
• ➖ Záporné znaménko potřebuje jinou překážku
• 📏 Aritmetická výška není poloha bodu v obrázku
• 🪜 Sestup vysvětluje nároky na každou algebraickou větev
• 🧮 Od výšky k diskriminantu endomorfismů
• 🌍 Velké Galoisovy orbity otevírají cestu ke konečnosti
• 🔗 Eliptické čtverce jsou jen jedna část širšího výsledku
• 📝 Co si z tvrzení odnáším a kde zůstává hranice jistoty

🧩 Co znamená, že je abelova plocha eliptickým čtvercem

Abelova plocha je dvourozměrná abelova varieta. Má tedy současně algebraickou strukturu a strukturu komutativní grupy. Pro tuto otázku není potřeba znát celou teorii abelových variet. Stačí rozlišit dvě situace: objekt může být se součinem eliptických křivek přímo izomorfní, nebo s ním může být pouze izogenní.

Izogenie je surjektivní algebraické grupové zobrazení s konečným jádrem. Zachovává důležitou část grupové struktury, ale je slabším vztahem než izomorfismus. Dva izogenní objekty proto nemusí být totožné ani zaměnitelné ve všech geometrických otázkách. Základní definici doplňuje také heslo o izogenii.

Eliptickým čtvercem zde rozumím abelovu plochu A, pro kterou existuje eliptická křivka E a izogenie mezi A a součinem E × E. Podstatné je, že oba faktory jsou kopiemi stejné křivky. Nestačí libovolný součin dvou různých eliptických křivek.

Zároveň je v hlavním tvrzení vyloučeno komplexní násobení, obvykle označované CM. Eliptická křivka bez CM nemá nad algebraickým uzávěrem jiné endomorfismy než násobení celými čísly. Nejde tedy o případ, kdy už samotná E nese další mimořádné endomorfismy.

Skrytá výjimečnost vzniká až na úrovni plochy: dvě kopie stejného faktoru umožňují bohatší strukturu zobrazení. Právě tuto strukturu důkaz využívá, aby eliptické čtverce rozpoznal a aritmeticky kontroloval.

📍 Přesné tvrzení: konečnost na Hodgeovsky obecné křivce

Prostor A₂ parametrizuje principiálně polarizované abelovy plochy a má dimenzi tři. Polarizace je dodatečná geometrická struktura. Není to jen štítek připojený k ploše: vstupuje do definice modulového prostoru i do operátorů, které se později objeví v důkazu.

Rukopis pracuje s algebraickou křivkou C uvnitř A₂. Aby tvrzení platilo, musí splňovat konkrétní předpoklady:

• Je neprázdná, redukovaná, ireducibilní a uzavřená.
• Je definovaná nad algebraickými čísly.
• Je Hodgeovsky obecná, tedy neleží v žádné vlastní Shimurově speciální podvarietě prostoru A₂.

Poslední bod je zásadní. Křivka už jako celek nesmí být uvězněná v menším prostoru předepsaném zvláštními symetriemi. Slovo „obecná“ zde proto neznamená náhodně zvolená nebo typická v neformálním smyslu. Jde o přesně vymezenou geometrickou podmínku.

Za těchto předpokladů rukopis tvrdí, že na C leží jen konečně mnoho bodů představujících abelovy plochy izogenní E × E pro eliptickou křivku E bez CM.

Zdůrazňuji ještě jednu jemnost: izogenie nemusí zachovávat hlavní polarizaci. Tvrzení tedy neřeší pouze užší třídu vztahů slučitelných s veškerou dodatečnou strukturou. Kontroluje všechny příslušné eliptické čtverce v dané rodině, i když jejich izogenie mají různý stupeň a různý vztah k polarizaci.

♾️ Proč konečnost jednotlivých průniků nestačí

Největší logická past se skrývá ve slově „všechny“. Eliptické čtverce nejsou popsány jedinou speciální křivkou v modulovém prostoru. V úvahu přichází nekonečně mnoho speciálních křivek, které odpovídají různým aritmetickým možnostem.

Dokázat, že C protíná každou z nich pouze konečněkrát, proto samo o sobě nestačí. Nekonečné sjednocení konečných množin může být nekonečné. Každý jednotlivý průnik může vypadat nevinně, zatímco jejich souhrn představuje právě problém, který se má vyřešit.

Potřebná je jednotná kontrola celého eliptického čtvercového lokusu. Nesmí se rozpadnout podle stupně izogenie, podle zvolené eliptické křivky nebo podle konkrétní polarizace. Důkaz potřebuje aritmetickou veličinu, která dovolí různé případy porovnat.

Takovou roli nakonec převezme diskriminant plného geometrického endomorfismového řádu. Než se k němu ale dostanu, je nutné vysvětlit, jak rukopis získává kontrolu nad výškou jednotlivých bodů. Právě tam vstupuje lokální porovnávání s jedním pevným středem.

Za významnou součást výsledku považuji také absenci podmínky na hranici. Křivka nemusí směřovat k určitému typu degenerace. Argument proto nemůže stát jen na tom, že se rodina někde u hranice modulového prostoru chová zvlášť příznivě.

🎯 Důkaz sporem začíná volbou vnitřního středu

Strategie začne předpokladem, že eliptických čtvercových bodů je na C nekonečně mnoho. Po přechodu na pevný konečný pokryv se jeden z nich vybere jako vnitřní střed. Ostatní body pak slouží jako cíle, které se s tímto středem porovnávají.

„Vnitřní“ zde není bezvýznamné slovo. Důkaz se neopírá o zvolený bod na hranici. Jeho opěrný bod leží uvnitř geometrického prostoru, což souvisí s tím, proč není potřeba hraniční předpoklad.

Přechod na konečný pokryv umožňuje zavést potřebná pomocná označení a pracovat s nimi jednotně. Důležité je, že tento pokryv je pevný. Jeho stupeň se nemění s cílovým bodem, takže později nezpůsobí nekontrolovaný růst stupňů číselných těles.

Porovnání neprobíhá přes pouhé souřadnice ploch. Rukopis používá endomorfismy, tedy algebraická zobrazení plochy do sebe samé. Ty zachycují její vnitřní symetrie a umožňují převést otázku o výjimečných bodech na otázku o operátorech a jejich párování.

Tento posun mi připadá jako hlavní konstrukční nápad. Místo přímého hledání všech možných součinových prezentací se sledují algebraické stopy, které taková prezentace zanechává v endomorfismech.

📐 Pět rozměrů operátorů a dvě pomocná prvočísla

Samoadjungované operátory s nulovou stopou tvoří v použité konstrukci pětirozměrný kvadratický prostor. Samoadjungovanost se vztahuje ke struktuře dané polarizací. Podmínka nulové stopy odděluje operátory, které nesou relevantní informaci, od čistě skalární části.

V bodě odpovídajícím eliptickému čtverci vyberou skutečné racionální endomorfismy uvnitř tohoto prostoru kladnou dvourozměrnou rovinu. Eliptický čtverec je tak možné sledovat prostřednictvím malé, ale výrazné geometrické stopy v prostoru operátorů.

Důkaz zavádí dvě pomocné prvočíselné úrovně, které poskytují dvě různá označení těchto rovin. Jejich úkoly se liší:

• Na první úrovni je součet příslušných rovin degenerovaným čtyřrozměrným prostorem. Existuje v něm nenulový směr, který se páruje nulově s celým tímto prostorem.
• Na druhé úrovni je odpovídající čtyřrozměrný prostor nedegenerovaný.

Tyto dvě situace si neodporují. Odehrávají se v různých prostředích nad konečnými tělesy. Nejde o dva neslučitelné náčrty jedné běžné reálné konfigurace.

Druhé označení slouží k vyloučení určitých příliš blízkých cílových bodů v místech, kde střed nemůže získat dobrou redukci ani po konečném rozšíření. První označení bude potřeba později, při odstranění jedné záporné znaménkové možnosti. Každá pomocná úroveň tedy řeší jiný problém.

🔬 Lokální porovnávání a rovnice bez explicitního p

Na zachovaných konečných místech důkaz podle potřeby přejde na lokální rozšíření a přenese operátory cílového bodu směrem ke středu. Následně porovnává jejich stopová párování. Dva označené operátory na každé straně dávají čtyři čísla, která shrnují vzájemný vztah obou dvojic.

Mimo pevnou konečnou výjimečnou množinu nastupuje Frobeniovo zobrazení na redukci. Pro prvočíslo p jde o příslušné p-mocninné zobrazení. V argumentu současně konjuguje obě dvojice operátorů.

Základní algebraická vlastnost je jednoduchá: stopy součinů se při současné konjugaci nemění. Díky tomu vzniká rovnice mezi původními daty a jejich konjugovanými protějšky, ve které už explicitně nevystupuje konkrétní p.

To je důležitá úspora. Místo samostatného sledování každého prvočísla lze místa seskupit podle označených konjugovaných dat. Počet takových skupin roste pouze polynomiálně se stupněm tělesa cílového bodu.

Samotný počet prvočísel, u kterých vzniká relevantní lokální blízkost, přitom nemusí být globálně omezený. Rukopis tedy neřeší problém jejich prostým spočítáním. Nahrazuje ho kontrolou počtu typů rovnic. U zachovaných výjimečných prvočísel používá místo společné konstrukce jednotlivé stopové rovnice.

🌀 Proč musí rovnice něco skutečně omezovat

Rovnice je užitečná jen tehdy, když není automaticky pravdivá pro všechny body, se kterými se pracuje. Pokud by šlo o identitu, nepřinesla by žádné omezení. V tomto důkazu navíc nestačí ověřit netrivialitu pouze na původní křivce C.

Pozdější argument bude přecházet na další algebraické větve a podmnožiny. Rovnice proto musí zůstat neidentické na všech relevantních větvích. Jinak by se postup mohl zastavit přesně tam, kde má vytvořit nové aritmetické omezení.

Rukopis tuto vlastnost dokazuje pomocí monodromie. Ta zaznamenává, co se děje s přenášenými daty při obcházení smyček v parametrickém prostoru. Operátory lze lokálně porovnat, ale jejich chování při takovém obcházení poskytuje další informaci, kterou jediný lokální výpočet nezachytí.

Jedna výjimečná situace se nakonec zredukuje na dvě možnosti, rozlišené znaménkem. Kladná možnost vede ke skalárnímu endomorfismu a k rozporu s prvočíselnými exponenty. Záporná možnost vyžaduje jiné, výrazně techničtější vyloučení.

Tady je podle mě dobré oddělit dvě úrovně jistoty. Jednoduchý aritmetický rozpor lze rozepsat celý. Monodromické tvrzení, které k němu přivede, je však součástí rozsáhlejšího důkazu, nikoli důsledkem samotné parity.

🔢 Kladné znaménko: úplný rozpor pomocí parity

V kladné výjimečné možnosti předchozí argument vynutí, aby určitý racionální endomorfismus působil na první homologii jako skalár c. U abelovy plochy má tato homologie dimenzi čtyři, takže stopa takového působení je 4c.

Stopa je racionální. Z toho plyne, že také c je racionální číslo. Tato informace je klíčová, protože následující rozpor používá prvočíselné exponenty racionálních čísel.

Další ingrediencí je multiplikátor, který vyjadřuje, jak zobrazení škáluje polarizaci. V dané konstrukci platí:

• Frobeniovo zobrazení má multiplikátor p.
• Pevná polarizovaná izogenie má multiplikátor m a p nedělí m.
• Složení Frobenia s inverzí této izogenie má multiplikátor p/m.
• Skalární zobrazení c má multiplikátor c².

Hypotetická identita by tedy znamenala c² = p/m. Jenže taková rovnost pro racionální c není možná.

Napíšu c = a/b, kde a a b jsou nenulová celá čísla. Exponent prvočísla p v c² je dvakrát exponent p v a minus dvakrát exponent p v b. Výsledkem je vždy sudé celé číslo. Platí to i pro záporný exponent, tedy když příslušná mocnina p zůstane ve jmenovateli.

Na pravé straně je situace jiná. Čitatel p přispívá exponentem jedna a m nepřispívá ničím, protože p jej nedělí. Exponent p v p/m je proto přesně jedna.

Sudé celé číslo se nemůže rovnat jedné. Tím je kladná možnost vyloučena pro každé racionální c, nikoli jen pro vybrané hodnoty. Pro stručný zápis stejného argumentu lze použít p-adickou valuaci: 2v_p(c) = 1, což je nemožné.

➖ Záporné znaménko potřebuje jinou překážku

Bylo by lákavé uzavřít, že parity prvočíselných exponentů vyřeší všechno. To by ale zkreslilo strukturu důkazu. Záporná znaménková možnost se vylučuje samostatně a právě zde se vrací první pomocná prvočíselná úroveň.

Její degenerovaná konfigurace odporuje určitému celočíselnému ortogonálnímu rozkladu. Slovo „celočíselnému“ je podstatné: nestačí uvažovat pouze libovolný rozklad v racionálním vektorovém prostoru. Argument musí respektovat příslušnou integrální strukturu.

Podrobný důkaz tohoto kroku zde nerozepisuji. Jeho úloha je ale jasná. Společně s aritmetickým rozporem pro kladné znaménko odstraňuje poslední výjimečné možnosti, v nichž by vytvořené rovnice mohly být identitami.

Teprve po tomto dvojím vyloučení lze rovnice bezpečně použít v dalším kroku. Dvě pomocné prvočíselné úrovně tak nejsou dekorací ani duplicitou. Jedna zajišťuje vhodné lokální chování, druhá poskytuje překážku pro konkrétní algebraický rozklad.

V mém čtení je právě toto důvod, proč se vyplatí nesloučit technické části do jediné věty o „vhodně zvolených prvočíslech“. Jejich rozdílné funkce vysvětlují, jak do sebe důkazové součásti zapadají.

📏 Aritmetická výška není poloha bodu v obrázku

Další most vede od lokálních rovnic k aritmetické výšce. Výška měří aritmetickou velikost algebraického bodu, nikoli jeho vzdálenost od středu v běžném geometrickém náčrtu. Dva body mohou být v jednom lokálním prostředí blízko, a přesto mít velmi odlišnou globální aritmetickou složitost.

Rukopis označuje d stupeň tělesa zvednutého cílového bodu, s dolní hranicí dvě, a h vhodně posunutou logaritmickou výšku. Cílem je nerovnost tvaru h ≤ c₁d^u, kde c₁ a u jsou pevné konstanty.

Lokální příprava dává výraznou blízkost cíle ke středu, zatímco náklady spojené s lokálními souřadnicemi jsou podstatně menší. Interpolační věta z těchto informací vytvoří pomocný polynom.

Následně vstoupí součinový vzorec. Ten propojuje informace z různých míst číselného tělesa a brání tomu, aby se nenulová algebraická hodnota chovala všude libovolně malá bez odpovídající protiváhy.

Výsledkem je dvojí možnost: buď se podaří omezit h, nebo je cílový bod donucen ležet v algebraické množině nižší dimenze. Druhá možnost není neúspěch. Je to začátek sestupu, který umožňuje argument zopakovat v menším prostoru.

🪜 Sestup vysvětluje nároky na každou algebraickou větev

Pokud pomocný polynom místo okamžitého odhadu výšky vynutí další algebraickou podmínku, důkaz přejde na vzniklou podmnožinu a pokračuje. Opakováním tohoto sestupu získá požadovanou polynomiální kontrolu výšky.

Tím se zpětně vysvětluje požadavek na neidentičnost rovnic. Nová algebraická větev může mít jiné vlastnosti než původní C. Kdyby na ní používaná rovnice platila automaticky, ztratila by schopnost buď omezovat výšku, nebo snižovat dimenzi.

Monodromická kontrola tedy chrání celý sestup, ne pouze jeho první krok. Bez ní by lokální konstrukce mohla vypadat slibně, ale globální argument by nemusel dojít k žádnému účinnému závěru.

Za stručným zápisem h ≤ c₁d^u se skrývá značná technická práce: odhady, interpolace a konstrukce grafů používaných při organizaci argumentu. Zde sleduji jejich funkci, nikoli úplnou rekonstrukci.

Důležité je také to, co odhad neslibuje. Neříká, že všechny výjimečné body mají stejnou nebo malou výšku. Říká, že jejich aritmetická velikost nemůže růst nekontrolovaně vzhledem ke stupni tělesa definice. To je přesně druh vazby, který bude potřeba pro Galoisovy orbity.

🧮 Od výšky k diskriminantu endomorfismů

Nyní přichází veličina Δ: diskriminant plného geometrického endomorfismového řádu. Zdůrazňuji slovo „plného“. Nejde pouze o diskriminant dvourozměrné roviny operátorů, která pomáhala rozpoznávat eliptické čtverce.

Lokální roviny byly nástrojem porovnávání. Δ naproti tomu zachycuje aritmetickou složitost celé příslušné endomorfismové struktury. Záměna těchto dvou objektů by rozbila přechod k závěrečnému počítání.

Endomorfismový odhad dává nerovnost tvaru Δ ≤ C(dh)^v, opět s pevnými konstantami. Po dosazení polynomiálního odhadu výšky vyjde:

Δ ≤ C′d^v(u+1).

Exponent je v(u + 1), protože součin dh obsahuje jednu mocninu d navíc k d^u, která pochází z odhadu h. Je to jednoduchý algebraický detail, ale určuje výslednou sílu dolního odhadu Galoisovy orbity.

Po přeuspořádání dostanu, že d musí být alespoň pevnou kladnou mocninou Δ, až na konstantní faktor. Čím složitější endomorfismový řád, tím větší musí být stupeň tělesa definice.

Zde se aritmetická výška mění v nástroj pro počítání. Už nejde jen o velikost jednoho bodu, ale o minimální množství jeho algebraických konjugátů.

🌍 Velké Galoisovy orbity otevírají cestu ke konečnosti

Galoisova orbita shromažďuje konjugované podoby algebraického bodu. Dolní odhad její velikosti říká, že bod s velkou endomorfismovou složitostí nemůže zůstat aritmeticky izolovaný. Musí s sebou nést dostatečně mnoho konjugátů.

Pevný stupeň pomocného pokryvu je v této fázi znovu důležitý. Stupeň d zvednutého bodu je omezen konstantním násobkem stupně tělesa původního bodu. Odhad získaný nahoře se tedy přenese dolů bez ztráty polynomiálního charakteru.

Rukopis následně používá počítací implikaci, která z takového odhadu Galoisových orbit odvozuje konečnost celého eliptického čtvercového lokusu na C. Tím se uzavírá problém nekonečného sjednocení speciálních křivek.

Pro orientaci shrnuji logickou cestu v jednom sledu:

1. Lokální porovnávání endomorfismů vytváří rovnice.
2. Monodromie a oba znaménkové argumenty zajišťují jejich netrivialitu.
3. Interpolace, součinový vzorec a sestup dávají polynomiální odhad výšky.
4. Endomorfismový odhad převádí výšku na kontrolu diskriminantu.
5. Diskriminant vynucuje velkou Galoisovu orbitu.
6. Počítací výsledek z této velikosti odvozuje konečnost.

Žádný z těchto mostů není zbytečný. Samotná místní rovnice ještě neprokazuje globální konečnost a samotný odhad výšky bez vazby na složitost endomorfismů také nestačí.

🔗 Eliptické čtverce jsou jen jedna část širšího výsledku

Název spojuje eliptické čtverce se Zilberovou a Pinkovou domněnkou pro křivky v A₂. Důvod je širší než samotné součiny E × E. Rukopis skládá konečný závěr z několika různých případů speciální geometrie.

Doprovodné věty se týkají součinů s faktorem, který má komplexní násobení, a abelových ploch, jejichž plná endomorfismová algebra je indefinitní kvaternionová algebra s dělením. Speciální body pokrývá výsledek známý jako Andréova a Oortova věta.

Klasifikace speciálních křivek v A₂ umožňuje tyto vstupy spojit. Výsledné tvrzení pak míří na konečnost průniků C se všemi speciálními podvarietami dimenze nejvýše jedna.

To je širší závěr než konečnost ne-CM eliptických čtverců. Zároveň je užší než neomezené prohlášení o všech speciálních podvarietách bez ohledu na dimenzi. Hranice „dimenze nejvýše jedna“ patří k přesnému obsahu výsledku.

Ani při tomto širším spojení se nepřidává podmínka na hranici. Absence takového předpokladu tedy není jen zajímavost hlavní věty o eliptických čtvercích, ale součást celkového tvrzení pro danou křivku.

📝 Co si z tvrzení odnáším a kde zůstává hranice jistoty

Za hlavní zprávu považuji jednotnost. Rukopis netvrdí pouze to, že určitý pevný typ eliptického čtverce nastane několikrát. Tvrdí konečnost napříč měnícími se eliptickými křivkami, stupni izogenií a polarizacemi, pokud je C Hodgeovsky obecná a splňuje uvedené algebraické předpoklady.

Druhým důležitým bodem je propojení měřítek. Lokální blízkost u prvočísel vede přes globální výšku k diskriminantu a odtud k počtu Galoisových konjugátů. Geometrická výjimečnost se tak postupně mění v aritmetickou složitost, kterou lze použít v počítacím argumentu.

Třetí bod je metodický: elegantní dílčí výpočet není totéž co ověření celého důkazu. Rovnost c² = p/m lze úplně vyloučit pomocí parity exponentu p. To však samo neověřuje monodromii, integrální ortogonální argument ani interpolační a výškové odhady.

Proto zde výsledek uvádím jako tvrzení rukopisu, nikoli jako vlastní formální ověření. Podrobné formulace a důkazy obsahuje preprint o eliptických čtvercích v A₂.

Celková myšlenka je přesto srozumitelná i bez zvládnutí všech technických detailů. Jestliže algebraická křivka sama není sevřená zvláštní symetrií, neměla by donekonečna obsahovat body s touto dodatečnou strukturou. Popsaná strategie ukazuje, jak takové očekávání převést na řetězec přesných geometrických a aritmetických překážek.