Jump to content

Теорема униформизации

(Перенаправлено из Теоремы об униформизации )

В математике теорема униформизации утверждает, что каждая односвязная риманова поверхность одной конформно эквивалентна из трех римановых поверхностей: открытому единичному диску , комплексной плоскости или сфере Римана . Теорема является обобщением теоремы Римана об отображении односвязных открытых подмножеств плоскости на произвольные односвязные римановы поверхности.

Поскольку каждая риманова поверхность имеет универсальное накрытие , которое представляет собой односвязную риманову поверхность, теорема униформизации приводит к классификации римановых поверхностей на три типа: те, которые имеют риманову сферу в качестве универсального покрытия («эллиптические»), те, у которых плоскость является универсальным покрытием. универсальная крышка («параболическая») и с универсальным кожухом в виде диска («гиперболическая»). Далее следует, что каждая риманова поверхность допускает риманову метрику постоянной кривизны , где кривизну можно принять равной 1 в эллиптическом случае, 0 в параболическом и -1 в гиперболическом случае.

Теорема униформизации также дает аналогичную классификацию замкнутых ориентируемых римановых 2-многообразий на эллиптические/параболические/гиперболические случаи. Каждое такое многообразие имеет конформно эквивалентную риманову метрику с постоянной кривизной, где кривизну можно принять равной 1 в эллиптическом случае, 0 в параболическом и -1 в гиперболическом случае.

Феликс Кляйн ( 1883 ) и Анри Пуанкаре ( 1882 ) выдвинули гипотезу о теореме униформизации для (римановых поверхностей) алгебраических кривых. Анри Пуанкаре ( 1883 ) распространил это на произвольные многозначные аналитические функции и привел неформальные аргументы в его пользу. Первые строгие доказательства общей теоремы об униформизации были даны Пуанкаре ( 1907 ) и Паулем Кебе ( 1907a , 1907b , 1907c ). Позже Пол Кебе дал еще несколько доказательств и обобщений. История описана у Грея (1994) ; Полный отчет об униформизации вплоть до статей Кебе и Пуанкаре 1907 года дан с подробными доказательствами в де Сен-Жерве (2016) ( псевдоним типа Бурбаки группы из пятнадцати математиков, которые совместно подготовили эту публикацию).

Классификация связанных римановых поверхностей

[ редактировать ]

Каждая риманова поверхность является фактором свободного, собственного и голоморфного действия дискретной группы на ее универсальное накрытие, и это универсальное накрытие, будучи односвязной римановой поверхностью, голоморфно изоморфно (также говорят: «конформно эквивалентно» или «биголоморфно») к одному из следующих:

  1. сфера Римана
  2. сложный самолет
  3. единичный диск в комплексной плоскости.

Для компактных римановых поверхностей поверхности с универсальным покрытием единичного круга представляют собой в точности гиперболические поверхности рода больше 1, все с неабелевой фундаментальной группой; с универсальным накрытием комплексной плоскости являются римановы поверхности рода 1, а именно комплексные торы или эллиптические кривые с фундаментальной группой Z 2 ; а те, что имеют универсальное накрытие - сферу Римана, - это те, которые имеют род нуль, а именно сама сфера Римана, с тривиальной фундаментальной группой.

Классификация замкнутых ориентированных римановых 2-многообразий

[ редактировать ]

На ориентированном 2-многообразии риманова метрика индуцирует сложную структуру, используя переход к изотермическим координатам . Если риманова метрика локально задана как

то в комплексной координате z = x + i y он принимает вид

где

так что λ и µ гладкие с λ > 0 и | | | < 1. В изотермических координатах ( u , v ) метрика должна иметь вид

с ρ > 0 гладкая. Комплексная координата w = u + i v удовлетворяет условию

так что координаты ( u , v ) будут локально изотермическими при условии, что уравнение Бельтрами

имеет локально диффеоморфное решение, т. е. решение с ненулевым якобианом.

Эти условия можно эквивалентно сформулировать в терминах внешней производной и оператора звезды Ходжа . [ 1 ] u и v будут изотермическими координатами, если du = dv , где определено на дифференциалах по формуле *( p dx + q dy ) знак равно - q dx + p dy . Пусть ∆ = ∗ d d оператор Лапласа–Бельтрами . Согласно стандартной эллиптической теории, u можно выбрать гармоническим вблизи данной точки, т. е. Δ u = 0 , при этом du не обращается в нуль. По лемме Пуанкаре dv = ∗ du имеет локальное решение v точно тогда, когда d (∗ du ) = 0 . Это условие эквивалентно u = 0 , поэтому всегда может быть решено локально. Поскольку du не равно нулю, а квадрат оператора звезды Ходжа равен -1 в 1-формах, du и dv должны быть линейно независимыми, так что u и v задают локальные изотермические координаты.

