от Гаусса к Гекке

 Философия  Эриха Гекке (Erich Hecke)  в теории чисел заключается в следующем: 

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

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

Ниже показано, как устроено это доказательство.

---

### 1. Главный инструмент: Тета-функция Якоби и ее модулярное свойство

Рассмотрим классическую тета-функцию в верхней полуплоскости \(\operatorname{Im} \tau > 0\):
\[
\theta(\tau) = \sum_{m \in \mathbb{Z}} e^{\pi i m^2 \tau}.
\]

Ее главное свойство — **закон модулярного преобразования** (вытекающий из формулы суммирования Пуассона и интегрирования гауссова колокола):
\[
\theta(\tau) = \frac{1}{\sqrt{-i\tau}} \, \theta\left( -\frac{1}{\tau} \right),
\]
где ветвь квадратного корня берется так, чтобы \(\sqrt{-i\tau} > 0\) при чисто мнимом \(\tau = it\) (\(t > 0\)).

Множитель \(\frac{1}{\sqrt{-i\tau}}\) содержит в себе всю информацию о комплексной фазе гауссова интеграла:
\[
\int_{-\infty}^\infty e^{\pi i \tau x^2} dx = \frac{1}{\sqrt{-i\tau}}.
\]

---

### 2. Идея Гекке: приближение к рациональной точке границы

Пусть \(n \ge 3\) — нечетное натуральное число. Рассмотрим поведение тета-функции, когда точка \(\tau\) стремится к рациональной точке границы:
\[
\tau = \frac{2}{n} + it, \quad \text{где } t \to 0^+.
\]

#### Вычислим асимптотику левой части \(\theta(\tau)\):
Разобьем сумму по всем целым числам \(m \in \mathbb{Z}\) на классы вычетов по модулю \(n\):
\[
m = k + j n, \quad \text{где } k = 0, 1, \dots, n-1, \quad j \in \mathbb{Z}.
\]

Тогда:
\[
\theta\left( \frac{2}{n} + it \right) = \sum_{k=0}^{n-1} e^{\frac{2\pi i k^2}{n}} \sum_{j \in \mathbb{Z}} e^{-\pi t (k + j n)^2}.
\]

При \(t \to 0^+\) внутренняя сумма по \(j\) аппроксимируется непрерывным интегралом:
\[
\sum_{j \in \mathbb{Z}} e^{-\pi t n^2 (j + k/n)^2} \sim \int_{-\infty}^\infty e^{-\pi t n^2 x^2} dx = \frac{1}{n \sqrt{t}}.
\]
(Остальные гармоники убывают экспоненциально быстро).

Вынося интегральный множитель, получаем, что **сумма Гаусса \(S(n)\) в точности является коэффициентом при главной сингулярности**:
\[
\theta\left( \frac{2}{n} + it \right) = \frac{S(n)}{n \sqrt{t}} + O(1) \quad (t \to 0^+).
\]

---

### 3. Модулярный поворот \(\tau \mapsto -1/\tau\) и редукция к сумме длины 2

Теперь применим к той же функции формулу модулярного обращения:
\[
\theta(\tau) = \frac{1}{\sqrt{-i\tau}} \, \theta\left( -\frac{1}{\tau} \right).
\]

Вычислим инвертированный аргумент при \(\tau = \frac{2}{n} + it\):
\[
-\frac{1}{\tau} = -\frac{1}{\frac{2}{n} + it} \approx -\frac{n}{2} + i \frac{n^2 t}{4} \quad (t \to 0^+).
\]

Здесь возникает магия модулярного шага: знаменатель дроби стал равен не \(n\), а **двойке**!
Разобьем сумму в \(\theta\left(-\frac{1}{\tau}\right)\) на классы вычетов **по модулю 2** (\(m = r + 2j\), где \(r \in \{0, 1\}\)):
\[
\theta\left( -\frac{n}{2} + i \frac{n^2 t}{4} \right) = \sum_{r=0}^1 e^{-\frac{\pi i r^2 n}{2}} \sum_{j \in \mathbb{Z}} e^{-\pi \frac{n^2 t}{4} (r + 2j)^2}.
\]

Внутренняя сумма при \(t \to 0^+\) дает интеграл:
\[
\int_{-\infty}^\infty e^{-\pi n^2 t x^2} dx = \frac{1}{n \sqrt{t}}.
\]
А внешняя сумма состоит всего из **двух слагаемых** (\(r = 0\) и \(r = 1\)):
\[
\sum_{r=0}^1 e^{-\frac{\pi i r^2 n}{2}} = 1 + e^{-\frac{\pi i n}{2}} = 1 + (-i)^n.
\]

Множитель перед тета-функцией при \(t \to 0^+\) равен:
\[
\frac{1}{\sqrt{-i \cdot \frac{2}{n}}}  = \frac{1 + i}{2} \sqrt{n}.
\]

Собирая правую часть воедино:
\[
\frac{1}{\sqrt{-i\tau}} \, \theta\left( -\frac{1}{\tau} \right) = \left( \frac{1 + i}{2} \sqrt{n} \right) \left( 1 + (-i)^n \right) \frac{1}{n \sqrt{t}} + O(1).
\]

---

### 4. Момент истины: сравнение сингулярностей

Приравнивая коэффициенты при главной сингулярности \(\frac{1}{n \sqrt{t}}\) в левой и правой частях:
\[
S(n) = \frac{1 + i}{2} \sqrt{n} \, \big( 1 + (-i)^n \big).
\]

Эта компактная формула дает ответ мгновенно:

1. **Случай \(n \equiv 1 \pmod 4\):**
   Тогда \((-i)^n = -i\).
   \[
   S(n) = \frac{1 + i}{2} \sqrt{n} \, (1 - i) = \frac{(1 + i)(1 - i)}{2} \sqrt{n} = \frac{2}{2} \sqrt{n} = +\sqrt{n}.
   \]

2. **Случай \(n \equiv 3 \pmod 4\):**
   Тогда \((-i)^n = (-i)^3 = +i\).
   \[
   S(n) = \frac{1 + i}{2} \sqrt{n} \, (1 + i) = \frac{(1 + i)^2}{2} \sqrt{n} = \frac{2i}{2} \sqrt{n} = +i\sqrt{n}.
   \]

---

### В чем сила взгляда Гекке?

* **Геометрия вместо комбинаторики:** Знак суммы Гаусса рождается не из подсчета взаимных сокращений, а из комплексной фазы фундаментального гауссова интеграла:
  \[
  \frac{1}{\sqrt{-i}} = e^{i \pi / 4} = \frac{1 + i}{\sqrt{2}}.
  \]
* **Сворачивание длины \(n \to 2\):** Модулярная инверсия \(\tau \mapsto -1/\tau\) отображает задачу суммирования \(n\) членов в тривиальную сумму всего двух членов \(1 + (-i)^n\).
* **Единый источник истины:** Этот же подход Гекке применил для доказательства аналитического продолжения дзета-функций числовых полей и вывода  закона взаимности в алгебраических полях.