Сумма Гаусса¶

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

¶Определение

Пусть \( \mathbb{F}_q \) — конечное поле из \( q = p^m \) элементов, где \( p \) — простое число. Пусть \( \chi : \mathbb{F}_q^\times \to \mathbb{C}^\times \) — мультипликативный характер (гомоморфизм мультипликативной группы поля в комплексные числа), а \( \psi : \mathbb{F}_q \to \mathbb{C}^\times \) — нетривиальный аддитивный характер (гомоморфизм аддитивной группы поля в комплексные числа). Тогда суммой Гаусса \( G(\chi, \psi) \) называется выражение:

\[ G(\chi, \psi) = \sum_{x \in \mathbb{F}_q^\times} \chi(x) \psi(x). \]

Для удобства часто полагают \( \chi(0) = 0 \), что позволяет суммировать по всем элементам поля:

\[ G(\chi, \psi) = \sum_{x \in \mathbb{F}_q} \chi(x) \psi(x). \]

Если характер \( \chi \) тривиален (т.е. \( \chi(x) = 1 \) для всех \( x \neq 0 \)), то сумма Гаусса вырождается в сумму значений аддитивного характера по всем ненулевым элементам, которая равна \(-1\). В случае нетривиального мультипликативного характера сумма Гаусса обладает важными свойствами, в частности, её модуль равен \( \sqrt{q} \) (при условии, что \( \chi \) не является тривиальным, а \( \psi \) — нетривиальным).

¶История

Суммы Гаусса впервые систематически изучал Карл Фридрих Гаусс в начале XIX века в контексте квадратичных вычетов. В 1801 году в своей книге «Арифметические исследования» (Disquisitiones Arithmeticae) Гаусс использовал суммы, названные впоследствии его именем, для доказательства квадратичного закона взаимности — одной из центральных теорем теории чисел. Изначально Гаусс рассматривал суммы вида:

\[ G(a) = \sum_{k=0}^{p-1} e^{2\pi i a k^2 / p}, \]

где \( p \) — нечётное простое число, а \( a \) — целое число, не кратное \( p \). Эти суммы, известные как квадратичные суммы Гаусса, являются частным случаем общих сумм Гаусса для квадратичного характера.

Впоследствии теория сумм Гаусса была обобщена на произвольные конечные поля и абелевы группы, а также нашла применение в алгебраической геометрии (гипотезы Вейля) и теории автоморфных форм.

¶Свойства

¶Основные свойства

1. Модуль суммы Гаусса: Для нетривиального мультипликативного характера \( \chi \) и нетривиального аддитивного характера \( \psi \) выполняется равенство:

\[ |G(\chi, \psi)| = \sqrt{q}. \] Это свойство является следствием ортогональности характеров и было доказано Гауссом для квадратичного случая.

1. Сопряжение: Если \( \overline{\chi} \) — комплексно-сопряжённый характер, то:

\[ G(\overline{\chi}, \psi) = \overline{G(\chi, \psi)}. \]

1. Умножение на скаляр: Для любого \( a \in \mathbb{F}_q^\times \) выполняется:

\[ G(\chi, \psi_a) = \overline{\chi}(a) G(\chi, \psi), \] где \( \psi_a(x) = \psi(ax) \).

1. Формула обращения: Суммы Гаусса позволяют выражать значения характеров через преобразование Фурье на конечной абелевой группе.

¶Квадратичные суммы Гаусса

Для нечётного простого числа \( p \) и квадратичного характера \( \chi_2(x) = \left(\frac{x}{p}\right) \) (символ Лежандра) квадратичная сумма Гаусса имеет вид:

\[ G(\chi_2, \psi) = \sum_{x=0}^{p-1} \left(\frac{x}{p}\right) e^{2\pi i x / p}. \]

Её значение известно точно: \[ G(\chi_2, \psi) = \begin{cases} \sqrt{p}, & \text{если } p \equiv 1 \pmod{4},\\ i\sqrt{p}, & \text{если } p \equiv 3 \pmod{4}. \end{cases} \]

Этот результат был получен Гауссом после многолетних усилий и является одним из первых примеров точного вычисления суммы Гаусса.

