Главная
страница 1
скачать файл




Содержание

ВВЕДЕНИЕ 2

Обозначения и терминология 4

Основные результаты диссертации 6

ГЛАВА 1. Рейнхартовы области голоморфности в С2 13 §1.1. Максимальные торы и группы автоморфизмов гиперболических

областей Рейнхарта 13 §1.2. Классификация областей Рейнхарта и их группы автоморфизмов 16

§1.3. Доказательство теоремы 1.1. 23

1.3.1. Класс Б2 23

1.3.2. Класс Б1И 23

1.3.3. Классе 25

1.3.4. Класс лиг 27

1.3.5. Классы д,з и C2\{ziz2=0} 32

1.3.6. Оставшиеся классы 32 ГЛАВА 2. Области Рейнхарта общего вида в С2 33 §2.1. Торы и дендриты 3 3 §2.2. Свойства дендритов 36 §2.3. Дендриты и дуги 41 §2.4. Дуги и гиперповерхности 45 §2.5. Доказательство теоремы 1.1. 48

2.5.1. Классы Б2,ЫИ,е 48

2.5.2. Класс a\j? 48

2.5.3. Классы д,з и C2\{z\z2=0} 50

2.5.4. Классы в, ж 53

2.5.5. Класс б 54

2.5.6. Класс С2 55

2.5.7. Класс С2\ {z,= 0}, С2\ {z2= 0} 55 ГЛАВА 3. Гиперболические трубчатые области в С2 58

§3.1. Голоморфная классификация трубчатых областей 58

§3.2. Трехмерная группа автоморфизмов 60

§3.3. Трехмерная группа с одномерным коммутантом 61

§3.4. Трехмерная группа с двумерным коммутантом 66

СПИСОК ЛИТЕРАТУРЫ 67

Введение


В этой диссертации исследуются задачи о голоморфной эквивалентности для областей Рейнхарта и для трубчатых областей в С . Доказывается, что две голоморфно эквивалентные области Рейнхарта мономиально эквивалентны (теорема 1.1, стр.13), а две голоморфно эквивалентные гиперболические трубчатые области аффинно эквивалентны (здесь есть исключения, все они описаны) - теорема 3.1, стр.58. Эти результаты позволяют для двух таких областей вопрос о голоморфной эквивалентности свести к вопросу об аффинной эквивалентности некоторых двух областей на плоскости R2.

