Формально гладкая карта
- Кольцевой гомоморфизм f: A → B называется формально гладким, если удовлетворяет свойству бесконечно малого подъема.
- Формально гладкие карты были определены Александром Гротендиком в книге «Элементы геометрии Алжира IV».
- Для конечно представленных морфизмов формальная гладкость эквивалентна обычному понятию гладкости.
- Формальная гладкость является небольшим обобщением гладких морфизмов.
- Один из методов определения формальной гладкости схемы использует бесконечно малый критерий подъема.
- Пример негладкого морфизма связан с использованием морфизма усечения и коммутативного квадрата.
- Формально гладкий морфизм может быть эквивалентен гладкому морфизму локально конечного представления.
Полный текст статьи: