Гладкий морфизм

редактировать

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

(i) это локально конечного представления
(ii) это плоский и
(iii) для каждой геометрической точки $s ¯ → S {\ displaystyle {\ overline {s}} \ to S}$ $\ overline {s} \ to S$ волокно $X s ¯ = X × S s ¯ {\ displaystyle X _ {\ overline {s}} = X \ times _ {S} {\ overline {s}}}$ $X _ {{\ overline {s}}} = X \ times _ {S} {\ overline {s}}$ является регулярным.

(iii) означает, что каждый геометрический слой f является неособым многообразием (если оно разделено). Таким образом, интуитивно говоря, гладкий морфизм дает плоское семейство неособых многообразий.

Если S представляет собой спектр алгебраически замкнутого поля, а f имеет конечный тип, то восстанавливается определение неособого многообразия.

Содержание

1 Эквивалентные определения
2 Примеры
- 2.1 Гладкий морфизм в точку
- 2.2 Тривиальные волокна
- 2.3 Векторные пучки
- 2.4 Разделяемые расширения полей
3 Не примеры
- 3.1 Особые разновидности
- 3.2 Вырождающиеся семейства
- 3.3 Несепарабельные расширения поля
4 Формально гладкий морфизм
5 Плавная смена основания
6 См. Также
7 Ссылки

Эквивалент Определения

Есть много эквивалентных определений гладкого морфизма. Пусть $f: X → S {\ displaystyle f: X \ to S}$ $f: X \ to S$ локально конечного представления. Тогда следующие эквивалентны.

f гладкий.
f формально гладкий (см. Ниже).
f плоский и пучок относительных дифференциалов $Ω X / S {\ displaystyle \ Omega _ {X / S}}$ $\ Omega _ {{X / S}}$ локально не имеет ранга, равного относительному измерению $X / S {\ displaystyle X / S}$ $X / S$ .
для любого $x ∈ X {\ displaystyle x \ in X}$ $x \ in X$ , существует окрестность $Spec ⁡ B {\ displaystyle \ operatorname {Spec} B}$ $\ operatorname {Spec} B$ x и окрестность $Spec ⁡ A {\ displaystyle \ operatorname {Spec} A}$ $\ operatorname {Spec} A$ из $f (x) {\ displaystyle f (x)}$ $f (x)$ такой, что $B = A [t 1,…, tn] / (P 1,…, P m) {\ displaystyle B = A [t_ {1}, \ dots, t_ {n}] / (P_ {1}, \ dots, P_ {m})}$ $B = A [t_ {1}, \ dots, t_ {n}] / (P_ {1}, \ dots, P_ {m})$ и идеал, порожденный m-by-m минорами $(∂ P i / ∂ tj) {\ displaystyle (\ partial P_ {i} / \ partial t_ { j})}$ $(\ partial P_ {i} / \ partial t_ {j})$ равно B.
Локально, f фактор в $X → g AS n → S {\ displaystyle X {\ overset {g} {\ to}} \ mathbb {A} _ {S} ^ {n} \ to S}$ $X {\ overset {g} \ to} {\ mathbb {A}} _ {S} ^ {n} \ to S$ , где g - эталон.
Локально, f фактор в $X → g AS n → AS n - 1 → ⋯ → AS 1 → S {\ displaystyle X {\ overset {g} {\ to}} \ mathbb {A} _ {S} ^ {n} \ to \ mathbb {A} _ {S} ^ {n-1} \ to \ cdots \ to \ mathbb {A} _ {S} ^ {1} \ to S}$ $X {\ overset {g} \ to} {\ mathbb {A}} _ {S} ^ {n} \ to {\ mathbb {A}} _ {S} ^ {{n-1}} \ to \ cdots \ to {\ mathbb {A}} _ {S} ^ {1} \ to S$ где g - эталь.

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

Гладкий морфизм устойчив при замене базы и композиции. Гладкий морфизм локально имеет конечное представление.

Гладкий морфизм универсально локально ацикличен.

Примеры

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

Гладкий морфизм в точку

Пусть $f {\ displaystyle f}$ $f$ будет морфизмом схем

Spec C (C [x, y] (е = y 2 - x 3 - x - 1)) → Spec (C) {\ displaystyle {\ text {Spec}} _ {\ mathbb {C}} \ left ({\ frac {\ mathbb {C} [ x, y]} {(f = y ^ {2} -x ^ {3} -x-1)}} \ right) \ to {\ text {Spec}} (\ mathbb {C})}

