Теорема Биркгофа – Гротендика.
В математике теорема Биркгофа -Гротендика классифицирует голоморфные векторные расслоения над комплексной проективной прямой . В частности, каждое голоморфное векторное расслоение над является прямой суммой голоморфных линейных расслоений . Теорему доказал Александр Гротендик ( 1957 , теорема 2.1), [1] и более или менее эквивалентен факторизации Биркгофа, введенной Джорджем Дэвидом Биркгофом ( 1909 ). [2]
Заявление
[ редактировать ]Точнее, формулировка теоремы состоит в следующем.
Каждое голоморфное векторное расслоение на голоморфно изоморфна прямой сумме линейных расслоений:
Обозначения подразумевают, что каждое слагаемое представляет собой поворот Серра некоторое количество раз тривиального расслоения . Представление уникально с точностью до перестановочных множителей.
Обобщение
[ редактировать ]Тот же результат справедлив в алгебраической геометрии для алгебраических векторных расслоений над для любой сферы . [3] Это также справедливо для с одной или двумя точками орбифолда, а также для цепочек проективных прямых, пересекающихся вдоль узлов. [4]
Приложения
[ редактировать ]Одним из применений этой теоремы является классификация всех когерентных пучков на . У нас есть два случая: векторные расслоения и когерентные пучки, поддерживаемые вдоль подмногообразия, поэтому где n - степень жирной точки в . Поскольку единственными подмногообразиями являются точки, мы имеем полную классификацию когерентных пучков.
См. также
[ редактировать ]- Алгебраическая геометрия проективных пространств
- последовательность Эйлера
- Принцип разделения
- К-теория
- Прыгающая линия
Ссылки
[ редактировать ]- ^ Гротендик, Александр (1957). «О классификации голоморфных расслоений на сфере Римана». Американский журнал математики . 79 (1): 121–138. дои : 10.2307/2372388 . JSTOR 2372388 . S2CID 120532002 .
- ^ Биркгоф, Джордж Дэвид (1909). «Особые точки обыкновенных линейных дифференциальных уравнений». Труды Американского математического общества . 10 (4): 436–470. дои : 10.2307/1988594 . ISSN 0002-9947 . ЖФМ 40.0352.02 . JSTOR 1988594 .
- ^ Хазевинкель, Михель ; Мартин, Клайд Ф. (1982). «Краткое элементарное доказательство теоремы Гротендика об алгебраических векторных расслоениях над проективной прямой» . Журнал чистой и прикладной алгебры . 25 (2): 207–211. дои : 10.1016/0022-4049(82)90037-8 .
- ^ Мартенс, Йохан; Таддеус, Майкл (2016). «Вариации на тему Гротендика». Математическая композиция . 152 : 62–98. arXiv : 1210.8161 . Бибкод : 2012arXiv1210.8161M . дои : 10.1112/S0010437X15007484 . S2CID 119716554 .
Дальнейшее чтение
[ редактировать ]- Оконек, Кристиан; Шнайдер, Майкл; Шпиндлер, Хайнц (1980). Векторные расслоения на комплексных проективных пространствах . Современная классика Биркхойзера. Биркхойзер Базель. дои : 10.1007/978-3-0348-0151-5 . ISBN 978-3-0348-0150-8 .
- Саламон, С.М.; Берстолл, FE (1987). «Турниры, флаги и гармонические карты» . Математические Аннален . 277 (2): 249–266. дои : 10.1007/BF01457363 . S2CID 120270501 .
Внешние ссылки
[ редактировать ]- Роман Безрукавников. 18.725 Алгебраическая геометрия ( LEC № 24 Биркгофа – Гротендика, Римана-Роха, двойственности Серра ), осень 2015 г. Массачусетский технологический институт: MIT OpenCourseWare Creative Commons BY-NC-SA .