Геометрический род
Геометрический род — это базовый бирациональный инвариант[англ.] pg алгебраических многообразий и комплексных многообразий.
Определение[править | править код]
Геометрический род может быть определён для несингулярных[англ.] комплексных проективных многообразий и, более общо, для комплексных многообразий, как число Ходжа hn,0 (равное h0,n согласно двойственности Серра), то есть, как размерность канонической линейной системы[англ.] плюс единица.
Другими словами, для многообразия V комплексной размерности[англ.] n это значение равно числу линейно независимых голоморфных n-форм на многообразии V[1]. Это определение как размерность пространства
тогда переносится на любое базовое поле, если Ω брать как пучок кэлеровых дифференциалов, а степень равна внешнему произведению, каноническому линейному расслоению[англ.].
Геометрический род является первым инвариантом последовательности инвариантов , носящих название плюрижанр[англ.] (или кратный род).
Случай кривых[править | править код]
В случае комплексных многообразий несингулярные кривые являются римановыми поверхностями. Алгебраическое определение рода согласуется с топологическим понятием рода. На несингулярной кривой каноническое линейное расслоение имеет степень .
Понятие рода присутствует заметно в утверждении теоремы Римана — Роха (см. также теорему Римана — Роха для поверхностей) и формуле Римана — Гурвица[англ.]. По теореме Римана — Роха неприводимая плоская кривая степени d имеет геометрический род
где s — число особых точек, нужным образом подсчитанных.
Если C является неприводимой (и гладкой) поверхностью в проективной плоскости[англ.], определяемой полиномиальным уравнением степени d, то её нормальное линейное расслоение является скручивающим пучком Серра , так что по формуле присоединения[англ.] каноническое линейное расслоение поверхности C задаётся равенством .
Род сингулярных многообразий[править | править код]
Определение геометрического рода переносится классическим образом на сингулярные кривые C путём констатации, что является геометрическим родом нормализации C′. То есть, поскольку отображение является бирациональным, определение расширяется бирациональным инвариантом.
См. также[править | править код]
Примечания[править | править код]
- ↑ Данилов, Шокуров, 1998, с. 57—58.
Литература[править | править код]
- Griffiths P., Harris J. Principles of Algebraic Geometry. — Wiley Interscience, 1994. — С. 494. — (Wiley Classics Library). — ISBN 0-471-05059-8.
- Данилов В.И., Шокуров В.В. Алгебраическая геометрия-1. — 1998. — Т. 23. — (Итоги науки и техники. Современные проблемы математики. Фундаментальные направления.).
Для улучшения этой статьи желательно:
|