Русская Википедия:Торическое многообразие
Торическое многообразие — алгебраическое многообразие, содержащее Шаблон:Нп5 в качестве открытого плотного подмножества, так что действие тора на себе умножением слева продолжается до действия на всём многообразии. Если многообразие является комплексным, то алгебраический тор — это <math>(\mathbb C^*)^n</math>. Обычно торические многообразия предполагают Шаблон:Нп5. Существует также параллельная теория, в которой вместо алгебраических многообразий используются симплектические.
Торическое многообразие можно построить по вееру, причём все нормальные торические многообразия получаются таким образом. Эта конструкция не элементарна в том смысле, что требует понятие спектра кольца. Другой конструкцией является конструкция проективного торического многообразия по подходящему выпуклому многограннику, которая может быть сформулирована без привлечения понятий схемной алгебраической геометрии.
Конструкция по вееру
Аффинный случай
Пусть <math>T</math> — <math>n</math>-мерный тор,
- <math>N=\textrm{Hom}(\mathbb C, T) \cong \mathbb Z^n</math>
— свободная абелева группа, называемая решёткой однопараметрических подгрупп, а
- <math>M=\textrm{Hom}(T, \mathbb C) \cong \textrm{Hom}(N, \mathbb Z) \cong Z^n</math>
— двойственная абелева группа, называемая решёткой мономов. Предположим, что в векторном пространстве <math>N_\mathbb R=N \otimes_\mathbb Z \mathbb R</math> задан конус <math>\sigma</math>, который является строго выпуклым (то есть не содержит одновременно ненулевых векторов <math>v</math> и <math>(-v)</math>) и порождён конечным числом рациональных векторов (векторов из <math>N_\mathbb Q=N \otimes_\mathbb Z \mathbb Q</math>) как выпуклый конус. Возьмём двойственный конус <math>\sigma^*</math>, лежащий в двойственном пространстве <math>M_\mathbb R</math>, и пересечём с решёткой <math>M=\textrm{Hom}(T, \mathbb C)</math>. Элементы этой решётки можно рассматривать как мономы из алгебры <math>\mathbb C[T]</math>, получив таким образом подалгебру <math>\mathbb C[\sigma^* \cap M]</math>. Аффинным торическим многообразием <math>X_\sigma</math>, соответствующим конусу <math>\sigma</math>, называется спектр этой алгебры.
При этом действие тора <math>T</math> на себе умножением продолжается на <math>X_\sigma</math> благодаря тому, что алгебра <math>\mathbb C[\sigma^* \cap M]</math> порождена мономами. Из-за строгой выпуклости конуса отображение <math>T \to X_\sigma</math>, двойственное к вложению <math>\mathbb C[\sigma^* \cap M] \to \mathbb C[T]</math>, является открытым вложением. Поскольку конус порождён конечным числом рациональных векторов, Лемма Гордана утверждает, что алгебра <math>\mathbb C[\sigma^* \cap M]</math> конечно-порождена, то есть её спектр является многообразием.
Склейка
Необходимость перехода к двойственному конусу объясняется тем, что тогда становится возможным склейка конусов в веер. Шаблон:Заготовка раздела
Конструкция по многограннику
Литература
