В математике абелева поверхностьявляется двумерным абелевым многообразием.
Одномерные комплексные торы - это просто эллиптические кривые, и все они алгебраические, но Риман обнаружил, что самые сложные торы размерности 2 не являются алгебраическими. Алгебраические поверхности называются абелевыми поверхностями и представляют собой в точности двумерные абелевы многообразия. Большая часть их теории - частный случай теории многомерных торов или абелевых многообразий. Поиск критериев того, чтобы комплексный тор размерности 2 был произведением двух эллиптических кривых (до изогении ), был популярным предметом изучения в девятнадцатом веке.
Инварианты:Все plurigenera равны 1. Поверхность диффеоморфна S × S × S × S, поэтому фундаментальной группой является Z.
1 | ||||
2 | 2 | |||
1 | 4 | 1 | ||
2 | 2 | |||
1 |
Примеры:Произведение двух эллиптических кривых. Якобиево многообразие кривой рода 2.
.