Род кривой¶

Род кривой — это математическое понятие, используемое в алгебраической геометрии и топологии, обозначающее целочисленный топологический инвариант замкнутой ориентируемой поверхности (или алгебраической кривой), который интуитивно описывает количество «дырок» или «ручек» в этой поверхности. Для алгебраической кривой, заданной над полем комплексных чисел, род совпадает с топологическим родом соответствующей римановой поверхности, то есть с числом ручек у сферы, получаемой после разрешения особенностей кривой. Род является фундаментальной характеристикой, определяющей многие свойства кривой, включая размерность пространства дифференциалов, поведение рациональных функций и сложность классификации.

¶История

Понятие рода впервые возникло в работах Нильса Хенрика Абеля и Карла Густава Якоба Якоби в первой половине XIX века при изучении абелевых интегралов. Абель заметил, что интегралы от алгебраических функций имеют различное число независимых периодов, и это число связано с числом «дырок» на римановой поверхности. В 1857 году Бернхард Риман в своей работе «Теория абелевых функций» формализовал понятие рода как число ручек у замкнутой поверхности, которое он назвал «Geschlecht» (нем. «род»). Риман показал, что род является бирациональным инвариантом алгебраической кривой, то есть не меняется при замене координат, задаваемой рациональными функциями. В XX веке понятие рода было обобщено на высшие размерности (например, геометрический род для многомерных многообразий) и на поля других характеристик (например, в арифметической геометрии).

¶Определение и классификация

¶Топологическое определение

Для замкнутой ориентируемой поверхности (например, сферы, тора или поверхности с несколькими ручками) род \( g \) определяется как максимальное число непересекающихся замкнутых кривых, которые можно провести на поверхности, не разбивая её на отдельные компоненты. Или, эквивалентно, род равен числу ручек, которые нужно добавить к сфере, чтобы получить данную поверхность. Например:

• Сфера (поверхность без ручек) имеет род \( g = 0 \).
• Тор (поверхность с одной ручкой) имеет род \( g = 1 \).
• Поверхность с двумя ручками (например, крендель) имеет род \( g = 2 \).

Формула Эйлера связывает род с эйлеровой характеристикой \( \chi \) поверхности: \( \chi = 2 - 2g \). Для сферы \( \chi = 2 \), для тора \( \chi = 0 \), для поверхности рода 2 \( \chi = -2 \).

¶Алгебраическое определение

В алгебраической геометрии род гладкой проективной алгебраической кривой \( C \) над полем комплексных чисел определяется как размерность пространства голоморфных дифференциальных форм первой степени на \( C \). Обозначается \( g(C) = \dim H^0(C, \Omega_C^1) \). Для неособой кривой это число совпадает с топологическим родом соответствующей римановой поверхности. Для кривой, заданной уравнением \( f(x, y) = 0 \) степени \( d \) в проективной плоскости, род может быть вычислен по формуле: \( g = \frac{(d-1)(d-2)}{2} \), если кривая не имеет особых точек. При наличии особых точек (например, узлов или каспов) род уменьшается: \( g = \frac{(d-1)(d-2)}{2} - \sum \delta(P) \), где \( \delta(P) \) — вклад каждой особой точки (дефект рода).

¶Классификация по роду

Род является ключевым параметром для классификации алгебраических кривых:

• Кривые рода 0: рациональные кривые, которые бирационально эквивалентны проективной прямой \( \mathbb{P}^1 \). Примеры: прямая, коника (кривая второй степени без особых точек). Все такие кривые допускают параметризацию рациональными функциями.
• Кривые рода 1: эллиптические кривые. Они бирационально эквивалентны кубической кривой в форме Вейерштрасса \( y^2 = x^3 + ax + b \). Эллиптические кривые имеют групповую структуру и широко применяются в теории чисел и криптографии.
• Кривые рода \( g \ge 2 \): кривые общего типа. Они образуют многообразия модулей (например, пространство модулей \( \mathcal{M}_g \)), размерность которых равна \( 3g - 3 \) для \( g \ge 2 \). Такие кривые не допускают рациональной параметризации и имеют конечную группу автоморфизмов.

¶Свойства и характеристики

¶Формула Римана — Роха

Род тесно связан с теоремой Римана — Роха, которая для дивизора \( D \) на кривой \( C \) рода \( g \) даёт формулу: \( \dim H^0(C, \mathcal{O}(D)) - \dim H^0(C, \mathcal{O}(K - D)) = \deg D - g + 1 \), где \( K \) — канонический дивизор. Эта теорема позволяет вычислять размерности пространств рациональных функций и дифференциалов с заданными полюсами.

¶Канонический класс

Канонический дивизор \( K \) на кривой рода \( g \) имеет степень \( \deg K = 2g - 2 \). Для \( g = 0 \) степень отрицательна (\( -2 \)), для \( g = 1 \) равна нулю, для \( g \ge 2 \) положительна. Это различие определяет поведение кривых: например, на кривых рода 1 существует ненулевая голоморфная 1-форма (дифференциал первого рода), а на кривых рода 0 — нет.

¶Автоморфизмы

Группа автоморфизмов кривой конечна для \( g \ge 2 \) (теорема Гурвица). Максимальный порядок группы автоморфизмов для кривой рода \( g \) ограничен величиной \( 84(g - 1) \) (граница Гурвица). Кривые, достигающие этой границы, называются кривыми Гурвица; примером является кривая Клейна рода 3 с группой автоморфизмов порядка 168.

¶Применение

¶В теории чисел

Эллиптические кривые (род 1) используются в криптографии (эллиптическая криптография) и для доказательства Великой теоремы Ферма (Эндрю Уайлс, 1994). Кривые рода 2 и выше применяются в арифметической геометрии, например, для изучения абелевых многообразий и гипотезы Берча — Свиннертон-Дайера.

¶В физике

В теории струн род римановой поверхности соответствует порядку петлевой диаграммы Фейнмана: поверхности рода 0 — древесные диаграммы, рода 1 — однопетлевые, и так далее. Род также используется в теории топологических струн и зеркальной симметрии.

¶В компьютерной графике

Понятие рода применяется в трёхмерном моделировании для классификации топологии сеток: объекты с разным родом (например, сфера и тор) не могут быть преобразованы друг в друга без разрывов или склеек.

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

• Формула \( g = \frac{(d-1)(d-2)}{2} \) для плоских кривых без особенностей была известна ещё Альфреду Клебшу в 1860-х годах.
• Кривая рода 0 может быть параметризована рациональными функциями, что делает её «рациональной». Например, окружность \( x^2 + y^2 = 1 \) параметризуется как \( x = \frac{1-t^2}{1+t^2}, y = \frac{2t}{1+t^2} \).
• Максимальное число точек на эллиптической кривой над конечным полем ограничено неравенством Хассе: \( |\#E(\mathbb{F}_q) - q - 1| \le 2\sqrt{q} \), что связано с родом кривой.

¶Источники

• Хартсхорн Р. Алгебраическая геометрия. — М.: Мир, 1981.
• Гриффитс Ф., Харрис Дж. Принципы алгебраической геометрии. — М.: Мир, 1982.
• Мамфорд Д. Лекции о кривых на алгебраической поверхности. — М.: Мир, 1968.
• Риман Б. Сочинения. — М.: Гостехиздат, 1948.
• Шафаревич И. Р. Основы алгебраической геометрии. — М.: Наука, 1988.