WikiDer > Морфизм схем

Morphism of schemes

В алгебраической геометрии a морфизм схем обобщает морфизм алгебраических многообразий так же как схема обобщает алгебраическое многообразие. Это по определению морфизм в категории схем.

А морфизм алгебраических стеков обобщает морфизм схем.

Определение

По определению, морфизм схем - это просто морфизм локально окольцованные пространства.

Схема, по определению, имеет открытые аффинные карты, и, таким образом, морфизм схем также может быть описан в терминах таких карт (сравните определение морфизма разновидностей).[1] Пусть ƒ:ИксY быть морфизмом схем. Если Икс это точка Икс, поскольку непрерывно, существуют открытые аффинные подмножества U = Спецификация А из Икс содержащий Икс и V = Спецификация B из Y такое, что ƒ (U) ⊂ V. Тогда ƒ: UV это морфизм аффинные схемы и, следовательно, индуцирован некоторым гомоморфизмом колец BА (ср. # Афинское дело.) Фактически, это описание можно использовать для «определения» морфизма схем; один говорит, что ƒ:ИксY является морфизмом схем, если он локально индуцирован гомоморфизмами колец между координатными кольцами аффинных карт.

  • Заметка: Не хотелось бы определять морфизм схем как морфизм окольцованных пространств. Одна тривиальная причина заключается в том, что существует пример морфизма кольцевого пространства между аффинными схемами, который не индуцируется гомоморфизмом колец (например,[2] морфизм окольцованных пространств:
который отправляет уникальную точку s и это идет с .) Более концептуально определение морфизма схем должно улавливать «локальный характер Зарисского» или локализация колец;[3] эта точка зрения (т. е. локально окольцованное пространство) существенна для обобщения (топоса).

Пусть ƒ:ИксY быть морфизмом схем с . Затем для каждой точки Икс из Икс, гомоморфизмы на стеблях:

это локальный гомоморфизм колец: т.е. и таким образом индуцирует инъективный гомоморфизм поля остатков

.

(Фактически, φ отображает th п-я степень максимального идеала к п-й степени максимального идеала и, таким образом, индуцирует отображение между Котангенсные пространства (Зарисского).)

Для каждой схемы Икс, существует естественный морфизм

который является изоморфизмом тогда и только тогда, когда Икс аффинно; θ получается склейкой U → цель, которая возникает из-за ограничений на открытие аффинных подмножеств U из Икс. Этот факт также можно констатировать так: для любой схемы Икс и кольцо А, существует естественная биекция:

(Доказательство: карта справа налево - требуемая биекция. Короче говоря, θ - это присоединение.)

Более того, этот факт (сопряженное отношение) можно использовать для характеристики аффинная схема: схема Икс аффинно тогда и только тогда, когда для каждой схемы S, естественная карта

биективен.[4] (Доказательство: если карты биективны, то и Икс изоморфен от Лемма Йонеды; обратное ясно.)

Морфизм как относительная схема

Исправить схему S, называется базовая схема. Тогда морфизм называется схемой над S или S-схема; идея терминологии в том, что это схема Икс вместе с картой к базовой схеме S. Например, векторный пучок ES по схеме S является S-схема.

An S-морфизм из п:ИксS к q:YS является морфизмом ƒ:ИксY схем, таких что п = q ∘ ƒ. Учитывая S-схема , просмотр S как S-схема над собой через карту идентичности, S-морфизм называется S-раздел или просто раздел.

Все S-схемы образуют категорию: объект в категории является S-схема и морфизм в категории an S-морфизм. (Вкратце, эта категория категория срезов категории схем с базовым объектом S.)

Аффинный случай

Позволять - гомоморфизм колец и пусть

- индуцированное отображение. потом

  • непрерывно.[5]
  • Если сюръективно, то является гомеоморфизмом на свой образ.[6]
  • Для каждого идеала я из А, [7]
  • имеет плотный образ тогда и только тогда, когда ядро состоит из нильпотентных элементов. (Доказательство: предыдущая формула с я = 0.) В частности, когда B уменьшен, имеет плотный образ тогда и только тогда, когда инъективно.

Позволять ж: Spec А → Спецификация B - морфизм схем между аффинными схемами с обратным отображением : BА. То, что это морфизм локально окольцованных пространств, переводится в следующее утверждение: если является точкой Spec А,

.

(Доказательство: в общем, состоит из г в А который имеет нулевое изображение в поле вычетов k(Икс); то есть имеет образ в максимальном идеале . Таким образом, работая в местных кольцах, . Если , тогда является единичным элементом и поэтому является единичным элементом.)

Следовательно, каждый гомоморфизм колец BА определяет морфизм схем Spec А → Спецификация B и, наоборот, все морфизмы между ними возникают таким образом.

Примеры

Базовые

  • Позволять р быть полем или Для каждого р-алгебра А, чтобы указать элемент А, сказать ж в А, это дать р-алгебр гомоморфизм такой, что . Таким образом, . Если Икс это схема над S = Спецификация р, затем принимая и используя тот факт, что Spec является правым сопряженным к глобальному функтору сечения, мы получаем
где . Обратите внимание на равенство колец.
  • Аналогично для любого S-схема Икс, происходит идентификация мультипликативных групп:
где - мультипликативная групповая схема.
  • Многие примеры морфизмов происходят из семейств, параметризованных некоторым базовым пространством. Например,
является проективным морфизмом проективных многообразий, где базовое пространство параметризует квадрики в .

Морфизм графа

Учитывая морфизм схем по схеме S, морфизм индуцированный тождеством и ж называется морфизм графа из ж. Морфизм графа тождества называется диагональный морфизм.

Типы морфизмов

Конечный тип

Морфизмы конечного типа являются одним из основных инструментов для построения семейств разновидностей. Морфизм имеет конечный тип, если существует покрытие так что волокна покрывается конечным числом аффинных схем превращая индуцированные морфизмы колец в морфизмы конечного типа. Типичным примером морфизма конечного типа является семейство схем. Например,

является морфизмом конечного типа. Простым не примером морфизма конечного типа является где это поле. Другой - бесконечный непересекающийся союз

Закрытое погружение

Морфизм схем это закрытое погружение если выполняются следующие условия:

  1. определяет гомеоморфизм на свой образ
  2. сюръективно

Это условие эквивалентно следующему: для аффинного открытого существует идеал такой, что

Примеры

Конечно, любое (градуированное) частное определяет подсхему (). Рассмотрим квазиаффинную схему и подмножество -ось содержится в . Тогда, если мы возьмем открытое подмножество идеальная связка в то время как на аффинном открытом идеала не существует, поскольку подмножество не пересекает эту диаграмму.

Отдельно

Разделенные морфизмы определяют семейства схем, которые являются «хаусдорфовыми». Например, учитывая разделенный морфизм в ассоциированные аналитические пространства оба являются Хаусдорфами. Мы говорим морфизм схемы отделяется, если диагональный морфизм закрытое погружение. В топологии эквивалентное условие для пространства быть хаусдорфовым, если диагональное множество

является замкнутым подмножеством .

Примеры

Большинство морфизмов, встречающихся в теории схем, будут разделены. Например, рассмотрим аффинную схему

над Поскольку схема продукта

идеал, определяющий диагональ, порождается

показывающая диагональная схема аффинна и замкнута. То же самое вычисление можно использовать, чтобы показать, что проективные схемы также разделены.

Без примеров

Единственный раз, когда нужно проявлять осторожность, - это когда вы склеиваете семейство схем. Например, если взять диаграмму включений

тогда мы получаем теоретико-схемный аналог классической линии с двумя началами.

Правильный

Морфизм называется правильный если

  1. это отделено
  2. конечного типа
  3. универсально закрытый

Последнее условие означает, что данный морфизм морфизм изменения базы закрытое погружение. Большинство известных примеров собственных морфизмов на самом деле проективны; но примеры собственных многообразий, которые не являются проективными, можно найти с помощью торическая геометрия.

Проективный

Проективные морфизмы определяют семейства проективные многообразия по фиксированной базовой схеме. Обратите внимание, что есть два определения: Hartshornes, в котором говорится, что морфизм называется проективным, если существует замкнутое погружение и определение EGA, в котором говорится, что схема является проективным, если существует квазикогерентный -модуль конечного типа такой, что существует замкнутое погружение . Второе определение полезно, потому что точная последовательность модули могут использоваться для определения проективных морфизмов.

Проективный морфизм над точкой

Проективный морфизм определяет проективную схему. Например,

определяет проективную кривую рода над .

Семейство проективных гиперповерхностей

Если мы позволим то проективный морфизм

определяет семейство вырожденных многообразий Калаби-Яу.

Карандаш Лефшеца

Еще один полезный класс примеров проективных морфизмов - карандаши Лефшеца: они являются проективными морфизмами. над каким-то полем . Например, для гладких гиперповерхностей определяется однородными многочленами есть проективный морфизм

давая карандаш.

EGA Projective

Хороший классический пример проективной схемы - это построение проективных морфизмов, которые разлагаются на рациональные свитки. Например, возьмите и векторное расслоение . Это можно использовать для построения -бандл над . Если мы хотим построить проективный морфизм, используя этот пучок, мы можем взять точную последовательность, например

определяющий структурный пучок проективной схемы в

Плоский

Интуиция

Плоские морфизмы имеют алгебраическое определение, но имеют очень конкретную геометрическую интерпретацию: плоские семейства соответствуют семействам многообразий, которые изменяются «непрерывно». Например,

- семейство гладких аффинных квадратичных кривых, вырождающихся в дивизор нормального пересечения

в происхождении.

Свойства

Одно важное свойство, которому должен удовлетворять плоский морфизм, - это то, что размеры волокон должны быть одинаковыми. Тогда простым не примером плоского морфизма является раздутие, поскольку слои являются либо точками, либо копиями некоторого .

Определение

Позволять быть морфизмом схем. Мы говорим что плоский в точке если индуцированный морфизм дает точный функтор Потом, является плоский если он плоский в каждой точке . Это также точно плоский если это сюръективный морфизм.

Не пример

Используя нашу геометрическую интуицию, очевидно, что

не плоский, так как волокно является с остальными волокнами просто точка. Но мы также можем проверить это, используя определение с локальной алгеброй: рассмотрим идеал поскольку мы получаем морфизм локальной алгебры

Если мы тензор

с участием , карта

имеет ненулевое ядро ​​из-за обращения в нуль . Это показывает, что морфизм не плоский.

Неразветвленный

Морфизм аффинных схем есть неразветвленный если . Мы можем использовать это для общего случая морфизма схем . Мы говорим что не разветвлен в если есть аффинная открытая окрестность и аффинное открытое такой, что и Тогда морфизм неразветвлен, если он не разветвляется в каждой точке .

Геометрический пример

Одним из примеров морфизма, который является плоским и в целом неразветвленным, за исключением точки, является

Мы можем вычислить относительные дифференциалы, используя последовательность

показывая

если мы возьмем волокно , то морфизм разветвлен, так как

в противном случае у нас есть

показывая, что он не разветвлен везде.

Etale

Морфизм схем называется эталь если она плоская и ровная. Это алгебро-геометрический аналог накрывающих пространств. Два основных примера, о которых следует подумать, - это накрывающие пространства и конечные отделимые расширения полей. Примеры в первом случае можно построить, глядя на разветвленные покрытия и ограничение неразветвленным локусом.

Морфизмы как точки

По определению, если Икс, S схемы (над некоторой базовой схемой или кольцом B), то морфизм из S к Икс (над B) является S-точка Икс и один пишет:

для набора всех S-точки Икс. Это понятие обобщает понятие решений системы полиномиальных уравнений классической алгебраической геометрии. Действительно, пусть Икс = Спецификация (А) с участием . Для B-алгебра р, чтобы дать р-точка Икс состоит в том, чтобы дать гомоморфизм алгебр Ар, что, в свою очередь, приводит к гомоморфизму

это убивает жяс. Таким образом, происходит естественная идентификация:

пример: Если Икс является S-схема со структурным отображением π: ИксS, затем S-точка Икс (над S) - то же самое, что сечение π.

В теория категорий, Лемма Йонеды говорит, что, учитывая категорию C, контравариантный функтор

полностью верен (где означает категорию предварительные пучки на C). Применяя лемму к C = категория схем над B, это говорит о том, что схема закончилась B определяется его различными точками.

Оказывается, на самом деле достаточно рассмотреть S-точки только с аффинными схемами Sименно потому, что схемы и морфизмы между ними получаются склейкой аффинных схем и морфизмов между ними. Из-за этого обычно пишут Икс(р) = Икс(Спецификация р) и просмотрите Икс как функтор из категории коммутативных B-алгебры к Наборы.

пример: Данный S-схемы Икс, Y со структурными картами п, q,

.

пример: С участием B все еще обозначающий кольцо или схему, для каждого B-схема Икс, существует естественная биекция

{классы изоморфизма линейных расслоений L на Икс вместе с п + 1 глобальные разделы, генерирующие L. };

на самом деле разделы sя из L определить морфизм . (Смотрите также Строительство проекта # Global Proj.)

Замечание: Вышеупомянутая точка зрения (которая идет под названием функтор точек и принадлежит Гротендику) оказал значительное влияние на основы алгебраической геометрии. Например, при работе с категориальным (псевдо) функтор вместо многозначного функтора приводит к понятию стек, что позволяет отслеживать морфизмы между точками.

Рациональная карта

Аналогично определяется рациональное отображение схем для многообразий. Таким образом, рациональное отображение из приведенной схемы Икс по отдельной схеме Y является классом эквивалентности пары состоящий из открытого плотного подмножества U из Икс и морфизм . Если Икс неприводимо, a рациональная функция на Икс по определению является рациональным отображением из Икс к аффинной прямой или проективная линия

Рациональная карта является доминирующей тогда и только тогда, когда она отправляет общую точку в общую точку.[8]

Гомоморфизм колец между функциональными полями не обязательно индуцирует доминирующее рациональное отображение (даже просто рациональное отображение).[9] Например, Spec k[Икс] и Spec k(Икс) и имеют одинаковое функциональное поле (а именно, k(x)), но рационального отображения первого во второе нет. Однако верно, что любое включение функциональных полей алгебраических многообразий индуцирует доминирующее рациональное отображение (см. морфизм алгебраических многообразий # Свойства.)

Смотрите также

Заметки

  1. ^ Вакил, Упражнение 6.3.C.
  2. ^ Вакил, Упражнение 6.2.E.
  3. ^ http://www.math.harvard.edu/~lurie/papers/DAG-V.pdf, § 1.
  4. ^ EGA I, Гл. I, Corollarie 1.6.4.
  5. ^ Доказательство: для всех ж в А.
  6. ^ EGA I, Гл. Я, Corollaire 1.2.4.
  7. ^ EGA I, Гл. I, 1.2.2.3.
  8. ^ Вакил, Упражнение 6.5.A
  9. ^ Вакил, Абзац после упражнения 6.5.B

использованная литература