Критерий стягиваемости Кастельнуово-Энриквеса

На ближайшем семинаре будет сформулирована и доказана теорема Кастельнуово-Энриквеса, которая является основополагающей для построения программы минимальных моделей гладких поверхностей. Минимальная модель — это такая поверхность X, что всякий бирациональный морфизм на гладкую поверхность Y является изоморфизмом. Критерий стягиваемости позволяет заключить, что минимальные модели — это в точности поверхности, не содержащие (-1)-кривых.