Существование изотермических координат можно доказать и другими методами, например, с использованием общей теории уравнения Бельтрами , как у Альфорса (2006) , или прямыми элементарными методами, как у Черна (1955) и Йоста (2006) .

Из этого соответствия с компактными римановыми поверхностями следует классификация замкнутых ориентируемых римановых 2-многообразий. Каждое такое конформно эквивалентно уникальному замкнутому 2-многообразию постоянной кривизны , поэтому частное одного из следующих значений по свободному действию дискретной подгруппы группы изометрий :

  1. сфера ( кривизна +1)
  2. ( евклидова плоскость кривизна 0)
  3. гиперболическая плоскость (кривизна −1).

Первый случай дает 2-сферу, единственное 2-многообразие с постоянной положительной кривизной и, следовательно, положительной эйлеровой характеристикой (равной 2). Второй дает все плоские 2-многообразия, т.е. торы , которые имеют эйлерову характеристику 0. Третий случай охватывает все 2-многообразия постоянной отрицательной кривизны, т.е. гиперболические 2-многообразия, все из которых имеют отрицательную эйлерову характеристику. Классификация согласуется с теоремой Гаусса-Бонне , которая подразумевает, что для замкнутой поверхности с постоянной кривизной знак этой кривизны должен совпадать со знаком эйлеровой характеристики. Эйлерова характеристика равна 2 – 2 g , где g — род 2-многообразия, т. е. количество «дырок».

Методы доказательства

[ редактировать ]

Многие классические доказательства теоремы об униформизации основаны на построении вещественной гармонической функции на односвязной римановой поверхности, возможно, с особенностью в одной или двух точках и часто соответствующей форме функции Грина . Широко применяются четыре метода построения гармонической функции: метод Перрона ; Шварца попеременный метод ; принцип Дирихле ; и . метод ортогонального проектирования Вейля В контексте замкнутых римановых 2-многообразий некоторые современные доказательства используют нелинейные дифференциальные уравнения в пространстве конформно эквивалентных метрик. К ним относятся уравнение Бельтрами из теории Тейхмюллера и эквивалентная формулировка в терминах гармонических отображений ; Уравнение Лиувилля , уже изученное Пуанкаре; и Риччи текут вместе с другими нелинейными потоками.

Теорема Радо показывает, что каждая риманова поверхность автоматически счетна по секундам . Хотя теорема Радо часто используется в доказательствах теоремы об униформизации, некоторые доказательства были сформулированы так, что теорема Радо становится следствием. Вторая счетность автоматическая для компактных римановых поверхностей.

Методы гильбертового пространства

[ редактировать ]

В 1913 году Герман Вейль опубликовал свой классический учебник «Die Idee der Riemannschen Fläche», основанный на его лекциях в Геттингене с 1911 по 1912 год. Это была первая книга, в которой была представлена ​​теория римановых поверхностей в современной обстановке, и на протяжении трех ее изданий она оставалась влиятельной. Посвященное Феликсу Кляйну , первое издание включало Гильбертом рассмотрение проблемы Дирихле с использованием гильбертова пространства методов ; Вклад Брауэра в топологию; и доказательство Кебе теоремы об униформизации и ее последующих усовершенствований. Намного позже Вейль (1940) разработал свой метод ортогонального проектирования, который дал упрощенный подход к задаче Дирихле, также основанный на гильбертовом пространстве; эта теория, включавшая лемму Вейля об эллиптической регулярности , была связана с Ходжа теорией гармонических интегралов ; и обе теории были включены в современную теорию эллиптических операторов и L 2 Пространства Соболева . В третьем издании своей книги 1955 года, переведенном на английский язык Вейлем (1964) , Вейль принял современное определение дифференциального многообразия, отдав предпочтение триангуляции , но решил не использовать свой метод ортогональной проекции. Спрингер (1957) следовал изложению Вейля теоремы об униформизации, но использовал метод ортогонального проектирования для решения проблемы Дирихле. Кодайра (2007) описывает подход в книге Вейля, а также то, как его сократить с помощью метода ортогональной проекции. Соответствующий отчет можно найти у Дональдсона (2011) .

Нелинейные потоки

[ редактировать ]

