WikiDer > Формально этальный морфизм

Formally étale morphism

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

Формально этальные гомоморфизмы колец

Позволять А быть топологическое кольцо, и разреши B быть топологическим А-алгебра. потом B является формально эталь если для всех дискретный А-алгебры C, все нильпотентные идеалы J из C, и все непрерывно А-гомоморфизмы ты : BC/Jсуществует единственная непрерывная А-алгебра карта v : BC такой, что ты = pv, куда п : CC/J - каноническая проекция.[1]

Формально эталь эквивалентна формально гладкий плюс формально неразветвленный.[2]

Формально этальные морфизмы схем

Поскольку структурная связка из схема естественно несет только дискретную топологию, понятие формальной этали для схем аналогично формальной этале для дискретной топологии для колец. То есть морфизм схем ж : ИксY является формально эталь если для каждого аффинного Y-схема Z, каждый нильпотентный пучок идеалов J на Z с я : Z0Z замкнутое погружение, определяемое J, и каждый Y-морфизм грамм : Z0Икс, существует единственный Y-морфизм s : ZИкс такой, что грамм = си.[3]

Это эквивалентно разрешению Z быть любым Y-схема и пусть J - локально нильпотентный пучок идеалов на Z.[4]

Характеристики

  • Открытые погружения формально являются эталоном.[5]
  • Свойство быть формально эталоном сохраняется при композитах, базовых изменениях и волокнистые изделия.[6]
  • Если ж : ИксY и грамм : YZ морфизмы схем, грамм формально неразветвлен, и gf формально этальна, то ж формально эталь. В частности, если грамм формально этальна, то ж формально этальна тогда и только тогда, когда gf является.[7]
  • Свойство быть формально эталоном локально для источника и цели.[8]
  • Свойство быть формально эталоном можно проверить на стеблях. Можно показать, что морфизм колец ж : АB формально этальна тогда и только тогда, когда для каждого простого числа Q из B, индуцированное отображение АBQ формально эталь.[9] Как следствие, ж формально этальна тогда и только тогда, когда для каждого простого числа Q из B, карта АпBQ формально эталь, где п = ж−1(Q).

Примеры

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

Примечания

  1. ^ EGA 0IV, Определение 19.10.2.
  2. ^ EGA 0IV, Определение 19.10.2.
  3. ^ EGA IV4, Определение 17.1.1.
  4. ^ EGA IV4, Замечания 17.1.2 (iv).
  5. ^ EGA IV4, предложение 17.1.3 (i).
  6. ^ EGA IV4, предложение 17.1.3 (ii) - (iv).
  7. ^ EGA IV4, предложение 17.1.4 и следствие 17.1.5.
  8. ^ EGA IV4, предложение 17.1.6.
  9. ^ mathoverflow.net вопрос
  10. ^ Ford (2017 г., Следствие 4.7.3)

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