Konstruovatelné tame Heckeho vlastní svazky v kladné charakteristice: jak zajistit, aby nezmizely

Rovnice může být splněná, a přesto nám nemusí dát vůbec nic. U Heckeho vlastní rovnice stačí dosadit nulový svazek: obě strany jsou nulové a formální podmínka platí. Jenže právě takové řešení je pro geometrickou korespondenci nepoužitelné. Podstatná zpráva proto není jen existence objektu s požadovanými vlastními hodnotami, ale existence skutečně nenulového objektu.

Preprint o konstruovatelných tame Heckeho vlastních svazcích v kladné charakteristice představuje konstrukci, která má tento problém vyřešit pro předepsaný lokální systém na křivce s jedním odstraněným bodem. Její cesta je překvapivě nepřímá: vede přes charakteristiku nula, spojení dvou křivek, degeneraci do uzlu, přidanou praporkovou strukturu a nakonec návrat do charakteristiky p.

Za hlavní téma považuji právě kontrolu nenulovosti. Každý z těchto přechodů může být pro svazek nebezpečný. Zvlášť názorný je krok, kdy se zapomínají pomocná data: nenulový vstup může mít nulový přímý obraz. Rukopis tomu brání pomocí unipotentní monodromie a jednoduchého, ale účinného argumentu z lineární algebry.

Celou konstrukci popisuje odborný preprint. Níže odděluji jeho hlavní tvrzení, logiku jednotlivých přechodů a jeden lokální argument, který lze projít úplně. Právě toto rozlišení je důležité: srozumitelná lineární algebra vysvětluje klíčový krok, nikoli automaticky celý geometrický důkaz.

Obsah

• 🧭 Co se vlastně konstruuje
• 🔄 Vlastní rovnice je jen začátek
• 🌀 Co znamená tame podmínka v odstraněném bodě
• 📋 Čtyři hypotézy o charakteristice, které nelze přeskočit
• 🗺️ Proč důkaz začíná v charakteristice nula
• ⚠️ Zapomenutí pomocných dat může objekt zničit
• 🔍 Jak stopy reprezentací vynutí unipotenci
• 🧮 Dvourozměrný příklad: jeden směr zmizí, druhý přežije
• 🧩 Obecný důkaz: komutující nilpotentní operátory nemohou pohltit vše
• 📐 Od koinvariantů ke kohomologii torového vlákna
• 🧵 Lokální konstruovatelnost neznamená konečný globální nosič
• 🌉 Blízké cykly vyžadují jinou pojistku nenulovosti
• 🌱 Návrat do charakteristiky p
• 🎯 Singulární nosič zůstává v nilpotentním kuželu
• 💡 Hlavní přínos: objekt přežije celou cestu

🧭 Co se vlastně konstruuje

Výchozím prostorem je hladká, projektivní a geometricky souvislá křivka rodu alespoň dva nad konečným tělesem. Na ní je vybraný racionální bod. Po přechodu k algebraickému uzávěru pracujeme v charakteristice p a označený bod odstraníme. Tak vznikne otevřená křivka U, na níž žije předepsaný parametr.

Grupa G je rozštěpená, jednoduchá, jednoduše souvislá a má kladnou hodnost. Koeficienty svazků jsou ℓ-adické, přičemž ℓ se liší od p. Parametr σ je spojitý lokální systém pro adjungovanou duální grupu, definovaný nad konečným rozšířením tělesa ℓ-adických čísel. Jeho obraz je Zariskiho hustý.

V tomto nastavení nehledáme svazek přímo na U. Hledaný objekt leží na moduli stacku G-bundlů vybavených Borelovou redukcí v označeném bodě. Borelova redukce představuje dodatečnou praporkovou strukturu. Pro základní orientaci si ji představuji jako předepsané uspořádání dat v místě, kde byla původní křivka propíchnuta.

Vztah mezi parametrem na U a svazkem na prostoru bundlů zajišťují Heckeho operace. Ty lokálně mění bundle v pohyblivém bodě mimo označené místo. Po takové změně má hledaný svazek reagovat přesně podle lokálního systému σ a příslušné reprezentace duální grupy.

