Русская Википедия:Поверхность Хопфа
Поверхность Хопфа — это компактная комплексная поверхность, получаемая как фактор комплексного векторного пространства (с удалённым нулём) C2 \ 0 по свободно действующей конечной группе. Если эта группа является группой целых чисел, поверхность Хопфа называется примарной, в противном случае — вторичной. (Некоторые авторы используют термин «поверхность Хопфа», неявно подразумевая «примарную поверхность Хопфа».) Первый пример такой поверхности нашёл ХопфШаблон:Sfn с дискретной группой, изоморфной группе целых чисел и генератором, действующим на C2 путём умножения на 2. Это был первый пример компактной комплексной поверхности без кэлеровой метрики.
Аналоги поверхностей Хопфа более высоких размерностей называются Шаблон:Iw.
Инварианты
Поверхности Хопфа являются Шаблон:Iw и, в частности, все имеют Шаблон:Iw <math>-\infin</math>; и все их плюрироды равны нулю. Геометрический род равен 0. Фундаментальная группа имеет нормальную центральную бесконечную циклическую подгруппу с конечным индексом. Ромб Ходжа поверхности равен Шаблон:Алмаз Ходжа В частности, первое число Бетти равно 1, а второе число Бетти равно 0. В обратную сторону КодайраШаблон:Sfn показал, что компактная комплексная поверхность с нулевым вторым числом Бетти, фундаментальная группа которой содержит бесконечную циклическую подгруппу с конечным индексом, является поверхностью Хопфа.
Примарные поверхности Хопфа
В процессе классификации компактных комплексных поверхностей Кодайра классифицировал примарные поверхности Хопфа.
Примарная поверхность Хопфа получается как:
- <math>H=\bigg({\mathbb C}^2\backslash 0\bigg)/\Gamma~,</math>
где <math>\Gamma</math> — группа, генерируемая полиномиальным стягиванием <math>\gamma</math>.
Кодайра нашёл нормальную форму для <math>\gamma</math>. В подходящих координатах <math>\gamma</math> можно записать как:
- <math> (x, y) \mapsto (\alpha x +\lambda y^n, \beta y)~,</math>
где:
- <math>\alpha, \beta\in {\mathbb C}</math> — комплексные числа, удовлетворяющие условию <math>0<|\alpha|\leq|\beta| <1</math>;
- и либо <math>\;\lambda=0</math>, либо <math>\;\alpha=\beta^n</math>.
Эти поверхности содержат эллиптическую кривую (образ оси x) и, если <math>\;\lambda=0</math>, то образ оси y является второй эллиптической кривой. В случае, когда <math>\;\lambda=0</math>, поверхность Хопфа является эллиптическим расслоённым пространством над проективной прямой, если <math>\alpha^m</math>=<math>\beta^n</math> для некоторых положительных целых <math>m</math> и <math>n</math>, с отображением в проективную прямую, задаваемое выражением <math>x^m</math><math>y^{-n}</math>, а в противном случае кривыми являются только два образа осей.
Шаблон:Iw любой примарной поверхности Хопфа изоморфна ненулевым комплексным числам C*.
КодайраШаблон:Sfn доказал, что комплексная поверхность диффеоморфна <math>\mathbf{S}^3 \times \mathbf{S}^1</math> тогда и только тогда, кода она является примарной поверхностью Хопфа.
Вторичные поверхности Хопфа
Любая вторичная поверхность Хопфа имеет конечную накрывающую поверхность без ветвления, которая является примарной поверхностью Хопфа. Это эквивалентно тому, что её фундаментальная группа имеет подгруппу с конечным индексом в её центре, которая изоморфна группе целых чисел. КатоШаблон:Sfn классифицировал эти поверхности путём нахождения конечных групп, действующих без фиксированных точек на примарных поверхностях Хопфа.
Многие примеры вторичных поверхностей Хопфа можно построить на основе произведения Шаблон:Iw и окружности.
Примечания
Литература
- Шаблон:Книга
- Шаблон:Книга
- Шаблон:Статья
- Шаблон:Статья
- Шаблон:Статья
- Шаблон:Статья
- Шаблон:Статья
- Шаблон:Статья
- Шаблон:Книга
