WikiDer > Теорема Гротендика – Римана – Роха.

Теорема Гротендика – Римана – Роха.
	Комментарий Гротендика к теореме Гротендика – Римана – Роха.
Поле	Алгебраическая геометрия
Первое доказательство	Александр Гротендик
Первое доказательство в	1957
Обобщения	Теорема Атьи – Зингера об индексе
Последствия	Теорема Хирцебруха – Римана – Роха.; Теорема Римана – Роха для поверхностей.; Теорема Римана – Роха

Grothendieck–Riemann–Roch theorem

В математикаособенно в алгебраическая геометрия, то Теорема Гротендика – Римана – Роха. это далеко идущий результат на когерентные когомологии. Это обобщение Теорема Хирцебруха – Римана – Роха., о комплексные многообразия, что само по себе является обобщением классической Теорема Римана – Роха за линейные пакеты на компактные римановы поверхности.

Теоремы типа Римана – Роха связаны Характеристики Эйлера из когомология из векторный набор с их топологические степени, или, в более общем смысле, их характеристические классы в (ко) гомологиях или их алгебраических аналогах. Классическая теорема Римана – Роха делает это для кривых и линейных расслоений, тогда как теорема Хирцебруха – Римана – Роха обобщает это на векторные расслоения над многообразиями. Теорема Гротендика – Римана – Роха устанавливает обе теоремы в относительной ситуации морфизм между двумя коллекторами (или более общим схемы) и меняет теорему с утверждения об одном пучке на утверждение, применимое к цепные комплексы из снопы.

Теорема оказала большое влияние, не в последнюю очередь на развитие теории Теорема Атьи – Зингера об индексе. Наоборот, комплексный аналитический аналоги теоремы Гротендика – Римана – Роха можно доказать с помощью теоремы об индексе для семейств. Александр Гротендик дал первое доказательство в рукописи 1957 года, позже опубликованной.^[1] Арман Борель и Жан-Пьер Серр написал и опубликовал доказательство Гротендика в 1958 году.^[2] Позже Гротендик и его сотрудники упростили и обобщили доказательство.^[3]

Формулировка

Позволять Икс быть гладкий квазипроективная схема через поле. При этих предположениях Группа Гротендик ${ displaystyle K_ {0} (X)}$ из ограниченные комплексы из когерентные пучки канонически изоморфна группе Гротендика ограниченных комплексов векторных расслоений конечного ранга. Используя этот изоморфизм, рассмотрим Черн персонаж (рациональное сочетание Классы Черна) как функториальный трансформация:

{ displaystyle mathrm {ch} двоеточие K_ {0} (X) to A (X, mathbb {Q}),}

куда ${ displaystyle A_ {d} (X, mathbb {Q})}$ это Группа чау циклов на Икс измерения d по модулю рациональная эквивалентность, натянутый с рациональное число. В случае Икс определяется над сложные числа, последняя группа отображается в топологическую группа когомологий:

{ displaystyle H ^ {2 dim (X) -2d} (X, mathbb {Q}).}

Теперь рассмотрим правильный морфизм ${ displaystyle f двоеточие от X до Y}$ между гладкими квазипроективными схемами и ограниченным комплексом пучков ${ displaystyle {{ mathcal {F}} ^ { bullet}}}$ на ${ displaystyle X.}$

В Теорема Гротендика – Римана – Роха. связывает карту продвижения

{ displaystyle f _ {!} = sum (-1) ^ {i} R ^ {i} f _ {*} двоеточие K_ {0} (X) to K_ {0} (Y)}

(переменная сумма более высокие прямые изображения) и вперед

{ Displaystyle f _ {*} двоеточие от A (X) до A (Y),}

по формуле

{ displaystyle mathrm {ch} (f _ {!} { mathcal {F}} ^ { bullet}) mathrm {td} (Y) = f _ {*} ( mathrm {ch} ({ mathcal { F}} ^ { bullet}) mathrm {td} (X)).}