Nejde tedy o dvě nesouvisející konstrukce. Parametr na otevřené křivce předepisuje, jak se má geometrický objekt na moduli bundlů chovat při celé rodině lokálních úprav. Výsledek má být nenulový, lokálně konstruovatelný, perverzní a vybavený plně koherentní Heckeho vlastní strukturou.

🔄 Vlastní rovnice je jen začátek

Pro každou reprezentaci V duální grupy má Heckeho transformace objektu M odpovídat spojení M s lokálním systémem V_σ. Symbolicky lze základní požadavek vyjádřit jako H_V(M) ≅ M ⊠ V_σ. Tato formule je užitečná pro orientaci, ale sama ještě nevystihuje celý výsledek.

Podmínka musí fungovat pro libovolnou konečnou kolekci pohyblivých bodů. Musí respektovat tensorové součiny reprezentací, jejich permutace i situace, kdy se body setkají. Pokud dva body splynou, jejich reprezentační označení se spojí pomocí tensorového součinu.

Zdůrazňuji to proto, že izolovaná vlastní rovnice může působit jednodušeji než skutečný úkol. Nestačí dodat jednotlivé izomorfismy pro každou reprezentaci a doufat, že do sebe zapadnou. Je třeba zajistit jejich vzájemnou kompatibilitu i při změně konfigurace bodů.

• Jeden bod: lokální úprava bundlu má odpovídat předepsanému lokálnímu systému.
• Více bodů: jednotlivé úpravy musí tvořit společně kompatibilní systém.
• Permutace: přeuspořádání označených bodů nesmí vytvořit rozpor.
• Kolize: splynutí bodů musí souhlasit s tensorovým součinem jejich označení.

Pro obecnou orientaci v tomto pojmu je užitečný také přehled Heckeho vlastních svazků. V daném výsledku je však zásadní ještě další podmínka: M nesmí být nula. Právě tato zdánlivě samozřejmá věc vyžaduje samostatnou práci.

🌀 Co znamená tame podmínka v odstraněném bodě

Chování parametru kolem chybějícího bodu není libovolné. Divoká inertia působí triviálně. Krotká inertia prochází přes svůj ℓ-adický kvocient a působí regulárním unipotentním exponenciálním prvkem. Odtud pochází označení tame, tedy krotce ramifikovaný.

Unipotence znamená, že příslušný operátor se od identity liší nilpotentní částí. V konečněrozměrné reprezentaci proto nemění vlastní hodnoty od jedničky, ale může mít netriviální Jordanovy bloky. Není tedy nutně totožný s identitou. Tento rozdíl se později ukáže jako přesně to, co konstrukce potřebuje.

Slovo „regulární“ zde má přesný význam: centralizátor nilpotentního logaritmu má dimenzi rovnou hodnosti duální grupy. Nejde o obecný přívlastek ani o volnou představu běžného chování. Je to konkrétní podmínka na typ monodromie.

Důležitá je také absence předpokladu Frobeniova sestupu. Rukopis nepožaduje dodatečnou strukturu, která by parametr vybavila sestupem pomocí Frobenia. Při čtení výsledku proto nepřidávám aritmetickou podmínku, kterou jeho formulace neobsahuje.

Tyto požadavky spolu určují poměrně specifickou situaci: parametr je globálně Zariskiho hustý, zatímco jeho lokální chování u odstraněného bodu je přísně kontrolované. Globální hustota a lokální unipotence zde plní různé role a nelze je navzájem zaměňovat.

📋 Čtyři hypotézy o charakteristice, které nelze přeskočit

Existence je formulována za čtyř podmínek týkajících se Lieových algeber, Leviho podgrup a nilpotentních prvků. Nezkracuji je na vágní požadavek „dostatečně dobré charakteristiky“, protože by se tím ztratily důležité kvantifikátory.

1. Invariantní forma: na Lieově algebře existuje invariantní nedegenerovaná symetrická forma, která zůstává nedegenerovaná po omezení na Lieovu algebru centra každé Leviho podgrupy.
2. Invariantní polynomy: pro každou Leviho podgrupu omezení identifikuje invariantní polynomy na její Lieově algebře s polynomy na Lieově algebře jejího toru invariantními vůči Weylově grupě.
3. Centralizátory: každý polojednoduchý prvek Lieovy algebry má schématový centralizátor, který je Leviho podgrupou.
4. Nilpotentní prvky: nad každým rozšířením základního tělesa leží každý nilpotentní prvek v Lieově algebře unipotentního radikálu nějaké parabolické podgrupy definované nad tímto rozšířením.

