Теорема Римана — Роха
Теорема Римана — Роха связывает комплексный анализ связных компактных римановых поверхностей с чисто топологическим родом поверхности g, используя методы, которые могут быть распространены на чисто алгебраические ситуации.
Первоначально доказанная Риманом как неравенство Римана[1], теорема получила свой окончательный вид для римановых поверхностей после работы рано умершего студента Римана Густава Роха[2]. Позднее теорема была обобщена на алгебраические кривые и на многообразия.
Предварительные замечания
[править | править код]Риманова поверхность X является топологическим пространством, которое локально гомеоморфно открытому подмножеству комплексных чисел. Кроме того, требуется, чтобы функции перехода между этими открытыми подмножествами были голоморфны. Последнее условие позволяет перенести на поверхность X понятия комплексного анализа, в частности можно говорить о голоморфных и мероморфных функциях на X.
Поверхность X будет предполагаться компактной. Род g римановой поверхности X — это число ручек поверхности. Например, род показанной справа римановой поверхности равен трём. Род можно также определить как половину первого числа Бетти, то есть половина комплексной размерности первой группы сингулярных гомологий H1(X, C) с комплексными коэффициентами. Род классифицирует компактные римановы поверхности с точностью до гомеоморфизма, то есть две такие поверхности гомеоморфны тогда и только тогда, когда их род совпадает. С другой стороны, теория Ходжа показывает, что род совпадает с (комплексной) размерностью пространства голоморфных 1-форм на X, так что род кодирует также комплексно-аналитическую информацию о римановой поверхности[3].
Дивизор 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 утверждает, что
Обычно число является искомым числом, в то время как рассматривается как корректирующий член (называемый также индексом специальности[4][5]), так что теорему можно грубо перефразировать, сказав
- размерность − коррекция = степень − род + 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. Фактически, та же самая формула выполняется для проективных кривых над любым полем, за исключением того, что при подсчёте степени дивизора необходимо учитывать кратности[англ.] точек[6]. Наконец, для подходящей кривой над артиновым кольцом, эйлерова характеристика линейного расслоения, ассоциированного с дивизором, задаётся степенью дивизора (должным образом определённой), плюс эйлерова характеристика структурного пучка [7].
Предположение гладкости в теореме может быть также ослаблено — для (проективной) кривой над алгебраически замкнутым полем, все локальные кольца которой являются кольцами Горенштейна[англ.], выполняется то же утверждение, что и выше, за исключением того, что геометрический род заменяется арифметическим родом[англ.] ga, определяемым как
(Для гладких кривых геометрический род совпадает с арифметическим.) Теорема была также распространена на общие особые кривые (и многообразия более высокой размерности)[9].
Доказательство
[править | править код]Утверждение для алгебраических кривых можно доказать с помощью двойственности Серра. Целое число I(D) является размерностью пространства глобальных сечений линейного расслоения[англ.] , ассоциированного с D. В терминах когомологий пучков, мы имеем поэтому и, таким же образом, . Однако двойственность Серра для неособых проективных многообразий в частном случае кривой утверждает, что изоморфно двойственному пространству . Левая часть тогда равна эйлеровой характеристике дивизора D. Если D = 0, мы находим эйлерову характеристику структурного пучка, которая равна по определению. Для доказательства теоремы для общих дивизоров, можно добавлять точки одну за другой к дивизору и удалять некоторые и доказать, что эйлерова характеристика преобразуется согласно правой стороне.
Теорема для компактных римановых поверхностей может быть выведена из алгебраической версии с помощью теоремы Чжоу[англ.] и принципа GAGA[англ.] (Géometrie Algébrique et Géométrie Analytique). Фактически, любая компактная риманова поверхность определяется алгебраическими уравнениями в некотором комплексном проективном пространстве. (Теорема Чжоу утверждает, что любое замкнутое аналитическое подмногообразие проективного пространства определяется алгебраическими уравнениями, а принцип GAGA утверждает, что когомологии пучков алгебраического многообразия те же самые, что и когомологии пучков аналитического многообразия, определённого некоторыми уравнениями).
Приложения
[править | править код]Неприводимая плоская алгебраическая кривая степени d имеет особых точек, если считать подходящим образом. Отсюда следует, что если кривая имеет различных особых точек, это рациональная кривая и, допускающая рациональную параметризацию.
Формула Римана — Гурвица[англ.], относяющаяся к (разветвлённым) отображениям между римановыми поверхностями или алгебраическими кривыми, является следствием теоремы Римана — Роха.
Теорема Клиффорда о специальных дивизорах[англ.] является также следствием теоремы Римана — Роха. Она утверждает, что для специального дивизора (то есть такого, что ), удовлетворяющего условию , выполняется следующее[10]:
Обобщения теоремы Римана — Роха
[править | править код]Теорему Римана — Роха для кривых доказали для римановых поверхностей Риман и Рох в 1850-х годах, а для алгебраических кривых доказал Фридрих Карл Шмидт в 1931 году, работая с совершенными полями конечной характеристики. Согласно Петру Рокетту:
Первое большое достижение Ф. К. Шмидта — открытие факта, что классическая теорема Римана — Роха на компактных римановых поверхностях может быть перенесена на поле функций с конечным базовым полем. Фактически, его доказательство теоремы Римана — Роха работает для произвольных совершенных базовых полей, не обязательно конечных.
Теорема является фундаментальной в том смысле, что более поздняя теория для кривых пытается усовершенствовать информацию, получаемую из теоремы (например, в теории Брилля — Нётера[англ.]).
Имеются версии для более высоких размерностей (при подходящем понятии дивизора или линейного расслоения[англ.]). Их формулировка зависит от разбиения теоремы на две части. Первая, теперь называемая двойственностью Серра, интерпретирует член как размерность первой группы когомологий пучков. При , равном размерности нулевой группы когомологий или пространства сечений, левая часть теоремы становится эйлеровой характеристикой, а правая часть становится формулой вычисления её как степени, исправленной согласно топологии римановой поверхности.
В алгебраической геометрии размерности два такая формула была найдена геометрами итальянской школы. Теорема Римана — Роха для поверхностей была доказана (существует нес��олько версий, первое доказательство принадлежит Максу Нётеру). Такое положение вещей сохранялось примерно до 1950 года.
Обобщение для n-мерных многообразий, теорема Хирцебруха — Римана — Роха[англ.], было доказано Фридрихом Хирцебрухом как приложение характеристических классов из алгебраической топологии. На Хирцебруха повлияла работа Кунихико Кодайра. Примерно в то же время Жан-Пьер Серр дал общую форму двойственности, как мы её теперь знаем.
Александр Гротендик доказал далеко идущее обобщение в 1957 году, известное сейчас как теорема Гротендика — Римана — Роха[англ.]. Его работа даёт другое толкование теоремы Римана — Роха, не как теоремы о многообразии, а как теоремы о морфизме между двумя многообразиями. Детали доказательства опубликовали Борель и Серр в 1958 году.
Наконец, общая версия была также найдена в алгебраической топологии. Эти исследования, в основном, проведены между 1950 и 1960 годами. После этого теорема Атьи — Зингера об индексе открыла другие пути обобщения.
Результатом является факт, что эйлерова характеристика (когерентного пучка) иногда вполне вычислима. Если требуется вычислить отдельный член суммы, должны быть использованы другие аргументы, такие как теоремы об обращении в нуль.
Примечания
[править | править код]- ↑ Riemann, 1857.
- ↑ Roch, 1865.
- ↑ Griffiths, Harris, 1994, с. 116, 117.
- ↑ Stichtenoth, 1993, с. 22.
- ↑ Mukai, 2003, с. 295–297.
- ↑ Liu, 2002, с. Section 7.3.
- ↑ Altman, Kleiman, 1970, с. 164, Theorem VIII.1.4..
- ↑ Hartshorne, 1986, с. 375–386.
- ↑ Baum, Fulton, MacPherson, 1975, с. 101–145.
- ↑ Fulton, 1989, с. 109.
Литература
[править | править код]- Qing Liu. Algebraic Geometry and Arithmetic Curves. — Oxford University Press, 2002. — ISBN 978-0-19-850284-5.
- Allen Altman, Steven Kleiman. Introduction to Grothendieck duality theory. — Berlin, New York: Springer-Verlag, 1970. — Т. 146. — (Lecture Notes in Mathematics).
- William Fulton. Algebraic curves. — Addison-Wesley, 1989. — (Advanced Book Classics). — ISBN 978-0-201-51010-2.
- Robin Hartshorne. Generalized divisors on Gorenstein curves and a theorem of Noether // Journal of Mathematics of Kyoto University. — 1986. — Т. 26. — С. 375–386. — ISSN 0023-608X. Архивировано 7 октября 2013 года.
- Paul Baum, William Fulton, Robert MacPherson. Riemann–Roch for singular varieties // Publications Mathématiques de l'IHÉS. — 1975. — С. 101–145. — ISSN 1618-1913.
- Borel, Armand, Serre, Jean-Pierre (1958). Le théorème de Riemann–Roch, d'après Grothendieck. — Bull.S.M.F. 86. — 1958. — С. 97–136.
- Phillip Griffiths, Joe Harris. Principles of algebraic geometry. — New York: John Wiley & Sons, 1994. — (Wiley Classics Library). — ISBN 978-0-471-05059-9.
- Alexander Grothendieck, et al. Théorie des Intersections et Théorème de Riemann–Roch // Seminaire de Geometrie Algebrique du Bois Marie 1966/67 (SGA 6). — Springer-Verlag, 1971. — Т. 225. — (LNM). — ISBN 978-3-540-36936-3.
- William Fulton. Algebraic Curves. — W.A. Benjamin, 1974. — (Mathematics Lecture Note Series). — ISBN 0-8053-3080-1.
- Jürgen Jost. Compact Riemann Surfaces. — Berlin, New York: Springer-Verlag, 2006. — ISBN 978-3-540-33065-3. См. страницы 208—219 для доказательства комплексной ситуации. Заметим, что Джост использовал немного другие обозначения.
- Robin Hartshorne. Algebraic Geometry. — Berlin, New York: Springer-Verlag, 1977. — ISBN 978-0-387-90244-9. Содержит утверждение для кривых на алгебраически замкнутых полей. См. секцию IV.1.
- Hazewinkel, Michiel, ed. (2001), "p/r081980", Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
- Friedrich Hirzebruch. Topological methods in algebraic geometry. — Berlin, New York: Springer-Verlag, 1995. — (Classics in Mathematics). — ISBN 978-3-540-58663-0.. Хорошее общее современное обозрение.
- Shigeru Mukai. An Introduction to Invariants and Moduli / William Oxbury (trans.). — New York: Cambridge University Press, 2003. — Т. 81. — (Cambridge studies in advanced mathematics). — ISBN 0-521-80906-1.
- Narasimhan M. S. Vector bundles on Compact Riemann Surfaces. — 1976. — С. 5–6. — ISBN 92-0-130576-1.
- Bernhard Riemann. Theorie der Abel'schen Functionen // Journal für die reine und angewandte Mathematik. — 1857. — Т. 54. — С. 115–155. — doi:10.1515/crll.1857.54.115.
- Gustav Roch. Ueber die Anzahl der willkurlichen Constanten in algebraischen Functionen // Journal für die reine und angewandte Mathematik. — 1865. — Т. 64. — С. 372–376. — doi:10.1515/crll.1865.64.372.
- Friedrich Karl Schmidt. Analytische Zahlentheorie in Körpern der Charakteristik p // Mathematische Zeitschrift. — 1931. — Т. 33. — С. 1–32. — doi:10.1007/BF01174341. Архивировано 22 декабря 2017 года.
- Henning Stichtenoth. Algebraic Function Fields and Codes. — Springer-Verlag, 1993. — ISBN 3-540-56489-6.
- Misha Kapovich. The Riemann–Roch Theorem (lecture note) an elementary introduction.
- Gray J. The Riemann–Roch theorem and Geometry1854–1914.
- Georges Elencwajg. Is there a Riemann–Roch for smooth projective curves over an arbitrary field? // MathOverflow. — 2011.