¶Применение

¶Доказательство квадратичного закона взаимности

Суммы Гаусса являются ключевым инструментом в классическом доказательстве квадратичного закона взаимности. Для двух нечётных простых чисел \( p \) и \( q \) закон утверждает, что: \[ \left(\frac{p}{q}\right)\left(\frac{q}{p}\right) = (-1)^{\frac{p-1}{2} \cdot \frac{q-1}{2}}, \] где \( \left(\frac{\cdot}{\cdot}\right) \) — символ Лежандра. Доказательство с использованием сумм Гаусса основано на вычислении произведения двух таких сумм и сравнении их по модулю \( p \) и \( q \).

¶Алгебраическая теория чисел

Суммы Гаусса используются для построения круговых полей и изучения их свойств. Например, сумма Гаусса для квадратичного характера порождает квадратичное подполе в круговом поле \( \mathbb{Q}(\zeta_p) \), где \( \zeta_p \) — примитивный корень \( p \)-й степени из единицы. Это позволяет доказывать теорему Кронекера — Вебера для квадратичных расширений.

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

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

¶Криптография

Суммы Гаусса находят применение в теории кодирования и криптографии, в частности, при анализе корреляционных свойств последовательностей и построении псевдослучайных генераторов. Например, они используются в оценках сложности дискретного логарифмирования.

¶Обобщения

¶Суммы Гаусса для произвольных групп

Суммы Гаусса могут быть определены для любой конечной абелевой группы \( G \) с характером \( \chi \) и аддитивным характером \( \psi \). В этом случае они называются суммами Гаусса на группах и играют роль в теории представлений.

¶Суммы Якоби

Суммы Якоби являются мультипликативными аналогами сумм Гаусса и выражаются через них. Они используются для подсчёта числа решений диофантовых уравнений над конечными полями и построения кодов.

¶Суммы Клоостермана

Суммы Клоостермана — это суммы вида: \[ K(a, b; n) = \sum_{x \in (\mathbb{Z}/n\mathbb{Z})^\times} e^{2\pi i (a x + b x^{-1}) / n}, \] которые обобщают суммы Гаусса и находят применение в аналитической теории чисел и теории модулярных форм.

¶Примеры

1. Поле \( \mathbb{F}_5 \): Пусть \( p = 5 \), \( \chi \) — квадратичный характер, \( \psi(x) = e^{2\pi i x / 5} \). Тогда:

\[ G(\chi, \psi) = \sum_{x=0}^{4} \left(\frac{x}{5}\right) e^{2\pi i x / 5} = 1 \cdot e^{0} + 1 \cdot e^{2\pi i /5} + (-1) \cdot e^{4\pi i /5} + (-1) \cdot e^{6\pi i /5} + 1 \cdot e^{8\pi i /5}. \] Вычисление даёт \( G = \sqrt{5} \), так как \( 5 \equiv 1 \pmod{4} \).

1. Поле \( \mathbb{F}_7 \): Для \( p = 7 \) (\( 7 \equiv 3 \pmod{4} \)) квадратичная сумма Гаусса равна \( i\sqrt{7} \).

¶Интересные факты

• Гаусс потратил несколько лет на вычисление точного значения квадратичной суммы Гаусса, и по легенде, он говорил, что это было его «самым большим триумфом».
• Суммы Гаусса тесно связаны с гауссовыми периодами, которые используются в теории Галуа для построения подполей круговых полей.
• В 1949 году Андре Вейль обобщил суммы Гаусса на случай алгебраических кривых, что привело к созданию теории гипотез Вейля.

¶Источники

• Айерлэнд К., Роузен М. «Классическое введение в современную теорию чисел». — М.: Мир, 1987.
• Боревич З.И., Шафаревич И.Р. «Теория чисел». — М.: Наука, 1985.
• Вейль А. «Основы теории чисел». — М.: Мир, 1972.
• Гаусс К.Ф. «Арифметические исследования». — М.: Изд-во АН СССР, 1959.
• Ленг С. «Алгебраическая теория чисел». — М.: Мир, 1971.