U posledního bodu je zvlášť důležité „nad každým rozšířením“. Nestačí ověřit existenci vhodné parabolické podgrupy až nad algebraickým uzávěrem. Podmínka požaduje její definovatelnost nad právě uvažovaným tělesem.

Podobně výraz „schématový centralizátor“ ve třetím bodě nelze bez dalšího nahradit pouhou grupou bodů. Formulace pracuje s geometrickou strukturou centralizátoru, ne jen se seznamem prvků, které komutují.

Rukopis navíc nepřipojuje samostatný požadavek, aby p nedělilo řád Weylovy grupy. Z toho ale nevyvozuji, že je každá charakteristika automaticky přípustná. Správné čtení je užší: rozhodující jsou uvedené čtyři hypotézy, nikoli ještě další podmínka přidaná mimo ně.

🗺️ Proč důkaz začíná v charakteristice nula

Konstrukce nejprve přechází do charakteristiky nula. Tam spojí dvě označené křivky oddělujícím uzlem. Jejich hraniční monodromie jsou navzájem inverzní, takže se při spojení chovají kompatibilně. Následně se uzel vyhladí a vznikne hladká křivka.

Pomocí kompatibilních konečných pokrytí se na této hladké křivce získá nerozvětvený, Zariskiho hustý parametr. Korespondence v charakteristice nula pak poskytne nenulový lokálně konstruovatelný vlastní komplex. To je výchozí geometrický objekt, který má být dopraven zpět do požadované situace.

V této fázi je užitečné oddělit dva různé pohyby. Nejprve se mění geometrie křivky: hladká křivka degeneruje směrem k uzlové. Teprve později se mění charakteristika. Oba kroky používají specializační postupy, ale jejich účel není stejný.

První specializace vytváří dodatečnou strukturu v označeném bodě. Po zpětném obrazu a omezení na jednu složku získáme parametr požadovaný na této části křivky. Vedle něj však zůstávají obohacená praporková data, která původní zadání nechtělo.

Celou cestu si proto uspořádávám do čtyř etap:

1. Sestrojit nenulový vlastní komplex v charakteristice nula na hladké křivce.
2. Specializovat k uzlu a získat objekt s obohacenou praporkovou strukturou.
3. Odstranit obohacení a přejít k obyčejné Borelově redukci.
4. Provést další specializaci, která vrátí konstrukci do charakteristiky p.

Šipky mezi těmito etapami označují operace se svazky. Nejsou to jednoduše mapy mezi všemi nakreslenými moduli prostory. Toto rozlišení pomáhá pochopit, proč se nenulovost musí dokazovat zvlášť při různých přechodech.

⚠️ Zapomenutí pomocných dat může objekt zničit

Obohacené praporky obsahují více informací než obyčejná Borelova redukce. Mapa q, která toto obohacení zapomíná, je torovým torsorem. Nad jedním obyčejným praporkem tedy leží vlákno s geometrií algebraického toru.

Přirozeným krokem je přímý obraz s kompaktními nosiči, označovaný q_!. Jenže nenulový vstup nezaručuje nenulový výstup. Kohomologie podél vláken může zmizet. Samotná existence vlastního komplexu s obohacenými daty proto ještě nedává vlastní svazek bez těchto dat.

V konstrukci se navíc berou perverzní kohomologie před přímým obrazem i po něm. Není tedy přesné líčit tento krok jako obyčejné odstranění nadbytečné souřadnice. Jde o operaci v kategorii komplexů a svazků, při níž je nutné současně hlídat několik vlastností.

Hlavní pojistkou je monodromie podél torových vláken. Pokud její operátory budou unipotentní, lze ukázat, že určitá nejvyšší kohomologická část přežije. To poskytne nenulový stalk výsledného přímého obrazu.

Zde se obecný problém existence mění v mnohem konkrétnější otázku: jak se konečněrozměrný prostor mění při obcházení nezávislých smyček toru? Právě na tomto místě se do složité geometrie dostává elementární lineární algebra.

🔍 Jak stopy reprezentací vynutí unipotenci

Rukopis používá stopovou identitu centrálních svazků. Ta porovnává charaktery monodromie spojené s obohacením se stopami hraniční monodromie, a to pro všechny reprezentace duální grupy.

Hraniční monodromie je unipotentní. V konečněrozměrné reprezentaci má unipotentní operátor všechny vlastní hodnoty rovné jedné, takže jeho stopa je rovna dimenzi reprezentace. Stopová identita proto říká, že monodromie obohacení má ve všech těchto reprezentacích stejný charakter jako identita.

Jedna stopa by nestačila. Stejné číslo může vzniknout z různých souborů vlastních hodnot. Síla argumentu spočívá v souběžném použití charakterů všech reprezentací. Ty společně vynutí, aby každý společný zobecněný vlastní charakter byl triviální.

Výsledkem je unipotence navzájem komutujících operátorů torové monodromie. Mohou tedy mít netriviální nilpotentní část, ale jejich semisimple vlastní data se zredukují na identitu.

Tento přechod považuji za most mezi globální geometrií a lokálním výpočtem. Globalizace stopové identity je technická část důkazu, kterou zde nerozvádím. Jakmile je však unipotence k dispozici, následující tvrzení o nenulových koinvariantech lze dokázat přímo a úplně.

🧮 Dvourozměrný příklad: jeden směr zmizí, druhý přežije

Vezmu dvourozměrný prostor s bází e₁, e₂ a monodromii T danou předpisem T(e₁) = e₁ a T(e₂) = e₂ + e₁. Operátor není identita, ale je unipotentní.

Po odečtení identity dostanu N = T − id. Pak N(e₁) = 0 a N(e₂) = e₁. Odtud N² = 0. Nilpotentní část tedy posune druhý bazický vektor do prvního a další aplikace už vše vynuluje.

Koinvarianty vzniknou tak, že ztotožním vektor s jeho transportovanou verzí. Algebraicky jde o kvocient W/NW. Obraz N je zde přímka generovaná e₁, takže tato přímka v kvocientu zmizí.

Třída e₂ ale zůstane nenulová. Proto má kvocient dimenzi jedna. Monodromie tedy skutečně odstraní část informace, nikoli však celý prostor.

Na příkladu mi připadá nejcennější rozdíl mezi trivialitou a unipotencí. Pro přežití nepotřebujeme, aby transport nedělal vůbec nic. Stačí vhodně omezený nilpotentní účinek. Tento příklad ovšem pouze ilustruje výpočet na torovém vlákně; není konstrukcí Zariskiho hustého parametru z hlavního tvrzení.

🧩 Obecný důkaz: komutující nilpotentní operátory nemohou pohltit vše

Teď vezmu libovolný nenulový konečněrozměrný prostor W. Zvolím konečně mnoho komutujících unipotentních monodromií odpovídajících bázi grupy torových smyček. Každou zapíšu jako T_i = id + N_i, kde N_i je nilpotentní.

V komutativní algebře těchto operátorů označím I ideál generovaný všemi N_i. Pro každý index vyberu kladné celé číslo d_i tak, aby N_i^d_i = 0. Potom položím:

b = 1 + Σ_i(d_i − 1).

Proč je toto číslo užitečné? Každý součin b generátorů musí obsahovat alespoň d_i kopií některého N_i. Kdyby totiž všech generátorů bylo nejvýše d_i − 1, celkový počet faktorů by byl nejvýše b − 1.

Protože operátory komutují, mohu stejné faktory seskupit. V součinu se pak objeví nulová mocnina N_i^d_i. Každý takový součin je nulový, a tedy I^bW = 0.

Nyní předpokládám pro spor, že prostor koinvariantů W/IW je nulový. To znamená W = IW. Opakovaným dosazením získám W = I²W, následně W = I³W a nakonec W = I^bW = 0.

To odporuje původnímu předpokladu. Proto platí W/IW ≠ 0. Důkaz používá jen konečnou dimenzi, nilpotenci a komutativitu. Právě komutativita dovoluje seskupit faktory a získat společnou nilpotentní mez pro celý ideál.

Výsledek je malý rozsahem, ale velký významem: nenulový prostor s tímto typem monodromie nemůže po přechodu ke koinvariantům úplně zmizet. Zbývá vysvětlit, jak se toto tvrzení promění v nenulovost geometrického přímého obrazu.

📐 Od koinvariantů ke kohomologii torového vlákna

Vyberu torové vlákno, které protíná místo s nenulovým stalkem vstupního komplexu. Monodromičnost zajišťuje, že kohomologické svazky omezeného komplexu jsou na tomto vlákně lokálně konstantní a konečněrozměrné. Komplex je zde také omezený.

Mohu tedy zvolit jeho nejvyšší nenulový kohomologický svazek a označit W jedno jeho vlákno. Výše dokázané tvrzení říká, že koinvarianty příslušné unipotentní monodromie jsou nenulové.

Má-li torus dimenzi r, jeho nejvyšší kohomologie s kompaktními nosiči se nachází ve stupni 2r. Pro daný lokální systém ji popisují právě tyto koinvarianty, s příslušným Tateovým twistem. Twist mění doplňující strukturu, nikoli samotný fakt nenulovosti.

Ještě je potřeba zajistit, aby tato třída přežila spektrální posloupnost počítající kohomologii celého komplexu. Volba nejvyššího nenulového kohomologického svazku a současně nejvyššího stupně 2r umístí třídu do krajního rohu.

Do tohoto rohu nemůže přijít diferenciál z vyššího kohomologického svazku, protože žádný takový nenulový svazek není. Nemůže z něj ani odejít diferenciál nad stupeň 2r, kde torus už nemá kohomologii s kompaktními nosiči. Nenulová třída proto přežije.

Výsledkem je nenulový stalk q_! aplikovaného na vstupní komplex. Pro tento argument není nutná jednotná mez kohomologických stupňů na celém moduli stacku. Stačí omezenost na jednom vhodně zvoleném torovém vlákně. To je podstatné zjednodušení, nikoli mezera v důkazu.

🧵 Lokální konstruovatelnost neznamená konečný globální nosič

U moduli stacku bundlů je třeba zacházet opatrně se slovem „konstruovatelný“. Lokální konstruovatelnost a perverzita se posuzují na každém hladkém atlasu konečného typu. Neříkají automaticky, že svazek žije pouze na konečně mnoha globálních stratech bundlů.

To je důležité pro správné pochopení předchozího výpočtu. Na vybraném vlákně pracujeme s konečněrozměrnými prostory a omezeným komplexem. Z toho však neodvozuji stejnou globální konečnost celého prostoru parametrizujícího bundly.

V konstrukci tedy vedle sebe stojí dvě úrovně kontroly. Lokální konečnost dovoluje použít lineární algebru a kohomologické argumenty. Globální geometrie stacku vyžaduje jiné formulace a nelze ji jednoduše nahradit jedním konečněrozměrným modelem.

Právě přesná formulace výsledku brání přehnané interpretaci. Nenulový lokálně konstruovatelný perverzní svazek je silný závěr. Není ale současně slibem, že všechny jeho vlastnosti lze popsat na konečném seznamu částí celého moduli prostoru.

🌉 Blízké cykly vyžadují jinou pojistku nenulovosti

Torový argument řeší zapomenutí obohacených praporků. Neřeší automaticky další riziko: ztrátu objektu při specializaci pomocí blízkých cyklů. Pro tuto část používá rukopis odlišný geometrický mechanismus.

Vlastní, vhodně omezené Heckeho prostory umožňují přiblížit nenulový stalk k požadovanému speciálnímu vláknu. Příčné Heckeho modifikace a současné řezy pak slouží k detekci nenulovosti. Tato část je mikrolokální a není pouhým opakováním důkazu s ideálem I.

Za důležité považuji právě rozdělení odpovědnosti. Unipotentní monodromie chrání přímý obraz podél torového torsoru. Geometrie Heckeho modifikací a řezů chrání jiný specializační krok. Jedna pojistka nenahrazuje druhou.

Pro terminologickou orientaci lze použít přehled blízkých cyklů. V této konstrukci však rozhoduje konkrétní argument zajišťující nenulovost, nikoli jen samotná existence příslušného funktoru.