{\ displaystyle {\ text {Spec}} _ {\ mathbb {C}} \ left ({\ frac {\ mathbb {C} [x, y]} {(f = y ^ { 2} -x ^ {3} -x-1)}} \ right) \ to {\ text {Spec}} (\ mathbb {C})}

Он гладкий из-за условия Якоби: матрица Якоби

[3 x 2 - 1, y] {\ displaystyle [3x ^ {2} -1, y]}

{\ displaystyle [3x ^ {2} -1, y]}

обращается в нуль в точках $( 1/3, 0), (- 1/3, 0) {\ displaystyle (1 / {\ sqrt {3}}, 0), (- 1 / {\ sqrt {3}}, 0)}$ ${ \ displaystyle (1 / {\ sqrt {3}}, 0), (- 1 / {\ sqrt {3}}, 0)}$ который имеет пустое пересечение с многочленом, так как

f (1/3, 0) = 1 - 1 3 - 1 3 3 f (- 1/3, 0) = 1 3 + 1 3 3 - 1 {\ displaystyle {\ begin {align} f (1 / {\ sqrt {3}}, 0) = 1 - {\ frac {1} {\ sqrt {3}}} - {\ frac {1} { 3 {\ sqrt {3}}}} \\ f (-1 / {\ sqrt {3}}, 0) = {\ frac {1} {\ sqrt {3}}} + {\ frac {1} {3 {\ sqrt {3}}}} - 1 \ end {align}}}

{\ displaystyle {\ begin {align} f (1 / { \ sqrt {3}}, 0) = 1 - {\ frac {1} {\ sqrt {3}}} - {\ frac {1} {3 {\ sqrt {3}}}} \\ f (- 1 / {\ sqrt {3}}, 0) = {\ frac {1} {\ sqrt {3}}} + {\ frac {1} {3 {\ sqrt {3}}}} - 1 \ end {выровнено}}}

, которые оба не равны нулю.

Тривиальные волокна

Для гладкой схемы $Y {\ displaystyle Y}$ $Y$ морфизм проекции

Y × X → X {\ displaystyle Y \ times X \ to X}

{\ displaystyle Y \ times X \ to X}

гладкий.

Векторные пучки

Каждый векторный набор $E → X {\ displaystyle E \ to X}$ $E \ to X$ над схемой является гладким морфизмом. Например, можно показать, что связанный векторный пучок $O (k) {\ displaystyle {\ mathcal {O}} (k)}$ ${\ displaystyle {\ mathcal {O}} (к) }$ над $P n {\ displaystyle \ mathbb {P} ^ {n}}$ $\ mathbb {P} ^ {n}$ - взвешенное проективное пространство за вычетом точки

O (k) = P (1,…, 1, k) - {[0: ⋯: 0: 1]} → п n {\ displaystyle O (k) = \ mathbb {P} (1, \ ldots, 1, k) - \ {[0: \ cdots: 0: 1] \} \ к \ mathbb {P } ^ {n}}

{\ displaystyle O (k) = \ mathbb {P} (1, \ ldots, 1, k) - \ {[0: \ cdots: 0: 1 ] \} \ to \ mathbb {P} ^ {n}}

отправка

[x 0: ⋯: xn: xn + 1] → [x 0: ⋯: xn] {\ displaystyle [x_ {0}: \ cdots: x_ {n} : x_ {n + 1}] \ to [x_ {0}: \ cdots: x_ {n}]}

{\ displaystyle [x_ {0}: \ cdots: x_ {n}: x_ {n + 1}] \ to [x_ {0}: \ cdots: x_ {n}] }

Обратите внимание, что пакеты с прямой суммой $O (k) ⊕ O (l) {\ displaystyle O (k) \ oplus O (l)}$ ${\ displaystyle O ( к) \ oplus O (l)}$ можно построить с использованием волокнистого продукта

O (k) ⊕ O (l) = O (k) × XO (l) {\ displaystyle O ( k) \ oplus O (l) = O (k) \ times _ {X} O (l)}

{\ Displaystyle О (к) \ oplus O (l) = O (k) \ times _ {X} O (l)}

Отдельные расширения поля

Напомним, что расширение поля $K → L {\ displaystyle K \ to L}$ ${\ displaystyle K \ to L}$ называется отделимым, если и только если дано представление

L = K [x] (f (x)) {\ displaystyle L = {\ frac {K [x]} {(f (x))}}}

{\ displaystyle L = {\ frac {K [x]} {(f (x))}}}

