Прыгающая линия
В математике прыгающая линия или исключительная линия векторного расслоения над проективным пространством - это проективная линия в проективном пространстве, где векторное расслоение имеет исключительное поведение, другими словами, структура его ограничения на прямую «скачет». Строки для прыжков были представлены РЛЭ Шварценбергером в 1961 году. [1] [2] Прыгающие линии векторного расслоения образуют собственное замкнутое подмножество грассманиана всех линий проективного пространства.
Теорема Биркгофа – Гротендика классифицирует n -мерные векторные расслоения над проективной прямой как соответствующие неупорядоченным n -наборам целых чисел. Это явление нельзя обобщить на проективные пространства более высокой размерности, а именно, нельзя разложить произвольное расслоение в терминах суммы степеней Уитни тавтологического расслоения или, фактически, линейных расслоений в целом. Тем не менее, можно получить информацию такого типа, используя следующий метод. Учитывая пакет на , , мы можем занять очередь в или, что то же самое, двумерное подпространство . Это образует многообразие, эквивалентное встроенный в , поэтому мы можем ограничить к , и он будет разлагаться по теореме Биркгофа–Гротендика в сумму степеней тавтологического расслоения. Можно показать, что уникальный кортеж целых чисел, заданный этим разделением, одинаков для «общего» выбора строки. Говоря более технически, существует непустое открытое подмногообразие грассманиана прямых в , с однотипным разложением. Линии, декомпозиция которых отличается от этого общего типа, называются «прыгающими линиями». Если расслоение в общем случае тривиально вдоль прямых, то прыгающие линии — это именно те линии, для которых ограничение нетривиально.
Пример
[ редактировать ]Предположим, что V — 4-мерное комплексное векторное пространство с невырожденной кососимметричной формой. Существует векторное расслоение ранга 2 над 3-мерным комплексным проективным пространством, связанным с V , которое присваивает каждой строке L из V 2-мерное векторное пространство L ⊥ / Л . Тогда плоскость V соответствует прыгающей прямой этого векторного расслоения тогда и только тогда, когда она изотропна для кососимметричной формы.
Ссылки
[ редактировать ]- ^ Шварценбергер, РЛЭ (1961), «Векторные расслоения на алгебраических поверхностях», Труды Лондонского математического общества , третья серия, 11 : 601–622, doi : 10.1112/plms/s3-11.1.601 , ISSN 0024-6115 , MR 0137711
- ^ Шварценбергер, РЛЭ (1961), «Векторные расслоения на проективной плоскости», Труды Лондонского математического общества , третья серия, 11 : 623–640, doi : 10.1112/plms/s3-11.1.623 , ISSN 0024-6115 , MR 0137712
Дальнейшее чтение
[ редактировать ]- Муласе, Мотохико (1979), «Полюсы инстантонов и прыгающие линии алгебраических векторных расслоений на P³» , Японская академия. Слушания. Серия А. Математические науки , 55 (5): 185–189, doi : 10.3792/pjaa.55.185 , ISSN 0386-2194 , MR 0533544