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

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

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

Определение

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

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

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

  ${displaystyle operatorname {Spec} k (x) o Operatorname {Spec} k [y] _ {(y)} = {eta = (0), s = (y)}}$

который отправляет уникальную точку s и это идет с ${displaystyle k [y] _ {(y)} o k (x) ,, ymapsto x}$.) Более концептуально определение морфизма схем должно улавливать «локальный характер Зарисского» или локализация колец;^[3] эта точка зрения (т. е. локально окольцованное пространство) существенна для обобщения (топоса).

Пусть ƒ:Икс→Y быть морфизмом схем с ${displaystyle phi: {mathcal {O}} _ {Y} o f _ {*} {mathcal {O}} _ {X}}$. Затем для каждой точки Икс из Икс, гомоморфизмы на стеблях:

${displaystyle phi: {mathcal {O}} _ {Y, f (x)} o {mathcal {O}} _ {X, x}}$

это локальный гомоморфизм колец: т.е. ${displaystyle phi ({mathfrak {m}} _ {f (x)}) подмножество {mathfrak {m}} _ {x}}$ и таким образом индуцирует инъективный гомоморфизм поля остатков

${displaystyle phi: k (f (x)) hookrightarrow k (x)}$.

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

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

${displaystyle heta: X o operatorname {Spec} Gamma (X, {mathcal {O}} _ {X}),}$

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

${displaystyle operatorname {Mor} (X, operatorname {Spec} (A)) cong operatorname {Hom} (A, Gamma (X, {mathcal {O}} _ {X})).}$

(Доказательство: карта ${displaystyle phi mapsto operatorname {Spec} (phi) circ heta}$ справа налево - требуемая биекция. Короче говоря, θ - это присоединение.)

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

${displaystyle operatorname {Mor} (S, X) o operatorname {Hom} (Gamma (X, {mathcal {O}} _ {X}), Gamma (S, {mathcal {O}} _ {S}))}$

биективен.^[4] (Доказательство: если карты биективны, то ${displaystyle operatorname {Mor} (-, X) simeq operatorname {Mor} (-, operatorname {Spec} Gamma (X, {mathcal {O}} _ {X}))}$ и Икс изоморфен ${displaystyle operatorname {Spec} Gamma (X, {mathcal {O}} _ {X})}$ от Лемма Йонеды; обратное ясно.)

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

Исправить схему S, называется базовая схема. Тогда морфизм ${displaystyle p: X o S}$ называется схемой над S или S-схема; идея терминологии в том, что это схема Икс вместе с картой к базовой схеме S. Например, векторный пучок E → S по схеме S является S-схема.

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

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

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

Позволять ${displaystyle varphi: B o A}$ - гомоморфизм колец и пусть

${displaystyle {egin {cases} varphi ^ {a}: operatorname {Spec} A o operatorname {Spec} B, {mathfrak {p}} mapsto varphi ^ {- 1} ({mathfrak {p}}) end {cases }}}$

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

• ${displaystyle varphi ^ {a}}$ непрерывно.^[5]

• Если ${displaystyle varphi}$ сюръективно, то ${displaystyle varphi ^ {a}}$ является гомеоморфизмом на свой образ.^[6]

• Для каждого идеала я из А, ${displaystyle {overline {varphi ^ {a} (V (I))}} = V (varphi ^ {- 1} (I)).}$^[7]

• ${displaystyle varphi ^ {a}}$ имеет плотный образ тогда и только тогда, когда ядро ${displaystyle varphi}$ состоит из нильпотентных элементов. (Доказательство: предыдущая формула с я = 0.) В частности, когда B уменьшен, ${displaystyle varphi ^ {a}}$ имеет плотный образ тогда и только тогда, когда ${displaystyle varphi}$ инъективно.

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

${displaystyle {mathfrak {p}} _ {f (x)} = varphi ^ {- 1} ({mathfrak {p}} _ {x})}$.