мы имеют это $g c d (f (x), f '(x)) = 1 {\ displaystyle gcd (f (x), f' (x)) = 1}$ $gcd(f(x),f'(x))=1$ . Мы можем переинтерпретировать это определение в терминах дифференциалов Кэлера следующим образом: расширение поля отделимо тогда и только тогда, когда

Ω L / K = 0 {\ displaystyle \ Omega _ {L / K} = 0}

{\ displaystyle \ Omega _ {L / K} = 0}

Обратите внимание, что сюда входят все идеальное поле: конечные поля и поля характеристики 0.

Непримеры

Особые разновидности

Если мы рассмотрим $Spec {\ displaystyle {\ text {Spec} }}$ ${\ displaystyle {\ text {Spec}}}$ базовой алгебры $R {\ displaystyle R}$ $R$ для проективного многообразия $X {\ displaystyle X}$ $X$ , называемого аффинным конус $X {\ displaystyle X}$ $X$ , то точка в начале координат всегда сингулярна. Например, рассмотрим аффинный конус пятикратной $3 {\ displaystyle 3}$ $3$ -кратности, заданной как

x 0 5 + x 1 5 + x 2 5 + x 3 5 + x 4 5 {\ displaystyle x_ {0} ^ {5} + x_ {1} ^ {5} + x_ {2} ^ {5} + x_ {3} ^ {5} + x_ {4} ^ {5}}

{\ displaystyle x_ {0} ^ {5} + x_ {1} ^ {5} + x_ {2} ^ {5} + x_ {3} ^ {5} + x_ {4} ^ {5}}

Тогда матрица Якоби определяется как

[5 x 0 4 5 x 1 4 5 x 2 4 5 x 3 4 5 x 4 4] {\ displaystyle {\ begin {bmatrix} 5x_ {0} ^ {4} 5x_ {1} ^ {4} 5x_ {2} ^ {4} 5x_ {3} ^ {4} 5x_ {4} ^ {4} \ end {bmatrix}}}

{\ displaystyle {\ begin {bmatrix} 5x_ {0} ^ {4} 5x_ {1} ^ {4} 5x_ {2} ^ {4} 5x_ {3} ^ {4} 5x_ {4} ^ {4} \ end {bmatrix}}}

которые обращается в нуль в нуле, следовательно, конус особый. Подобные аффинные гиперповерхности популярны в теории особенностей из-за их относительно простой алгебры, но богатой базовой структуры.

Другим примером особого многообразия является проективный конус гладкого многообразия: дано гладкое проективное многообразие $X ⊂ P n {\ displaystyle X \ subset \ mathbb {P} ^ {n}}$ ${\ displaystyle X \ subset \ mathbb {P} ^ {n}}$ его проективный конус - это объединение всех прямых в $P n + 1 {\ displaystyle \ mathbb {P} ^ {n + 1}}$ ${\ displaystyle \ mathbb {P} ^ { n + 1}}$ , пересекающихся $Х {\ Displaystyle X}$ $X$ . Например, проективный конус точек

Proj (C [x, y] (x 4 + y 4)) {\ displaystyle {\ text {Proj}} \ left ({\ frac {\ mathbb {C} [x, y]} {(x ^ {4} + y ^ {4})}} \ right)}

{\ displaystyle {\ текст {Proj}} \ left ({\ frac {\ mathbb {C} [x, y]} {(x ^ {4} + y ^ {4})}} \ right)}

- это схема

Proj (C [x, y, z] (x 4 + y 4)) {\ displaystyle {\ text {Proj}} \ left ({\ frac {\ mathbb {C} [x, y, z]} {(x ^ {4} + y ^ {4})}} \ right)}

{\ displaystyle {\ text {Proj}} \ left ({\ frac {\ mathbb {C } [x, y, z]} {(x ^ {4} + y ^ {4})}} \ right)}

Если мы посмотрим на диаграмму $z ≠ 0 {\ displaystyle z \ neq 0}$ $z \ neq 0$ , это будет схема

Spec (C [X, Y] (X 4 + Y 4)) {\ displaystyle {\ text {Spec}} \ left ({\ frac {\ mathbb {C} [X, Y]} {(X ^ {4} + Y ^ {4})}} \ right)}

{\ displaystyle {\ text {Spec}} \ left ({\ frac {\ mathbb {C} [X, Y]} {(X ^ {4} + Y ^ {4})}} \ right)}

и спроецируйте его вниз на аффинную линию $AY 1 {\ displaystyle \ mathbb {A} _ {Y} ^ {1}}$ ${\ displaystyle \ mathbb {A} _ {Y} ^ {1}}$ , это семейство из четырех точек дегенерирующая в начале. Неособенность этой схемы также можно проверить с помощью условия якобиана.

Вырождающиеся семейства

Рассмотрим плоское семейство

Spec (C [t, x, y] (xy - t)) → A t 1 {\ displaystyle {\ text {Spec} } \ left ({\ frac {\ mathbb {C} [t, x, y]} {(xy-t)}} \ right) \ to \ mathbb {A} _ {t} ^ {1}}

{\ displaystyle {\ text {Spec}} \ left ({\ frac {\ mathbb {C} [t, x, y]} {(xy-t)}} \ right) \ to \ mathbb {A} _ {t} ^ {1} }

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

Неразделимые расширения полей

Например, поле $F p (tp) → F p (t) {\ displaystyle \ mathbb {F} _ {p} (t ^ {p}) \ to \ mathbb {F} _ {p} (t)}$ ${\ displaystyle \ mathbb {F} _ {p} (t ^ {p}) \ to \ mathbb {F} _ {p} (t)}$ неразделимо, поэтому связанный морфизм схем негладкий. Если мы посмотрим на минимальный многочлен расширения поля,

f (x) = xp - tp {\ displaystyle f (x) = x ^ {p} -t ^ {p}}

{ \ displaystyle f (x) = x ^ {p} -t ^ {p}}

, то $df = 0 {\ displaystyle df = 0}$ ${ \ displaystyle df = 0}$ , следовательно, дифференциалы Кэлера будут отличными от нуля.

Формально гладкий морфизм

Можно определить гладкость без ссылки на геометрию. Мы говорим, что S-схема X является формально гладкой, если для любой аффинной S-схемы T и подсхемы $T 0 {\ displaystyle T_ {0}}$ $T_ {0}$ из T даны нильпотентным идеалом $X (T) → X (T 0) {\ displaystyle X (T) \ to X (T_ {0})}$ $X (T) \ to X (T_ {0})$ сюръективно там, где мы написали $X (T) знак равно Hom S ⁡ (T, X) {\ displaystyle X (T) = \ operatorname {Hom} _ {S} (T, X)}$ $X (T) = \ operatorname {Hom} _ {S} (T, X)$ . Тогда морфизм локально конечного типа является гладким тогда и только тогда, когда он формально гладкий.

В определении «формально гладкого», если мы заменим сюръективное на «биективное» (соответственно «инъективное»), то мы получим определение формально эталь (соответственно формально неразветвленный ).

Плавное изменение базы

Пусть S будет схемой и $char ⁡ (S) {\ displaystyle \ operatorname {char} (S)}$ $\ operatorname {char} (S)$ обозначает изображение структурной карты $S → Spec ⁡ Z {\ displaystyle S \ to \ operatorname {Spec} \ mathbb {Z}}$ $S \ to \ operatorname {Spec} {\ mathbb {Z}}$ . Теорема о гладкой замене базы утверждает следующее: пусть $f: X → S {\ displaystyle f: X \ to S}$ $f: X \ to S$ будет квазикомпактным морфизмом, $g: S '→ S {\ displaystyle g: S' \ to S}$ $g:S'\to S$ гладкий морфизм и $F {\ displaystyle {\ mathcal {F}}}$ ${\ mathcal {F}}$ торсионная связка на $X et {\ displaystyle X _ {\ text {et}}}$ $X _ {{\ text {et}}}$ . Если для каждого $0 ≠ p {\ displaystyle 0 \ neq p}$ $0 \ neq p$ в $char ⁡ (S) {\ displaystyle \ operatorname {char} (S)}$ $\ operatorname {char} (S)$ , $p: F → F {\ displaystyle p: {\ mathcal {F}} \ to {\ mathcal {F}}}$ $p: {\ mathcal {F}} \ to {\ mathcal {F}}$ инъективно, тогда морфизм изменения базы $g ∗ ( R, если ∗ F) → R, если ∗ ′ (g ′ ∗ F) {\ displaystyle g ^ {*} (R ^ {i} f _ {*} {\ mathcal {F}}) \ to R ^ {i} f '_ {*} (g' ^ {*} {\ mathcal {F}})}$ $g^{*}(R^{i}f_{*}{\mathcal {F}})\to R^{i}f'_{*}(g'^{*}{\mathcal {F}})$ - изоморфизм.

См. Также

Ссылки

J. С. Милн (2012). "Лекции по этальной когомологии "
Дж. С. Милн. Этальная когомология, том 33 Princeton Mathematical Series. Princeton University Press, Princeton, NJ, 1980.