Здесь ${ Displaystyle mathrm {td} (X)}$ это Род Тоддов из касательный пучок из) Икс. Таким образом, теорема дает точную меру отсутствия коммутативности продвижения вперед в вышеуказанных смыслах и характере Черна и показывает, что необходимые поправочные коэффициенты зависят от Икс и Y Только. Фактически, поскольку род Тодда функториален и мультипликативен в точные последовательности, мы можем переписать формулу Гротендика – Римана – Роха в виде

{ displaystyle mathrm {ch} (f _ {!} { mathcal {F}} ^ { bullet}) = f _ {*} ( mathrm {ch} ({ mathcal {F}} ^ { bullet} ) mathrm {td} (T_ {f})),}

куда ${ displaystyle T_ {f}}$ относительный касательный пучок ж, определяемый как элемент ${ displaystyle TX-f ^ {*} (TY)}$ в ${ displaystyle K_ {0} (X)}$ . Например, когда ж это гладкий морфизм, ${ displaystyle T_ {f}}$ просто векторное расслоение, известное как касательное расслоение вдоль слоев ж.

С помощью А¹-гомотопическая теория, теорема Гротендика – Римана – Роха была расширена Наварро и Наварро (2017) к ситуации, когда ж это правильная карта между двумя плавными схемами.

Обобщение и специализация

Обобщения теоремы на негладкий случай можно сделать, рассмотрев соответствующее обобщение комбинации ${ Displaystyle mathrm {ch} (-) mathrm {td} (X)}$ и к неподходящему случаю, учитывая когомологии с компактным носителем.

В арифметическая теорема Римана – Роха расширяет теорему Гротендика – Римана – Роха на арифметические схемы.

В Теорема Хирцебруха – Римана – Роха. является (по сути) частным случаем, когда Y - точка, а поле - это поле комплексных чисел.

Версия теоремы Римана-Роха для ориентированных теорий когомологий была доказана Иваном Паниным и Александром Смирновым.^[4] Он связан с мультипликативными операциями между алгебраическими ориентированными теориями когомологий (например, Алгебраический кобордизм). Гротендик-Риман-Рох - частный случай этого, и персонаж Черна естественно возникает в этом контексте.^[5]

Примеры

Векторные расслоения на кривой

Векторный набор ${ displaystyle E to C}$ ранга ${ displaystyle n}$ и степень ${ displaystyle d}$ (определяемая как степень его определителя; или, что то же самое, степень его первого класса Черна) на гладкой проективной кривой над полем ${ displaystyle k}$ имеет формулу, аналогичную Риман-Рох для линейных пакетов. Если мы возьмем ${ displaystyle X = C}$ и ${ Displaystyle Y = {* }}$ точка, то формула Гротендика-Римана-Роха может быть прочитана как

{ displaystyle { begin {align} mathrm {ch} (f _ {!} { mathcal {F}} ^ { bullet}) & = h ^ {0} (C, E) -h ^ {1} (C, E) f _ {*} ( mathrm {ch} (E) mathrm {td} (X)) & = f _ {*} ((n + c_ {1} (E)) (1+ (1/2) c_ {1} (T_ {C}))) & = f _ {*} (n + c_ {1} (E) + (n / 2) c_ {1} (T_ {C}) )) & = f _ {*} (c_ {1} (E) + (n / 2) c_ {1} (T_ {C})) & = d + n (1-g) end { выровнено}}}

следовательно

{ displaystyle chi (C, E) = d + n (1-g).}

^[6]

Эта формула верна и для когерентных пучков ранга ${ displaystyle n}$ и степень ${ displaystyle d}$ .

Гладкие правильные карты

Одним из преимуществ формулы Гротендика – Римана – Роха является то, что ее можно интерпретировать как относительную версию формулы Хирцебруха – Римана – Роха. Например, гладкий морфизм ${ displaystyle f двоеточие от X до Y}$ имеет слои, которые все равномерные (и изоморфные как топологические пространства при изменении базы на ${ displaystyle mathbb {C}}$ ). Этот факт полезен в теории модулей при рассмотрении пространства модулей ${ Displaystyle { mathcal {M}}}$ параметризация гладких собственных пространств. Например, Дэвид Мамфорд использовал эту формулу, чтобы вывести отношения кольца Чау на пространство модулей алгебраических кривых.^[7]

