Рациональное Отображение

- обобщение понятия рациональной функции на алгебраич. Многообразии. А именно, р а ц и о н а л ь н ы м о т о бр а ж е н и е м неприводимого алгебраич. Многообразия Xв алгебраич. Многообразие Y(оба определены над полем k). Наз. Класс эквивалентности пар (U,jU), где U - непустое открытое подмножество в X, а jU- морфизм из Uв Y. При этом пары (U,jU). И (V, jV) считаются эквивалентными, если jU и jV совпадают на . В частности, Р. О. Многообразия X в аффинную прямую есть рациональная функция на многообразии X. Для каждого Р. О. J . существует такая пара , что для любой эквивалентной ей пары (U,jU) и jU является ограничением на U. Открытое подмножество наз. О б л а с т ь ю р е г ул я р н о с т и Р. О. J, а - о б р а з о м м н ог о о б р а з и я X(обозначается j(X)) при Р.

О. J. Если Р. О. Алгебраич. Многообразий и образ j (X) плотен в Y, то j определяет вложение полей . Обратно, вложение полей рациональных функций определяет Р. О. Многообразия Xв Y. Если Р. О. J индуцирует изоморфизм полей рациональных функций k(X)и k (Y), то j наз. Б и р а ц и о н а л ь н ы м отображением. Множество точек из X, в к-рых Р. О. Не регулярно, имеет в общем случае коразмерность 1. Но если Y - полное многообразие, а X - гладкое неприводимое многообразие, то множество точек из X, в к-рых j не регулярно, имеет коразмерность не меньше двух. Если X и Y - полные неприводимые многообразия над алгебраически замкнутым полем характеристики 0, то Р. О. Может быть включено в коммутативную диаграмму (см. [2]). (*) где h, f - морфизмы алгебраич.

Многообразия Z, и h является композицией моноидальных преобразований. Если - бирациональное отображение полных неособых поверхностей, то существует диаграмма (*), в к-рой оба морфизма f и hявляются композициями моноидальных преобразований с неособыми центрами (т е о р е м а З а р и с к о г о), т. Е. Любое бирациональное отображение полных неособых поверхностей раскладывается в композицию моноидальных преобразований с неособыми центрами и обратных к ним отображений. В случае аналогичный вопрос о разложении бирационального отображения открыт (1983). Лит.:[1] Ш а ф а р е в и ч И. Р., Основы алгебраической геометрии, М., 1972. [2] Н i r о n a k a H., "Ann. Math.", 1964, v. 79, № 1 - 2, p. 109 -326. Buк. С. Куликов.