(Доказательство: в общем, ${displaystyle {mathfrak {p}} _ {x}}$ состоит из г в А который имеет нулевое изображение в поле вычетов k(Икс); то есть имеет образ в максимальном идеале ${displaystyle {mathfrak {m}} _ {x}}$. Таким образом, работая в местных кольцах, ${displaystyle g (f (x)) = 0Rightarrow varphi (g) in varphi ({mathfrak {m}} _ {f (x))}) подмножество {mathfrak {m}} _ {x} Rightarrow gin varphi ^ {- 1} ({mathfrak {m}} _ {x})}$. Если ${displaystyle g (f (x)) eq 0}$, тогда ${displaystyle g}$ является единичным элементом и поэтому ${displaystyle varphi (g)}$ является единичным элементом.)

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

Примеры

Базовые

• Позволять р быть полем или ${displaystyle mathbb {Z}.}$ Для каждого р-алгебра А, чтобы указать элемент А, сказать ж в А, это дать р-алгебр гомоморфизм ${displaystyle R [t] o A}$ такой, что ${displaystyle tmapsto f}$. Таким образом, ${displaystyle A = operatorname {Hom} _ {R- {ext {alg}}} (R [t], A)}$. Если Икс это схема над S = Спецификация р, затем принимая ${displaystyle A = Gamma (X, {mathcal {O}} _ {X})}$ и используя тот факт, что Spec является правым сопряженным к глобальному функтору сечения, мы получаем

${displaystyle Gamma (X, {mathcal {O}} _ {X}) = operatorname {Mor} _ {S} (X, mathbb {A} _ {S} ^ {1})}$

где ${displaystyle mathbb {A} _ {S} ^ {1} = имя оператора {Spec} (R [t])}$. Обратите внимание на равенство колец.

• Аналогично для любого S-схема Икс, происходит идентификация мультипликативных групп:

${displaystyle Gamma (X, {mathcal {O}} _ {X} ^ {*}) = operatorname {Mor} _ {S} (X, mathbb {G} _ {m})}$

где ${displaystyle mathbb {G} _ {m} = имя оператора {Spec} (R [t, t ^ {- 1}])}$ - мультипликативная групповая схема.

• Многие примеры морфизмов происходят из семейств, параметризованных некоторым базовым пространством. Например,

${displaystyle {ext {Proj}} left ({frac {mathbb {C} [x, y] [a, b, c]} {(ax ^ {2} + bxy + cy ^ {2})}} ight) o {ext {Proj}} (mathbb {C} [a, b, c]) = mathbb {P} _ {a, b, c} ^ {2}}$

является проективным морфизмом проективных многообразий, где базовое пространство параметризует квадрики в ${displaystyle mathbb {P} ^ {1}}$.

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

Учитывая морфизм схем ${displaystyle f: X o Y}$ по схеме S, морфизм ${displaystyle X o X imes _ {S} Y}$ индуцированный тождеством ${displaystyle 1_ {X}: X o X}$ и ж называется морфизм графа из ж. Морфизм графа тождества называется диагональный морфизм.

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

Конечный тип

Морфизмы конечного типа являются одним из основных инструментов для построения семейств разновидностей. Морфизм ${displaystyle f: X o S}$ имеет конечный тип, если существует покрытие ${displaystyle operatorname {Spec} (A_ {i}) o S}$ так что волокна ${displaystyle X imes _ {S} имя оператора {Spec} (A_ {i})}$ покрывается конечным числом аффинных схем ${displaystyle operatorname {Spec} (B_ {ij})}$ превращая индуцированные морфизмы колец ${displaystyle A_ {i} o B_ {ij}}$ в морфизмы конечного типа. Типичным примером морфизма конечного типа является семейство схем. Например,

${displaystyle operatorname {Spec} left ({frac {mathbb {Z} [x, y, z]} {(x ^ {n} + zy ^ {n}, z ^ {5} -1)}} ight) o имя оператора {Spec} left ({frac {mathbb {Z} [z]} {(z ^ {5} -1)}} ight)}$

