Гипотезы Вейля

Гипотезы Вейля — это серия из трёх глубоких теорем (изначально сформулированных как гипотезы) о производящих функциях числа решений систем алгебраических уравнений над конечными полями. Они были выдвинуты Андре Вейлем в 1949 году в работе «Числа решений уравнений в конечных полях» и оказали колоссальное влияние на развитие алгебраической геометрии, теории чисел и арифметической геометрии в XX веке. Гипотезы связывают топологические свойства алгебраических многообразий (в частности, их числа Бетти) с арифметическими свойствами соответствующих дзета-функций. Полное доказательство гипотез было получено в 1974 году Бернаром Дворком (рациональность), Александром Гротендиком (функциональное уравнение) и Пьером Делинем (аналог гипотезы Римана).

Предыстория и формулировка

Андре Вейль, один из основателей группы «Бурбаки», занимался проблемой подсчёта числа решений полиномиальных уравнений над конечными полями. Для конечного поля $\mathbb{F}_q$ (с $q = p^n$ элементами, где $p$ — простое число) рассматривается неособое проективное алгебраическое многообразие $V$, определённое над $\mathbb{F}_q$. Обозначим через $N_m$ число точек многообразия $V$ над расширением $\mathbb{F}_{q^m}$ (полем из $q^m$ элементов). Вейль заметил, что для многих классических многообразий (например, для кривых и абелевых многообразий) последовательность $N_m$ подчиняется строгим закономерностям, напоминающим свойства дзета-функции Римана.

Вейль определил дзета-функцию многообразия $V$ как формальный степенной ряд: \[ Z(V/\mathbb{F}_q; t) = \exp\left( \sum_{m=1}^{\infty} \frac{N_m}{m} t^m \right). \]

Исходя из эмпирических данных и аналогий с топологией комплексных многообразий, Вейль сформулировал три гипотезы:

1. Рациональность: $Z(V/\mathbb{F}_q; t)$ является рациональной функцией от $t$ с целыми коэффициентами. Точнее, существует представление в виде:

\[ Z(V/\mathbb{F}_q; t) = \frac{P_1(t) P_3(t) \cdots P_{2d-1}(t)}{P_0(t) P_2(t) \cdots P_{2d}(t)}, \] где $d$ — размерность многообразия $V$, а $P_i(t)$ — многочлены с целыми коэффициентами, причём $P_0(t) = 1 - t$ и $P_{2d}(t) = 1 - q^d t$.

1. Функциональное уравнение: Дзета-функция удовлетворяет функциональному уравнению:

\[ Z(V/\mathbb{F}_q; q^{-d} t^{-1}) = \varepsilon \, q^{-d\chi/2} \, t^{-\chi} \, Z(V/\mathbb{F}_q; t), \] где $\chi$ — эйлерова характеристика многообразия $V$ (вычисленная в смысле этальных когомологий), а $\varepsilon$ — некоторый корень из единицы.

1. Аналог гипотезы Римана: Все корни многочленов $P_i(t)$ (как функции от комплексной переменной $t$) имеют абсолютную величину $q^{-i/2}$. Иными словами, если записать $P_i(t) = \prod_{j} (1 - \alpha_{i,j} t)$, то $|\alpha_{i,j}| = q^{i/2}$ для всех $i$ и $j$.

Эти гипотезы обобщали известные результаты для кривых (доказанные самим Вейлем в 1940-х годах) и для абелевых многообразий.

Доказательство гипотез

Доказательство гипотез Вейля стало одной из главных задач алгебраической геометрии середины XX века и потребовало создания принципиально новых математических инструментов.

Рациональность (Бернар Дворк, 1960)

Первое полное доказательство рациональности было дано Бернаром Дворком в 1960 году. Он использовал методы $p$-адического анализа, в частности теорию $p$-адических дифференциальных уравнений и $p$-адические интегралы. Дворк показал, что дзета-функция является рациональной функцией, не прибегая к топологическим методам. Его работа продемонстрировала, что гипотеза Вейля о рациональности верна для любого (не обязательно неособого) алгебраического многообразия над конечным полем.

Функциональное уравнение (Александр Гротендик, 1964–1965)

Александр Гротендик предложил принципиально новый подход, основанный на созданной им теории этальных когомологий. Эта теория позволила применить методы топологии (когомологии) к алгебраическим многообразиям над полями произвольной характеристики. Гротендик интерпретировал числа $N_m$ как числа неподвижных точек эндоморфизма Фробениуса на этальных когомологиях и вывел формулу Лефшеца для этого эндоморфизма. Это дало не только доказательство рациональности (как частный случай), но и строгое обоснование функционального уравнения. Гротендик показал, что многочлены $P_i(t)$ являются характеристическими многочленами действия Фробениуса на $i$-й группе этальных когомологий многообразия $V$, что автоматически даёт рациональность и функциональное уравнение (из двойственности Пуанкаре).