Напомним, что область Рейнхарта в Сп - это область, инвариантная относительно поворотов (z,,... zn) l-> (exp(/(9, )z,,...exp(iOn )zn), а трубчатая область - это область, инвариантная относительно вещественных сдвигов (z,,...zn) I—> (z, + вх,...zH +&„), где #,,...#„ e R- произвольные числа. Область Рейнхарта однозначно определяется своей проекцией на координаты (|г, |,... \zn |) - так называемой диаграммой Рейнхарта, а трубчатая область определяется своей проекцией на координаты (Im z,,... Im zn ) -базой трубчатой области. Между областями Рейнхарта и трубчатыми областями имеется связь - голоморфное накрытие (z,,... zn ) \—> (exp(/z,),... exp(/z/))) переводит трубчатые области в области Рейнхарта. Это не взаимно-однозначное отображение, поэтому, собственно, трубчатые области и области Рейнхарта - разные объекты, хоть и во многом схожие. Эта тесная связь породила метод исследования по аналогии. Но у такого подхода есть серьезный недостаток - не любая область Рейнхарта является образом трубчатой (если область Рейнхарта содержит точки, принадлежащие координатным осям). Мы будем исследовать области Рейнхарта и трубчатые области отдельно.

Интерес к этим областям неслучаен - они являются естественными областями определения степенных рядов и интегральных представлений, часто возникают в анализе как классические примеры, а трубчатые области над конусами возникают в физике. Давно известны результаты, описывающие голоморфную оболочку таких областей, причем в самом общем случае. Изучались их автоморфизмы. Без сомнения, это наиболее исследованные области в многомерном комплексном анализе ([Ф]). При всем этом задача их голоморфной классификации не была окончательно решена.

В одномерном случае области Рейнхарта - это круги, кольца (с центрами в 0) и вся комплексная плоскость. Одномерный аналог задачи, рассматриваемой в диссертации, выглядит так: пусть D\ и Di — голоморфно эквивалентные области Рейнхарта в С. Тогда D\ можно перевести в Di с помощью линейного отображения z ь-> Az или инверсии z ь-> Az~l, то есть алгебраического отображения. Это - простая задача на принцип симметрии. Трубчатые области в одномерном случае - это полосы, полуплоскости (параллельные вещественной оси) и вся комплексная плоскость. Одномерный аналог задачи, рассматриваемой в диссертации, для трубчатых областей тривиален: пусть D\ и Di - голоморфно эквивалентные трубчатые области в С. Тогда Di можно перевести в D2 с помощью аффинного отображения z н» Az + b, AeR, бе С. Исключением является пара полоса — полуплоскость, когда экспоненциальное отображение нельзя заменить аффинным.

Диссертация посвящена двумерному случаю, когда задача становится намного сложней. Уже в одной из первых работ по многомерному анализу Пуанкаре [Poi] отметил, что бидиск и шар в С голоморфно неэквивалентны, потому что обладают неизоморфными группами автоморфизмов - у шара она 8-мерна, у бидиска - 6-мерна. Заметим, что и шар, и бидиск - это области Рейнхарта. Далее исследование задачи голоморфной эквивалентности (если такую общую задачу вообще разумно выделять) пошло двумя путями. Основной (и более поздний по происхождению) инициирован Э.Картаном, когда вводились ограничения на группу автоморфизмов области, по сути эти исследования относятся к теории групп и алгебр Ли.

Другой путь - вводить ограничения на области и решать задачу эквивалентности в С2 (Рейнхарт, Туллен, А.Картан). Обобщения на более высокие размерности приводили бы к очень серьезным техническим трудностям. Тем не менее, это тоже продуктивный путь - он дает конструктивные результаты. Диссертация находится в этом же ряду. Для областей Рейнхарта получен окончательный результат. Теперь ясно, что ограничения на области, которые вводились до сих пор (ограниченность, гиперболичность, ограничения на топологию областей), несущественны и объясняются только техническими причинами. Это же должно быть верно и для случая С", п > 2.

Работ, посвященных задаче классификации областей Рейнхарта, достаточно много. Трубчатыми областями занимались меньше. Кратко опишем те работы, которые сыграли ключевую роль при написании диссертации.

В 1978 г. Сунада ([Sun]) исследовал голоморфную эквивалентность ограниченных областей Рейнхарта в С", содержащих начало координат. Он доказал, что в этом случае между D\ и D2 существует линейное отображение вида w. = ^¦2(Т((.), где г, -

константы, a a(i) - некоторая перестановка индексов / = 1 ...п. Для этого он рассмотрел алгебру Ли группы автоморфизмов таких областей. Кружилин ([Кр]) и Шимицу ([S1]) заметили, что группа поворотов образует максимальный тор в группе автоморфизмов гиперболической (например, любой ограниченной) области Рейнхарта. Этот факт оказался очень важным. Было доказано ([Кр]), что если D\ и Di - гиперболические области Рейнхарта, между которыми есть биголоморфное отображение F, то между D\ и ?>2 существует также биголоморфное отображение

вида w. = rz"'1 ...z%», где (а1;) - целочисленная матрица с определителем ± 1, a rt -

константы, /,_/' =1 ...п. Такое отображение мы далее будем называть мономиальным.

Близко к теме диссертации примыкают работы Шимицзу [S2], [S3]. О них подробно рассказано на стр. 8.

Отметим наиболее важные работы о трубчатых областях. В 1982 году Янг в своей работе [Yang] получил следующий результат - если биголоморфно эквивалентные трубчатые области в С" имеют ограниченные гладкие строго выпуклые базы, то такие области аффинно эквивалентны. Голоморфной классификацией трубчатых областей занимался Шимицзу - [S4], [S5J. В [S4J он доказал, что голоморфно эквивалентные трубчатые области с ограниченными базисами аффинно эквивалентны. В [S5] были рассмотрены трубчатые области в С2, базисы которых представляют собой выпуклые области в R , не содержащие полных прямых и была получена голоморфная классификация таких областей.

Обозначения и терминология

Рассматриваются две области Рейнхарта D\ и Дг в С2. Между ними по условию существует биголоморфное отображение, будем обозначать его F={f\,fi). Известно ([Ф]), что биголоморфное отображение любых областей продолжается до

биголоморфного отображения F : D] —> Е>2 их оболочек голоморфности. Так как это

продолжение единственно, то чаще всего мы не будем различать F и F, используя обозначение F.

Назовем репнхартовым множеством X (с центром в 0) такое множество в С2, что для любой точки z - (z\, Z2)e Xи любого 9 ~ {в 1,6*2)e R2 точка е'в ¦ z = (e'Olzve'Olz2)

тоже принадлежит X В частности, область Рейнхарта - это рейнхартово множество.

Группу {е'в : в eR} обозначим через Т, ее квадрат \е'в : в е R2} - через Т2.

