Аффинный морфизм
Аффи́нный морфи́зм, морфизм схем такой, что прообраз любой открытой аффинной подсхемы в является аффинной схемой; при этом схема называется аффинной -схемой.
Пусть – схема, – квазикогерентный пучок -алгебр и пусть – открытые аффинные подсхемы в , образующие покрытие схемы . Тогда склейка аффинных схем определяет аффинную -схему, обозначаемую . Обратно, любая аффинная -схема, определяемая аффинным морфизмом , изоморфна (как схема над ) схеме . Множество -морфизмов -схемы в аффинную -схему находится в биективном соответствии с гомоморфизмами пучков -алгебр .
Замкнутые вложения схем и произвольные морфизмы аффинных схем являются аффинными морфизмами; другие примеры аффинных морфизмов доставляют целые морфизмы и конечные морфизмы. Так, морфизм нормализации схемы есть аффинный морфизм. Свойство морфизма быть аффинным морфизмом сохраняется при композиции и замене базы.