Weils formodninger er matematiske formodninger om lokale zeta-funktioner af projektive varianter over begrænsede felter .
Weils formodninger siger, at lokale zeta-funktioner skal være rationelle , opfylde en funktionel ligning og have deres nuller på de kritiske linjer. De sidste 2 hypoteser ligner Riemann-hypotesen for Riemann zeta-funktionen .
Hypoteser i generel form blev formuleret af André Weil i 1949, rationalitet blev bevist af Bernard Dwork i 1960, en funktionel ligning af Alexander Grothendieck i 1965, en analog til Riemann-hypotesen af Pierre Deligne i 1974 [1] .
Lad være en ikke-singular- dimensional projektiv algebraisk variation over et begrænset felt . Dens kongruens zeta funktion er defineret som
hvor er antallet af punkter over den dimensionelle forlængelse af feltet . Lokal zeta funktion .
Weyls hypoteser siger følgende:
1. (Rationalitet) er en rationel funktion . Mere præcist kan det repræsenteres som et slutprodukt
hvor hver er et polynomium med heltalskoefficienter. Desuden , og for alle over , og er nogle algebraiske heltal .
2. (Funktionel ligning og Poincaré-dualitet ) Zeta-funktionen opfylder relationen
eller tilsvarende
hvor er Euler -karakteristikken (selvskæringsindeks for diagonalen i ).
3. (Riemann-hypotese) for alle . Det følger heraf, at alle nuller ligger på den "kritiske linje" .
4. (Betti tal) Hvis er en god reduktion modulo en ikke- singular projektiv variation defineret over nogle tal felt indlejret i feltet af komplekse tal , så graden af , hvor er Betti tallet af rummet af komplekse punkter .