Якобиан кривой

Якобиан кривой (или якобиево многообразие) — это абелево многообразие, ассоциированное с гладкой проективной алгебраической кривой рода \( g \geq 1 \). Оно является универсальным объектом для линейных эквивалентностей дивизоров на кривой и параметризует классы изоморфизма линейных расслоений степени 0. Якобиан представляет собой компактную комплексную группу Ли размерности \( g \), наделённую структурой проективного алгебраического многообразия. В случае \( g = 1 \) якобиан изоморфен самой кривой (эллиптической кривой), а для \( g > 1 \) является более сложным объектом, играющим ключевую роль в алгебраической геометрии, теории чисел и математической физике.

История

Понятие якобиана восходит к работам Карла Густава Якоба Якоби (1804–1851), который в 1830-х годах изучал абелевы интегралы и их обращение. Якоби показал, что интегралы первого рода на кривой рода \( g \) могут быть обращены с помощью \( g \)-мерных тета-функций, что привело к построению многообразия, ныне называемого якобианом. В XIX веке теория развивалась Бернхардом Риманом, который ввёл римановы поверхности и доказал, что якобиан является комплексным тором \( \mathbb{C}^g / \Lambda \), где \( \Lambda \) — решётка периодов. В XX веке Андре Вейль в 1948 году дал строгое алгебраическое определение якобиана над произвольным полем, используя теорию дивизоров и линейных систем. В 1950-х годах Александр Гротендик обобщил понятие на схемы, введя якобиеву схему Пикара.

Определение

Пусть \( C \) — гладкая проективная алгебраическая кривая рода \( g \geq 1 \) над полем \( k \). Якобиан \( J(C) \) — это абелево многообразие, представляющее функтор Пикара \( \operatorname{Pic}^0_{C/k} \), который сопоставляет каждой \( k \)-схеме \( S \) множество классов изоморфизма линейных расслоений степени 0 на \( C \times S \), параметризованных по \( S \). Более конкретно, \( J(C) \) — это группа классов дивизоров степени 0 по модулю главных дивизоров, то есть \( J(C) = \operatorname{Pic}^0(C) \), наделённая структурой алгебраического многообразия.

Комплексный случай

Если \( k = \mathbb{C} \), то кривая \( C \) является римановой поверхностью. Выберем базис \( \{\omega_1, \dots, \omega_g\} \) пространства голоморфных 1-форм на \( C \) и базис \( \{a_1, b_1, \dots, a_g, b_g\} \) первой гомологии \( H_1(C, \mathbb{Z}) \). Матрица периодов \( \Omega \) размера \( g \times 2g \) формируется из интегралов \( \int_{a_i} \omega_j \) и \( \int_{b_i} \omega_j \). Тогда якобиан изоморфен комплексному тору \( \mathbb{C}^g / \Lambda \), где \( \Lambda \) — решётка, порождённая столбцами \( \Omega \). Этот тор является абелевым многообразием, если выполнены условия Римана (существует положительно определённая эрмитова форма, чья мнимая часть целочисленна на \( \Lambda \)).

Свойства

Размерность и род

Размерность якобиана равна роду кривой \( g \). Для \( g = 0 \) (сфера Римана) якобиан тривиален (точка). Для \( g = 1 \) якобиан изоморфен самой кривой (эллиптической кривой). Для \( g > 1 \) якобиан является многообразием размерности \( g \), не изоморфным кривой.

Абелева структура

Якобиан является абелевым многообразием, то есть проективным алгебраическим тором. Групповая операция задаётся сложением дивизоров: \( [D] + [D'] = [D + D'] \). Нейтральный элемент — класс главного дивизора. Эта структура делает \( J(C) \) коммутативной алгебраической группой.

Вложение Абеля — Якоби

