Akademik

- обобщение понятия рациональной функции на алгебраич. многообразии. А именно, р а ц и о н а л ь н ы м о т о бр а ж е н и е м неприводимого алгебраич. многообразия Xв алгебраич. многообразие Y(оба определены над полем k). наз. класс эквивалентности пар (U,j_U), где U - непустое открытое подмножество в X, а j_U- морфизм из Uв Y. При этом пары (U,j_U). и (V, j_V) считаются эквивалентными, если j_U и j_V совпадают на . В частности, Р. о. многообразия X в аффинную прямую есть рациональная функция на многообразии X. Для каждого Р. о. j : существует такая пара , что для любой эквивалентной ей пары (U,j_U) и j_U является ограничением на 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к. С. Куликов.