АНАЛИТИЧЕСКОЕ ПРОСТРАНСТВО это:

АНАЛИТИЧЕСКОЕ ПРОСТРАНСТВО

- обобщение понятия аналитического многообразия. Локальной моделью (и одновременно важнейшим примером) аналитич. ространства над полным недискретно нормированным полем 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. А. Л. Онищик.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Смотреть что такое "АНАЛИТИЧЕСКОЕ ПРОСТРАНСТВО" в других словарях:

  • НОРМАЛЬНОЕ АНАЛИТИЧЕСКОЕ ПРОСТРАНСТВО — аналитическое пространство, локальные кольца всех точек к рого нормальны, т. е. являются цело вамкнутыми областями целостности. Точка ханалитич. пространства Xназ. нормальной (говорят также, что Xнормально в точке х), если локальное кольцо… …   Математическая энциклопедия

  • НЕПРИВОДИМОЕ АНАЛИТИЧЕСКОЕ ПРОСТРАНСТВО — аналитическое пространство, к рое нельзя представить в виде объединения локально конечного семейства его аналитич. одпространств. Н. а. п. является обобщением понятия неприводимого аналитического множества. Всякое аналитич. ространство можно… …   Математическая энциклопедия

  • ВЕЩЕСТВЕННОЕ АНАЛИТИЧЕСКОЕ ПРОСТРАНСТВО — аналитическое пространство над полем R действительных чисел. В отличие от комплексных аналитич. ространств, структурные пучки В. а. п. могут не быть когерентными пучками. В. а. п. наз. когерентным, если его структурный пучок когерентен. Все… …   Математическая энциклопедия

  • ЖЕСТКОЕ АНАЛИТИЧЕСКОЕ ПРОСТРАНСТВО — вариант понятия аналитич. ространства, относящийся к случаю, когда основное поле Кявляется полным неархимедово нормированным полем. Аналитич. функции р адического переменного рассматривались еще в конце 19 в. в теории алгебраич. чисел, однако… …   Математическая энциклопедия

  • БАНАХОВО АНАЛИТИЧЕСКОЕ ПРОСТРАНСТВО — бесконечномерное обобщение понятия аналитнч. пространства, возникшее в связи с изучением деформаций аналитических структур. Локальной моделью здесь служит банахово аналитическое множество, т. е. подмножество открытого множества Uв банаховом… …   Математическая энциклопедия

  • АНАЛИТИЧЕСКОЕ МНОЖЕСТВО — подмножество полного сепарабельного метрич. пространства, являющееся непрерывным образом пространства иррациональных чисел. Понятие А. м. введено Н. Н. Лузиным [1]. Это классич. определение А. м. обобщается на случай общих метрич. и топологич.… …   Математическая энциклопедия

  • АНАЛИТИЧЕСКОЕ МНОГООБРАЗИЕ — многообразие с аналитич. атласом. Структура n мерного аналитич. многообразия над полным недискретно нормированным полем kна топологич. пространстве Мопределяется заданием на Маналитич. атласа над k, т. е. набора карт со значениями в kn,… …   Математическая энциклопедия

  • АНАЛИТИЧЕСКОЕ ПРЕДСТАВЛЕНИЕ — голоморфное представление, представление комплексной группы Ли Gв топология, векторном пространстве Е, обладающее тем свойством, что все матричные элементы ( сопряженное топологическое векторное пространство) голоморфны на G. Представление наз.… …   Математическая энциклопедия

  • АНАЛИТИЧЕСКОЕ ПРОДОЛЖЕНИЕ — функции доопределение функции f0, определенной на нек ром подмножестве Екомплексного многообразия М, до функции f, голоморфной в нек рой области , содержащей Е, такое, что сужение функции f на Есовпадает с . Отправным в теории А. п. является… …   Математическая энциклопедия

  • АНАЛИТИЧЕСКОЕ ОТОБРАЖЕНИЕ — аналитический морфизм, морфизм аналитических пространств, рассматриваемых как окольцованные про странства. А. о. пространства в пространство есть пара , где непрерывное отображение, а гомоморфизм пучков колец на X. В случае комплексных… …   Математическая энциклопедия

Книги

Другие книги по запросу «АНАЛИТИЧЕСКОЕ ПРОСТРАНСТВО» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»