является морфизмом конечного типа. Простым не примером морфизма конечного типа является ${displaystyle имя оператора {Spec} (k [x_ {1}, x_ {2}, x_ {3}, ldots])) o имя оператора {Spec} (k)}$ где ${displaystyle k}$ это поле. Другой - бесконечный непересекающийся союз

${displaystyle coprod ^ {infty} X o X}$

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

Морфизм схем ${displaystyle i: Z o X}$ это закрытое погружение если выполняются следующие условия:

1. ${displaystyle i}$ определяет гомеоморфизм ${displaystyle Z}$ на свой образ
2. ${displaystyle i ^ {#}: {mathcal {O}} _ {X} o i _ {*} {mathcal {O}} _ {Z}}$ сюръективно

Это условие эквивалентно следующему: для аффинного открытого ${displaystyle operatorname {Spec} (R) = Usubset X}$ существует идеал ${displaystyle Isubset R}$ такой, что ${displaystyle i ^ {- 1} (U) = имя оператора {Spec} (R / I)}$

Примеры

Конечно, любое (градуированное) частное ${displaystyle R / I}$ определяет подсхему ${displaystyle operatorname {Spec} (R)}$ (${displaystyle operatorname {Proj} (R)}$). Рассмотрим квазиаффинную схему ${displaystyle mathbb {A} ^ {2} - {0}}$ и подмножество ${displaystyle x}$-ось содержится в ${displaystyle X}$. Тогда, если мы возьмем открытое подмножество ${displaystyle operatorname {Spec} (k [x, y, y ^ {- 1}])}$ идеальная связка ${displaystyle (x)}$ в то время как на аффинном открытом ${displaystyle operatorname {Spec} (k [x, y, x ^ {- 1}])}$ идеала не существует, поскольку подмножество не пересекает эту диаграмму.

Отдельно

Разделенные морфизмы определяют семейства схем, которые являются «хаусдорфовыми». Например, учитывая разделенный морфизм ${displaystyle X o S}$ в ${displaystyle {ext {Sch}} / mathbb {C}}$ ассоциированные аналитические пространства ${displaystyle X (mathbb {C}) ^ {an} o S (mathbb {C}) ^ {an}}$ оба являются Хаусдорфами. Мы говорим морфизм схемы ${displaystyle f: X o S}$ отделяется, если диагональный морфизм ${displaystyle Delta _ {X / S}: X o X imes _ {S} X}$ закрытое погружение. В топологии эквивалентное условие для пространства ${displaystyle X}$ быть хаусдорфовым, если диагональное множество

${displaystyle Delta = {(x, x) в X раз X}}$

является замкнутым подмножеством ${displaystyle X imes X}$.

Примеры

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

${displaystyle X = operatorname {Spec} left ({frac {mathbb {C} [x, y]} {(f)}} ight)}$

над ${displaystyle operatorname {Spec} (mathbb {C}).}$ Поскольку схема продукта

${displaystyle X imes _ {mathbb {C}} X = имя оператора {Spec} left ({frac {mathbb {C} [x, y]} {(f)}} иногда _ {mathbb {C}} {frac {mathbb {C} [x, y]} {(f)}} ight)}$

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

${displaystyle xotimes 1-1otimes x, yotimes 1-1otimes y}$

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

Без примеров

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

${displaystyle {egin {matrix} имя оператора {Spec} (R [x, x ^ {- 1}]) && & searchrow & && operatorname {Spec} (R [x]) & earrow & operatorname {Spec} (R [ x, x ^ {- 1}]) && end {matrix}}}$

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

Правильный

Морфизм ${displaystyle f: X o S}$ называется правильный если

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

Последнее условие означает, что данный морфизм ${displaystyle S 'o S}$ морфизм изменения базы ${displaystyle S 'imes _ {S} X}$ закрытое погружение. Большинство известных примеров собственных морфизмов на самом деле проективны; но примеры собственных многообразий, которые не являются проективными, можно найти с помощью торическая геометрия.

Проективный

Проективные морфизмы определяют семейства проективные многообразия по фиксированной базовой схеме. Обратите внимание, что есть два определения: Hartshornes, в котором говорится, что морфизм ${displaystyle f: X o S}$ называется проективным, если существует замкнутое погружение ${displaystyle X o mathbb {P} _ {S} ^ {n} = mathbb {P} ^ {n} imes S}$ и определение EGA, в котором говорится, что схема ${displaystyle Xin {ext {Sch}} / S}$ является проективным, если существует квазикогерентный ${displaystyle {mathcal {O}} _ {S}}$-модуль конечного типа такой, что существует замкнутое погружение ${displaystyle X o mathbb {P} _ {S} ({mathcal {E}})}$. Второе определение полезно, потому что точная последовательность ${displaystyle {mathcal {O}} _ {S}}$ модули могут использоваться для определения проективных морфизмов.

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

Проективный морфизм ${displaystyle f: X o {*}}$ определяет проективную схему. Например,

${displaystyle {ext {Proj}} left ({frac {mathbb {C} [x, y, z]} {(x ^ {n} + y ^ {n} -z ^ {n})}} ight) o имя оператора {Spec} (mathbb {C})}$

определяет проективную кривую рода ${displaystyle (n-1) (n-1) / 2}$ над ${displaystyle mathbb {C}}$.

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

Если мы позволим ${displaystyle S = mathbb {A} _ {t} ^ {1}}$ то проективный морфизм

${displaystyle {underline {operatorname {Proj}}} _ {S} left ({frac {{mathcal {O}} _ {S} [x_ {0}, x_ {1}, x_ {2}, x_ {3}] , x_ {4}]} {(x_ {0} ^ {5} + cdots + x_ {4} ^ {5} -tx_ {0} x_ {1} x_ {2} x_ {3} x_ {4}) }} ight) o S}$

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

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

Еще один полезный класс примеров проективных морфизмов - карандаши Лефшеца: они являются проективными морфизмами. ${displaystyle pi: X o mathbb {P} _ {k} ^ {1} = operatorname {Proj} (k [s, t])}$ над каким-то полем ${displaystyle k}$. Например, для гладких гиперповерхностей ${displaystyle X_ {1}, X_ {2} subset mathbb {P} _ {k} ^ {n}}$ определяется однородными многочленами ${displaystyle f_ {1}, f_ {2}}$ есть проективный морфизм

${displaystyle {underline {operatorname {Proj}}} _ {mathbb {P} ^ {1}} left ({frac {{mathcal {O}} _ {mathbb {P} ^ {1}} [x_ {0}, ldots, x_ {n}]} {(sf_ {1} + tf_ {2})}} ight) o mathbb {P} ^ {1}}$

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

EGA Projective

Хороший классический пример проективной схемы - это построение проективных морфизмов, которые разлагаются на рациональные свитки. Например, возьмите ${displaystyle S = mathbb {P} ^ {1}}$ и векторное расслоение ${displaystyle {mathcal {E}} = {mathcal {O}} _ {S} oplus {mathcal {O}} _ {S} oplus {mathcal {O}} _ {S} (3)}$. Это можно использовать для построения ${displaystyle mathbb {P} ^ {2}}$-бандл ${displaystyle mathbb {P} _ {S} ({mathcal {E}})}$ над ${displaystyle S}$. Если мы хотим построить проективный морфизм, используя этот пучок, мы можем взять точную последовательность, например

${displaystyle {mathcal {O}} _ {S} (- d) oplus {mathcal {O}} _ {S} (- e) o {mathcal {E}} o {mathcal {O}} _ {X} o 0}$

определяющий структурный пучок проективной схемы ${displaystyle X}$ в ${displaystyle mathbb {P} _ {S} ({mathcal {E}}).}$

Плоский

Интуиция

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

${displaystyle operatorname {Spec} left ({frac {mathbb {C} [x, y, t]} {(xy-t))}} ight) o operatorname {Spec} (mathbb {C} [t])}$

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

