Род кривой
Род криво́й, численный инвариант одномерного алгебраического многообразия, определённого над полем . Род гладкой полной алгебраической кривой равен размерности пространства регулярных дифференциальных -форм на . Род алгебраической кривой , по определению, равен роду полной гладкой алгебраической кривой, бирационально изоморфной кривой . Для любого целого существует алгебраическая кривая рода . Алгебраическая кривая над алгебраически замкнутым полем рода является рациональной кривой, т. е. бирационально изоморфна проективной прямой . Кривые рода (эллиптические кривые) бирационально изоморфны гладким кубическим кривым в . Алгебраические кривые рода распадаются на два класса: гиперэллиптические кривые и негиперэллиптические кривые. Для негиперэллиптических кривых рациональное отображение , определяемое каноническим классом полной гладкой кривой, является изоморфным вложением. Для гиперэллиптической кривой отображение является двулистным накрытием рациональной кривой , разветвлённым в точках.
Если – проективная плоская кривая степени , тогде – неотрицательное целое число, измеряющее отклонение от гладкости кривой . Если имеет только обыкновенные двойные особые точки, то равно числу особых точек алгебраической кривой . Для пространственной кривой имеет место оценкагде – степень кривой в .
Если – поле комплексных чисел, то алгебраическая кривая может быть рассмотрена как риманова поверхность. В этом случае гладкая полная кривая рода гомеоморфна сфере с ручками.