WikiSort.ru - Не сортированное

Теорема Кастельнуово о стягивании используется в теории классификации алгебраических поверхностей для построения минимальной модели заданной гладкой алгебраической поверхности.

Более точно, пусть ${\displaystyle X}$ является гладкой проективной поверхностью над ${\displaystyle \mathbb {C} }$ , а ${\displaystyle C}$  — (−1)-кривая на ${\displaystyle X}$ (что означает гладкую рациональную кривую с числом самопересечений^[en] −1), тогда существует морфизм^[en] из ${\displaystyle X}$ в другую главную проективную поверхность ${\displaystyle Y}$ , такой, что кривая ${\displaystyle C}$ стягивается в точку ${\displaystyle P}$ , и более того, этот морфизм является изоморфизмом вне ${\displaystyle C}$ (то есть ${\displaystyle X\setminus C}$ изоморфно с ${\displaystyle Y\setminus P}$ ).

Этот морфизм стягивания иногда называется сдуванием или стягиванием^[en], которое является обратной операции к раздутию. Мы также называем такую кривую ${\displaystyle C}$ исключительной кривой первого рода.

Примечания

Литература

Для улучшения этой статьи желательно: Проверить качество перевода с иностранного языка. Исправить статью согласно стилистическим правилам Википедии.