Hasse-Weyl zeta funkce je obdobou Riemannovy zeta funkce , která je sestavena složitějším způsobem z počtu bodů variety v konečném poli. Jedná se o komplexní analytickou funkci, u eliptických křivek její chování v blízkosti bodu 1 úzce souvisí se skupinou racionálních bodů této eliptické křivky.
Hasse-Weylova zeta funkce, připojená k algebraické rozmanitosti definované přes algebraické číselné pole , je jedním ze dvou nejdůležitějších typů L-funkcí . Takové L -funkce se nazývají globální , protože jsou definovány jako Eulerův součin lokálních zeta funkcí . Tvoří jednu ze dvou hlavních tříd globálních L - funkcí a druhou jsou L - funkce spojené s automorfními reprezentacemi . Hypoteticky se předpokládá, že existuje pouze jeden základní typ globální L -funkce se dvěma popisy (jeden z nich pochází z algebraické variety, druhý z automorfní reprezentace); toto by bylo široké zobecnění Taniyama-Shimurovy domněnky , nejhlubšího a nejnovějšího výsledku (od roku 2009) v teorii čísel .
Popis Hasse-Weil zeta funkce až po konečný počet faktorů jejího Eulerova součinu je poměrně jednoduchý. Toto přišlo z počátečních úvah Hasse a Weyl , motivovaný případem kde je jediný bod a Riemann zeta funkce.
Vezmeme-li případ u je nesingulární projektivní varieta , můžeme uvažovat modulovou redukci pro téměř všechna prvočísla , tedy algebraickou varietu nad konečným tělesem . Téměř pro každého to bude nespeciální. Dirichletovu řadu definujeme jako komplexní proměnnou , která je nekonečným součinem všech prvočísel lokálních zeta funkcí . Pak je podle naší definice dobře definováno pouze do násobení racionální funkcí to v konečném počtu argumentů tvaru .
Protože tato neurčitost je relativně neškodná a má všude meromorfní rozšíření , existuje smysl, ve kterém jsou vlastnosti na ní v podstatě nezávislé. Zejména, ačkoli přesný tvar funkcionální rovnice pro , bude určitě záviset na chybějících faktorech, existence takové funkcionální rovnice nebude záviset na těchto faktorech.
Jasnější definice Hasse-Weil zeta funkce byla umožněna rozvojem étale cohomology ; úhledně vysvětlují, co dělat s chybějícími faktory při špatné redukci. Podle obecných principů viděných v teorii větvení nesou prvočísla se špatnou redukcí dobrou informaci ( teorie vodičů ). To se projevuje v teorii etales v Ogg-Neron-Shafarevich kritériu pro dobrou redukci , totiž že v určitém smyslu existuje dobrá redukce všech prvočísel , pro něž je Galoisova reprezentace na etalové cohomologii skupiny nerozvětvená . Pro ně může být definice lokální zeta funkce obnovena z hlediska charakteristického polynomu , kde je Frobeniův endomorfismus pro . Co se stane, když se rozvětví , je něco, co je v setrvačné skupině netriviální . Pro taková prvočísla musí být definice opravena tím, že se vezme největší podíl zobrazení, na kterém setrvačná grupa působí , triviálním zobrazením . Díky tomuto zdokonalení lze definici úspěšně upgradovat z téměř všech na všechny , které jsou součástí produktu Euler. Důsledky z funkční rovnice byly vyvinuty Serre a Deligne v pozdních šedesátých létech; samotná funkcionální rovnice nebyla vůbec prokázána.
Dovolit být eliptická křivka přes c vodič , a být libovolné prvočíslo. Pak má dobrou redukci pro všechny , nikoli dělení , má multiplikativní snížení , pokud dělí , ale nedělí , a má aditivní snížení v ostatních případech (to znamená, pokud dělí ). Poté Hasse-Weilova zeta funkce nabývá tvaru
Zde je obvyklá Riemannova zeta funkce a nazývá se L - funkce , která má tvar
kde je dáno ,
kde v případě dobrého snížení a v případě násobného snížení v závislosti na tom, zda nebo je odděleno nerozděleným násobným snížením v .
Hasse-Weilova domněnka říká, že Hasse-Weilova zeta funkce musí být analyticky rozšířena na meromorfní funkci na celé komplexní rovině a musí splňovat funkční rovnici podobnou funkcionální rovnici pro Riemannovu zeta funkci. Pro eliptické křivky nad racionálními čísly vyplývá Hasse-Weilova domněnka z teorému modularity .
L -funkce v teorii čísel | |
---|---|
Analytické příklady |
|
Algebraické příklady |
|
Věty |
|
Analytické hypotézy |
|
Algebraické dohady |
|
p - adic L -functions |
|