Ричард С. Гамильтон показал, что нормализованный поток Риччи на замкнутой поверхности униформизирует метрику (т. е. поток сходится к метрике постоянной кривизны). Однако его доказательство опиралось на теорему об униформизации. Недостающий шаг связан с потоком Риччи в 2-сфере: метод, позволяющий избежать обращения к теореме униформизации (для рода 0), был предложен Ченом, Лу и Тианом (2006) ; [ 2 ] краткое автономное описание потока Риччи в 2-сфере было дано в работе Эндрюса и Брайана (2010) .

Обобщения

[ редактировать ]

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

В трёх измерениях существует восемь геометрий, называемых восемью геометриями Тёрстона . Не каждое трехмерное многообразие допускает геометрию, но гипотеза геометризации Терстона , доказанная Григорием Перельманом, утверждает, что каждое трехмерное многообразие можно разрезать на геометризуемые части.

Теорема об одновременной униформизации Липмана Берса показывает, что можно одновременно униформизировать две компактные римановы поверхности одного и того же рода >1 с одной и той же квазифуксовой группой .

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

См. также

[ редактировать ]

Примечания

[ редактировать ]

Исторические ссылки

[ редактировать ]

Исторические обзоры

[ редактировать ]

Гармонические функции

[ редактировать ]

Метод Перрона

Попеременный метод Шварца

  • Неванлинна, Рольф (1953), Униформизация , Основные положения математических наук в отдельных изложениях с особым рассмотрением областей применения, том. 64, Спрингер, номер домена : 10.1007/978-3-642-52801-9 , ISBN.  978-3-642-52802-6
  • Бенке, Генрих; Зоммер, Фридрих (1965), Теория аналитических функций комплексной переменной , Основные положения математических наук, том. 77 (3-е изд.), Спрингер
  • Фрайтаг, Эберхард (2011), Комплексный анализ. 2. Римановы поверхности, несколько комплексных переменных, абелевы функции, высшие модулярные функции , Спрингер, ISBN  978-3-642-20553-8

Принцип Дирихле

  • Вейль, Герман (1964), Концепция римановой поверхности , перевод Джеральда Р. Маклейна, Аддисон-Уэсли, MR   0069903
  • Курант, Ришар (1977), принцип Дирихле, конформное отображение и минимальные поверхности , Springer, ISBN  978-0-387-90246-3
  • Сигел, CL (1988), Темы теории комплексных функций. Том. I. Эллиптические функции и теория униформизации в переводе А. Шенитцера; Д. Солитар, Уайли, ISBN  978-0471608448

Метод ортогональной проекции Вейля

  • Спрингер, Джордж (1957), Введение в римановы поверхности , Аддисон-Уэсли, MR   0092855
  • Кодайра, Кунихико (2007), Комплексный анализ , Кембриджские исследования по высшей математике, том. 107, Издательство Кембриджского университета, ISBN  9780521809375
  • Дональдсон, Саймон (2011), Римановы поверхности , Тексты для выпускников Оксфорда по математике, том. 22, Издательство Оксфордского университета, ISBN  978-0-19-960674-0

Операторы Сарио

  • Сарио, Лео (1952), «Метод линейного оператора на произвольных римановых поверхностях», Trans. амер. Математика. Соц. , 72 (2): 281–295, doi : 10.1090/s0002-9947-1952-0046442-2
  • Альфорс, Ларс В.; Сарио, Лео (1960), Римановы поверхности , Princeton Mathematical Series, vol. 26, Издательство Принстонского университета

Нелинейные дифференциальные уравнения

[ редактировать ]

Уравнение Бельтрами

Гармонические карты

  • Йост, Юрген (2006), Компактные римановы поверхности: введение в современную математику (3-е изд.), Springer, ISBN  978-3-540-33065-3

Уравнение Лиувилля

  • Бергер, Мелвин С. (1971), «Римановы структуры заданной гауссовой кривизны для компактных 2-многообразий», Journal of Differential Geometry , 5 (3–4): 325–332, doi : 10.4310/jdg/1214429996
  • Бергер, Мелвин С. (1977), Нелинейность и функциональный анализ , Academic Press, ISBN  978-0-12-090350-4
  • Тейлор, Майкл Э. (2011), Уравнения в частных производных III. Нелинейные уравнения , Прикладные математические науки, вып. 117 (2-е изд.), Спрингер, ISBN  978-1-4419-7048-0

Потоки на римановых метриках

Общие ссылки

[ редактировать ]
[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 41f3c0f6f4a5e6401b8cfda78d1df0f6__1709298180
URL1:https://arc.ask3.ru/arc/aa/41/f6/41f3c0f6f4a5e6401b8cfda78d1df0f6.html
Заголовок, (Title) документа по адресу, URL1:
Uniformization theorem - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)