Торическое многообразие

Торическое многообразие — алгебраическое многообразие, содержащее алгебраический тор[en] в качестве открытого плотного подмножества, так что действие тора на себе умножением слева продолжается до действия на всём многообразии. Если многообразие является комплексным, то алгебраический тор — это . Обычно торические многообразия предполагают нормальными[en]. Существует также параллельная теория, в которой вместо алгебраических многообразий используются симплектические.

Торическое многообразие можно построить по вееру, причём все нормальные торические многообразия получаются таким образом. Эта конструкция не элементарна в том смысле, что требует понятие спектра кольца. Другой конструкцией является конструкция проективного торического многообразия по подходящему выпуклому многограннику, которая может быть сформулирована без привлечения понятий схемной алгебраической геометрии.

Конструкция по вееруПравить

Аффинный случайПравить

Пусть   —  -мерный тор,

 

свободная абелева группа, называемая решёткой однопараметрических подгрупп, а

 

— двойственная абелева группа, называемая решёткой мономов. Предположим, что в векторном пространстве   задан конус  , который является строго выпуклым (то есть не содержит одновременно ненулевых векторов   и  ) и порождён конечным числом рациональных векторов (векторов из  ) как выпуклый конус. Возьмём двойственный конус  , лежащий в двойственном пространстве  , и пересечём с решёткой  . Элементы этой решётки можно рассматривать как мономы из алгебры  , получив таким образом подалгебру  . Аффинным торическим многообразием  , соответствующим конусу  , называется спектр этой алгебры.

При этом действие тора   на себе умножением продолжается на   благодаря тому, что алгебра   порождена мономами. Из-за строгой выпуклости конуса отображение  , двойственное к вложению  , является открытым вложением. Поскольку конус порождён конечным числом рациональных векторов, Лемма Гордана[en] утверждает, что алгебра   конечно-порождена, то есть её спектр является многообразием.

СклейкаПравить

Необходимость перехода к двойственному конусу объясняется тем, что тогда становится возможным склейка конусов в веер.

Конструкция по многогранникуПравить

ЛитератураПравить