Пусть (х,у) = (\Z]\, |z2|). Множество I ={(x,y)e R2: х,у>0} (диаграмму Рейнхарта) будем называть диаграммой, логарифмическую диаграмму Рейнхарта - 1п-диаграммой. Множество точек {(х,у) el: xy = 0}будем обозначать через Io. Топология в I - индуцированная из R2. Если множество 7 с I, то изображение множества Yr^ (I \ 1о) на In-диаграмме будем обозначать через 1пУ.

Пусть множество (не обязательно рейнхартово) X d С2. Тогда множество точек вида e'e-z , принадлежащих I, где z пробегает все множество X, будем обозначать \Х\ с I и называть изображением множества Хна диаграмме.

Пусть множество Yd I. Тогда рейнхартово множество ХсС2, такое что \X\=Y, мы будем обозначать через Х= [У].

Пусть множество X (не обязательно рейнхартово) принадлежит С2. Тогда рейнхартово множество [|Х|] будем называть рейнхартовои оболочкой X и обозначать просто [X]. Это не противоречит предыдущему определению, ведь можно считать, что I

Если точка z<=C , то множество [z] будем называть тором. При этом в зависимости от z множество [z] может представлять собой вещественно двумерный тор, когда z g [Io], окружность, когда z e [Io] \{0}, и точку 0, когда z = 0.

В § 1.1 будут встречаться и другие торы — коммутативные связные компактные подгруппы групп автоморфизмов. Максимальный тор — максимальная коммутативная связная компактная подгруппа ([В-О]).

