Риманова поверхность¶
Риманова поверхность — это одномерное комплексное многообразие, то есть хаусдорфово топологическое пространство, локально гомеоморфное комплексной плоскости C. Иными словами, каждая точка римановой поверхности имеет окрестность, которая взаимно однозначно и непрерывно отображается на открытое подмножество комплексной плоскости, причём функции перехода между такими картами являются голоморфными (комплексно-аналитическими). Несмотря на название, риманова поверхность является двумерным вещественным многообразием (поверхностью), но её ключевая особенность — наличие комплексной структуры, позволяющей рассматривать голоморфные функции на ней. Римановы поверхности являются фундаментальным объектом комплексного анализа, алгебраической геометрии и теории функций, а также находят применение в теоретической физике, в частности в теории струн.
¶История
Концепция римановой поверхности была впервые введена Бернхардом Риманом в его докторской диссертации 1851 года «Основания общей теории функций одной комплексной переменной». Риман стремился преодолеть ограничения, связанные с многозначностью комплексных функций, таких как квадратный корень или логарифм. Он предложил рассматривать многозначную функцию как однозначную, но определённую не на обычной комплексной плоскости, а на некоторой поверхности, «склеенной» из нескольких листов. Эта идея позволила геометрически интерпретировать точки ветвления и сделать многозначные функции однозначными на новой поверхности.
Развитие теории римановых поверхностей в XIX веке связано с именами Карла Вейерштрасса, Феликса Клейна и Анри Пуанкаре. В XX веке теория была формализована на языке топологии и дифференциальной геометрии. Работы Германа Вейля (1913) заложили основы современного определения римановой поверхности как комплексного многообразия. В середине XX века была доказана теорема униформизации, утверждающая, что любая односвязная риманова поверхность изоморфна либо комплексной плоскости, либо единичному кругу, либо сфере Римана.
¶Определение и основные свойства
Формально, риманова поверхность — это пара \((X, \mathcal{O}_X)\), где \(X\) — связное хаусдорфово топологическое пространство, а \(\mathcal{O}_X\) — пучок голоморфных функций на \(X\), такой что \(X\) локально биголоморфно открытым подмножествам комплексной плоскости. Это означает, что существует атлас карт \(\{(U_i, \phi_i)\}\), где \(U_i\) — открытые множества, покрывающие \(X\), а \(\phi_i: U_i \to \mathbb{C}\) — гомеоморфизмы на открытые подмножества, причём на пересечениях \(U_i \cap U_j\) отображения \(\phi_j \circ \phi_i^{-1}\) являются голоморфными.
¶Ключевые свойства
- Ориентируемость: Любая риманова поверхность как вещественное двумерное многообразие всегда ориентируема, поскольку голоморфные отображения сохраняют ориентацию.
- Род: Важнейший топологический инвариант римановой поверхности — её род \(g\), равный числу «ручек» (или «дырок») на компактной поверхности. Для сферы Римана \(g=0\), для тора \(g=1\), для поверхностей с большим числом ручек \(g \geq 2\).
- Компактность: Компактные римановы поверхности называются замкнутыми. Они гомеоморфны сфере с \(g\) ручками. Не компактные римановы поверхности (например, комплексная плоскость или единичный круг) называются открытыми.
¶Классификация
Римановы поверхности классифицируются по нескольким признакам: топологическому (род), комплексной структуре (модули) и метрическим свойствам (тип кривизны).
¶По топологии
- Сфера Римана (род 0): единственная односвязная компактная риманова поверхность. Комплексная проективная прямая \(\mathbb{CP}^1\).
- Тор (род 1): компактные поверхности, гомеоморфные тору. Каждый тор соответствует эллиптической кривой, а его комплексная структура задаётся решёткой в \(\mathbb{C}\).
- Поверхности рода \(g \geq 2\): гиперболические римановы поверхности, допускающие метрику постоянной отрицательной кривизны.
¶По униформизации
Теорема униформизации утверждает, что любая односвязная риманова поверхность изоморфна одной из трёх моделей:
- Сфера Римана (компактная, постоянная положительная кривизна).
- Комплексная плоскость \(\mathbb{C}\) (параболическая, нулевая кривизна).
- Единичный круг \(\mathbb{D}\) (гиперболическая, постоянная отрицательная кривизна).
Любая риманова поверхность является фактором одной из этих трёх моделей по дискретной группе голоморфных автоморфизмов (фуксовой или клейновой группе). Например, тор получается как фактор \(\mathbb{C}\) по решётке, а поверхности рода \(g \geq 2\) — как фактор единичного круга по фуксовой группе.
¶По алгебраичности
Все компактные римановы поверхности являются алгебраическими кривыми, то есть могут быть заданы как множество нулей однородного многочлена в комплексном проективном пространстве. Это утверждение составляет содержание теоремы Римана — Роха и её обобщений. Не компактные римановы поверхности не обязательно алгебраичны.
¶Примеры
¶Сфера Римана
Сфера Римана \(\hat{\mathbb{C}} = \mathbb{C} \cup \{\infty\}\) — простейшая компактная риманова поверхность рода 0. Она гомеоморфна двумерной сфере \(S^2\). Голоморфные функции на ней — это рациональные функции. Сфера Римана является проективной прямой \(\mathbb{CP}^1\).
¶Тор
Тор \(\mathbb{C}/\Lambda\), где \(\Lambda\) — решётка в \(\mathbb{C}\), является компактной римановой поверхностью рода 1. Каждый тор изоморфен эллиптической кривой, задаваемой уравнением \(y^2 = x^3 + ax + b\). Комплексная структура тора зависит от отношения периодов решётки (модулярного параметра).
¶Единичный круг
Единичный круг \(\mathbb{D} = \{z \in \mathbb{C} : |z| < 1\}\) — не компактная риманова поверхность. Он является универсальным накрытием для всех гиперболических римановых поверхностей (род \(g \geq 2\)).
¶Поверхность Римана — Гурвица
Поверхность Римана — Гурвица — компактная риманова поверхность рода 3, имеющая максимально возможную группу автоморфизмов (168 элементов) для данного рода. Она является фактором единичного круга по модулярной группе \(\Gamma(7)\).
¶Применение
¶В комплексном анализе
Римановы поверхности являются естественной областью определения многозначных аналитических функций. Например, функция \(\sqrt{z}\) становится однозначной на римановой поверхности, состоящей из двух листов, склеенных вдоль разреза. Аналогично, логарифм \(\log z\) однозначен на римановой поверхности с бесконечным числом листов.
¶В алгебраической геометрии
Компактные римановы поверхности — это алгебраические кривые над \(\mathbb{C}\). Теория римановых поверхностей тесно связана с теорией абелевых интегралов, теорией Ходжа и теоремой Римана — Роха. Они используются при изучении пространств модулей алгебраических кривых.
¶В теоретической физике
В теории струн римановы поверхности (мировые листы струн) играют центральную роль. Конформная инвариантность теории струн приводит к тому, что амплитуды рассеяния вычисляются как интегралы по пространству модулей римановых поверхностей. В квантовой гравитации и теории поля римановы поверхности используются для описания корреляционных функций.
¶В теории чисел
Модулярные формы и эллиптические кривые, изучаемые в арифметической геометрии, тесно связаны с римановыми поверхностями. Например, модулярная кривая \(X_0(N)\) является римановой поверхностью, параметризующей эллиптические кривые с заданным уровнем структуры.
¶Интересные факты
- Теорема Римана — Роха: Для компактной римановой поверхности рода \(g\) размерность пространства мероморфных функций с заданными полюсами связана с дивизором и каноническим классом. Эта теорема является одним из центральных результатов теории.
- Проблема модулей: Пространство модулей римановых поверхностей заданного рода \(g\) (обозначается \(\mathcal{M}_g\)) является комплексным многообразием размерности \(3g-3\) для \(g \geq 2\). Его изучение — активная область современной математики.
- Гипотеза Пуанкаре: Для римановых поверхностей гипотеза Пуанкаре (о том, что односвязная компактная трёхмерная поверхность гомеоморфна сфере) тривиально выполняется, так как любая односвязная компактная риманова поверхность — это сфера Римана.
- Метрика Пуанкаре: На единичном круге существует метрика постоянной отрицательной кривизны — метрика Пуанкаре. Она инвариантна относительно голоморфных автоморфизмов круга и используется для изучения гиперболических римановых поверхностей.
¶Источники
- Риман Б. «Основания общей теории функций одной комплексной переменной» (1851).
- Вейль Г. «Идея римановой поверхности» (1913).
- Форстер О. «Лекции о римановых поверхностях» (1981).
- Фаркаш Г. М., Кра И. «Римановы поверхности» (1980).
- Гриффитс Ф., Харрис Дж. «Принципы алгебраической геометрии» (1978).