Последовательность Эйлера - Euler sequence
В математика, то Последовательность Эйлера особый точная последовательность из снопы на п-размерный проективное пространство через звенеть. Это показывает, что связка относительных дифференциалов является стабильно изоморфный для (п + 1) -кратная сумма двойственного к Серру скручивающаяся связка.
Последовательность Эйлера обобщается на последовательность проективный пучок также как и Расслоение Грассмана (см. последнюю статью для этого обобщения.)
Заявление
За А кольцо, существует точная последовательность пучков
Это можно доказать, определив гомоморфизм с и в степени 1, сюръективно в степенях и проверяя это локально на п + 1 стандартных карт ядро изоморфно относительному дифференциальному модулю.[1]
Геометрическая интерпретация
Мы предполагаем, что А это поле k.
Приведенная выше точная последовательность эквивалентна последовательности
- ,
где последний ненулевой член - это касательная связка.
Мы считаем V а п + 1 размерный векторное пространство над k , и объясните точную последовательность
Эту последовательность легче всего понять, если интерпретировать центральный член как пучок 1-однородных векторные поля в векторном пространстве V. Существует замечательный участок этого пучка - Векторное поле Эйлера, тавтологически определяемая путем сопоставления точке векторного пространства тождественно ассоциированного касательного вектора (т.е. сама: это карта идентичности, рассматриваемая как векторное поле).
Это векторное поле является радиальным в том смысле, что оно равномерно обращается в нуль на 0-однородных функциях, то есть на функциях, которые инвариантны при гомотетическом масштабировании, илине зависит от радиальной координаты".
Функция (определенная на некотором открытом множестве) на приводит к 0-однородной функции на V (снова частично определено). Мы получаем 1-однородные векторные поля, умножая векторное поле Эйлера на такие функции. Это определение первого отображения, и его инъективность очевидна.
Вторая карта связана с понятием деривации, эквивалентным понятию векторного поля. Вспомните, что векторное поле на открытом множестве U проективного пространства можно определить как производную от функций, определенных на этом открытом множестве. Втянут обратно V, это эквивалентно выводу по прообразу U сохраняющий 0-однородные функции. любое векторное поле на Таким образом, можно получить, и дефект инъективности этого отображения состоит как раз из радиальных векторных полей.
Таким образом, мы видим, что ядро второго морфизма идентифицируется с диапазоном действия первого.
Каноническое линейное расслоение проективных пространств
Взяв наивысший внешняя сила, видно, что каноническая связка из проективное пространство дан кем-то
.
В частности, проективные пространства Разновидности Фано, поскольку каноническое расслоение анти-обильный и этот линейный пучок не имеет ненулевых глобальных секций, поэтому геометрический род равно 0. Это можно найти, посмотрев на последовательность Эйлера и подставив ее в формулу определителя
для любой короткой точной последовательности формы .
Классы Черна
Последовательность Эйлера может использоваться для вычисления Классы Черна проективного пространства. Напомним, что для короткой точной последовательности когерентных пучков
мы можем вычислить полный класс Черна с формулой.[3] Например, на мы нашли
куда представляет класс гиперплоскости в чау-ринге . Используя точную последовательность
мы снова можем использовать формулу полного класса Черна, чтобы найти
поскольку нам нужно инвертировать многочлен в знаменателе, это эквивалентно нахождению степенного ряда такой, что .
Примечания
- ^ Теорема II.8.13 в Хартсхорн 1977
- ^ Вакил, Рави. Восходящее море (PDF). 386. Архивировано с оригинал (PDF) на 2019-11-30.CS1 maint: location (связь)
- ^ «3264 и все такое» (PDF). п. 169.
- ^ Обратите внимание, что в ринге для еды по соображениям габаритов.
- ^ Арапура, Дону. «Вычисление некоторых чисел Ходжа» (PDF). В архиве (PDF) из оригинала на 1 февраля 2020 г.
Рекомендации
- Хартсхорн, Робин (1977), Алгебраическая геометрия, Тексты для выпускников по математике, 52, Нью-Йорк: Springer-Verlag, ISBN 978-0-387-90244-9, МИСТЕР 0463157
- Рубей, Елена (2014), Алгебраическая геометрия, краткий словарь, Берлин / Бостон: Вальтер Де Грюйтер, ISBN 978-3-11-031622-3