Модули кривых

Для стека модулей рода ${ displaystyle g}$ кривые (и без отмеченных точек) ${ displaystyle { overline { mathcal {M}}} _ {g}}$ есть универсальная кривая ${ displaystyle pi двоеточие { overline { mathcal {C}}} _ {g} to { overline { mathcal {M}}} _ {g}}$ куда ${ displaystyle { overline { mathcal {C}}} _ {g} = { overline { mathcal {M}}} _ {g, 1}}$ (- набор модулей кривых рода ${ displaystyle g}$ и одна отмеченная точка. Затем он определяет тавтологические классы

{ displaystyle { begin {align} K _ {{ overline { mathcal {C}}} _ {g} / { overline { mathcal {M}}} _ {g}} & = c_ {1} ( omega _ {{ overline { mathcal {C}}} _ {g} / { overline { mathcal {M}}} _ {g}}) каппа _ {l} & = pi _ {*} (K _ {{ overline { mathcal {C}}} _ {g} / { overline { mathcal {M}}} _ {g}} ^ {l + 1}) mathbb { E} & = pi _ {*} ( omega _ {{ overline { mathcal {C}}} _ {g} / { overline { mathcal {M}}} _ {g}}) lambda _ {l} & = c_ {l} ( mathbb {E}) конец {выровнено}}}

куда ${ displaystyle 1 leq l leq g}$ и ${ displaystyle omega _ {{ overline { mathcal {C}}} _ {g} / { overline { mathcal {M}}} _ {g}}}$ - относительный дуализирующий пучок. Обратите внимание на волокно ${ displaystyle omega _ {{ overline { mathcal {C}}} _ {g} / { overline { mathcal {M}}} _ {g}}}$ над точкой ${ displaystyle [C] in { overline { mathcal {M}}} _ {g}}$ это дуализирующий пучок ${ displaystyle omega _ {C}}$ . Ему удалось найти отношения между ${ displaystyle lambda _ {i}}$ и ${ displaystyle kappa _ {я}}$ описывая ${ displaystyle lambda _ {i}}$ в виде суммы ${ displaystyle kappa _ {я}}$ ^[7] (следствие 6.2) на чау-ринге ${ displaystyle A ^ {*} ({ mathcal {M}} _ {g})}$ гладкого геометрического годографа по Гротендику-Риману-Роху. Потому что ${ displaystyle { overline { mathcal {M}}} _ {g}}$ гладкий Стек Делин-Мамфорд, он считал покрытие схемой ${ displaystyle { tilde { mathcal {M}}} _ {g} to { overline { mathcal {M}}} _ {g}}$ какие подарки ${ displaystyle { overline { mathcal {M}}} _ {g} = [{ tilde { mathcal {M}}} _ {g} / G]}$ для некоторой конечной группы ${ displaystyle G}$ . Он использует Grothendieck-Riemann-Roch на ${ displaystyle omega _ {{ tilde { mathcal {C}}} _ {g} / { tilde { mathcal {M}}} _ {g}}}$ получить

{ displaystyle mathrm {ch} ( pi _ {!} ( omega _ {{ tilde { mathcal {C}}} / { tilde { mathcal {M}}}})) = pi _ {*} ( mathrm {ch} ( omega _ {{ tilde { mathcal {C}}} / { tilde { mathcal {M}}}}) mathrm {Td} ^ { vee} ( Omega _ {{ tilde { mathcal {C}}} / { tilde { mathcal {M}}}} ^ {1}))}

Потому что

{ displaystyle mathbf {R} ^ {1} pi _ {!} ({ omega _ {{ tilde { mathcal {C}}} _ {g} / { tilde { mathcal {M}}) } _ {g}}}) cong { mathcal {O}} _ { tilde {M}},}

это дает формулу