${displaystyle operatorname {Spec} left ({frac {mathbb {C} [x, y]} {(xy)}} ight)}$

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

Свойства

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

Определение

Позволять ${displaystyle f: X o S}$ быть морфизмом схем. Мы говорим что ${displaystyle f}$ плоский в точке ${displaystyle xin X}$ если индуцированный морфизм ${displaystyle {mathcal {O}} _ {f (x)} o {mathcal {O}} _ {x}}$ дает точный функтор ${displaystyle -otimes _ {{mathcal {O}} _ {f (x)}} {mathcal {O}} _ {x}.}$ Потом, ${displaystyle f}$ является плоский если он плоский в каждой точке ${displaystyle X}$. Это также точно плоский если это сюръективный морфизм.

Не пример

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

${displaystyle f: имя оператора {Spec} (mathbb {C} [x, y] / (xy)) o имя оператора {Spec} (mathbb {C} [x])}$

не плоский, так как волокно ${displaystyle 0}$ является ${displaystyle mathbb {A} ^ {1}}$ с остальными волокнами просто точка. Но мы также можем проверить это, используя определение с локальной алгеброй: рассмотрим идеал ${displaystyle {mathfrak {p}} = (x) в имени оператора {Spec} (mathbb {C} [x, y] / (xy)).}$ поскольку ${displaystyle f ({mathfrak {p}}) = (x) в имени оператора {Spec} (mathbb {C} [x])}$ мы получаем морфизм локальной алгебры

