WikiDer > Оценочный критерий

Эта статья является сирота, как никакие другие статьи ссылка на это. Пожалуйста ввести ссылки на эту страницу из Статьи по Теме; попробуйте Инструмент поиска ссылок для предложений. (Май 2014 г.)

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

Формулировка оценочных критериев

Напомним, что оценочное кольцо A - это домен, поэтому если K это поле дробей из А, затем Spec K это общая точка спецификации А.

Позволять Икс и Y быть схемами, и пусть ж : Икс → Y быть морфизмом схем. Тогда следующие эквиваленты:^[1][2]

1. ж разделено (соответственно универсально замкнуто, соответственно собственно)
2. ж является квазиотделенный (соответственно квазикомпактного, соответственно конечного типа и квазиотделенного) и для каждого кольца нормирования А, если Y ' = Спецификация А и ИКС' обозначает общую точку Y ' , то для каждого морфизма Y ' → Y и каждый морфизм ИКС' → Икс который поднимает общую точку, то существует не более одного (соответственно хотя бы один, соответственно ровно один) подъем Y ' → Икс.

Условие подъема эквивалентно указанию того, что естественный морфизм

${ displaystyle { text {Hom}} _ {Y} (Y ', X) to { text {Hom}} _ {Y} ({ text {Spec}} K, X)}$

инъективно (соответственно сюръективно, соответственно биективно).

Кроме того, в частном случае, когда Y является (локально) нётеровым, достаточно проверить случай, когда А кольцо дискретного оценивания.

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

• Гротендик, Александр; Жан Дьедонне (1961). "Éléments de géométrie algébrique (rédigés avec la сотрудничества де Жана Дьедонне): II. Étude global élémentaire de quelques classes de morphismes". Публикации Mathématiques de l'IHÉS. 8: 5–222. Дои:10.1007 / bf02699291.

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