• Разделы:
  • Вычислительная алгебраическая геометрия
  • История
  • Приложения
  • См. также
  • Примечания
  • Литература
  • Ссылки

Алгебраическая геометрия — раздел математики, который объединяет алгебру и геометрию. Главным предметом изучения классической алгебраической геометрии, а также в широком смысле и современной алгебраической геометрии, являются множества решений систем уравнений, задаваемых многочленами. Современная алгебраическая геометрия использует большое число техник общей алгебры (особенно коммутативной алгебры) для решения задач, возникающих в геометрии.

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

Основной объект изучения классической алгебраической геометрии — алгебраические многообразия, то есть геометрические объекты, заданные как множество решений системы полиномиальных уравнений. Наиболее хорошо изучены алгебраические кривые, в качестве примеров можно привести прямые, квадрики, кубики (такие как эллиптическая кривая) и квартики (такие как овалы Кассини). Базовые вопросы теории алгебраических кривых касаются изучения «специальных» точек на кривой, таких как особые точки или точки перегиба.

Современная алгебраическая геометрия имеет множественные взаимосвязи с самыми различными областями математики, такими как комплексный анализ, топология и теория чисел. Начавшись как поиски способа решения конкретных уравнений, алгебраическая геометрия перешла к изучению внутренних свойств множества решений произвольной системы полиномиальных уравнений, что приводит к задачам из разных разделов математики. В итоге, в XX веке алгебраическая геометрия разделилась на несколько (взаимосвязанных) дисциплин.

• Основное направление алгебраической геометрии — изучение свойств алгебраических многообразий над алгебраически замкнутым полем (в частности, над полем комплексных чисел).
• Изучение «алгебраических многообразий» над алгебраическим числовым полем (или даже над кольцом) — предмет арифметической (или диофантовой) геометрии, раздела алгебраической теории чисел.
• Изучением действительных точек комплексного многообразия занимается действительная геометрия[en].
• Большая часть теории особенностей относится к изучению особенностей алгебраических многообразий.
• На пересечении информатики и алгебраической геометрии находится вычислительная алгебраическая геометрия. Её основная задача — создание алгоритмов для изучения свойств заданных явно алгебраических многообразий.

Если говорить об основном направлении алгебраической геометрии, развитие этой области во второй половине XX века основывалось на использвании довольно абстрактных алгебраических понятий. В частности, современная алгебраическая геометрия использует язык теории категорий и теории пучков; одним из основных понятий этой науки является схема.

Содержание

• 1 Основные понятия
  • 1.1 Аффинные многообразия
  • 1.2 Регулярные функции
  • 1.3 Рациональные функции
  • 1.4 Схемы
• 2 Вычислительная алгебраическая геометрия
  • 2.1 Базис Грёбнера
• 3 История
  • 3.1 Предыстория: до XIX века
  • 3.2 XIX век
  • 3.3 XX век
• 4 Приложения
• 5 См. также
• 6 Примечания
• 7 Литература
• 8 Ссылки

Основные понятия

Аффинные многообразия

Прежде всего нужно зафиксировать основное поле k. В классической алгебраической геометрии, как правило, используется поле комплексных чисел, однако множество результатов остаются верными для любого алгебраически замкнутого поля (в дальнейшем изложении подразумевается алгебраическая замкнутость). Рассмотрим n-мерное аффинное пространство An{displaystyle mathbb {A} ^{n}}

  (Причина, по которой рассматривают не векторное пространство над k, заключается в том, чтобы подчеркнуть независимость свойств многообразия от структуры векторного пространства. Элементы основного пространства рассматриваются как точки, а не как вектора). Зафиксируем в аффинном пространстве какой-нибудь базис (в частности, выберем начало координат). Тогда каждому семейству S многочленов из кольца k[x1,…,xn] можно сопоставить множество V(S) точек, координаты которых удовлетворяют всем многочленам из множества:

V(S)={(t1,…,tn)|∀p∈S,p(t1,…,tn)=0}.{displaystyle V(S)={(t_{1},dots ,t_{n})|forall pin S,p(t_{1},dots ,t_{n})=0}.,} 

