АЛГЕБРАИЧЕСКАЯ ГЕОМЕТРИЯ АБСТРАКТНАЯ

Расстановка ударений: АЛГЕБРАИ`ЧЕСКАЯ ГЕОМЕ`ТРИЯ АБСТРА`КТНАЯ

АЛГЕБРАИЧЕСКАЯ ГЕОМЕТРИЯ АБСТРАКТНАЯ - раздел алгебраической геометрии, в к-ром изучаются общие свойства алгебраических многообразий над произвольными полями, а также их обобщения - схемы. Хотя первые работы в А. г. а. появились еще в 19 в., особенно бурное развитие этой области алгебраич. геометрии происходило, начиная с 50-х гг. 20 в., и было связано с созданием А. Гротендиком (A. Grothendieck) общей теории схем. Интерес к алгебраич. геометрии применительно к произвольным полям возник первоначально в связи с теоретико-числовыми задачами и, в частности, с теорией сравнений от двух неизвестных. Особенно существенным для развития А. г. а. было введенное Э. Артином (Е. Artin) в 1924 понятие дзета-функции алгебраич. кривой (см. Дзета-функция в алгебраич. геометрии), а также доказательство X. Хассе (Н. Hasse) в 1933 аналога гипотезы Римана для эллиптических кривых. Развитая при этом теория алгебраических кривых над произвольным полем констант играла существенную роль в данном доказательстве.

Почва для систематич. построения многомерной алгебраич. геометрии над произвольными полями констант была подготовлена общим развитием теории колец и полей в 10-20-х гг. 20 в. В цикле статей Б. Л. ван дер Вардена (В. L. van der Waerden, 1933-38) в основу А. г. а. была положена теория полиномиальных идеалов. В частности, им была построена пересечений теория на неособом проективном алгебраич. многообразии. Результаты работ этого направления подытожены в [4].

В 1940 А. Вейль (A. Weil) обнаружил, что доказательство гипотезы Римана для алгебраич. кривых произвольного рода требует привлечения теории многомерных многообразий над произвольными полями. В связи с этим им была построена теория абстрактных алгебраич. многообразий (не обязательно проективных) над произвольным основным полем, теория дивизоров и теория пересечений для таких многообразий, а также общая теория абелевых многообразий, ранее изучавшихся только в аналитич. случае. Под влиянием книги [9], вышедшей в 1946, общепринятой основой А. г. а. на долгое время стали теория нормирований и теория полей (язык «общих точек» Вейля).

В нач. 50-х гг. в А. г. а. были введены мощные методы коммутативной алгебры (см. [6], [8]). Дальнейшей перестройке А. г. а. послужила работа Ж. П. Серра о когерентных алгебраических пучках [7]. В ней впервые в А. г. а. были изложены идеи и методы гомологической алгебры. Развитие А. г. а. шло параллельно с развитием понятия алгебраич. многообразия. После определения А. Вейлем абстрактного алгебраич. многообразия предлагались различные обобщения этого понятия. Самым плодотворным из них оказалось понятие схемы. Систематия. изложение этих идей и построение общей теории схем было начато А. Гротендиком в 1960 в серии мемуаров [5], где введен в А. г. а. язык функторов и теории категорий и кардинально перестроены многие классич. конструкции в алгебраич. геометрии.

Бурное развитие А. г. а. было связано с осознанием того, что рамки теории схем позволяют перенести на «абстрактный случай» практически все известные в классич. комплексном случае понятия и, в частности, теорию когомологий комплексных аналитич. многообразий. Важную роль для развития А. г. а. сыграла гипотеза А. Вейля (1947), предположившего существование теории когомологий, в к-рой была бы верна Лефшеца формула для числа неподвижных точек отображения, и установившего глубокие связи этой гипотезы с чисто арифметич. вопросами алгебраич. многообразий (см. Дзета-функция в алгебраической геометрии).

Понятие топологизированной категории (топология Гротендика) нашло многочисленные применения, разработка и развитие к-рых положили начало новым направлениям А. г. а. - теории представимых функторов, формальной геометрии (см. Формальная группа). Вейля когомологиям, К-теории, теории групповых схем. Развитые при этом идеи и методы нашли свое отражение во многих разделах математики (коммутативная алгебра, теория категорий, теория аналитич. пространств, топология).

Предложенное в конце 60-х гг. новое обобщение алгебраич. многообразия - алгебраическое пространство позволило расширить рамки А. г. а. и еще теснее связать ее с другими разделами алгебраич. геометрии.

Лит. : [1] Гротендик А., в кн. : Международный математический конгресс в Эдинбурге, 1958, М., 1962, с. 116-37; [2] Итоги науки и техники. Алгебра. Топология. Геометрия, т. 10, М., 1972, с. 47-112; [3] Серр Ж.-П., «Математика», 1963, т. 7, № 5; [4] Gröbnеr W., Moderne algebraische Geometrie, W. - Innsbruck, 1949; [5] Grothendieck A., Eléments de géométrie algébrique, t. 1, В., 1971; [6] Samuel P., Méthodes d'algèbre abstraite en géométrie algébrique, 2 ed., В., 1967; [7] Serre J.-P., «Ann. Math. », 1955, v. 61, №1, p. 197-278; [8] Zariski О., в кн. : Proceedings of the International Congress of Mathematicians. Cambridge (Mass.), 1950, Providence, 1952, v. 2, p. 77-89; [9] Weil A., Foundations of algebraic geometry, Providence, 1962.

И. В. Долгачев.

Источники:

1. Математическая Энциклопедия. Т. 1 (А - Г). Ред. коллегия: И. М. Виноградов (глав ред) [и др.] - М., «Советская Энциклопедия», 1977, 1152 стб. с илл.