Исключительное Аналитическое Множество

- аналитич. Множество Ав комплексном пространстве X, допускающем такое аналитич. Отображение f :что f(A ) = y - точка комплексного пространства Y, а f :- аналитич. Изоморфизм. Модификация f наз. Стягиванием множества Ав точку у. Задача о характеризации исключительных множеств возникла в алгебраич. Геометрии в связи с изучением бирациональных преобразований (см. Также Исключительное подмногообразие). В аналитич. Еометрии найдены весьма общие критерии исключительности множества. А именно, пусть А- связное компактное аналитич. Множество положительной размерности в комплексном пространстве X. Множество Аисключительно тогда и только тогда, когда оно обладает в Xотносительно компактной псевдовыпуклой окрестностью, в к-рой Аявляется максимальным компактным аналитич.

Одмножеством. Пусть - когерентный пучок идеалов, множество нулей к-рого совпадает с A и пусть N- ограничение на Адвойственного к линейного пространства над X(см. Векторное аналитическое расслоение). Для исключительнорти множества Адостаточно, чтобы Nбыло слабо отрицательным (см. Положительное расслоение). Если X- многообразие, а A - его подмногообразие, то N- это нормальное расслоение над X. В нек-рых случаях слабая отрицательность расслоения Nявляется и необходимой (напр., если А- подмногообразие коразмерности 1, изоморфное Р k (С), или если X- двумерное многообразие). В частности, кривая Ана комплексной поверхности Xисключительна тогда и только тогда, когда матрица (AiAj) пересечений ее неприводимых компонент отрицательно определена (см.

[1], [2]). Строение окрестности И. А. М.полностью определяется окольцованным пространством при достаточно большом m. И. А. М. Обладают следующим свойством транзитивности. Если - компактные аналитич. Ространства в X, причем Висключительно в A, а A - в X, то Висключительно в X. Существует относительное обобщение понятия И. А. М., рассматривающее, грубо говоря, одновременное стягивание семейства аналитич. Множеств в аналитич. Семействе комплексных пространств. Здесь также справедлив критерий, аналогичный сформулированному выше критерию Грауэрта (см. [2]). Другое естественное обобщение понятия II. А. М. Состоит в следующем. Пусть A - подпространство в Xи пусть задано собственное сюръективное голоморфное отображение j:Стягиванием пространства Xвдоль j наз.

Такое собственное сюръективное голоморфное отображение f . X->Y, где У содержит Вв качестве подпространства, что f|A = j и что f индуцирует изоморфизм В случае, когда X-многообразие,Л - его компактное подмногообразие коразмерности 1, а j - расслоение со слоем Р r (С), r>1, необходимое и достаточное условие стягиваемости пространства Xвдоль j на многообразие Yсостоит в следующем. Нормальное расслоение N над Л (совпадающее в этом случае с расслоением, отвечающим дивизору Л) должно индуцировать на каждом слое расслоение -L, где Lопределяется гиперплоскостью в Р r (С). Соответствующее стягивание обратно к моноидальному преобразованию с центром в В[3]. С другой стороны, для всякой модификации f . где Y- многообразие, B - f(A)- его подмногообразие, dim В<dim A и f :- изоморфизм, отображение f|A является расслоением со слоем Р r (С).

Известны критерии стягиваемости вдоль j и в более общей ситуации (см. [2]). Если Аисключительно в Xи является его голоморфным ретрактом (напр., A - нулевое сечение слабо отрицательного векторного расслоения), то Xдопускает стягивание вдоль любого j. Если при этом размерности слоев ретракции равны по крайней мере dim A+2, то по полученному после стягивания пространству Yможно полностью восстановить исходные данные [5]. Лит.:[1] Грауэрт Г., сб. Пер. Комплексные пространства, М., 1965, с. 45-104. [2] Итоги науки. Алгебра. Топология. Геометрия, т. 15, М., 1977, с. 93 - 171. [3] Fuj iki A., Nakanо S., "Publs Res. Inst. Math. Sci.", 1972, v. 7, № 3, p. 637-44. [4] Итоги науки. Алгебра. Топология. Геометрия, т. 12, М., 1974, с. 77 - 170. [5] Тakijima К., Suzuki Т., "Trans.

Amer. Math. Soc", 1976, v. 219, p. 369-77..