Формальная схема
- Формальные схемы являются топологически замкнутыми пространствами с пучками топологических колец.
- Морфизмы между формальными схемами являются непрерывными гомоморфизмами топологических колец.
- Адическая формальная схема определяется идеалом определения, который индуцирует идеал определения для исходной схемы.
- Примеры включают определение I-адической топологии на кольцах и формальное завершение замкнутых подсхем.
- Формальное завершение закрытой подсхемы приводит к пространству, структурный пучок которого имеет вид limn k[x,y]/In.
Полный текст статьи: