Канонический класс

- класс К X дивизоров относительно линейной эквивалентности на алгебраич. многообразии X, являющихся дивизорами дифференциальных форм со максимальной степени. Если X - неособое алгебраич. многообразие и dim X=n, то в локальных координатах х 1,..., х п форма со имеет вид [img: http://localhost:8080/file/021202-127.jpg] Дивизор (со) формы со локально равен дивизору (f) рациональной функции f. Эта конструкция не зависит от выбора локальных координат и дает дивизор (w) формы на всем многообразии X. Поскольку для любой другой формы со' той же степени, что и со, имеет место равенство w' = gw, то (w')=(g)+(w) и соответствующие дивизоры эквивалентны. Построенный так К. к. К X является цервым Чжэня классом пучка Их регулярных дифференциальных форм степени п. Его численные характеристики (степень, индекс самопересечения и т. д.) являются эффективно вычисляемыми инвариантами алгебраич. многообразия. Если X- неособая проективная кривая рода g, то deg KX=2g-2. Для эллиптич. кривых и, более общо, для абелевых многообразий К X=0. Если X - неособая гиперповерхность степени dв проективном пространстве Р n, то KX=(d-п-1) Н, где Н- ее гиперплоское сечение. См. также Каноническое погружение.