WikiDer > Теорема Римана – Роха для поверхностей.

В математике Теорема Римана – Роха для поверхностей. описывает размерность линейных систем на алгебраическая поверхность. Классическую форму ему впервые дал Кастельнуово (1896, 1897), после того как его предварительные версии были найдены Нётер (1886) и (1894). В пучок-теоретическая версия принадлежит Хирцебруху.

Заявление

Одна из форм теоремы Римана – Роха утверждает, что если D является дивизором на неособой проективной поверхности, то

${ Displaystyle чи (D) = чи (0) + { tfrac {1} {2}} D. (D-K) ,}$

где χ - голоморфная эйлерова характеристика, точка. это номер перекрестка, и K - канонический делитель. Константа χ (0) является голоморфной эйлеровой характеристикой тривиального расслоения и равна 1 +п_а, куда п_а это арифметический род поверхности. Для сравнения теорема Римана – Роха для кривой утверждает, что χ (D) = χ (0) + deg (D).

Формула Нётер

Нётер формула гласит, что

${ displaystyle chi = { frac {c_ {1} ^ {2} + c_ {2}} {12}} = { frac {(K.K) + e} {12}}}$

где χ = χ (0) - голоморфная эйлерова характеристика, c₁² = (K.K) это Номер Черна и число самопересечения канонического класса K, и е = c₂ - топологическая эйлерова характеристика. Его можно использовать для замены члена χ (0) в теореме Римана – Роха на топологические термины; это дает Теорема Хирцебруха – Римана – Роха. для поверхностей.

Связь с теоремой Хирцебруха – Римана – Роха.

Для поверхностей Теорема Хирцебруха – Римана – Роха. по существу является теоремой Римана – Роха для поверхностей в сочетании с формулой Нётер. Чтобы убедиться в этом, напомним, что для каждого делителя D на поверхности есть обратимая связка L = O (D) такая, что линейная система D более или менее пространство разделов L. Для поверхностей класс Тодда ${ Displaystyle 1 + c_ {1} (X) / 2 + (c_ {1} (X) ^ {2} + c_ {2} (X)) / 12}$, и характер Черна пучка L просто ${ Displaystyle 1 + c_ {1} (L) + c_ {1} (L) ^ {2} / 2}$, поэтому теорема Хирцебруха – Римана – Роха утверждает, что

${ displaystyle { begin {align} chi (D) & = h ^ {0} (L) -h ^ {1} (L) + h ^ {2} (L) & = { frac { 1} {2}} c_ {1} (L) ^ {2} + { frac {1} {2}} c_ {1} (L) , c_ {1} (X) + { frac {1 } {12}} left (c_ {1} (X) ^ {2} + c_ {2} (X) right) end {выровнено}}}$

К счастью, в более ясной форме это можно записать следующим образом. Первая установка D = 0 показывает, что

${ Displaystyle чи (0) = { гидроразрыва {1} {12}} left (c_ {1} (X) ^ {2} + c_ {2} (X) right)}$ (Формула Нётер)

Для обратимых пучков (линейных расслоений) второй класс Черна исчезает. Произведения вторых классов когомологий можно отождествить с числами пересечения в Группа Пикард, и мы получаем более классическую версию Римана Роха для поверхностей:

${ Displaystyle чи (D) = чи (0) + { гидроразрыва {1} {2}} (D.D-D.K)}$

Если мы хотим, мы можем использовать Двойственность Серра выражать час²(O (D)) в качестве час⁰(O (K − D)), но, в отличие от случая кривых, в общем случае нет простого способа записать час¹(O (D)) терм в форме, не содержащей когомологий пучков (хотя на практике он часто исчезает).

Ранние версии

Самые ранние формы теоремы Римана – Роха для поверхностей часто формулировались как неравенство, а не как равенство, потому что не существовало прямого геометрического описания первых групп когомологий. Типичный пример дается Зарисский (1995 г., п. 78), в котором говорится, что

${ Displaystyle г GEQ п- пи + р_ {а} + 1-я}$

куда

• р - размерность полной линейной системы |D| делителя D (так р = час⁰(O (D)) −1)
• п это виртуальная степень из D, задаваемый числом самопересечения (D.D)
• π - это виртуальный род из D, равное 1 + (D.D + K.D) / 2
• п_а это арифметический род χ (O_F) - 1 поверхности
• я это индекс специальности из D, равно dim ЧАС⁰(O (K − D)) (что по двойственности Серра совпадает с dim ЧАС²(O (D))).

Разница между двумя сторонами этого неравенства была названа изобилие s делителя D. Сравнение этого неравенства с теоретико-пучковой версией теоремы Римана – Роха показывает, что сверхизбыток D дан кем-то s = тусклый ЧАС¹(O (D)). Делитель D назывался обычный если я = s = 0 (или, другими словами, если все высшие группы когомологий O (D) исчезают) и избыточный еслиs > 0.

Рекомендации

• Топологические методы в алгебраической геометрии Фридрих Хирцебрух ISBN 3-540-58663-6
• Зариски, Оскар (1995), Алгебраические поверхности, Классика по математике, Берлин, Нью-Йорк: Springer-Verlag, ISBN 978-3-540-58658-6, МИСТЕР 1336146