WikiDer > Диагональный морфизм (алгебраическая геометрия) - Википедия

В алгебраической геометрии, учитывая морфизм схем ${ displaystyle p: X to S}$, то диагональный морфизм

${ displaystyle delta: от X до X times _ {S} X}$

является морфизмом, определяемым универсальным свойством волокнистый продукт ${ displaystyle X times _ {S} X}$ из п и п применяется к личности ${ displaystyle 1_ {X}: от X до X}$ и личность ${ displaystyle 1_ {X}}$.

Это частный случай морфизм графа: данный морфизм ${ displaystyle f: от X до Y}$ над S, его морфизм графа ${ displaystyle X to X times _ {S} Y}$ индуцированный ${ displaystyle f}$ и личность ${ displaystyle 1_ {X}}$. Диагональное вложение - это морфизм графа ${ displaystyle 1_ {X}}$.

По определению, Икс это отдельная схема над S (${ displaystyle p: X to S}$ это разделенный морфизм), если диагональный морфизм закрытое погружение. Также морфизм ${ displaystyle p: X to S}$ локально конечного представления является неразветвленный морфизм тогда и только тогда, когда диагональное вложение является открытым погружением.

Объяснение

В качестве примера рассмотрим алгебраическое многообразие над алгебраически замкнутое поле k и ${ displaystyle p: X to operatorname {Spec} (k)}$ структурная карта. Затем, определяя Икс с набором своих k-рациональные точки, ${ displaystyle X times _ {k} X = {(x, y) in X times X }}$ и ${ displaystyle delta: от X к X times _ {k} X}$ дается как ${ Displaystyle х mapsto (х, х)}$; откуда и название диагональный морфизм.

Раздельный морфизм

А разделенный морфизм это морфизм ${ displaystyle f}$ так что волокнистый продукт из ${ displaystyle f}$ с собой вместе ${ displaystyle f}$ имеет свой диагональ как замкнутая подсхема - другими словами, диагональный морфизм это закрытое погружение.

Как следствие, схема ${ displaystyle X}$ является отделенный когда диагональ ${ displaystyle X}$ в пределах схема продукта из ${ displaystyle X}$ сам с собой - это закрытое погружение. Подчеркивая относительную точку зрения, можно было бы эквивалентным образом определить схему, которая должна быть разделена, если уникальный морфизм ${ Displaystyle X rightarrow { textrm {Spec}} ( mathbb {Z})}$ отделен.

Обратите внимание, что топологическое пространство Y является Хаусдорф тогда и только тогда, когда диагональное вложение

${ displaystyle Y { stackrel { Delta} { longrightarrow}} Y times Y, , y mapsto (y, y)}$

закрыто. В алгебраической геометрии указанная выше формулировка используется потому, что схема, которая является хаусдорфовым пространством, обязательно пуста или нульмерна. Разница между топологическим и алгебро-геометрическим контекстом проистекает из топологической структуры расслоенного продукта (в категории схем) ${ Displaystyle X times _ {{ textrm {Spec}} ( mathbb {Z})} X}$, которое отличается от произведения топологических пространств.

Любой аффинный схема Спецификация A отделено, поскольку диагональ соответствует сюръективному отображению колец (следовательно, является замкнутым погружением схем):

${ displaystyle A otimes _ { mathbb {Z}} A rightarrow A, a otimes a ' mapsto a cdot a'}$.

Позволять ${ displaystyle S}$ - схема, полученная путем идентификации двух аффинных линий через карту идентичности, за исключением начала координат (см. схема склейки # Примеры). Это не разделено.^[1] Действительно, образ диагонального морфизма ${ displaystyle S to S times S}$ image имеет два начала, а его закрытие содержит четыре начала.

Использование в теории пересечений

Классический способ определения продукт пересечения из алгебраические циклы ${ displaystyle A, B}$ на гладкий сорт Икс пересекая (ограничивая) их декартово произведение с диагональю (до): точно,

${ Displaystyle A cdot B = delta ^ {*} (A times B)}$

куда ${ displaystyle delta ^ {*}}$ - откат по диагональному вложению ${ displaystyle delta: от X до X times X}$.

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

• регулярное вложение
• Диагональный морфизм

Рекомендации

• Хартсхорн, Робин (1977), Алгебраическая геометрия, Тексты для выпускников по математике, 52, Нью-Йорк: Springer-Verlag, ISBN 978-0-387-90244-9, МИСТЕР 0463157

Этот связанные с алгебраической геометрией статья - это заглушка. Вы можете помочь Википедии расширяя это. v т е