Уравнения, определяющие абелевы многообразия - Equations defining abelian varieties

В математика, Концепция чего-либо абелева разновидность является многомерным обобщением эллиптическая кривая. В уравнения, определяющие абелевы многообразия являются предметом изучения, потому что каждое абелево многообразие является проективное разнообразие. В измерении d ≥ 2, однако обсуждать такие уравнения уже не так просто.

По этому вопросу существует обширная классическая литература, которая в новой формулировке такова: сложная алгебраическая геометрия, вопрос описания отношений между тета-функции. Современная геометрическая обработка теперь относится к некоторым основным статьям Дэвид Мамфорд, с 1966 по 1967 год, который переформулировал эту теорию в терминах абстрактной алгебраической геометрии, действующей в поля.

Полные пересечения

Единственные «легкие» случаи - это те, которые d = 1, для эллиптической кривой с линейной оболочкой проективная плоскость или проективное 3-пространство. На плоскости каждая эллиптическая кривая задается кубической кривой. В п³, эллиптическая кривая может быть получена как пересечение двух квадрики.

В целом абелевы разновидности не полные пересечения. Компьютерная алгебра методы теперь могут иметь некоторое влияние на прямую обработку уравнений для малых значений d > 1.

Куммер поверхности

Интерес к геометрии девятнадцатого века в Куммер поверхность частично пришло из четвертичная поверхность представляет собой фактор абелевого многообразия с d = 2, группой автоморфизмов порядка 2, порожденных Икс → −Икс на абелевой разновидности.

Общий случай

Мамфорд определил тета-группа связан с обратимая связка L на абелевой разновидности А. Это группа самоавтоморфизмов L, и является конечным аналогом Группа Гейзенберга. Первичные результаты связаны с действием тета-группы на глобальные разделы из L. Когда L является очень обильный, то линейное представление можно описать с помощью структуры тета-группы. Фактически тета-группа абстрактно представляет собой простой тип нильпотентная группа, а центральное расширение группы точек кручения на А, и расширение известно (фактически оно задается Спаривание Вейля ). Имеется результат единственности для неприводимых линейных представлений тета-группы с заданными центральный персонаж, или иными словами аналог Теорема Стоуна – фон Неймана. (Для этого предполагается, что характеристика поля коэффициентов не делит порядок тета-группы.)

Мамфорд показал, как эта абстрактная алгебраическая формулировка может объяснить классическую теорию тета-функций с помощью тета-характеристики, как в случае, когда тета-группа была расширением двух-кручения А.

Новшеством в этой области является использование Преобразование Мукаи – Фурье.

Координатное кольцо

Цель теории - доказать результаты на однородное координатное кольцо вложенного абелевого многообразия А, т. е. заданный в проективном пространстве согласно очень обильному L и его глобальные разделы. В градуированное коммутативное кольцо который образован прямой суммой глобальных секций

{displaystyle L ^ {n},}

имея в виду п-складывать тензорное произведение сам по себе, представлен как кольцо частного из алгебра многочленов по однородный идеал я. Градуированные части я были предметом интенсивного изучения.

Квадратичные соотношения предоставлены Бернхард Риманн. Теорема Коидзуми утверждает, что третья степень обильного линейного пучка равна нормально генерируется. В Теорема Мамфорда – Кемпфа утверждает, что четвертая степень обильного линейного пучка представлена квадратично. Для базового поля характеристика ноль, Джузеппе Парески доказал результат, включающий эти (так как случаи п = 0, 1), о чем предположил Лазарсфельд: пусть L - обильное линейное расслоение на абелевом многообразии А. Если п ≥ п + 3, затем п-я тензорная степень L удовлетворяет условие N_п.^[1] Дальнейшие результаты были подтверждены Парески и Попа, включая предыдущие работы в этой области.^[2]

Смотрите также

дальнейшее чтение

Дэвид Мамфорд, Избранные статьи по классификации многообразий и пространств модулей, редакторский комментарий Г. Кемпфа и Х. Ланге, стр. 293–5

[1] Джузеппе Парески, Сизигии абелевых многообразий, Журнал Американского математического общества, Vol. 13, No. 3 (июл, 2000 г.), стр. 651–664.

[2] Джузеппе Парески, Минхеа Попа, Регулярность на абелевых многообразиях II: основные результаты о линейных рядах и определяющих уравнениях, J. Alg. Геом. 13 (2004), 167–193; http://www.math.uic.edu/~mpopa/papers/abv2.pdf В архиве 2010-07-12 в Wayback Machine

[1]

[2]