${displaystyle f_ {mathfrak {p}}: left (mathbb {C} [x] ight) _ {(x)} o left (mathbb {C} [x, y] / (xy) ight) _ {(x) }}$

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

${displaystyle 0 o mathbb {C} [x] _ {(x)} {xrightarrow {cdot x}} mathbb {C} [x] _ {(x)}}$

с участием ${displaystyle (mathbb {C} [x, y] / (xy)) _ {(x)}}$, карта

${displaystyle (mathbb {C} [x, y] / (xy))) _ {(x)} {xrightarrow {cdot x}} (mathbb {C} [x, y] / (xy)) _ {(x )}}$

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

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

Морфизм ${displaystyle f: X o Y}$ аффинных схем есть неразветвленный если ${displaystyle Omega _ {X / Y} = 0}$. Мы можем использовать это для общего случая морфизма схем ${displaystyle f: X o Y}$. Мы говорим что ${displaystyle f}$ не разветвлен в ${displaystyle xin X}$ если есть аффинная открытая окрестность ${displaystyle xin U}$ и аффинное открытое ${displaystyle Vsubset Y}$ такой, что ${displaystyle f (U) подмножество V}$ и ${displaystyle Omega _ {U / V} = 0.}$ Тогда морфизм неразветвлен, если он не разветвляется в каждой точке ${displaystyle X}$.

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

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

${displaystyle operatorname {Spec} left ({frac {mathbb {C} [t, x]} {(x ^ {n} -t)}} ight) o operatorname {Spec} (mathbb {C} [t])}$

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

${displaystyle {frac {mathbb {C} [t, x]} {(x ^ {n} -t)}} иногда _ {mathbb {C} [t]} mathbb {C} [t] dt o left ({ гидроразрыв {mathbb {C} [t, x]} {(x ^ {n} -t)}} dtoplus {frac {mathbb {C} [t, x]} {(x ^ {n} -t)}} dxight) / (nx ^ {n-1} dx-dt) o Омега _ {X / Y} o 0}$

показывая

${displaystyle Omega _ {X / Y} cong left ({frac {mathbb {C} [t, x]} {(x ^ {n} -t)}} dxight) / (x ^ {n-1} dx) уравнение 0}$

