WikiDer > Каноническое кольцо

Canonical ring

В математика, то плюриканоническое кольцо из алгебраическое многообразие V (который неособый) или комплексное многообразие, это градуированное кольцо

{ Displaystyle R (V, K) = R (V, K_ {V}) ,}

разделов полномочий канонический пакет K. Его п-й градуированный компонент (для ${ Displaystyle п geq 0}$ ) является:

{ displaystyle R_ {n}: = H ^ {0} (V, K ^ {n}), }

то есть пространство разделы из п-го тензорное произведение K^п канонического пакета K.

Компонент с нулевой оценкой ${ displaystyle R_ {0}}$ является сечениями тривиального расслоения и одномерно при V проективно. Проективное многообразие, определяемое этим градуированным кольцом, называется каноническая модель из V, а размерность канонической модели называется Кодаира измерение из V.

Аналогичное кольцо можно определить для любого линейный пакет L над V; аналогичное измерение называется Измерение Иитака. Линейный пучок называется большой если размер Иитака равен размеру разнообразия.^[1]

Характеристики

Бирациональная инвариантность

Каноническое кольцо и, следовательно, измерение Кодаира - это бирациональный инвариант: Любое бирациональное отображение между гладкими компактными комплексными многообразиями индуцирует изоморфизм между соответствующими каноническими кольцами. Как следствие, можно определить размерность Кодаира сингулярного пространства как размерность Кодаиры пространства. десингуляризация. Благодаря бирациональной инвариантности это определение корректно, т.е. не зависит от выбора десингуляризации.

Фундаментальная гипотеза бирациональной геометрии

Основная гипотеза состоит в том, что плюриканоническое кольцо является конечно порожденный. Это считается важным шагом в Программа Мори.Caucher Birkar, Paolo Cascini, Christopher D. Hacon et al. (2010) доказал эту гипотезу.

Плюриген

Измерение

{ displaystyle P_ {n} = h ^ {0} (V, K ^ {n}) = operatorname {dim} H ^ {0} (V, K ^ {n})}

классически определенная п-й Plurigenus из V. Плюриканонический дивизор ${ displaystyle K ^ {n}}$ , через соответствующие линейная система делителей, дает отображение в проективное пространство ${ displaystyle mathbf {P} (H ^ {0} (V, K ^ {n})) = mathbf {P} ^ {P_ {n} -1}}$ , называется п-каноническая карта.