Weils gissningar är matematiska gissningar om lokala zetafunktioner hos projektiva varieteter över finita fält .
Weils gissningar säger att lokala zetafunktioner måste vara rationella , uppfylla en funktionell ekvation och ha sina nollor ligga på de kritiska linjerna. De två sista hypoteserna liknar Riemann-hypotesen för Riemanns zeta-funktion .
Hypoteser i allmän form formulerades av André Weil 1949, rationalitet bevisades av Bernard Dwork 1960, en funktionell ekvation av Alexander Grothendieck 1965, en analog till Riemann-hypotesen av Pierre Deligne 1974 [1] .
Låta vara en icke -singular- dimensionell projektiv algebraisk variation över ett ändligt fält . Dess kongruens zeta-funktion definieras som
där är antalet punkter över den dimensionella förlängningen av fältet . Lokal zeta-funktion .
Weyls hypoteser säger följande:
1. (Rationalitet) är en rationell funktion . Mer exakt kan den representeras som en slutprodukt
där var och en är ett polynom med heltalskoefficienter. Dessutom , och för alla över , och är några algebraiska heltal .
2. (Funktionell ekvation och Poincaré-dualitet ) Zetafunktionen uppfyller relationen
eller likvärdig
var är Euler-karakteristiken (självskärningsindex för diagonalen i ).
3. (Riemanns hypotes) för alla . Det följer att alla nollor ligger på den "kritiska linjen" .
4. (Betti-tal) Om är en bra reduktion modulo en icke- singular projektiv variation definierad över något talfält inbäddat i fältet av komplexa tal , då är graden av , där är Betti-talet för utrymmet av komplexa punkter .