В математике , особенно в комплексном анализе , риманова поверхность - это одномерное комплексное многообразие . Эти поверхности были впервые изучены и названы в честь Бернхарда Римана . Римановы поверхности можно рассматривать как деформированные версии комплексной плоскости : локально вблизи каждой точки они выглядят как участки комплексной плоскости, но глобальная топология может быть совершенно иной. Например, они могут иметь вид сферы или тора или нескольких склеенных между собой листов.
Главный интерес к римановым поверхностям состоит в том, что между ними могут быть определены голоморфные функции . В настоящее время римановы поверхности считаются естественной средой для изучения глобального поведения этих функций, особенно многозначных функций, таких как квадратный корень и другие алгебраические функции или логарифм .
Каждая риманова поверхность является двумерным вещественно-аналитическим многообразием (т. Е. Поверхностью ), но она содержит дополнительную структуру (в частности, сложную структуру ), которая необходима для однозначного определения голоморфных функций. Двумерное вещественное многообразие можно превратить в риманову поверхность (обычно несколькими неэквивалентными способами) тогда и только тогда, когда оно ориентируемо и метризуемо . Таким образом, сфера и тор допускают сложные структуры, но лента Мёбиуса , бутылка Клейна и реальная проективная плоскость - нет.
Геометрические факты о римановых поверхностях настолько "хороши", насколько это возможно, и они часто дают интуицию и мотивацию для обобщений на другие кривые, многообразия или многообразия. Теорема Римана – Роха является ярким примером такого влияния.
Определения
Есть несколько эквивалентных определений римановой поверхности.
- Риманова поверхность Х представляет собой соединены комплексное многообразие из комплексной размерности один. Это означает , что X является связным хаусдорфовый , что наделен атласом на графики в открытом единичном круг на комплексной плоскости : для каждой точки х ∈ X существует окрестность о й т гомеоморфно открытого единичного диска комплекса плоскости, и карты перехода между двумя перекрывающимися картами должны быть голоморфными .
- Риманова поверхность - это ориентированное многообразие (реальной) размерности два - двусторонняя поверхность - вместе с конформной структурой . Опять же, многообразие означает, что локально в любой точке x из X пространство гомеоморфно подмножеству вещественной плоскости. Дополнение «Риман» означает, что X наделено дополнительной структурой, позволяющей измерять угол на многообразии, а именно классом эквивалентности так называемых римановых метрик . Две такие метрики считаются эквивалентными, если измеряемые ими углы совпадают. Выбор класса эквивалентности метрик на X является дополнительным элементом конформной структуры.
Сложная структура порождает конформную структуру, выбирая стандартную евклидову метрику, заданную на комплексной плоскости, и перенося ее в X с помощью диаграмм. Сложнее показать, что конформная структура определяет сложную структуру. [1]
Примеры
- Комплексной плоскости C является самой основной риманова поверхность. Отображение F ( г ) = г (тождественное отображение) определяет диаграмму для C , и { е } является атласом для C . Отображение г ( г ) = г * ( сопряженная карта) также определяет диаграмму на С и { г } является атласом C . Карты f и g несовместимы, поэтому это наделяет C двумя различными структурами римановой поверхности. Фактически, для данной римановой поверхности X и ее атласа A сопряженный атлас B = { f * : f ∈ A } никогда не совместим с A и наделяет X отличной несовместимой римановой структурой.
- Аналогичным образом каждое непустое открытое подмножество комплексной плоскости естественным образом может рассматриваться как риманова поверхность. В более общем смысле, каждое непустое открытое подмножество римановой поверхности является римановой поверхностью.
- Пусть S = C ∪ {∞} и f ( z ) = z, где z находится в S \ {∞} и g ( z ) = 1 / z, где z находится в S \ {0}, а 1 / ∞ определяется как будет 0. Тогда f и g - карты, они совместимы, а { f , g } - атлас для S , превращающий S в риманову поверхность. Эта конкретная поверхность называется сферой Римана, потому что ее можно интерпретировать как обертывание комплексной плоскости вокруг сферы. В отличие от сложного самолета он компактен .
- Теория Можно показать, что компактная риманова поверхность sэквивалентна поверхности проективныхалгебраических кривых, определенных над комплексными числами и неособых. Например,тор C/ (Z + τ Z), гдеτ- комплексное не действительное число, черезэллиптическую функцию Вейерштрасса,связанную срешеткой Z + τ Z, соответствуетэллиптической кривой,заданной уравнением
- у 2 = х 3 + ах + Ь .
Торы - единственные римановы поверхности первого рода , поверхности высших родов g представлены гиперэллиптическими поверхностями
- у 2 = Р ( х ),
- Все компактные римановы поверхности являются алгебраическими кривыми, поскольку их можно вложить в некоторые. Это следует из теоремы вложения Кодаиры и того факта, что на любой комплексной кривой существует положительное линейное расслоение. [2]
- Важные примеры некомпактных римановых поверхностей дает аналитическое продолжение .
f ( z ) = arcsin z
f ( z ) = журнал z
f ( z ) = z 1/2
f ( z ) = z 1/3
f ( z ) = z 1/4
Дополнительные определения и свойства
Как и с любой картой между комплексными многообразиями, А функция F : M → N между двумя римановой поверхностью М и N , называется голоморфным , если для каждой диаграммы г в атласе из М и каждый график ч в атласе N , отображение ч ∘ е ∘ g −1 голоморфна (как функция от C к C ), где бы она ни была определена. Композиция двух голоморфных отображений голоморфна. Две римановы поверхности M и N называются биголоморфными (или конформно эквивалентными, чтобы подчеркнуть конформную точку зрения), если существует биективная голоморфная функция из M в N , обратная которой также голоморфна (оказывается, что последнее условие автоматическое и может поэтому опускается). Две конформно эквивалентные римановы поверхности практически идентичны.
Ориентируемость
Каждая риманова поверхность, будучи комплексным многообразием, ориентируема как вещественное многообразие. Для сложных диаграмм F и г с переходной функцией ч = ф ( г -1 ( г )), ч можно рассматривать как отображение из открытого множества R 2 до R 2 которого якобиевого в точке г просто реальное линейное отображение дается умножением на комплексное число h '( z ). Однако действительный определитель умножения на комплексное число α равен | α | 2 , поэтому якобиан h имеет положительный определитель. Следовательно, сложный атлас - это ориентированный атлас.
Функции
Каждая некомпактная риманова поверхность допускает непостоянные голоморфные функции (со значениями в C ). Фактически всякая некомпактная риманова поверхность является многообразием Штейна .
Напротив, на компактной римановой поверхности X каждая голоморфная функция со значениями в C постоянна из-за принципа максимума . Однако всегда существуют непостоянные мероморфные функции (голоморфные функции со значениями в сфере Римана C ∪ {∞}). Точнее говоря, поле функций из X есть конечное расширение из С ( т ), функция поля в одной переменной, т.е. любые две мероморфные функции алгебраически зависимы. Это утверждение обобщается на более высокие измерения, см. Siegel (1955) . Мероморфные функции могут быть заданы довольно явно в терминах тета-функций Римана и отображения Абеля – Якоби поверхности.
Аналитический против алгебраического
Существование непостоянных мероморфных функций может использоваться, чтобы показать, что любая компактная риманова поверхность является проективным многообразием , т.е. может быть задана полиномиальными уравнениями внутри проективного пространства . Фактически, можно показать, что любую компактную риманову поверхность можно вложить в комплексное проективное 3-пространство . Это удивительная теорема: римановы поверхности задаются локальными схемами с исправлениями. Если добавить одно глобальное условие, а именно компактность, поверхность обязательно будет алгебраической. Эта особенность римановых поверхностей позволяет изучать их средствами аналитической или алгебраической геометрии . Соответствующее утверждение для многомерных объектов неверно, т. Е. Существуют компактные комплексные 2-многообразия, которые не являются алгебраическими. С другой стороны, каждое проективное комплексное многообразие обязательно алгебраично, см . Теорему Чоу .
В качестве примера рассмотрим тор T : = C / ( Z + τ Z ). Функция Вейерштрасса принадлежащих к решетке Z + т Z является мероморфны функция на Т . Эта функция и ее производная генерируют функцию поля Т . Есть уравнение
где коэффициенты g 2 и g 3 зависят от τ, что дает эллиптическую кривую E τ в смысле алгебраической геометрии. Обратить это можно с помощью j-инварианта j ( E ), который можно использовать для определения τ и, следовательно, тора.
Классификация римановых поверхностей.
Множество всех римановых поверхностей можно разделить на три подмножества: гиперболические, параболические и эллиптические римановы поверхности. Геометрически они соответствуют поверхностям с отрицательной, нулевой или положительной постоянной поперечной кривизной . То есть каждая связная риманова поверхностьдопускает единственную полную двумерную вещественную метрику Римана с постоянной кривизной, равной или же который принадлежит к конформному классу римановых метрик, определяемых его структурой как римановой поверхности. Это можно рассматривать как следствие существования изотермических координат .
В комплексных аналитических терминах теорема Пуанкаре – Кебе (обобщение теоремы об отображении Римана ) утверждает, что каждая односвязная риманова поверхность конформно эквивалентна одному из следующих утверждений:
- Сфера Римана , который изоморфен п 1 ( C ) {\ Displaystyle \ mathbf {P} ^ {1} (\ mathbf {C})} ;
- Комплексная плоскость ;
- Открытый круг которая изоморфна верхней полуплоскости .
Риманова поверхность может быть эллиптической, параболической или гиперболической в зависимости от того, изоморфна ли ее универсальное покрытие поверхности, или же . Элементы в каждом классе допускают более точное описание.
Эллиптические римановы поверхности
Сфера Римана является единственным примером, поскольку нет группы, действующей на ней биголоморфными преобразованиями свободно и собственно разрывно, и поэтому любая риманова поверхность, универсальное покрытие которой изоморфно сам должен быть ему изоморфен.
Параболические римановы поверхности
Если является римановой поверхностью, универсальное покрытие которой изоморфно комплексной плоскости то она изоморфна одной из следующих поверхностей:
- сам;
- Частное ;
- Частное где с участием .
Топологически их всего три типа: плоскость, цилиндр и тор . Но в то время как в двух первых случаях (параболическая) структура римановой поверхности уникальна, варьируя параметрв третьем случае дает неизоморфные римановы поверхности. Описание по параметрудает пространство Тейхмюллера «помеченных» римановых поверхностей (в дополнение к структуре римановой поверхности добавляются топологические данные «разметки», которые можно рассматривать как фиксированный гомеоморфизм к тору). Чтобы получить аналитическое пространство модулей (забывая о маркировке), берется факторпространство Тейхмюллера по группе классов отображений . В данном случае это модульная кривая .
Гиперболические римановы поверхности
В остальных случаях является гиперболической римановой поверхностью, которая изоморфна фактору верхней полуплоскости по фуксовой группе (иногда ее называют фуксовой моделью поверхности). Топологический типможет быть любой ориентируемой поверхностью, кроме тора и сферы .
Особый интерес представляет случай, когда компактный. Тогда его топологический тип описывается его родом. Его пространство Тейхмюллера и пространство модулей равны-размерный. Можно дать аналогичную классификацию римановых поверхностей конечного типа (гомеоморфных замкнутой поверхности за вычетом конечного числа точек). Однако в целом пространство модулей римановых поверхностей бесконечного топологического типа слишком велико, чтобы допускать такое описание.
Карты между римановыми поверхностями
Геометрическая классификация отражается на картах между римановых поверхностей, как описано в теореме Лиувилля и теоремы Литтл Пикара : отображение из гиперболических в параболической к эллиптическим легко, но карты от эллиптических до параболической или параболического на гиперболический очень ограничены ( на самом деле, как правило , постоянная !). В сфере есть включения диска в плоскости: но любое голоморфное отображение из сферы в плоскость постоянно, любое голоморфное отображение из плоскости в единичный круг постоянно (теорема Лиувилля), и фактически любое голоморфное отображение из плоскости в плоскость за вычетом двух точек постоянно (Маленький Пикард теорема)!
Проколотые сферы
Эти утверждения поясняются рассмотрением типа сферы Римана с рядом проколов. Без проколов это сфера Римана, которая имеет эллиптическую форму. С одним проколом, который может быть размещен на бесконечности, это комплексная плоскость, которая является параболической. При двух проколах это параболическая плоскость или, альтернативно, кольцевое пространство или цилиндр. С тремя и более проколами это гиперболично - сравните пару штанов . Можно отобразить от одного прокола до двух с помощью экспоненциального отображения (которое является целым и имеет существенную особенность на бесконечности, поэтому не определяется на бесконечности и пропускает ноль и бесконечность), но все отображает от нуля проколов до одного или нескольких, или от одного-двух проколов до трех и более постоянны.
Разветвленные накрытия
Продолжая в том же духе, компактные римановы поверхности могут отображаться на поверхности более низкого рода, но не в более высокий род, за исключением постоянных отображений. Это потому, что голоморфные и мероморфные отображения ведут себя локально какпоэтому непостоянные отображения - это разветвленные накрывающие отображения , а для компактных римановых поверхностей они ограничены формулой Римана – Гурвица в алгебраической топологии , которая связывает эйлерову характеристику пространства и разветвленное покрытие.
Например, гиперболические римановы поверхности представляют собой разветвленные покрывающие пространства сферы (они имеют непостоянные мероморфные функции), но сфера не покрывает и не отображает другие поверхности более высокого рода, за исключением константы.
Изометрии римановых поверхностей
Группа изометрий униформизированной римановой поверхности (эквивалентно, группа конформных автоморфизмов ) отражает ее геометрию:
- род 0 - группа изометрий сферы - это группа Мёбиуса проективных преобразований комплексной прямой,
- группа изометрий плоскости - это подгруппа, фиксирующая бесконечность, а выколотой плоскости - это подгруппа, оставляющая неизменным набор, содержащий только бесконечность и ноль: либо фиксируя их оба, либо меняя их местами (1 / z ).
- группа изометрий верхней полуплоскости - вещественная группа Мёбиуса; это сопряжено с группой автоморфизмов диска.
- род 1 - группа изометрий тора в общих чертах переводится (как абелево многообразие ), хотя квадратная решетка и гексагональная решетка имеют дополнительные симметрии от поворота на 90 ° и 60 °.
- Для рода g ≥ 2 группа изометрий конечна и имеет порядок не выше 84 ( g −1) по теореме Гурвица об автоморфизмах ; поверхности, реализующие эту оценку, называются поверхностями Гурвица.
- Известно, что всякая конечная группа может быть реализована как полная группа изометрий некоторой римановой поверхности. [3]
- Для рода 2 порядок максимизируется поверхностью Больца с порядком 48.
- Для рода 3 порядок максимизируется квартикой Клейна с порядком 168; это первая поверхность Гурвица, и ее группа автоморфизмов изоморфна единственной простой группе порядка 168, которая является второй по величине неабелевой простой группой. Эта группа изоморфна как PSL (2,7), так и PSL (3,2) .
- Для рода 4 поверхность Бринга является высокосимметричной поверхностью.
- Для рода 7 порядок максимизируется поверхностью Макбита с порядком 504; это вторая поверхность Гурвица, и ее группа автоморфизмов изоморфна PSL (2,8), четвертой по величине неабелевой простой группе.
Теоретико-функциональная классификация
Приведенная выше схема классификации обычно используется геометрами. Существует другая классификация римановых поверхностей, которая обычно используется комплексными аналитиками. В нем используются разные определения «параболического» и «гиперболического». В этой альтернативной схеме классификации риманова поверхность называется параболической, если на поверхности нет непостоянных отрицательных субгармонических функций, и иначе называется гиперболической . [4] [5] Этот класс гиперболических поверхностей далее подразделяется на подклассы в зависимости от того, являются ли функциональные пространства, отличные от отрицательных субгармонических функций, вырожденными, например, римановы поверхности, на которых все ограниченные голоморфные функции постоянны, или на которых все ограниченные гармонические функции являются вырожденными. постоянная, или на которой все положительные гармонические функции постоянны и т. д.
Во избежание путаницы назовите классификацию, основанную на метриках постоянной кривизны, геометрической , а классификацию , основанную на вырожденности функциональных пространств, - теоретико-функциональной . Например, риманова поверхность, состоящая из «всех комплексных чисел, кроме 0 и 1», является параболической в теоретико-функциональной классификации, но гиперболической в геометрической классификации.
Смотрите также
- Dessin d'enfant
- Кэлерово многообразие
- Поверхность Лоренца
- Группа классов сопоставления
Теоремы о римановых поверхностях
- Теорема ветвления
- Теорема Гурвица об автоморфизмах
- Теорема тождества для римановых поверхностей
- Теорема Римана – Роха.
- Формула Римана – Гурвица
Заметки
- ^ См. (Jost 2006 , Ch. 3.11) для построения соответствующей сложной структуры.
- ^ Ноллет, Скотт. "ТЕОРЕМА КОДАЙРА И УПЛОТНЕНИЕ МОДУЛИ ПРОСТРАНСТВА МАМФОРДА Mg" (PDF) .
- ^ Гринберг, Л. (1974). «Максимальные группы и подписи» . Разрывные группы и римановы поверхности: Труды конференции 1973 г. в Университете Мэриленда . Аня. Математика. Исследования. 79 . С. 207–226. ISBN 0691081387.
- ^ Альфорс, Ларс ; Сарио, Лео (1960), Riemann Surfaces (1-е изд.), Принстон, Нью-Джерси: Princeton University Press , стр. 204
- ^ Родин, Бертон; Сарио, Лео (1968), Основные функции (1-е изд.), Принстон, Нью-Джерси: D. Von Nostrand Company, Inc. , стр. 199, ISBN 9781468480382
Рекомендации
- Farkas, Hershel M .; Кра, Ирвин (1980), Римановы поверхности (2-е изд.), Берлин, Нью-Йорк: Springer-Verlag , ISBN 978-0-387-90465-8
- Пабло Арес Гастези, Книга поверхностей Римана .
- Хартсхорн, Робин (1977), алгебраическая геометрия , Берлин, Нью-Йорк: Springer-Verlag , ISBN 978-0-387-90244-9, Руководство по ремонту 0463157 , OCLC 13348052, особенно Глава IV.
- Йост, Юрген (2006), Компактные римановы поверхности , Берлин, Нью-Йорк: Springer-Verlag , стр. 208–219, ISBN 978-3-540-33065-3
- Пападопулос, Атанас, изд. (2007), Справочник по теории Тейхмюллера. Vol. I , Лекции IRMA по математике и теоретической физике, 11 , Европейское математическое общество (EMS), Цюрих, DOI : 10.4171 / 029 , ISBN 978-3-03719-029-6, Руководство по ремонту 2284826 , S2CID 119593165
- Лотон, Шон; Петерсон, Элиша (2009), Пападопулос, Атанас (ред.), Справочник по теории Тейхмюллера. Vol. II , Лекции IRMA по математике и теоретической физике, 13 , Европейское математическое общество (EMS), Цюрих, arXiv : math / 0511271 , doi : 10.4171 / 055 , ISBN 978-3-03719-055-5, Руководство пользователя 2524085 , S2CID 16687772
- Пападопулос, Атанас, изд. (2012), Справочник по теории Тейхмюллера. Vol. III , Лекции IRMA по математике и теоретической физике, 19 , Европейское математическое общество (EMS), Цюрих, DOI : 10.4171 / 103 , ISBN 978-3-03719-103-3
- Сигель, Карл Людвиг (1955), "Meromorphe Funktionen auf kompakten analytischen Mannigfaltigkeiten", Nachrichten der Akademie der Wissenschaften в Геттингене. II. Mathematisch-Physikalische Klasse , 1955 : 71–77, ISSN 0065-5295 , MR 0074061
- Weyl, Hermann (2009) [1913], Концепция римановой поверхности (3-е изд.), Нью-Йорк: Dover Publications , ISBN 978-0-486-47004-7, Руководство по ремонту 0069903
Внешние ссылки
- "Риманова поверхность" , Математическая энциклопедия , EMS Press , 2001 [1994]