Отображение Абеля — Якоби \( \phi: C \to J(C) \) определяется фиксацией базовой точки \( p_0 \in C \) и сопоставлением точке \( p \in C \) класса дивизора \( [p - p_0] \). Это отображение является голоморфным вложением (для \( g \geq 1 \)) и индуцирует изоморфизм \( \operatorname{Pic}^0(C) \cong J(C) \). Образ \( \phi(C) \) в \( J(C) \) называется кривой Якоби.

Теорема Торелли

Якобиан определяет кривую с точностью до изоморфизма: если \( J(C_1) \cong J(C_2) \) как поляризованные абелевы многообразия, то \( C_1 \cong C_2 \). Это утверждение известно как теорема Торелли.

Якобиан и тета-функции

Тета-функции Римана являются основным инструментом для изучения якобиана. Для решётки \( \Lambda \) и матрицы периодов \( \Omega \) тета-функция определяется как ряд: \[ \theta(z, \Omega) = \sum_{n \in \mathbb{Z}^g} \exp\left( \pi i n^T \Omega n + 2\pi i n^T z \right), \] где \( z \in \mathbb{C}^g \). Нули тета-функции задают дивизор на \( J(C) \), который является поляризацией. Тета-функции используются для явного описания групп точек на якобиане и в теории интегрируемых систем.

Применения

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

Якобиан является центральным объектом в теории кривых. Он используется для изучения пространств модулей кривых, в частности, для вычисления размерностей пространств модулей и для построения отображений периодов. Якобиан также связан с многообразием Куммера (фактор по инволюции \( x \mapsto -x \)).

Теория чисел

В арифметической геометрии якобиан кривой над конечным полем \( \mathbb{F}_q \) используется для оценки числа точек на кривой через гипотезу Вейля. Для кривой рода \( g \) число точек \( |C(\mathbb{F}_q)| \) связано с числом точек на якобиане \( |J(C)(\mathbb{F}_q)| \) формулой Вейля. Якобиан также применяется в криптографии на эллиптических кривых и гиперэллиптических кривых (например, в протоколах на основе спариваний).

Математическая физика

Якобиан появляется в теории интегрируемых систем, таких как уравнение Кортевега — де Фриза (КдФ) и уравнение sine-Gordon. Решения этих уравнений могут быть выражены через тета-функции на якобиане спектральной кривой. В частности, метод конечнозонного интегрирования использует якобиан для построения квазипериодических решений.

Примеры

Эллиптическая кривая (\( g = 1 \))

Для эллиптической кривой \( E: y^2 = x^3 + ax + b \) якобиан \( J(E) \) изоморфен самой \( E \). Группа точек \( E(\mathbb{C}) \) является комплексным тором \( \mathbb{C} / \Lambda \), где \( \Lambda \) — решётка периодов. Отображение Абеля — Якоби в этом случае является биекцией.

Гиперэллиптическая кривая (\( g = 2 \))

Кривая \( C: y^2 = x^5 + ax^3 + bx^2 + cx + d \) рода 2 имеет якобиан размерности 2. Якобиан является поверхностью, которая может быть вложена в проективное пространство \( \mathbb{P}^3 \) с помощью тета-функций. В отличие от кривой, якобиан не является гиперэллиптическим.

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

Якобиан не является универсальным объектом для всех кривых: для кривых с особенностями (например, узловых) якобиан может быть негладким или неабелевым. В таких случаях используется обобщённый якобиан (многообразие Пикара). Для кривых рода \( g > 1 \) якобиан не является проективным в смысле вложения в \( \mathbb{P}^N \) без дополнительной поляризации. Также вычисление якобиана для кривых над полями характеристики \( p > 0 \) может быть затруднено из-за неразделимости.

Источники

• Гриффитс Ф., Харрис Дж. Принципы алгебраической геометрии. — М.: Мир, 1982.
• Мамфорд Д. Лекции о тета-функциях. — М.: Мир, 1988.
• Вейль А. Введение в теорию алгебраических кривых. — М.: ИЛ, 1950.
• Hartshorne R. Algebraic Geometry. — Springer, 1977.
• Lang S. Abelian Varieties. — Springer, 1983.