Теорема Римана — Роха связывает комплексный анализ связных компактных римановых поверхностей с чисто топологическим родом поверхности g, используя методы, которые могут быть распространены на чисто алгебраические ситуации.
Первоначально доказанная Риманом как неравенство Римана, теорема получила свой окончательный вид для римановых поверхностей после работы рано умершего студента Римана Густава Роха. Позднее теорема была обобщена на алгебраические кривые и на многообразия.
Предварительные замечания
Риманова поверхность X является топологическим пространством, которое локально гомеоморфно открытому подмножеству комплексных чисел. Кроме того, требуется, чтобы функции перехода между этими открытыми подмножествами были голоморфны. Последнее условие позволяет перенести на поверхность X понятия комплексного анализа, в частности можно говорить о голоморфных и мероморфных функциях на X.
Поверхность X будет предполагаться компактной. Род g римановой поверхности X — это число ручек поверхности. Например, род показанной справа римановой поверхности равен трём. Род можно также определить как половину первого числа Бетти, то есть половина комплексной размерности первой группы сингулярных гомологий H1(X, C) с комплексными коэффициентами. Род классифицирует компактные римановы поверхности с точностью до гомеоморфизма, то есть две такие поверхности гомеоморфны тогда и только тогда, когда их род совпадает. С другой стороны, теория Ходжа показывает, что род совпадает с (комплексной) размерностью пространства голоморфных 1-форм на X, так что род кодирует также комплексно-аналитическую информацию о римановой поверхности.
Дивизор D — это элемент свободной абелевой группы, порождённой точками поверхности. Эквивалентно, дивизор является конечной линейной комбинацией с целыми коэффициентами точек поверхности.
Любая мероморфная функция f даёт дивизор, обозначаемый (f), который определяется как
где R(f) — множество всех нулей и полюсов функции f, а sν задаётся следующим образом , если является нулём порядка a, и -a, если является полюсом порядка a.
Известно, что множество R(f) конечно. Это следствие компактности X и того факта, что нули (ненулевой) голоморфной функции не имеют предельных точек. Таким образом, (f) является вполне определённым. Любой дивизор такого вида называется главным дивизором. Два дивизора, отличающиеся на главный дивизор, называются линейно эквивалентными. Дивизор мероморфной 1-формы определяется аналогично. Дивизор глобальной мероморфной 1-формы называется каноническим дивизором (обычно обозначаемым K). Любые две мероморфные 1-формы дают линейно эквивалентные дивизоры, так что канонический дивизор однозначно определён с точностью до линейной эквивалентности.
Символ deg(D) означает степень (изредка называется индексом) дивизора D, то есть сумму коэффициентов, встречающихся в D. Можно показать, что дивизор глобальной мероморфной функции всегда имеет степень 0, так что степень дивизора зависит только от класса линейной эквивалентности.
Число является величиной, представляющей главный интерес — размерность (над C) векторного пространства мероморфных функций h на поверхности, таких, что все коэффициенты дивизора (h) + D неотрицательны. Интуитивно, мы можем думать о них как о мероморфных функциях, полюса которых в каждой точке не хуже, чем соответствующие коэффициенты D. Если коэффициент в D в точке z отрицателен, то мы требуем, чтобы h имела нуль степени, не меньшей в точке z, если коэффициент в D положителен, h может иметь полюс не превосходящий этого порядка. Векторные пространства для линейно эквивалентных дивизоров естественно изоморфны через умножение на глобальную мероморфную функцию (которая однозначно определена с точностью до скаляра).
Утверждение теоремы Теорема Римана — Роха для компактной римановой поверхности рода g с каноническим дивизором K утверждает, что
Обычно число является искомым числом, в то время как рассматривается как корректирующий член (называемый также индексом специальности), так что теорему можно грубо перефразировать, сказав размерность − коррекция = степень − род + 1. Корректирующий член всегда неотрицателен, так что
Это выражение называется неравенством Римана. Вклад Роха в это утверждение заключается в описании возможной разницы между двумя частями неравенства. На римановой поверхности общего вида рода g дивизор K имеет степень 2g — 2. Это можно получить, положив в теореме D = K. В частности, если D имеет степень, не меньшую 2g − 1, корректирующий член равен 0, так что
Есть также некоторое число других тесно связанных теорем — эквивалентная формулировка теоремы с использованием и обобщение теоремы на алгебраические кривые.
Примеры Теорему можно проиллюстрировать путём выбора точки P на рассматриваемой поверхности и рассмотрения последовательности чисел
то есть размерности пространства функций, голоморфных всюду, кроме точки P, в которой функции позволено иметь полюс порядка, не превосходящего n. Для n = 0 функции тогда должны быть целыми, т.e. голоморфными на всей поверхности X. По теореме Лиувилля такая функция обязана быть константой. Таким образом, . В общем случае последовательность возрастает.
Род 0 Сфера Римана (называемая также комплексной проективной прямой) односвязна, а следовательно её первые сингулярные гомологии равны нулю. В частности, её род равен нулю. Сферу можно накрыть двумя копиями C с функцией перехода, задаваемой выражением
Таким образом, форма ω = dz на одной копии C продолжается до мероморфной формы на сфере Римана — она имеет двойной полюс на бесконечности, поскольку
Тогда её дивизор K := div(ω) = −2P (где P — точка на бесконечности).
Таким образом, теорема утверждает, что последовательность имеет вид
1, 2, 3, … .
Эту же последовательность можно вывести из теории разложения на элементарные дроби. Обратно, если последовательность начинается таким образом, g должно равняться нулю.
Род 1
Следующий случай — римановы поверхности рода g = 1, такие как тор C / Λ, где Λ — двумерная решётка (группа, изоморфная Z2). Её род равен единице — её первая группа сингулярных гомологий свободно порождается двумя петлями, как показано на рисунке справа. Стандартная комплексная координата z на C даёт 1-форму ω = dz на X, которая везде голоморфна, то есть вовсе не имеет полюсов. Поэтому K, дивизор ω, равен нулю.
На этой поверхности последовательность будет иметь вид
1, 1, 2, 3, 4, 5 … ;
и это характеризует случай g = 1. Более того, для , как было упомянуто выше. Для D = nP с n > 0 степень K − D строго отрицательна, так что корректирующий член равен нулю. Последовательность размерностей можно также вывести из теории эллиптических функций.
Род 2 и выше Для g = 2 последовательностью, упомянутой выше, будет
1, 1, ?, 2, 3, … .
Здесь член ? степени 2 равен 1 или 2 в зависимости от точки. Можно доказать, что на любой кривой рода 2 имеется в точности шесть точек с последовательностью 1, 1, 2, 2, …, а остальные точки имеют последовательность 1, 1, 1, 2, … В частности, кривая рода 2 является гиперэллиптической кривой. Для g > 2 всегда верно, что последовательность большинства точек начинается с g+1 единиц и имеется конечное число точек с другими последовательностями (см. ).
Теорема Римана — Роха для линейных расслоений Используя тесное соответствие между дивизорами и на римановой поверхности, можно сформулировать теорему в другом, но всё же эквивалентном виде. Пусть L — голоморфное линейное расслоение на X. Пусть обозначает пространство голоморфных сечений L. Это пространство будет конечномерным и эта размерность обозначается как . Пусть K обозначает каноническое расслоение на X. Тогда теорема Римана — Роха утверждает, что
Теорема из предыдущего раздела является частным случаем, когда L — точечное расслоение.
Теорему можно использовать, чтобы показать, что существуют g голоморфных сечений K или 1-форм на X. Если взять в качестве L тривиальное расслоение, получим , поскольку только постоянные функции на X являются голоморфными. Степень L равна нулю и является тривиальным расслоением. Тогда
Таким образом, , что доказывает, что имеется g голоморфных 1-форм.
Теорема Римана — Роха для алгебраических кривых Каждый член в вышеприведённой формулировке теоремы Римана — Роха для дивизоров на римановых поверхностях имеет аналог в алгебраической геометрии. Аналогом римановой поверхности служит неособая алгебраическая кривая C над полем k. Различие в терминологии (кривые вместо поверхностей) возникает, поскольку размерность римановой поверхности как вещественного многообразия равна двум, а как комплексного многообразия — единице. Компактность римановой поверхности обусловлена условием, что алгебраическая кривая , что эквивалентно её проективности. Над полем k общего вида не существует хорошего понятия сингулярных (ко)гомологий. Так называемый геометрический род определяется как
то есть как размерность пространства глобально определённых (алгебраических) 1-форм (см. Кэлеров дифференциал). Наконец, мероморфные функции на римановой поверхности локально представляются как частные голоморфных функций. Следовательно, они заменяются рациональными функциями, которые локально являются частными . Таким образом, если обозначить через размерность (над k) пространства рациональных функций на кривой, полюса которой в каждой точке не хуже соответствующих коэффициентов в D, имеет место та же самая формула, что и выше:
где C — проективная неособая алгебраическая кривая над алгебраически замкнутым полем k. Фактически, та же самая формула выполняется для проективных кривых над любым полем, за исключением того, что при подсчёте степени дивизора необходимо учитывать точек. Наконец, для подходящей кривой над артиновым кольцом, эйлерова характеристика линейного расслоения, ассоциированного с дивизором, задаётся степенью дивизора (должным образом определённой), плюс эйлерова характеристика структурного пучка .
Предположение гладкости в теореме может быть также ослаблено — для (проективной) кривой над алгебраически замкнутым полем, все локальные кольца которой являются , выполняется то же утверждение, что и выше, за исключением того, что геометрический род заменяется ga, определяемым как
(Для гладких кривых геометрический род совпадает с арифметическим.) Теорема была также распространена на общие особые кривые (и многообразия более высокой размерности).
Доказательство Утверждение для алгебраических кривых можно доказать с помощью двойственности Серра. Целое число I(D) является размерностью пространства глобальных сечений , ассоциированного с D. В терминах когомологий пучков, мы имеем поэтому и, таким же образом, . Однако двойственность Серра для неособых проективных многообразий в частном случае кривой утверждает, что изоморфно двойственному пространству . Левая часть тогда равна эйлеровой характеристике дивизора D. Если D = 0, мы находим эйлерову характеристику структурного пучка, которая равна по определению. Для доказательства теоремы для общих дивизоров, можно добавлять точки одну за другой к дивизору и удалять некоторые и доказать, что эйлерова характеристика преобразуется согласно правой стороне.
Теорема для компактных римановых поверхностей может быть выведена из алгебраической версии с помощью и принципа (Géometrie Algébrique et Géométrie Analytique). Фактически, любая компактная риманова поверхность определяется алгебраическими уравнениями в некотором комплексном проективном пространстве. (Теорема Чжоу утверждает, что любое замкнутое аналитическое подмногообразие проективного пространства определяется алгебраическими уравнениями, а принцип GAGA утверждает, что когомологии пучков алгебраического многообразия те же самые, что и когомологии пучков аналитического многообразия, определённого некоторыми уравнениями).
Приложения Неприводимая плоская алгебраическая кривая степени d имеет особых точек, если считать подходящим образом. Отсюда следует, что если кривая имеет различных особых точек, это рациональная кривая и, допускающая рациональную параметризацию.