В математике поверхность рода g (также известная как g -тор или g -дырчатый тор ) — это поверхность, образованная связной суммой g различных торов : внутренняя часть диска удаляется из каждого из g различных торов, а границы g множества дисков отождествляются (склеиваются), образуя g -тор. Род такой поверхности — g .
Поверхность рода g — это двумерное многообразие . Теорема классификации поверхностей утверждает, что каждое компактное связное двумерное многообразие гомеоморфно либо сфере, либо связной сумме торов, либо связной сумме вещественных проективных плоскостей .
Род связной ориентируемой поверхности — это целое число, представляющее максимальное количество разрезов вдоль непересекающихся замкнутых простых кривых, не делая полученное многообразие несвязным. [1] Он равен количеству ручек на нем. Альтернативно, его можно определить в терминах эйлеровой характеристики χ , через соотношение χ = 2 − 2 g для замкнутых поверхностей , где g — род.
Род (иногда называемый полуродом или родом Эйлера) связной неориентируемой замкнутой поверхности — это положительное целое число, представляющее количество поперечных колпачков, прикрепленных к сфере. Альтернативно, его можно определить для замкнутой поверхности в терминах эйлеровой характеристики χ , через соотношение χ = 2 − g , где g — неориентируемый род.
Ориентируемой поверхностью рода ноль является сфера S 2. Другой поверхностью рода ноль является диск .
Ориентируемая поверхность рода один — это обычный тор. Неориентируемая поверхность рода один — это проективная плоскость . [2]
Эллиптические кривые над комплексными числами можно отождествить с поверхностями рода 1. Формулировка эллиптических кривых как вложения тора в комплексную проективную плоскость естественным образом следует из свойства эллиптических функций Вейерштрасса , которое позволяет получать эллиптические кривые из фактора комплексной плоскости по решетке . [3]
Термин двойной тор иногда используется для обозначения поверхности рода 2. [4] [5] Неориентируемая поверхность рода 2 — это бутылка Клейна .
Поверхность Больца является наиболее симметричной римановой поверхностью рода 2 в том смысле, что она имеет наибольшую возможную группу конформных автоморфизмов . [6]
Термин тройной тор также иногда используется для обозначения поверхности рода 3. [7] [5]
Квартика Клейна — компактная риманова поверхность рода 3 с группой автоморфизмов максимально возможного порядка для компактных римановых поверхностей рода 3. Она имеет 168 сохраняющих ориентацию автоморфизмов и всего 336 автоморфизмов.