Инвариантным множеством мы назовем такое рейнхартово множество X, образ которого F(X) (или F "'(X)) - также рейнхартово множество. Чаще всего будут встречаться инвариантные области Рейнхарта, инвариантные рейнхартовы гиперповерхности и инвариантные двумерные торы.

В первой главе часто используются понятия класс и стандартная область класса. Сейчас их трудно определить, поэтому отсылаем к §1.2, где они выделены.

Для трубчатых областей будут использованы традиционные обозначения - если базу трубчатой области обозначить Q., то соответствующую трубчатую область обозначим Г„ - Rn + /Q. Биголоморфно эквивалентные области назовем 7Ь и Г_.

Оболочка голоморфности трубчатой области TQ - это трубчатая область Т , база

которой Qc является выпуклой оболочкой базы Q.

Подгруппу вещественных сдвигов, содержащуюся в группе автоморфизмов трубчатой области AuI(7q), мы обозначим Е(ГО). Эта подгруппа изоморфна R".

Преобразования z = cp{z) вида (p(z) = A(z) + b , где A e GL(n, K) , b e С" мы будем называть аффинными. Легко видеть, что эти преобразования переводят трубчатые области в трубчатые. Соответствующие трубчатые области мы будем называть аффинно эквивалентными. Аффинная эквивалентность трубчатых областей равносильна аффинной эквивалентности их баз в R".

Основные результаты диссертации

В первой главе изложены результаты, относящиеся к областям голоморфности Рейнхарта. В совокупности они доказывают для таких областей теорему 1.1 (стр.13). В §1.1 приведены доказательства теорем 1.2, 1.3 и 1.4. Оригинальными являются теоремы 1.3 и 1.4. Теорема 1.2 не является новой, но приводится с доказательством, так как именно к доказательству этой теоремы приходится впоследствии обращаться. Теорема 1.2 утверждает, что результат теоремы 1.1 верен для гиперболических областей Рейнхарта. Доказательство основано на использовании свойства сопряженности максимальных торов в группе Ли (эту идею при изучении областей Рейнхарта впервые применили Кружилин и Шимицзу). Гиперболичность областей как раз позволяет ввести структуру групп Ли, а подгруппы вращений оказываются при этом максимальными торами. Теорема 1.3 развивает идеи, заложенные в теореме 1.2. Оказывается, что если перейти в доказательстве от подгрупп Ли к виртуальным подгруппам Ли, можно ослабить условия на области Рейнхарта. Не обязательно, чтобы они сами были гиперболическими. Нужно, чтобы связывающее их биголоморфное отображение одновременно связывало какие-нибудь гиперболические области Рейнхарта в этих же пространствах. Так как доказательство гиперболичности конкретной области может оказаться сложной задачей, эта теорема очень сильно помогает в дальнейшем. Теорема 1.4 является аналогом теоремы 1.3, только гиперболические области Рейнхарта заменены на Леви-выпуклые рейнхартовы гиперповерхности - их автоморфизмы тоже образуют группы Ли. Теоремы 1.3 и 1.4 используются в главе 1 эпизодически. В основном они будут использованы в главе 2.

Далее в § 1.2 приводится классификация областей голоморфности Рейнхарта. Напомним ([Ш]), что область Рейнхарта D с С, являющаяся областью голоморфности, обладает двумя характерными свойствами - изображение D на логарифмической диаграмме (в нашей терминологии - \n\D\) - выпуклое множество, а сама область D относительно полна, то есть при каждом / = 1,.., п область D либо не пересекается с гиперплоскостью z,-= 0, либо вместе с каждой точкой z° содержит и

этому в §1.2 мы опишем все области Рейнхарта, являющиеся областями голоморфности и разобьем их на 12 классов так, что области из разных классов не могут быть биголоморфно эквивалентны друг другу. Это делается для того, чтобы исследовать каждый класс в отдельности в §1.3 - трудно представить себе метод доказательства, одинаковый для всех типов областей голоморфности - они слишком сильно отличаются друг от друга. Охарактеризуем коротко получившиеся классы и особенности доказательств теоремы 1.1 для них, приведенных в §1.3.

Три класса из 12 - это С2 и С2 без одной или двух координатных осей (общее название - класс А). Эти области содержат целые кривые и не являются гиперболическими. Их группы автоморфизмов очень велики и для них нет описания, но благодаря уникальности этих областей доказательство теоремы 1.1 для них тривиально.

Семь классов из 12 объединены под общим названием Б1Р. Это значит, что на логарифмической диаграмме Рейнхарта их образы - выпуклые фигуры, имеющие лишь одну (с точностью до параллельного переноса) опорную прямую, и эта прямая

имеет рациональный коэффициент наклона относительно координат (ln|z, ,ln|z2). Такие области выглядят на логарифмической диаграмме как полуплоскости или полосы. Эти области расслаиваются на однопараметрические семейства целых кривых, являющихся аналитическими множествами, эти семейства найдены в §1.2. При биголоморфном отображении такое семейство кривых переходит в аналогичное. Записывая эти факты в виде равенств разложений Лорана, получаем все необходимое, и даже сверх того. При этом используется описание групп автоморфизмов таких областей, полученное в том же §1.2.

Класс Б1И отличается от Б1Р только тем, что коэффициент наклона опорной прямой является иррациональным. В этом случае тоже можно найти семейства целых кривых, но эти кривые уже не будут аналитическими множествами. В

доказательстве используются хорошо известный пример иррациональной обмотки тора.

Класс Б2 состоит из областей, имеющих по крайней мере 2 непараллельные опорные прямые. В §1.2 установлено, что такие области либо гиперболичны, либо «почти гиперболичны» - после выбрасывания одной или двух целых кривых остается гиперболическая область. Здесь, в единственном месте первой главы, используется теорема 1.3.

Уже после публикации [Сол] автору стало известно о работах Шимицзу [S2], [S3], близких к тому, что изложено в первой главе. Оказалось, что в §1.2, а также пунктах 1.3.3, 1.3.5, 1.3.6 (обозначения диссертации) доказаны среди прочего результаты статьи [S2], а в 1.3.2 - результаты статьи [S3]. Шимицзу не ставил целью доказать результат о голоморфной эквивалентности для областей голоморфности и оставил неисследованными несколько классов областей, среди которых есть нетривиальные Б2 и а и г, часть класса Б1И. В первой главе диссертации голоморфная эквивалентность для областей голоморфности рассмотрена полностью, для всех классов. Методы доказательства различны. В случае §1.2, 1.3.3, 1.3.5, 1.3.6 они близки к методам работы [S2], в пункте 1.3.2 (по сравнению с работой [S3]) метод совершенно другой.

Во второй главе изложены результаты, относящиеся к общим областям Рейнхарта. Все они новые и вместе с результатами первой главы дают доказательство теоремы 1.1 в общем случае.

Если D\ и ?>2 не являются областями голоморфности, то их биголоморфное

отображение F продолжается до биголоморфного отображения F между оболочками голоморфности Z)jH D2 . Поэтому разбиение на классы, полученное в §1.2,

автоматически продолжится на все области Рейнхарта (область относится к тому классу, к которому принадлежит его оболочка голоморфности). Внутри каждой из 12 получившихся задач мы выделяем по 2 подзадачи - случай областей голоморфности, исследованный в первой главе, и общий случай. В классах Б1И и е (1.3.2, 1.3.3) области голоморфности Рейнхарта вообще не допускают биголоморфных отображений, отличных от мономиальных, поэтому и в общем случае это тоже верно по теореме единственности (2.5.1). Если биголоморфное отображение F продолжается до отображения областей из класса Б2, то можно применить теорему 1.3(2.5.1).

Но в остальных 9 классах группы автоморфизмов областей голоморфности оказываются слишком велики и общий случай уже принципиально отличается от случая областей голоморфности. Главная идея, на которой основано решение в общем случае, такова: при биголоморфном отображении F : Di —>¦ D2 эквивалентными оказываются не только области, но и их дополнения до оболочек голоморфности. Если не удается применить теорему 1.2 к самим областям D\ и D2, надо попробовать найти в дополнении эквивалентные гиперболические области Рейнхарта, чтобы можно было применить теорему 1.3, или эквивалентные невырожденные рейнхартовы гиперповерхности, чтобы применить теорему 1.4. Это идеальные случаи, но легко себе представить и другие, например, когда в дополнении нет в явном виде ни гладких гиперповерхностей, ни каких-либо областей, тем более гиперболических. Поэтому применение теорем 1.3 или 1.4 является финальным этапом доказательства, и чтобы дойти до этого этапа необходима большая техническая подготовка. Она заключается в следующем. Назовем рейнхартово множество инвариантным, если его образ под действием отображения F тоже является рейнхартовым множеством. Самыми очевидными

примерами инвариантных множеств являются D\ и ?>2, Dx и D2 , а наиболее важными

для нас - Х{ = (D, \ D,) \ (Д \ ?>,)° и Х2 = (D2 \ D2) \ (D2 \ D2)°. Они важны потому что всегда непусты. На диаграмме Рейнхарта они выглядят как множества без внутренних точек. Рассмотрим некоторое множество (\z\\ - const], \гг\ - const2), принадлежащее Х\. Топологически это тор, 2-мерный, 1-мерный или 0-мерный, в зависимости от значений констант (почти всегда можно считать тор 2-мерным, если же таких нет, то задача становится простой). Образ этого тора под действием F -некоторый компакт в Xj. В лемме 2.3 доказывается, что изображение этого компакта на диаграмме Рейнхарта либо содержит замкнутую кривую, либо является дендритом (напомним, что дендрит - это локально связный плоский континуум, не содержащий замкнутых кривых). В первом случае можно сразу применить теорему 1.2 или 1.3, как это показано в §2.1. Во втором случае потребовалось более глубокое исследование Далее в §2.1 показано, что образ множества, изображаемого на диаграмме дендритом, под действием F на диаграмме будет выглядеть снова как дендрит, и так далее. Мы получаем две последовательности вложенных дендритов -в \Х\\ и \Хг\. О дендритах довольно много известно (§2.2). Основными источниками по топологии плоскости были книги Куратовского [Кур] и Урысона [Ур]. Тем не

менее один технический результат из 2-мерной топологии пришлось доказывать -теорема 2.1 утверждает, что дендрит делит некоторую достаточно малую окрестность точки ветвления конечного порядка ппап частей. Столь простая формулировка обманчива - дендриты могут быть довольно сложно устроены. Далее в §2.3 доказаны две ключевые теоремы - 2.2 и 2.3. Из них следует, что 2-мерный тор, соответствующий точке ветвления - инвариантен, так как под действием отображения F перейдет в двумерный тор, также соответствующий точке ветвления. Следствием этого является лемма 2.15, которая утверждает, что изображение образа тора на диаграмме не может иметь точек ветвления, то есть является либо точкой, либо дугой. В первом случае тор будет инвариантным, второй случай (неинвариантного двумерного тора) исследован в §2.4. Показано, что тогда семейства вложенных дендритов, получающиеся в \Х\ | и \Х2\, представляют собой семейства вложенных дуг (лемма 2.17), образующих вещественно-аналитические кривые. Эти аналитические кривые являются образами на диаграмме вещественно-аналитических гиперповерхностей. Окончательный результат использования дендритов сформулирован в теореме 2.4 - множества Х\ и Х2 состоят из находящихся во взаимно-однозначном соответствии торов, 3-мерных рейнхартовых гиперповерхностей и 2-мерных областей (кругов, колец и т.д.). После выяснения строения множеств Х\ и Хг дендриты уже не нужны. Они были необходимы, чтобы в множествах Х\ и Х2, вообще говоря, сколь угодно сложных, выделить простые подмножества - торы, гиперповерхности. Дальнейшее доказательство, отдельное для каждого класса, приводится в §2.5. Оно основано на элементарных идеях, одна из которых изложена в лемме 2.18: если двумерные торы, изображенные на логарифмической диаграмме точками lna и \х\Ь, переходят в торы, изображенные точками lnc и lnd, то множество, изображаемое отрезком [lna, 1п6], перейдет в множество, изображаемое отрезком [lnc, lnd]. Так, три инвариантных тора, лежащих в общем положении, позволяют выделить инвариантную ограниченную область Рейнхарта и применить теорему 1.3. Другие случаи требуют применения теоремы 1.4 или знания группы автоморфизмов оболочки голоморфности области.

В третьей главе доказана теорема 3.1 (см. стр. 58)

Эта теорема классифицирует 2-мерные гиперболические трубчатые области с некоторыми ограничениями на группы автоморфизмов. Доказательство основано на рассмотрении групп автоморфизмов трубчатых областей Aut(Tn), которые будут

группами Ли, и соответствующих алгебр Ли. Их размерность < 8. Если dimAut (Тп) > 4, то область оказывается однородной, и как следствие — областью голоморфности. В этом случае можно использовать классификацию Шимицу, полученную в статье [S5]. Если dimAut (7q)=2, to группа сдвигов переводится сопряжением в группу сдвигов и тогда лемма 3.1 гарантирует, что отображение является аффинным. В случае dimAut (7q) =3 или 4 дополнительно предполагается, что в Aut (7n) существует 3-мерная подгруппа, включающая в себя сдвиги и под действием индуцированного биголоморфным отображением изоморфизма она переходит в аналогичную подгруппу в Aut (7_). Таким образом, случай dimAut (7Ь) -3

рассмотрен полностью, а в случае dimAut (7q) = 4 найдены примеры голоморфно, но не аффинно эквивалентных областей. Далее рассматриваются соответствующие этим подгруппам трехмерные подалгебры Ли. Всего существует 9 типов трехмерных алгебр Ли. Три из них вообще не могут реализоваться как подалгебры Ли группы автоморфизмов гиперболической области - это алгебры с 3-мерным и 0-мерным коммутантом д2 = [д, д]. Случай 2-мерного коммутанта разобран в §3.4. Такие алгебры обладают единственными 2-мерными коммутативными подалгебрами. Естественно, эти подалгебры соответствуют подгруппам вещественных сдвигов. Отсюда сразу следует, что эти подгруппы сопряжены - можно применить лемму 3.1. В §3.3 рассмотрены две алгебры с 1-мерным коммутантом. Именно они дают все исключительные случаи (причем все имеют dimAut (7Ъ) >3). Эти алгебры рассматриваются как алгебры полных векторных полей. Два линейно независимых

поля L. = — и/,, =-- соответствуют сдвигам. Третье линейно независимое от

них поле можно найти в явном виде интегрированием. Условие его полноты даст нам ограничения на возможный вид трубчатой области.

Заметим, что в совместной с Н.Г. Кружилиным статье [К-С] случай dimAut (7Ь) = 4 исследован полностью. Новых исключений (кроме уже найденных) при этом не обнаруживается.

В диссертацию вошли материалы 2 статей, вторая из которых написана в соавторстве с Н.Г. Кружилиным - [Сол] и [К-С]. Результаты диссертации докладывались на семинарах в Московском Государственном Университете и Математическом институте РАН.

Автор выражает глубокую благодарность своим научным руководителям доктору физико-математических наук, профессору Армену Глебовичу Сергееву и кандидату физико-математических наук, старшему научному сотруднику МИР АН Николаю Георгиевичу Кружилину за постановку задач, помощь и постоянное внимание к работе.

Глава 1. Рейнхартовы области голоморфности в С2

Один из двух основных результатов диссертации - теорема 1.1: Теорема 1.1 Пусть D\u Dj- две произвольные связные биголоморфно эквивалентные области Рейнхарта в С2. Тогда они мономиалыю эквивалентны, то есть между D\ и D% существует биголоморфное отображение специального вида:

*(z,,z2)= ' ' \\, R-l(wl,w2) = \ ' 3 I \,

1^2 ^2Z1Z2 lZ2 W^l W2

k, I, m, n, p, q, r, s g Z, C\, Ci, Сз, С4 g R.

Доказательство этой теоремы естественным образом распадается на две части -для областей голоморфности и для общего случая. В первой главе будут рассмотрены области голоморфности. Доказательство в этом случае опирается в основном на классические идеи.

§1.1 Максимальные торы и группы автоморфизмов гиперболических областей Рейнхарта

В дальнейшем мы будем использовать фрагменты следующего доказательства.

ТЕОРЕМА 1.2. Если в условиях теоремы 1.1 D\ (а тогда и D2) гиперболична, то D\ и Dj мономиально эквивалентны.

Доказательство. Группа G автоморфизмов гиперболической области D - это группа Ли относительно компактно-открытой топологии [Коб], которая определяется следующим образом: пусть (Kj,Uj) - любое конечное число пар компактных и открытых множеств в D. Тогда множества

берутся в качестве базы этой топологии.

В группе G[ = Aut(Z>i) есть подгруппа Т\, состоящая из поворотов z —>¦ е'в- z. Эта подгруппа образует максимальный тор в G\, то есть максимальную связную коммутативную компактную подгруппу. Действительно, рассмотрим отображение / стандартного тора Т в группу Aut(D\), переводящее каждую точку тора в поворот на соответствующий угол. Покажем, что это отображение непрерывно. Пусть х = i(y)e.i(T2) - некоторая точка, хе V - произвольное открытое множество в G\, a W = W(K],K2,...,Kc.;Ul,U2,...,Uc) - открытое множество из базы топологии, такое

что xg Wd V. Очевидно, если немного пошевелить у в Т2, то полученные повороты также будут переводить компакты К\, ..Кс в открытые множества U\, .. Uc. Значит, / -непрерывно, поэтому Т\ - тор. Его максимальность следует из общей леммы 3.2, доказанной в [Кр].

То же можно сказать и про аналогичную группу Т2 с G2 = Aut(Z>2)- Если F -заданный биголоморфизм, <р - элемент группы G\, то ср —» F°ср о F~l - изоморфизм G\ и G2. Легко проверить, что это изоморфизм групп Ли (он переводит базу топологии в базу топологии). Тогда Foj^ 0F'1 - некоторый максимальный тор в G2. Хорошо известно, что максимальные торы в связной компактной группе Ли сопряжены ([В-О]). Но сами максимальные связные компактные подгруппы сопряжены в любой группе Ли. Для полупростых групп Ли это доказал Э.Картан, в общем случае - А.И.Мальцев ([Мал]). Отсюда следует сопряженность максимальных

торов в любой группе Ли, то есть F° Jj оF~l =фоТ2 °ф~х для некоторого ф е Gi.

Значит, существует отображение Я-ф~х ° F дакое что R°Txo Rx =Т2 или R(T\) = T2(R).

Фиксируем точку z eD\,z € [Io], и пусть w = R(z ). Тогда для любого элемента е'в е Т\ существует элемент ev e Т2, такой что R(e'e¦ z°) = e'^-w0, или покомпонентно:

r1(e/fl'zI0.e^z«) = e'l"'w10, r2(eie*z\,eie*z\) = e'^-w°2.

Так как Т\ и Т2 сопряжены и изоморфны Т2, то г\ и г2 - это характеры Т2->Т, то есть произведения характеров Т—»Т, а любой такой характер имеет вид z —> zk, k&Z,, геТ. Поэтому на двумерном торе [z ] функции г\ и г2 имеют вид Cz\zl2 . По формуле

Лорана и теореме единственности г\ и г2 всюду имеют такой вид. Теорема доказана.

Теорема 1.3. Пусть F - биголоморфное отображение между областями Реппхарта D\ и D2, и пусть F (возможно, F ) осуществляет также биголоморфпое отображение некоторых гиперболических областей Репнхарта D'x с Z), uDjdD2. Тогда D\ и D2 мономиально эквивалентны.

Доказательство. ПустьG,7 ,G'2,G\\\G2- группы автоморфизмов областей D,' , D'2,D\vl D2, и пусть Sj = G{ r\G{ и S2 = G2r\G2. Очевидно, что Т\ cz S\,T2cz S2,

F о (7, ° F ] = Gj изоморфизм групп Ли, a F °GX° F~] =G2- изоморфизм абстрактных групп.

Рассмотрим линейно связную (в топологии G[) компоненту е группы Si. Обозначим ее Н\. Аналогичным способом получим Hi. Легко показать, что Я, -подгруппы в G\. Теорема Кураниши-Ямабе ([Ya], [B-O]) утверждает, что всякая линейно связная подгруппа вещественной группы Ли - виртуальная подгруппа Ли. Поэтому Н\ и Нг являются виртуальными подгруппами Ли в группах Ли G1. и GL .

Так как F о G,7 ° F~x =G2- изоморфизм групп Ли, то он сохраняет непрерывность путей. Учитывая равенство F oG}° F~l = G2, получаем, что F °H{° F~[ = Н2 -изоморфизм абстрактных групп. Однако известно ([В-О]), что две виртуальные подгруппы Ли (F о Я, о F~l и Нг), совпадающие как подмножества, несут одну и ту же структуру группы Ли. Поэтому Н\ и Н2 изоморфны как группы Ли.

Так как Т, с: Sj, и Г, - линейно связны (они являются непрерывными образами линейно связного Т2), то Tk a Я,.

Т, - максимальные торы в G[, докажем, что Т, - максимальные торы в Я, aG[.

Топология виртуальной подгруппы //, может быть сильнее индуцированной из G[, поэтому этот факт неочевиден. Докажем компактность и связность, для чего проверим непрерывность отображений /:Т2->Д. Топология виртуальных подгрупп

Ли известна ([В-О], [Уор]). Существует такая кубическая система координат О в G/ с началом в е, что Н,сл О состоит из объединения не более чем счетного множества срезов этой координатной системы. Пусть F, - открытое множество в //;, докажем, что существует открытое множество S а Т2, такое что i(S)a V-,. Сдвигая и переходя к меньшей окрестности, если необходимо, можно считать, что V-, - это срез,

содержащий е. Так как отображение /:Т2—>G[ - непрерывно, существует (связная) окрестность & в Т2, такая что /(S)c=O. Ее образ целиком попадает в //,, то есть на объединение срезов. Из связности вытекает, что образ попадает только на срез, содержащий е. Непрерывность доказана. Коммутативность очевидна. Осталось доказать максимальность. Если бы в Я, был бы тор, содержащий Th то так как по

определению виртуальной подгруппы Ли id: Hi-tG^ - гомоморфизм групп Ли, то и в

G' тор Т, не был бы максимальным, а это противоречит результатам [Кр], [S1].

Итак, Н\ и Нг - сопряженные группы Ли, а Т\ и Т2 - максимальные торы в них и поэтому сопряжены. Теперь можно так же, как в теореме 1.2 показать, что D\ и Dj мономиально эквивалентны. Теорема доказана.

Следующая лемма элементарна:

Лемма 1.1. Пусть W = (w\(z\, zi), wj(z\, z^)) — биголоморфное отображение, определенное на некоторой области Рейнхарта и коммутирующее со всеми поворотами z —> е • z. Тогда w\-Az\, W2=Bz2, A, BtC.

Теперь докажем аналог теоремы 1.3 для гиперповерхностей:

Теорема 1.4. Пусть F - биголоморфное отображение между областями

Рейнхарта D\ и Di, и пусть F (возможно, F) осуществляет также биголоморфное отображение некоторых Леви-выпуклыхрейнхартовых гиперповерхностей [L\] с:

Д и [Lj\ a D2. Тогда D\ и D% мономиапъпо эквивалентны.

Доказательство. Группы (^-преобразований вещественно аналитических невырожденных гиперповерхностей являются группами Ли ([С-М]). Возьмем их в

качестве G[ и G'2 вместо групп Ли автоморфизмов гиперболических областей и повторим дословно доказательство теоремы 1.3. Приведем лишь доказательство максимальности тора Т\ в группе G[, так как оно основано на других идеях. Из

леммы 1.1 следует, что только линейные отображения коммутируют со всеми поворотами. Если мы покажем, что гиперповерхность [ZJ не выдерживает линейных отображений, то отсюда будет следовать, что Т\ - максимален. По условию кривая lnZi на ln-диаграмме не содержит точек перегиба , то есть выпукла в одну сторону. Рассмотрим настолько малую дугу 1пМ кривой 1п/,ь что она не является полным оборотом спирали (хорда не имеет пересечений с дугой, кроме своих концов). Действие линейного отображения выглядит на ln-диаграмме как параллельный

перенос. Если бы в группе G[ присутствовало линейное отображение, то присутствовала бы и любая его степень. Под действием такого отображения дуга 1пА/ перейдет в свою параллельную копию 1пМ', причем можно добиться, чтобы без пересечения. Соединить 1пЛ/ и \г\М аналитической кривой без точек перегиба можно, но при этом обязательно получится виток спирали. Итак, lnZi обязательно содержит спираль. Но аналогично соединить этот виток с его параллельной копией без точек перегиба уже невозможно — доказательство элементарно. Противоречие. Теорема доказана.



§1.2. Классификация областей Рейнхарта и их группы автоморфизмов

Рассмотрим множество рейнхартовых областей голоморфности, и выделим два подмножества:
скачать файл



Смотрите также:
Обозначения и терминология 4 Основные результаты диссертации 6
214.1kb.
Диссертация (название диссертации)
71.03kb.
Сварка плавлением основные положения и их обозначения
45.1kb.
Перечень российских рецензируемых научных журналов, в которых должны быть опубликованы основные научные результаты диссертаций на соискание ученых степеней доктора и кандидата наук
831.82kb.
Кандидатской диссертации: «Деятельность государственных и общественных организаций по охране детства и юношества страны в годы Великой Отечественной войны (1941-1945)»
15.97kb.
Педсовета
368.36kb.
Пояснительная записка основные результаты и выводы
478.68kb.
Учебно-методический комплекс «Экономическая терминология на иностранном языке»
171.78kb.
4. Результаты анкетирования руководителей лпу
597.39kb.
Терминология, классификация средств, вызывающих зависимость и клинические проявления основных видов наркотиков
253.16kb.
Основные результаты научных исследований
251.47kb.
Ученику Материалы подготовки учащихся к предметной олимпиаде по физической культуре Терминология в области физической культуры и спорта
51.66kb.