Делители и теорема Римана-Роха

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

Definition

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

Scope

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

Core questions

• Как делители Вейля и Картье кодируют поведение нулей и полюсов рациональных функций?
• Почему делители с точностью до линейной эквивалентности представляют собой те же данные, что и линейные расслоения?
• Как линейные системы определяют отображения из многообразия в проективное пространство?
• Что вычисляет теорема Римана-Роха и как в неё входит двойственность Серра?

Key concepts

• Делители Вейля и Картье; линейная эквивалентность
• Группа классов делителей и группа Пикара
• Линейные расслоения (обратимые пучки) и линейные системы
• Канонический делитель и род кривой
• Теорема Римана-Роха и двойственность Серра

Clinical relevance

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

History

Неравенство Римана о размерности функциональных пространств (1857) было дополнено его учеником Рохом до теоремы Римана-Роха; обобщение Хирцебруха в середине XX века и относительная версия Гротендика встроили её в современную когомологическую алгебраическую геометрию.

Key figures

• Bernhard Riemann
• Gustav Roch
• Friedrich Hirzebruch

Seminal works

• hartshorne1977
• eisenbud1995

Frequently asked questions

Какова связь между делителями и линейными расслоениями?

На гладком многообразии делители с точностью до линейной эквивалентности точно соответствуют классам изоморфизма линейных расслоений; класс делителя в группе Пикара — это линейное расслоение, сечения которого обращаются в нуль вдоль этого делителя.

Что говорит теорема Римана-Роха?

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