если мы возьмем волокно ${displaystyle t = 0}$, то морфизм разветвлен, так как

${displaystyle Omega _ {X_ {0} / mathbb {C}} = left ({frac {mathbb {C} [x]} {x ^ {n}}} dxight) / (x ^ {n-1} dx) }$

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

${displaystyle Omega _ {X_ {alpha} / mathbb {C}} = left ({frac {mathbb {C} [x]} {(x ^ {n} -alpha)}} dxight) / (x ^ {n- 1} dx) cong {frac {mathbb {C} [x]} {(альфа)}} dxcong 0}$

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

Etale

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

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

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

${displaystyle X (S) = {f | f: S o X {ext {over}} B}}$

для набора всех S-точки Икс. Это понятие обобщает понятие решений системы полиномиальных уравнений классической алгебраической геометрии. Действительно, пусть Икс = Спецификация (А) с участием ${displaystyle A = B [t_ {1}, dots, t_ {n}] / (f_ {1}, dots, f_ {m})}$. Для B-алгебра р, чтобы дать р-точка Икс состоит в том, чтобы дать гомоморфизм алгебр А →р, что, в свою очередь, приводит к гомоморфизму

${displaystyle B [t_ {1}, dots, t_ {n}] o R ,, t_ {i} mapsto r_ {i}}$

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

${displaystyle X (имя оператора {Spec} R) = {(r_ {1}, точки, r_ {n}) в R ^ {n} | f_ {1} (r_ {1}, точки, r_ {n}) = cdots = f_ {m} (r_ {1}, dots, r_ {n}) = 0}.}$

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

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

${displaystyle C o {mathcal {P}} (C) = operatorname {Fct} (C ^ {ext {op}}, mathbf {Sets}) ,, Xmapsto operatorname {Mor} (-, X)}$

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

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

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

${Displaystyle (X imes _ {S} Y) (R) = X (R) imes _ {S (R)} Y (R) = {(x, y) в X (R) imes Y (R) | p (х) = q (y)}}$.

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

${displaystyle mathbf {P} _ {B} ^ {n} (X) =}$ {классы изоморфизма линейных расслоений L на Икс вместе с п + 1 глобальные разделы, генерирующие L. };

на самом деле разделы s_я из L определить морфизм ${displaystyle X o mathbf {P} _ {B} ^ {n} ,, xmapsto (s_ {0} (x): dots: s_ {n} (x))}$. (Смотрите также Строительство проекта # Global Proj.)

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

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

Аналогично определяется рациональное отображение схем для многообразий. Таким образом, рациональное отображение из приведенной схемы Икс по отдельной схеме Y является классом эквивалентности пары ${displaystyle (U, f_ {U})}$ состоящий из открытого плотного подмножества U из Икс и морфизм ${displaystyle f_ {U}: U o Y}$. Если Икс неприводимо, a рациональная функция на Икс по определению является рациональным отображением из Икс к аффинной прямой ${displaystyle mathbb {A} ^ {1}}$ или проективная линия ${displaystyle mathbb {P} ^ {1}.}$

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

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

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

• регулярное вложение
• Конструируемый набор (топология)
• универсальный гомеоморфизм

Заметки

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

• Гротендик, Александр; Дьедонне, Жан (1960). "Éléments de géométrie algébrique: I. Le langage des schémas". Публикации Mathématiques de l'IHÉS. 4. Дои:10.1007 / bf02684778. Г-Н 0217083.
• Хартсхорн, Робин (1977), Алгебраическая геометрия, Тексты для выпускников по математике, 52, Нью-Йорк: Springer-Verlag, ISBN 978-0-387-90244-9, Г-Н 0463157
• Милн, Обзор алгебраической геометрии в Алгебраические группы: теория групповых схем конечного типа над полем.
• Вакиль, Основы алгебраической геометрии