Аналитическое Пространство

Обобщение понятия аналитического многообразия. Локальной моделью (и одновременно важнейшим примером) аналитич. ространства над полным недискретно нормированным полем kявляется аналитическое множество в области n-мерного пространства над полем k, заданное уравнениями (где — аналитич. функции в U), к-рое снабжено пучком , получающимся при ограничении на пучка , где — пучок ростков аналитич. функций в U, а I — подпучок идеалов, порожденный Аналитическим пространством над k наз. окольцованное пространство, локально изоморфное окольцованному пространству указанного выше вида. Если k — поле действительных чисел , говорят о вещественных аналитических пространствах; если k — поле комплексных чисел , — о комплексных аналитических (просто комплексных) пространствах; если k — поле р-адических чисел , — о р- адических аналитических пространствах. Аналитическим (голоморфным) отображением одного аналитич. ространства в другое наз. морфизм в смысле теории окольцованных пространств, т. е. пара (, ), где : — непрерывное отображение, a j1. -гомоморфизм пучков. Точка хА. п. наз. простой (или неособой), если хобладает окрестностью, над к-рой изоморфно пространству вида , где — область в В противном случае хваз. особой точкой. Пространство наз. гладким, если все его точки просты. Гладкое аналитич. ространство — это не что иное, как аналитич. многообразие. Размерность А. п. X в точке определяется как размерность соответствующего аналитич. множества в локальной модели. Глобальная размерность определяется формулой Пусть — максимальный идеал в локальном кольце . Векторное пространство над kназ. касательным пространством к в точке х, а — кокасательным пространством. Число наз. касательной размерностью, пли размерностью вложения, в точке х(последнее наименование связано с тем, что является наименьшим из чисел птаких, что в окрестности точки изоморфно локальной модели в пространстве ). Размерность , причем равенство имеет место тогда и только тогда, когда х — простая точка. Определяется также размерность Каждое аналитич. отображение А. п. : определяет линейное отооражение , к-рое наз. его дифференциалом в точке А. п. наз. приведенным, если его локальная модель в окрестности любой точки обладает тем свойством, что I состоит из всех ростков голоморфных функций, обращающихся в 0 на .В случае алгебраически замкнутого поля kэто равносильно тому, что слои пучка не содержат ниль-потентных элементов. Всякое гладкое пространство является приведенным. Если приведено, то можно считать, что состоит из ростков нек-рых непрерывных функций на X. Сечения пучка па приведенном пространстве отождествляются с аналлтич. ф-циями на , т. е. с аналитическими отображениями . Для произвольного А. п. имеется естественный эпиморфизм пучков (где ( -приведенное А. п.), к-рый наз. приведением, или редукцией. Если — сечение пучка , то можно говорить о значении сечения в точке (оно совпадает со значением аналитич. функции в точке ). Поэтому алгебру ц в неприведенном случае часто наз. алгеброй аналитических (голоморфных) функций на . Пучки -модулей на А. п. наз. также аналитическими пучками. Если — А. п., то каждое открытое определяет открытое подпространство . С другой стороны, можно ввести понятие аналитич. одпространства в , к-рое обязательно замкнуто. Множество наз. аналитическим, если в окрестности каждой точки оно определяется конечным числом аналитич. уравнений. С таким множеством связан пучок идеалов , состоящий из ростков всех аналитич. функций, равных 0 на Y. Обратно, каждый аналитический пучок идеалов конечного типа определяет аналитнч. множество Если , получается А. п. , к-рое наз. аналитическим подпространством в ; имеется естественный морфизм . Примером аналитич. одпространства в пространстве является его редукция. Понятие А. п. возникло как обобщение понятия аналитич. многообразия. Такое обобщение подсказывала прежде всего алгебраич. геометрия, в к-рой уже давно систематически рассматривались пространства с особыми точками. Влияние идей алгебраич. геометрии непосредственно отразилось на окончательной формулировке понятия А. п. (для комплексных пространств в приведенном случае она была дана в [9], в общем случае — в [6]). В частности, каждая схема конечного типа над полным нормированным полем kестественным образом определяет А. п. над k. Это соответствие схем и А. п. над kдля приведенных комплексных пространств изучалось в [9], где теория А. п. была названа "аналитической геометрией". В дальнейшем обе геометрии развивались параллельно, причем обмен идеями между ними существенно способствовал успехам, достигнутым в обеих этих областях. В теории функций многих комплексных переменных пространства с особыми точками возникли первоначально как римановы области, являющиеся аналогом римановых поверхностей функций одного переменного. Используя их в качестве локальных моделей, X. Венке и К. Штейн (Н. Behnke, K. Stein, 1951) определили нек-рый класс окольцованных пространств, к-рый, как показано в [5], совпадает с классом приведенных нормальных аналитических пространств. Локальная геометрия аналитич. множеств в С n была изучена еще В. Рюккертом (W.Ruckert) в l932. Наконец, негладкие А. п. естественным образом возникают в теории автоморфных функций, как факторпространства аналитич. многообразий по собственным дискретным группам автоморфизмов. р-адические аналитич. множества появились впервые в работах Т. Сколема (Т. Scolem, 1935) в связи с нек-рыми задачами теории чисел. Теория А. п. имеет два аспекта — локальный и глобальный. Локальная аналитич. еометрия рассматривает ростки аналитич. множеств в пространстве , снабженные пучками указанного выше вида. Основную роль здесь играет изучение свойств алгебры сходящихся степенных рядов от ппеременных над kи ее факторов — так наз. аналитич. алгебр, начало к-рому положил еще К. Вейерштрасс (К. Weierstrass). К локальной теории относятся теория нормализации, изучение особых точек, локальных свойств аналитич. функций и отображений и др. Основные результаты в этой области получены в случае, когда поле kалгебраически замкнуто (см. [1], [4], [7]). Здесь появляется важное понятие когерентного аналитического пучка, играющее далее ведущую роль в глобальной теории. В частности, структурный пучок А. п. и пучок идеалов любого аналитич. множества оказываются (в случае алгебраически замкнутого k).когерентными. Хорошо изучен также случай . Глобальная аналитич. еометрия изучает свойства аналитич. функций, отображений и других аналитич. объектов, заданных "в целом" на всем А. п., а также геометрич. свойства этих пространств. В процессе изучения комплексных А. п. были выделены их естественные классы. Это прежде всего класс Штейна пространств, к-рый можно грубо охарактеризовать как класс пространств, обладающих достаточно большим запасом глобальных голоморфных функций. Пространства Штейна являются наиболее естественным многомерным обобщением областей комплексной плоскости, рассматриваемых в классич. теории функций одного комплексного переменного. Этот класс пространств по существу совпадает с классом аналитич. одпространств в пространствах СЩ. Его алгебраич. аналогом является класс аффинных алгебраич. многообразий (см. Аффинное многообразие). Для области голоморфная полнота равносильна тому, что D — голоморфности область, т. е. что в Dсуществует голоморфная функция, не продолжающаяся в большую область. Граница области голоморфности обладает свойством псевдовыпуклости, т. е. ведет себя по отношению к локальным аналитич. одмногообразиям в С n так же, как выпуклая поверхность по отношению к линейным вещественным подмногообразиям. Вопрос о справедливости обратного утверждения (см. Леви, проблема).породил ряд исследований и привел к новой характеризации пространств Штейна. В известном смысле противоположным является класс компактных комплексных пространств. Справедливо следующее обобщение классич. теоремы Лиу-вилля: функции, голоморфные на приведенном компактном пространстве, постоянны на каждой связной компоненте этого пространства и, следовательно, составляют конечномерное векторное пространство. Обобщением этой теоремы являются конечности теоремы, утверждающие конечномерность групп когомологий со значениями в когерентном аналитич. учке. Рассматриваются также голоморфно выпуклые комплексные пространства, q -полные, q-псевдовыпуклые, q-псевдовогнутые пространства, являющиеся обобщением пространств Штейна и компактных пространств. Перечисленные классы комплексных пространств имеют свои аналоги в теории голоморфных отображений. Напр., компактным пространствам соответствуют собственные голоморфные отображения, голоморфно полным — штейновы отображения и т. п. Для многих теорем найдены "относительные" аналоги, причем "абсолютный" вариант теоремы получается из "относительного" в случае, когда все пространство отображается в точку. Соответствующим обобщением теорем конечности являются теоремы о когерентности прямых образов когерентных аналитич. учков при голоморфных отображениях, первая и важнейшая из к-рых (для собственных отображений) была доказана Г. Грауэртом (см. [6]). Большую роль в теории комплексных пространств играют голоморфные отображения специального вида — так наз. модификации, т. е. отображения , индуцирующие изоморфизм открытых подпространств где — нек-рые аналитические множества. При этом говорят, что У получается из Xпутем "стягивания" подмножества X1 на Y1, а Xиз Y — путем "раздувания" подмножества Y1 в X1. Особый интерес представляют аналитич. одмножества, к-рые можно стянуть в точку (исключительные аналитические множества); их характеризация дана Г. Грауэртом (см. [6]). Естественной проблемой аналитич. еометрии является следующая проблема разрешения особенностей: можно ли "раздуть" подпространство А. п. так, чтобы все пространство стало гладким? Следует отметить, что модификации в алгебраич. геометрии изучались еще в 19 в., а в аналитич. еометрии были введены X. Венке (Н. Behnke) и К. Штейном (К. Stein) в 1951 в связи с понятием римановой области. Другим естественным объектом изучения, также тесно связанным с идеями алгебраич. геометрии, являются мероморфные функции на комплексных пространствах и их обобщения — мероморфные отображения (примером может служить "отображение", обратное к модификации). На приведенном компактном комплексном пространстве Xмероморфные функции образуют поле степени трансцендентности [в гладком случае это впервые доказал К. Зигель (С. Siegel) в 1955]. Пространства X, для к-рых образуют класс, весьма близкий к классу проективных алгебраич. многообразий (см. Алгебраическое пространство);они могут быть охарактеризованы тем, что являются модификациями гладких проективных алгебраич. многообразий. Другим близким к алгебраич. многообразиям классом А. п. являются кэлеровы многообразия. Известен ряд критериев проективности компактного комплексного пространства (см. [3], [6], [13]). Большую роль в развитии этого раздела сыграли работы по автоморфным функциям многих комплексных переменных. Теория деформаций аналитических структур изучает задачу классификации аналитич. объектов заданного типа (напр., всех комплексных структур на заданном вещественном аналитич. многообразии, всех аналитич. одпространств в заданном комплексном пространстве и т. п.), причем цель состоит в том, чтобы ввести на множестве этих объектов "естественную" структуру комплексного пространства, а также задачу описания всех аналитич. объектов, "достаточно близких" к заданному. В первом случае говорят о проблеме глобальных модулей, а во втором — о проблеме локальных модулей. Примером проблемы глобальных модулей является задача классификации всех комплексных структур на компактной римановой поверхности (см. Модули римановой поверхности). Основным аппаратом глобальной аналитич. еометрии являются когерентные аналитические пучки и их когомологий. Первым успехом когомологического метода явилось решение А. Картаном (Н. Cartan) аддитивной Кузена проблемы и проблемы продолжения голоморфной функции с замкнутого подмногообразия для многообразия Штейна (X, 0)[8]; как выяснилось, препятствия к решению этих задач лежат в группах когомологий соответственно. Результаты глобальной теории, как правило, вначале доказывались для комплексных многообразий, а затем уже обобщались на случай комплексных пространств. Возникающие прп этом обобщении трудности часто требовали разработки совершенно новых методов. На комплексном многообразии когомологии локально свободного аналитич. учка можно выразить в терминах дифференциальных форм (теорема Дольбо — Серра), что дает возможность применять для их изучения методы теории эллиптич. дифференциальных уравнений и другие аналитич. методы. В негладком случае этот путь связан с большими трудностями, и часто приходится задавать классы когомологии другими способами, напр., с помощью коцепей Чеха в подходящем покрытии. Здесь оказалась полезной техника банаховых аналитических пространств, развитая в связи с проблемами модулей. См. также Вещественное аналитическое пространство, Жесткое аналитическое пространство. Лит.:[1] Abhyankar S., Local analytic geometry, N. Y.-L., 1964; [2] Вaniсa C., Stanas11a O., Metode algebrice in theoria globala a spatulor complexe, Bucuresti, 1974; [3] Ганнинг Р., Росси Х., Аналитические функции многих комплексных переменных, пер. с англ., М., 1969; [4] Grаuert Н., Rеmmеrt R., Analytische Stellenalgebren, В., 1971; [5] их же, "Math. Ann.", 1958, Bd 136, S. 245-318; [6] Комплексные пространства, сб. переводов, М., 1965; [7] Narasimhan П., Introduction to the theory of analytic spaces, В., 1966; 18] Расслоенные пространства и их приложения, сб. переводов, М., 1958, с. 352-62; [9] Serre J.-P., "Ann. Inst. Fourier", 1956, t. 6, p. 1-42; [10] Фукс Б. А., Специальные главы теории аналитических функций многих комплексных переменных, 2 изд., М., 1963; [11] Xёрмандер Л., Введение в теорию функций нескольких комплексных переменных, пер. с англ., М., 1968; [12] Хирцебрух Ф., Топологические методы в алгебраической геометрии, пер. с англ., М., 1973; [13] Чжэнь Шэн-шэнь, Комплексные многообразия, пер. с англ., М., 1961. А. Л. Онищик.