Относительный эффективный делитель Картье - Википедия - Relative effective Cartier divisor
В алгебраическая геометрия, а относительный эффективный дивизор Картье это примерно семья эффективные делители Картье. А именно, эффективный делитель Картье в схеме Икс над кольцом р закрытая подсхема D из Икс что (1) плоский над р и (2) идеальный пучок из D локально не имеет ранга один (т. е. обратимый пучок). Эквивалентно закрытая подсхема D из Икс является эффективным дивизором Картье, если существует открытое аффинное покрытие из Икс и ненулевые делители такое, что пересечение дается уравнением (называемые локальными уравнениями) и плоский р и такие, что они совместимы.
Эффективный дивизор Картье как геометрическое место нулей сечения линейного расслоения
Позволять L быть линейным пучком на Икс и s часть его такой, что (другими словами, s это -регулярный элемент для любого открытого подмножества U.)
Выберите какую-нибудь открытую обложку из Икс такой, что . Для каждого я, через изоморфизмы ограничение соответствует ненулевому делителю из . Теперь определим замкнутую подсхему из Икс (называется нулевое геометрическое место сечения s) к
где правая часть означает замкнутую подсхему схемы заданный пучком идеалов, порожденным . Это четко определено (т.е. они согласны с перекрытиями), поскольку является единичным элементом. По той же причине закрытая подсхема не зависит от выбора локальных тривиализаций.
Эквивалентно, нулевое геометрическое место s может быть построен как слой морфизма; а именно просмотр L как общее пространство, раздел s это Икс-морфизм L: морфизм такой, что s с последующим это личность. потом может быть построен как волокнистый продукт s и вложение нулевого сечения .
Наконец, когда плоский по базовой схеме S, это эффективный дивизор Картье на Икс над S. Кроме того, эта конструкция исчерпывает все эффективные дивизоры Картье на Икс следующее. Позволять D - эффективный дивизор Картье и обозначим идеальный пучок D. Из-за локальной свободы, принимая из дает точную последовательность
В частности, 1 в можно идентифицировать с разделом в , который обозначим через .
Теперь мы можем повторить ранний аргумент с . С D - эффективный дивизор Картье, D локально имеет вид на для некоторого ненулевого делителя ж в А. Тривиализация дается умножением на ж; в частности, 1 соответствует ж. Следовательно, геометрическое место нулей является D.
Характеристики
- Если D и D ' - эффективные дивизоры Картье, то сумма эффективный дивизор Картье, определяемый локально как если ж, грамм дать локальные уравнения для D и D ' .
- Если D - эффективный дивизор Картье и - гомоморфизм колец, то эффективный дивизор Картье в .
- Если D - эффективный дивизор Картье и плоский морфизм над р, тогда эффективный дивизор Картье в ИКС' с идеальной связкой .
Примеры
Комплект гиперплоскости
Эффективные дивизоры Картье на относительной кривой
С этого момента предположим Икс это гладкий кривая (все еще закончилась р). Позволять D - эффективный дивизор Картье в Икс и предположим, что это правильный над р (что немедленно, если Икс правильно.) Тогда является локально бесплатным р-модуль конечного ранга. Этот ранг называется степенью D и обозначается . Это локально постоянная функция на . Если D и D ' - собственные эффективные дивизоры Картье, то правильно над р и . Позволять - конечный плоский морфизм. потом .[1] С другой стороны, изменение базы не меняет степени: .[2]
Закрытая подсхема D из Икс конечна, плоская и конечного представления тогда и только тогда, когда это эффективный дивизор Картье, собственный над р.[3]
Дивизоры Вейля, ассоциированные с эффективными дивизорами Картье
Для эффективного делителя Картье D, существует два эквивалентных способа связать дивизор Вейля к нему.
Примечания
- ^ Кац – Мазур 1985, Лемма 1.2.8.
- ^ Кац – Мазур 1985, Лемма 1.2.9.
- ^ Кац – Мазур 1985, Лемма 1.2.3.
Рекомендации
- Кац, Николай М; Мазур, Барри (1985). Арифметические модули эллиптических кривых. Princeton University Press. ISBN 0-691-08352-5.