{ displaystyle mathrm {ch} ( mathbb {E}) = 1 + pi _ {*} ({ text {ch}} ( omega _ {{ tilde { mathcal {C}}} / { tilde { mathcal {M}}}}) { text {Td}} ^ { vee} ( Omega _ {{ tilde { mathcal {C}}} / { tilde { mathcal {M}) }}} ^ {1})).}

Расчет ${ Displaystyle mathrm {ch} ( mathbb {E})}$ затем можно уменьшить еще больше. В четных размерах ${ displaystyle 2k}$ ,

{ displaystyle { text {ch}} ( mathbb {E}) _ {2k} = 0.}

Кроме того, по измерению 1,

{ displaystyle lambda _ {1} = c_ {1} ( mathbb {E}) = { frac {1} {12}} ( kappa _ {1} + delta),}

куда ${ displaystyle delta}$ класс на границе. В случае ${ displaystyle g = 2}$ и на гладком месте ${ displaystyle { mathcal {M}} _ {g}}$ есть отношения

{ displaystyle { begin {align} lambda _ {1} & = { frac {1} {12}} kappa _ {1} lambda _ {2} & = { frac { lambda _ {1} ^ {2}} {2}} = { frac { kappa _ {1} ^ {2}} {288}} end {выравнивается}}}

который можно вывести, анализируя характер Черна ${ displaystyle mathbb {E}}$ .

Закрытое встраивание

Закрытые вложения ${ displaystyle f двоеточие от Y до X}$ есть описание с использованием формулы Гротендика-Римана-Роха, показывающее еще один нетривиальный случай, в котором эта формула верна.^[8] Для гладкого разнообразия ${ displaystyle X}$ измерения ${ displaystyle n}$ и подмножество ${ displaystyle Y}$ коразмерности ${ displaystyle k}$ , есть формула

{ displaystyle c_ {k} ({ mathcal {O}} _ {Y}) = (- 1) ^ {k-1} (k-1)! [Y]}

Использование короткой точной последовательности

{ displaystyle 0 to { mathcal {I}} _ {Y} to { mathcal {O}} _ {X} to { mathcal {O}} _ {Y} to 0}

,

есть формула

{ displaystyle c_ {k} ({ mathcal {I}} _ {Y}) = (- 1) ^ {k} (k-1)! [Y]}

для идеального пучка, поскольку ${ Displaystyle 1 = с ({ mathcal {O}} _ {X}) = с ({ mathcal {O}} _ {Y}) с ({ mathcal {I}} _ {Y})}$ .

Приложения

Квазипроективность пространств модулей

Гротендика-Римана-Роха можно использовать для доказательства того, что грубое пространство модулей ${ displaystyle M}$ , такой как пространство модулей точечных алгебраических кривых ${ displaystyle M_ {g, n}}$ , допускает вложение в проективное пространство, следовательно, является квазипроективное многообразие. Этого можно достичь, глядя на канонически связанные пучки на ${ displaystyle M}$ и изучение степени связанных линейных пучков. Например, ${ displaystyle M_ {g, n}}$ ^[9] имеет семейство кривых

{ displaystyle pi двоеточие C_ {g, n} to M_ {g, n}}

с разделами

{ displaystyle s_ {i} двоеточие M_ {g, n} to C_ {g, n}}

соответствующие отмеченным точкам. Поскольку каждый слой имеет каноническое расслоение ${ displaystyle omega _ {C}}$ , есть связанные линейные пучки

${ displaystyle Lambda _ {g, n} ( pi) = det ( mathbf {R} pi _ {*} ( omega _ {C_ {g, n} / M_ {g, n}}) )}$ и ${ displaystyle chi _ {g, n} ^ {(i)} = s_ {i} ^ {*} ( omega _ {C_ {g, n} / M_ {g, n}})}$ .

Оказывается, что

{ displaystyle Lambda _ {g, n} ( pi) otimes left ( bigotimes _ {i = 1} ^ {n} chi _ {g, n} ^ {(i)} right)}

