Функтор представлен схемой - Functor represented by a scheme
В алгебраической геометрии a функтор, представленный схемой Икс многозначный контравариантный функтор по категории схемы такое, что значение функтора на каждой схеме S есть (с точностью до естественной биекции) множество всех морфизмы . Схема Икс тогда говорят представлять функтор и это классифицировать геометрические объекты над S данный F.[1]
Самый известный пример - это Схема гильберта схемы Икс (над некоторой фиксированной базовой схемой), которая, когда она существует, представляет собой функтор, отправляющий схему S в плоское семейство замкнутых подсхем .[2]
В некоторых приложениях может оказаться невозможным найти схему, представляющую данный функтор. Это привело к понятию куча, который не совсем функтор но все же его можно рассматривать как геометрическое пространство. (Схема Гильберта - это схема, а не стек, потому что, очень грубо говоря, теория деформации проще для замкнутых схем.)
Некоторые проблемы с модулями решаются путем предоставления формальные решения (в отличие от полиномиальных алгебраических решений), и в этом случае результирующий функтор представлен формальная схема. Такая формальная схема тогда называется алгебраизируемый если существует другая схема, которая может представлять тот же функтор, с точностью до некоторых изоморфизмов.
Мотивация
Это понятие является аналогом классификация пространства в алгебраическая топология. В алгебраической топологии основной факт состоит в том, что каждый главный грамм-группировать по пространству S является (с точностью до естественных изоморфизмов) обратным вызовом универсального расслоения по какой-то карте из S к . Другими словами, чтобы дать принципалу грамм-группировать по пространству S это то же самое, что дать карту (называемую классификационной картой) из пространства S в классификационное пространство из грамм.
Похожее явление в алгебраической геометрии дается линейная система: дать морфизм от проективного многообразия к проективному пространству - значит (с точностью до базовых локусов) дать линейную систему на проективном многообразии.
Лемма Йонеды говорит, что схема Икс определяет и определяется своими точками.[3]
Функтор точек
Позволять Икс быть схема. Его функтор точек это функтор
Hom (-,Икс): (Аффинные схемы)op ⟶ Наборы
отправка аффинной схемы А к набору схемных карт А → Икс.[4]
Схема определяется с точностью до изоморфизма своим функтором точек. Это более сильная версия Лемма Йонеды, в котором говорится, что Икс определяется отображением Hom (-,Икс): Схемыop → Наборы.
Наоборот, функтор F: (Аффинные схемы)op → Наборы является функтором точек некоторой схемы тогда и только тогда, когда F является пучком относительно Топология Зарисского on (Аффинные схемы) и F допускает открытое покрытие аффинными схемами.[5]
Примеры
Очки как символы
Позволять Икс схема над базовым кольцом B. Если Икс является теоретико-множественной точкой Икс, то поле вычетов из Икс поле вычетов местное кольцо (т.е. фактор по максимальному идеалу). Например, если Икс является аффинной схемой Spec (А) и Икс это главный идеал , то поле вычетов Икс это функциональное поле закрытой подсхемы .
Для простоты предположим . Тогда включение теоретико-множественной точки Икс в Икс соответствует гомоморфизму колец:
(который если .)
Очки как разделы
По универсальному свойству волокнистый продукт, каждый р-точка схемы Икс определяет морфизм р-схемы
- ;
т.е. участок проекции . Если S это подмножество Икс(р), то пишут для набора изображений сечений, определяемых элементами в S.[6]
Спецификация кольца двойных чисел
Позволять , Спецификация кольцо двойных чисел над полем k и Икс схема над k. Тогда каждый составляет касательный вектор к Икс в точке, которая является изображением замкнутой точки карты.[1] Другими словами, набор касательных векторов к Икс.
Универсальный объект
Эта секция нуждается в расширении. Вы можете помочь добавляя к этому. (Декабрь 2019 г.) |
Позволять F - функтор, представленный схемой Икс. При изоморфизме , есть уникальный элемент что соответствует карте идентичности . Он называется универсальным объектом или универсальным семейством (когда классифицируемые объекты являются семействами).[1]
Смотрите также
Примечания
- ^ а б c Шафаревич, Гл. VI § 4.1.
- ^ Шафаревич, Гл. VI § 4.4.
- ^ Фактически, Икс определяется его р-очки с различными кольцами р: в точных терминах по приведенным схемам Икс, Y, любое естественное преобразование из функтора к функтору определяет морфизм схем Икс →Y естественным образом.
- ^ Проект "Стеки", 01J5
- ^ Функтор точек, лемма Йонеды, пространства модулей и универсальные свойства (Брайан Оссерман), Cor. 3,6
- ^ Это похоже на стандартные обозначения; см. например http://www.math.harvard.edu/~lurie/282ynotes/LectureIX-NPD.pdf
Рекомендации
- Дэвид Мамфорд (1999). Красная книга разновидностей и схем: включает лекции в Мичигане (1974 г.) о кривых и их якобианах (2-е изд.). Springer-Verlag. Дои:10.1007 / b62130. ISBN 3-540-63293-X.
- http://www.math.harvard.edu/~lurie/282ynotes/LectureXIV-Borel.pdf
- Шафаревич, Игорь (1994). Основы алгебраической геометрии, второе, исправленное и дополненное издание, Vol. 2. Springer-Verlag.
внешняя ссылка
Этот алгебраическая геометрия статья - это заглушка. Вы можете помочь Википедии расширяя это. |