Тавтологическое расслоение
В математике тавтологическое расслоение — это векторное расслоение, возникающее над грассманианом естественным тавтологическим образом: для грассманиана - размерные подпространства , учитывая точку в грассманиане, соответствующую -мерное векторное подпространство , волокно поверх это подпространство сам. В случае проективного пространства тавтологическое расслоение известно как тавтологическое линейное расслоение.
Тавтологическое расслоение также называют универсальным расслоением, поскольку любое векторное расслоение (над компактным пространством [1] ) — образ тавтологического расслоения; то есть грассманиан является классифицирующим пространством для векторных расслоений. В связи с этим тавтологическое расслоение важно при изучении характеристических классов .
Тавтологические расслоения строятся как в алгебраической топологии, так и в алгебраической геометрии. В алгебраической геометрии тавтологическое линейное расслоение (как обратимый пучок ) есть
двойственный скручивающему или расслоению гиперплоскости пучку Серра . Гиперплоское расслоение — это линейное расслоение, соответствующее гиперплоскости ( дивизору ) в . Тавтологическое линейное расслоение и гиперплоское расслоение — это в точности два образующих группы Пикара проективного пространства. [2]
В «К-теории» Майкла Атьи тавтологическое линейное расслоение над комплексным проективным пространством называется стандартным линейным расслоением . Расслоение сфер стандартного расслоения обычно называют расслоением Хопфа . (см. Генератор Ботта .)
В более общем смысле, существуют также тавтологические расслоения на проективном расслоении векторного расслоения, а также расслоение Грассмана .
Старый термин «канонический расслоение» вышел из употребления на том основании, что «канонический» и так сильно перегружен в математической терминологии, и (что еще хуже) путаницы с каноническим классом в алгебраической геометрии едва ли можно избежать.
Интуитивное определение
[ редактировать ]Грассманианами по определению являются пространства параметров для линейных подпространств заданной размерности в заданном векторном пространстве. . Если является грассманианом, а является подпространством соответствующий в , это уже почти те данные, которые необходимы для векторного расслоения: а именно векторное пространство для каждой точки , непрерывно изменяясь. Единственное, что может остановить определение тавтологического расслоения по этому указанию, — это трудность, заключающаяся в том, что собираются пересечься. Чтобы исправить это, необходимо обычное применение устройства непересекающегося объединения , так что проекция пучка происходит из общего пространства, состоящего из идентичных копий , которые теперь не пересекаются. Таким образом, у нас есть связка.
В комплект входит футляр для проекционного пространства. По соглашению может с пользой нести тавтологическое расслоение в смысле двойственного пространства . То есть с двойственное пространство, точки несут векторные подпространства это их ядра, если рассматривать их как (лучи) линейных функционалов на . Если имеет размерность тавтологическое линейное расслоение — это одно тавтологическое расслоение, а другое, только что описанное, имеет ранг .
Формальное определение
[ редактировать ]Позволять — Грассманиан -мерных n векторных подпространств в как набор это набор всех n -мерных векторных подпространств Например, если n = 1, это реальное проективное k -пространство.
Определим тавтологическое расслоение γ n , k над следующее. Общее пространство расслоения — это множество всех пар ( V , v ), состоящих из точки V грассманиана и вектора v в V ; задана топология подпространства декартова произведения Карта проекции π задается формулой π( V , v ) = V . Если F является прообразом V относительно π, ему задается структура векторного пространства как a ( V , v ) + b ( V , w ) = ( V , av + bw ). Наконец, чтобы убедиться в локальной тривиальности, для данной точки X в грассманиане пусть U будет множеством всех V таких, что ортогональная проекция p на X отображает V изоморфно на X , [3] а затем определить
что, очевидно, является гомеоморфизмом. Следовательно, результатом является векторное расслоение ранга n .
Приведенное выше определение продолжит иметь смысл, если мы заменим со сложным полем
По определению бесконечный Грассманиан является прямым пределом как Взяв прямой предел расслоений γn , k дает тавтологическое γn расслоение Это универсальное расслоение в том смысле, что для каждого компакта X существует естественная биекция
где скобка слева означает гомотопический класс, а справа — множество классов изоморфизма вещественных векторных расслоений ранга n . Обратное отображение задается следующим образом: поскольку X компактно, любое векторное расслоение E является подрасслоением тривиального расслоения: для некоторого k и поэтому E определяет отображение
уникален с точностью до гомотопии.
Замечание . В свою очередь, тавтологическое расслоение можно определить как универсальное расслоение; предположим, что существует естественная биекция
для любого паракомпакта X . С является прямым пределом компактных пространств, он паракомпакт и, следовательно, существует единственное векторное расслоение над что соответствует карте идентичности на Это именно тавтологическое расслоение, и путем ограничения можно получить тавтологические расслоения по всем
Пакет гиперплоскости
[ редактировать ]Гиперплоское расслоение H на вещественном проективном k -пространстве определяется следующим образом. Общее пространство H — это набор всех пар ( L , f ), состоящих из прямой L, проходящей через начало координат в и f линейный функционал на L . Отображение проекции π задается формулой π( L , f ) = L (так что слой над L является двойственным векторным пространством к L ). Остальное в точности похоже на тавтологическое линейное расслоение.
Другими словами, H — двойственное расслоение к тавтологическому линейному расслоению.
В алгебраической геометрии расслоение гиперплоскости — это линейное расслоение (как обратимый пучок ), соответствующее дивизору гиперплоскости.
задано, скажем, как = x0 0, когда xi — однородные координаты . Это можно увидеть следующим образом. Если D — делитель (Вейля) на соответствующее линейное расслоение O ( D ) на X определяется формулой
где K поле рациональных функций на X. — Принимая D за H , мы имеем:
где x 0 , как обычно, рассматривается как глобальное сечение скручивающего пучка O (1). (Фактически, указанный выше изоморфизм является частью обычного соответствия между дивизорами Вейля и дивизорами Картье.) Наконец, двойственный скручивающему пучку соответствует тавтологическому линейному расслоению (см. ниже).
Тавтологическое линейное расслоение в алгебраической геометрии
[ редактировать ]В алгебраической геометрии это понятие существует над любым полем k . Конкретное определение заключается в следующем. Позволять и . Обратите внимание, что у нас есть:
где Spec — относительная Spec . Теперь поставьте:
где I — идеальный пучок, порожденный глобальными сечениями . Тогда L — замкнутая подсхема по той же базовой схеме ; более того, замкнутые точки L — это в точности точки ( x , y ) такой, что либо x равен нулю, либо образ x в это y . Таким образом, L — это тавтологическое линейное расслоение, определенное ранее, если k — поле действительных или комплексных чисел.
Говоря более кратко, L — это разрушение происхождения аффинного пространства. , где место x = 0 в L является исключительным дивизором . (ср. Хартсхорн, гл. I, конец § 4.)
В общем, — алгебраическое векторное расслоение, соответствующее локально свободному пучку E конечного ранга. [4] Поскольку у нас есть точная последовательность:
тавтологическое линейное расслоение L , определенное выше, соответствует двойственному Серра извилистого пучка . На практике оба понятия (тавтологическое расслоение и двойственное скручивающему пучку) используются как взаимозаменяемые.
Над полем его двойственное линейное расслоение — это линейное расслоение, связанное с дивизором гиперплоскости H , глобальными сечениями которого являются линейные формы . Его класс Чженя — − H . Это пример анти-обильного линейного расслоения . Над это равносильно утверждению, что это отрицательное линейное расслоение, а это означает, что за вычетом его класса Чженя есть класс де Рама стандартной кэлеровой формы.
Факты
[ редактировать ]- Тавтологическое линейное расслоение γ 1, k , локально тривиально но не тривиально для k ≥ 1. Это остается верным и для других полей. [ нужна ссылка ]
Фактически, несложно показать, что при k = 1 вещественное тавтологическое линейное расслоение представляет собой не что иное, как хорошо известное расслоение, тотальное пространство которого представляет собой полосу Мёбиуса . Полное доказательство изложенного факта см. [5]
- Группа Пикара расслоений на является бесконечным циклическим , а тавтологическое линейное расслоение является образующим.
- В случае проективного пространства, где тавтологическое расслоение является линейным расслоением , соответствующий обратимый пучок сечений имеет вид , тензор, обратный ( т.е. двойственное векторное расслоение) гиперплоского расслоения или пучка скручиваний Серра ; другими словами, расслоение гиперплоскости является генератором группы Пикара, имеющей положительную степень (как дивизор ), а тавтологическое расслоение является его противоположностью: генератором отрицательной степени.
См. также
[ редактировать ]- пучок Хопфа
- Класс Штифеля-Уитни
- последовательность Эйлера
- Класс Черна (классы Черна тавтологических расслоений — это алгебраически независимые образующие кольца когомологий бесконечного грассманиана.)
- Теорема Бореля
- Пространство Тома (пространство Тома тавтологических расслоений γ n при n → ∞ называется спектром Тома .)
- Пучок Грассмана
Ссылки
[ редактировать ]- ^ Для некомпактной, но паракомпактной базы это остается верным при условии использования бесконечного Грассмана.
- ^ В литературе и учебниках их часто называют каноническими генераторами.
- ^ U открыт с тех пор задана топология такая, что
- ^ Редакционное примечание: это определение отличается от Хартшорна тем, что он не использует двойственное определение, но соответствует стандартной практике и другим частям Википедии.
- ^ Милнор и Сташефф 1974 , §2. Теорема 2.1.
Источники
[ редактировать ]- Атья, Майкл Фрэнсис (1989), K-теория , Advanced Book Classics (2-е изд.), Аддисон-Уэсли , ISBN 978-0-201-09394-0 , МР 1043170
- Гриффитс, Филипп ; Харрис, Джозеф (1994), Принципы алгебраической геометрии (PDF) , Wiley Classics Library, Нью-Йорк: John Wiley & Sons , doi : 10.1002/978118032527 , ISBN 978-0-471-05059-9 , МР 1288523 .
- Хартсхорн, Робин (1977), Алгебраическая геометрия , Берлин, Нью-Йорк: Springer-Verlag , ISBN 978-0-387-90244-9 , МР 0463157 , OCLC 13348052 .
- Милнор, Джон В .; Сташефф, Джеймс Д. (1974), Характеристические классы , Анналы математических исследований, том. 76, Принстон, Нью-Джерси: Издательство Принстонского университета, MR 0440554
- Рубей, Елена (2014), Алгебраическая геометрия: краткий словарь , Берлин/Бостон: Уолтер Де Грюйтер, ISBN 978-3-11-031622-3