На самом деле, свойство функции быть полиномиальной не зависит от выбора базиса, поэтому можно говорить просто о полиномиальных функциях на An{displaystyle mathbb {A} ^{n}}

  и о множестве общих нулей семейства таких функций. Множества, представимые в виде V(S), называются алгебраическими множествами.

Любому подмножеству аффинного пространства U можно сопоставить множество многочленов, равных нулю во всех точках этого множества. Нетрудно проверить, что это множество является идеалом в кольце многочленов. Возникают два естественных вопроса:

• Для каких U верно U = V(I(U))?
• Для каких множеств многочленов S верно S = I(V(S))?

Очевидно, что для выполнения первого равенства необходимо, чтобы U было алгебраическим множеством; нетрудно также проверить, что это условие достаточно. Поиск ответа на второй вопрос вызывает большие трудности, Давидом Гильбертом была доказана известная теорема Nullstellensatz, согласно которой I(V(S)) совпадает с радикалом идеала в кольце многочленов, порождённого элементами S; это означает, что существует биективное соответствие между алгебраическими множествами и радикальными идеалами кольца многочленов. Теорема Гильберта о базисе утверждает, что все идеалы в кольце многочленов являются конечнопорождёнными, то есть любое алгебраическое множество можно задать конечным числом уравнений.

Алгебраическое множество называется неприводимым, если его нельзя представить в виде объединения двух меньших алгебраических множеств. Аффинное алгебраическое многообразие[1] — это неприводимое алгебраическое множество; на алгебраическом языке аффинным многообразиям соответствуют простые идеалы кольца многочленов. Любое алгебраическое множество можно представить в виде объединения конечного числа алгебраических многообразий (никакое из которых не является подмножеством другого), и притом единственным образом,[2] это можно вывести из теоремы Ласкера — Нётер.

Некоторые авторы не проводят чёткого различия между алгебраическими множествами и алгебраическими многообразиями и называют вторые неприводимыми алгебраическими множествами (или неприводимыми многообразиями).

Регулярные функции