является обильная линейка^[9]^стр.209, следовательно, грубое пространство модулей ${ displaystyle M_ {g, n}}$ квазипроективен.

История

Александр Гротендикверсия теоремы Римана – Роха была первоначально передана в письме к Жан-Пьер Серр около 1956–1957 гг. Это было обнародовано на первом Bonn Arbeitstagung, в 1957 г. Серр и Арман Борель впоследствии организовал семинар в Университет Принстона чтобы понять это. Последняя опубликованная статья была экспозицией Бореля – Серра.

Значение подхода Гротендика основывается на нескольких моментах. Во-первых, Гротендик изменил само утверждение: теорема в то время понималась как теорема о разнообразие, тогда как Гротендик видел в ней теорему о морфизме между многообразиями. Найдя правильное обобщение, доказательство стало проще, а вывод стал более общим. Короче говоря, Гротендик применил сильный категоричный подход к трудной части анализ. Более того, Гротендик представил K-группы, как обсуждалось выше, что открыло путь для алгебраическая K-теория.

Смотрите также

Формула Римана – Роха Кавасаки

Примечания

^ А. Гротендик. Классы фаиссо и теория Римана – Роха (1957). Опубликовано в SGA 6, Springer-Verlag (1971), 20-71.
^ А. Борель, Ж.-П. Серр. Бык. Soc. Математика. France 86 (1958), 97–136.
^ SGA 6, Springer-Verlag (1971).
^ Панин, Иван; Смирнов, Александр (2002). "Продвижение вперед в ориентированных теориях когомологий алгебраических многообразий".
^ Морель, Фабьен; Левин, Марк, Алгебраический кобордизм (PDF), Springer, см. 4.2.10 и 4.2.11
^ Моррисон; Харрис. Модули кривых. п. 154.
^ ^а ^б Мамфорд, Дэвид. «К перечислительной геометрии пространства модулей кривых». Арифметика и геометрия: 271–328.
^ Фултон. Теория пересечения. п. 297.
^ ^а ^б Кнудсен, Финн Ф. (1983-12-01). "Проективность пространства модулей стабильных кривых, III: линейные расслоения на ${ displaystyle M_ {g, n}}$ , и доказательство проективности ${ displaystyle { bar {M}} _ {g, n}}$ в характеристике 0 ". Mathematica Scandinavica. 52: 200–212. Дои:10.7146 / math.scand.a-12002. ISSN 1903-1807.

внешняя ссылка

Теорема Гротендика-Римана-Роха
В нить "Применение Гротендика-Римана-Роха?" на MathOverflow.
В нить "как понимать GRR? (Гротендик Риман Рох)" на MathOverflow.
В нить "Класс Черна идеальной связки" на Обмен стеком.

[1] А. Гротендик. Классы фаиссо и теория Римана – Роха (1957). Опубликовано в SGA 6, Springer-Verlag (1971), 20-71.

[2] А. Борель, Ж.-П. Серр. Бык. Soc. Математика. France 86 (1958), 97–136.

[3] SGA 6, Springer-Verlag (1971).

[4] Панин, Иван; Смирнов, Александр (2002). "Продвижение вперед в ориентированных теориях когомологий алгебраических многообразий".

[5] Морель, Фабьен; Левин, Марк, Алгебраический кобордизм (PDF), Springer, см. 4.2.10 и 4.2.11

[6] Моррисон; Харрис. Модули кривых. п. 154.

[:0-7] а ^б Мамфорд, Дэвид. «К перечислительной геометрии пространства модулей кривых». Арифметика и геометрия: 271–328.

[8] Фултон. Теория пересечения. п. 297.

[:1-9] а ^б Кнудсен, Финн Ф. (1983-12-01). "Проективность пространства модулей стабильных кривых, III: линейные расслоения на ${ displaystyle M_ {g, n}}$ , и доказательство проективности ${ displaystyle { bar {M}} _ {g, n}}$ в характеристике 0 ". Mathematica Scandinavica. 52: 200–212. Дои:10.7146 / math.scand.a-12002. ISSN 1903-1807.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

Navigation