Гипотезы Вейля — математические гипотезы о локальных дзета-функциях проективных многообразий над конечными полями.
Гипотезы Вейля утверждают, что локальные дзета-функции должны быть рациональны, удовлетворять функциональному уравнению, а их нули лежать на критических прямых. Последние 2 гипотезы аналогичны гипотезе Римана для дзета-функции Римана.
Гипотезы в общем виде были сформулированы Андре Вейлем в 1949 году, рациональность была доказана Бернардом Дворком в 1960 году, функциональное уравнение — Александром Гротендиком в 1965 году, аналог гипотезы Римана — Пьером Делинем в 1974 году[1].
Пусть — неособое -мерное проективное алгебраическое многообразие над конечным полем . Его конгруэнц-дзета-функция определяется как
где — число точек над -мерным расширением поля . Локальная дзета-функция .
1. (Рациональность) является рациональной функцией . Точнее, может быть представлено в виде конечного произведения