Регулярная функция на алгебраическом множестве V⊂An{displaystyle Vsubset mathbb {A} ^{n}}

  — это функция, являющаяся ограничением на V некоторой полиномиальной функции. Регулярные функции на V образуют кольцо k[V], называемое координатным кольцом этого множества. Это кольцо изоморфно факторкольцу кольца многочленов по I(V) (действитльно, если f и g имеют одно и то же ограничение на V, то f − g принадлежит I(V).

Естественным образом определяются регулярные отображения между алгебраическими множествами. А именно, регулярное отображение f:X→An{displaystyle f:Xto mathbb {A} ^{n}}

  имеет вид (f1,f2,…fn){displaystyle (f_{1},f_{2},ldots f_{n})} , где fi{displaystyle f_{i}}  — регулярные функции. Регулярное отображение в алгебраическое множество Y∈An{displaystyle Yin mathbb {A} _{n}}  — это регулярная функция в f:X→An{displaystyle f:Xto mathbb {A} ^{n}} , такая что f(X)⊆Y{displaystyle f(X)subseteq Y} .

Если задано регулярное отображение f:X→Y{displaystyle f:Xto Y}

 , любой регулярной функции φ:Y→A1{displaystyle varphi :Yto mathbb {A} ^{1}}  можно сопоставить регулярную функцию на f∗φ:X→A1{displaystyle f^{*}varphi :Xto mathbb {A} ^{1}}  по правилу f∗φ=φ∘f{displaystyle f^{*}varphi =varphi circ f} . Отображение φ↦φ∘f{displaystyle varphi mapsto varphi circ f}  является гомоморфизмом колец f∗:k[Y]→k[X]{displaystyle f^{*}:k[Y]to k[X]} , так же и каждый гомоморфизм координатных колец определяет регулярное отображение алгебраических множеств (в обратном направлении). Из этих соответствий можно вывести, что категория алгебраических множеств (морфизмы которой — регулярные функции) двойственна категории конечнопорождённых k-алгебр без нильпотентов. Обнаружение этой эквивалентности стало начальной точкой теории схем.

Рациональные функции

В отличие от предыдущего пункта, здесь будут рассматривать только (неприводимые) алгебраические многообразия. С другой стороны, эти определения можно распространить на проективные многообразия.

Если V — аффинное многообразие, его координатное кольцо целостно, и следовательно, имеет поле частных. Это поле обозначается k(V) и называется полем рациональных функций на V. Область определения рациональной функции не обязательно равна всему V, а равна дополнению множества, на котором её знаменатель равен нулю. Аналогично случаю регулярных функций определяется рациональное отображение между многообразиями, аналогично, рациональные отображения взаимно-однозначно соответствуют гомоморфизмам полей рациональных функций.

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

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

x=2t1+t2{displaystyle x={frac {2,t}{1+t^{2}}}} 

y=1−t21+t2,{displaystyle y={frac {1-t^{2}}{1+t^{2}}},,} 

задающие рациональное отображение из прямой в окружность, можно проверить, что и обратное отображение рационально (см. также Стереографическая проекция).

Схемы

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

Вычислительная алгебраическая геометрия

Базис Грёбнера

Основная статья: Базис Грёбнера

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

• V пусто (в алгебраически замкнутом расширении исходного поля) тогда и только тогда, когда бозис Грёбнера состоит из одной единицы.
• Ряды Гильберта позволяют вычислить размерность многообразия V.
• Если размерность равна нулю, существует способ вычислить число (всегда конечное) точек многообразия.
• Для данного рационального отображения V в другое алгебраическое многообразие базис Грёбнера позволяет вычислить замыкание образа V (в топологии Зарисского) и критические точки отображения.

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

В некоторых случаях вычисление базиса Грёбнера является довольно сложным: в худшем случае он может содержать многочлены, степень которых зависит как двойная экспонента (выражение вида abx{displaystyle a^{b^{x}}}

 ) от числа переменных в кольце многочленов; число элементов базиса может расти с той же скоростью. Впрочем, это верхняя граница сложности, и во многих случаях с помощью этих алгоритмов можно работать с кольцами многочленов от нескольких десятков переменных.

История

Предыстория: до XIX века

Признаки зарождения алгебраической геометрии можно найти ещё в работах греков V века до н. э. Например, проблема удвоения куба сводится к построению куба, объеём которого равен объёму «ящика» a×a×b{displaystyle atimes atimes b}

  для данных a и b, Менехм интерпретировал эту задачу геометрически как построение пересечения двух коник: ay = x2 и xy = ab.[3] В более поздних работах Архимеда и Аполлония конические сечения изучаются более систематически, в том числе с использованием координат. Арабские математики знали способы решения определённых кубических уравнений и могли проинтерпретировать полученные результаты геометрически. Персидский математик Омар Хайям (XI век) открыл способ решения общего кубического уравнения при помощи пересечения окружности и параболы.[4]

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

XIX век

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

Развитие теории абелевых интегралов привело Бертрана Римана к созданию теории римановых многообразий. Используя интегралы первого рода, К. Шварц доказал, что кривая, допускающая непрерывную группу бирациональных преобразований в себя, бирационально эквивалентна прямой или эллиптической кривой. Алгебраическая геометрия второй половины XIX века представлена, главным образом, итальянской школой от Кремоны до Энрикеса.

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

XX век

В 30-х и 40-х годах XX века, идеи построения алгебраической геометрии на основе коммутативной алгебры, интенсивно развивавшейся в то время, восходят к О. Зарисскому и А. Вейлю. Одной из их целей было доказательство результатов итальянской школы: итальянские геометры того периода использовали в доказательствах понятие «общей точки», без какого-либо её определения.

В 1950-х и 60-х годах Жан-Пьер Серр и Александр Гротендик полностью переработали основания алгебраической геометрии с помощью техник теории пучков, теории схем и гомологической алгебры. В 1970-х развитие несколько стабилизировалось, были найдены приложения к теории чисел и к более классическим вопросам алгебраической геометрии: изучению особенностей и модулей.

Важный класс алгебраических многообразий, которые трудно описать при помощи одних только определяющих уравнений — абелевы многообразия. Основной их пример — эллиптическая кривая, имеющие очень обширную теорию. Они стали инструментом доказательства Великой теоремы Ферма и используются в эллиптической криптографии.

Приложения

Алгебраическая геометрия находит приложения в статистике[5], теории управления[6], робототехнике[7], теории кодов, исправляющих ошибки[8] и моделировании[9]. Известны также приложения в теории струн[10], теории игр[11], теории паросочетаний[12] и солитонов[13].

См. также

• Аналитическая геометрия
• Алгебраическая геометрия над алгебраическими системами
• Дифференциальная геометрия
• Коммутативная алгебра
• Проективное пространство

Примечания

1. ↑ Хартсхорн, с.18.
2. ↑ Хартсхорн, с.21.
3. ↑ Dieudonné, Jean (1972). “The historical development of algebraic geometry”. The American Mathematical Monthly. 79 (8): 827—866. DOI:10.2307/2317664. JSTOR 2317664.
4. ↑ Kline, M. (1972) Mathematical Thought from Ancient to Modern Times (Volume 1). Oxford University Press. pp. 193—195.
5. ↑ Mathias Drton, Bernd Sturmfels, Seth Sullivant (2009), Lectures on Algebraic Statistics Springer, ISBN 978-3-7643-8904-8
6. ↑ Peter L. Falb (1990), [1], Birkhäuser, ISBN 978-3-7643-3454-3
7. ↑ J. M. Selig (205), Geometric fundamentals of robotics, Springer, ISBN 978-0-387-20874-9
8. ↑ Michael A. Tsfasman, Serge G. Vlăduț, Dmitry Nogin (2007), Algebraic geometric codes: basic notions, AMS Bookstore, ISBN 978-0-8218-4306-2
9. ↑ Bert Jüttler, Ragni Piene (2007) Geometric modeling and algebraic geometry, Springer, ISBN 978-3-540-72184-0
10. ↑ David A. Cox, Sheldon Katz (1999) Mirror symmetry and algebraic geometry, AMS Bookstore, ISBN 978-0-8218-2127-5
11. ↑ Blume, L. E.; Zame, W. R. (1994). “The algebraic geometry of perfect and sequential equilibrium” (PDF). Econometrica. 62 (4): 783—794. JSTOR 2951732.
12. ↑ Richard Kenyon; Andrei Okounkov & Scott Sheffield (2003), Dimers and Amoebae, arΧiv:math-ph/0311005 [math-ph]. 
13. ↑ IM Krichever and PG Grinevich, Algebraic geometry methods in soliton theory, Chapter 14 of Soliton theory, Allan P. Fordy, Manchester University Press ND, 1990, ISBN 978-0-7190-1491-8

Литература

• Alexander Grothendieck, Éléments de géométrie algébrique, Publications mathématiques de l’IHÉS, 1960.
• Alexander Grothendieck, Séminaire de Géometrie Algébrique
• Мамфорд Д. Алгебраическая геометрия. Комплексные проективные многообразия. — М.: Мир, 1979.
• Мамфорд Д. Красная книга о многообразиях и схемах. — М.: МЦНМО, 2007.
• Хартсхорн Р. Алгебраическая геометрия. — М.: Мир, 1970, на сайте nehudlit.ru.
• Ходж В., Пидо Д. Методы алгебраической геометрии. (в 3 томах)М.: ИЛ, 1954—1955.
• Шафаревич И. Р. Основы алгебраической геометрии. — т.т.1-2, М.: Наука, 1988.

Ссылки

• Ravi Vakil, MATH 216: FOUNDATIONS OF ALGEBRAIC GEOMETRY (версия 11.06.2013) — записки курса алгебраической геометрии, прочитанного в Стэнфордском университете.