Аналог гипотезы Римана (Пьер Делинь, 1974)

Самая сложная часть — доказательство того, что все собственные значения Фробениуса на $i$-й группе когомологий имеют абсолютную величину $q^{i/2}$ (аналог гипотезы Римана). Это было доказано Пьером Делинем в 1974 году в его знаменитой работе «La conjecture de Weil, I» (вторая часть вышла в 1980 году). Делинь использовал глубокие идеи Гротендика, теорию представлений алгебраических групп, методы $l$-адических когомологий и технику скручивания (twisting) многообразий. Ключевым шагом стало рассмотрение семейств многообразий и применение теоремы о полупростоте действия Фробениуса. Доказательство Делиня считается одним из величайших достижений математики XX века.

Значение и следствия

Гипотезы Вейля имеют фундаментальное значение для нескольких областей математики.

Развитие алгебраической геометрии

Доказательство гипотез стимулировало создание и развитие этальных когомологий, теории мотивов Гротендика и современной арифметической геометрии. Методы, разработанные для доказательства, стали стандартными инструментами в теории чисел и алгебраической геометрии.

Применение в теории чисел

Гипотезы Вейля позволяют получать точные оценки для числа решений диофантовых уравнений над конечными полями. Например, для неособой проективной кривой рода $g$ над $\mathbb{F}_q$ число точек $N$ удовлетворяет неравенству Хассе — Вейля: \[ |N - (q+1)| \le 2g \sqrt{q}. \] Это прямое следствие аналога гипотезы Римана для кривых (доказанного Вейлем ранее). Для многообразий большей размерности аналогичные оценки следуют из общей теории.

Связь с гипотезой Римана

Гипотезы Вейля часто рассматривают как аналог классической гипотезы Римана для дзета-функции Римана, но в контексте конечных полей. Они показывают, что «правильные» нули дзета-функций алгебраических многообразий лежат на «критической прямой», что подтверждает глубокую аналогию между арифметикой и топологией.

Дальнейшие обобщения

Работы Делиня и Гротендика привели к созданию теории мотивов, которая пытается унифицировать различные когомологические теории. Гипотезы Вейля также легли в основу гипотез Свиннертона-Дайера и программы Ленглендса, связывающей теорию чисел с теорией представлений.

Пример: дзета-функция проективной прямой

Рассмотрим проективную прямую $\mathbb{P}^1$ над $\mathbb{F}_q$. Для неё $d=1$, число точек над $\mathbb{F}_{q^m}$ равно $N_m = q^m + 1$ (одна бесконечно удалённая точка плюс $q^m$ аффинных). Тогда: \[ Z(\mathbb{P}^1/\mathbb{F}_q; t) = \exp\left( \sum_{m=1}^\infty \frac{q^m+1}{m} t^m \right) = \frac{1}{(1-t)(1-qt)}. \] Здесь $P_0(t) = 1-t$, $P_2(t) = 1-qt$, а $P_1(t) = 1$ (пустое произведение). Корни: $t=1$ (абсолютная величина $1 = q^{0/2}$) и $t=1/q$ (абсолютная величина $q^{-1} = q^{-2/2}$). Функциональное уравнение выполняется с $\varepsilon=1$, $\chi=2$.

Критика и ограничения

Хотя гипотезы Вейля полностью доказаны, их доказательство опирается на очень сложный аппарат этальных когомологий, который недоступен для элементарного изложения. Некоторые математики (например, Серр) отмечали, что для полного понимания требуется глубокая подготовка в области алгебраической геометрии. Кроме того, гипотезы Вейля не дают конструктивного метода вычисления дзета-функций — они лишь утверждают их существование и свойства. Вычисление конкретных дзета-функций для сложных многообразий остаётся трудной вычислительной задачей.

Источники

• Weil, A. (1949). «Numbers of solutions of equations in finite fields». Bulletin of the American Mathematical Society, 55(5), 497–508.
• Dwork, B. (1960). «On the rationality of the zeta function of an algebraic variety». American Journal of Mathematics, 82(3), 631–648.
• Grothendieck, A. (1965). «Formule de Lefschetz et rationalité des fonctions $L$». Séminaire Bourbaki, 279, 1–15.
• Deligne, P. (1974). «La conjecture de Weil, I». Publications Mathématiques de l'IHÉS, 43, 273–307.
• Deligne, P. (1980). «La conjecture de Weil, II». Publications Mathématiques de l'IHÉS, 52, 137–252.
• Хартсхорн, Р. (1981). Алгебраическая геометрия. М.: Мир. (Глава 5, раздел о гипотезах Вейля).