Zde proto uvádím cestovní mapu důkazu, ne jeho úplnou mikrolokální rekonstrukci. Úplně ověřený lokální výpočet má přesně vymezenou působnost. Takové oddělení mi připadá poctivější než představovat celou specializaci jako samozřejmý důsledek několika řádků lineární algebry.

🌱 Návrat do charakteristiky p

V závěrečné etapě se původní křivka spolu s kompatibilními konečnými kvocienty svého parametru zdvihne do smíšené charakteristiky. Na straně charakteristiky nula se vytvoří vlastní svazek a poté se vezmou geometrické blízké cykly.

Důležitý detail zní: tento krok se provádí bez následného braní invariantů vůči inertii. Formulace výsledku používá právě geometrické blízké cykly, a proto do ní nepřidávám další operaci, která by mohla výsledný objekt změnit.

Podle tvrzení rukopisu je takto získaný objekt v charakteristice p nenulový, lokálně konstruovatelný a perverzní. Zároveň nese plný koherentní systém Heckeho vlastních izomorfismů, včetně kompatibility pro více bodů, tensorové součiny, permutace a kolize.

První specializace tedy přidala strukturu související s označeným bodem, zatímco druhá změnila charakteristiku. Mezi nimi bylo nutné odstranit obohacení a prokázat, že objekt přežije. Toto pořadí vysvětluje, proč konstrukce není jedním přímočarým přenosem hotového svazku.

Za podstatný výsledek považuji zachování všech požadovaných vlastností současně. Nenulovost by sama nestačila bez Heckeho struktury. Vlastní rovnice by zase nestačila bez nenulovosti. A obojí musí být spojeno s požadovanou konstruovatelností a perverzitou.

🎯 Singulární nosič zůstává v nilpotentním kuželu

Závěr má ještě mikrolokální část. Singulární nosič výsledného svazku leží v parabolickém globálním nilpotentním kuželu. Není tedy dovoleno, aby jeho singularity mířily libovolně do všech kotangentních směrů moduli prostoru.

V popisu pomocí Higgsových polí to znamená, že pole je genericky nilpotentní. V označeném bodě má reziduum v Lieově algebře unipotentního radikálu určeného praporkem. Globální nilpotence a lokální podmínka u praporku tak tvoří společné geometrické omezení.

Tento závěr nepovažuji za vedlejší ozdobu vlastní rovnice. Určuje, v jaké části geometrie může výsledný objekt vykazovat singularity. Konstrukce tedy nekontroluje jen reakci na Heckeho operace, ale i povolený mikrolokální charakter svazku.

Zároveň jej nezaměňuji s tvrzením o hladkosti nebo trivialitě svazku. Omezení singulárního nosiče do nilpotentního kuželu je přesná geometrická podmínka. Neříká, že singularity zmizely, nýbrž že jsou umístěny v požadované oblasti.

💡 Hlavní přínos: objekt přežije celou cestu

Výsledek bych shrnul nikoli jako další vlastní formuli, ale jako konstrukci, která obstojí při několika nebezpečných přechodech. Objekt vzniká v charakteristice nula, projde degenerací, získá pomocnou strukturu, zbaví se jí a nakonec se specializuje do charakteristiky p.

V každém bodě je nutné rozlišovat formální kompatibilitu od skutečné existence. Nulový objekt by mohl splnit vlastní rovnici, ale nenesl by hledanou informaci. Rukopis proto průběžně zajišťuje, že výsledná geometrie není prázdná.

Nejčitelnější lokální mechanismus má tuto podobu:

1. Stopové identity propojí monodromii obohacení s unipotentní hraniční monodromií.
2. Charaktery všech reprezentací vynutí unipotenci torových operátorů.
3. Komutující nilpotentní části mají společně nilpotentní ideál.
4. Nenulový prostor proto má nenulové koinvarianty.
5. Nejvyšší torová kohomologie tuto nenulovost přenese do přímého obrazu.

Na tomto řetězci oceňuji, že přesně ukazuje místo, kde jednoduchý algebraický fakt zachrání složitý geometrický objekt. Zbytek konstrukce vyžaduje další nástroje, zejména kontrolu blízkých cyklů a singulárního nosiče. Základní poselství ale zůstává jasné: vyřešit vlastní rovnici znamená víc než napsat správnou identitu. Je nutné sestrojit něco, co při všech přechodech skutečně nezmizí.