раздел математики, изучающий алгебраические многообразия. Так называются множества точек в n-мерном пространстве, координаты которых (x1, x2,...,xn ) являются решениями системы уравнений:
F1(X1, Х2 ..., Xn) = 0,
Fm(X1, x2, ..., Xn) = 0,
где Fi,..., Fm — многочлены от неизвестных x1, ..., xn. Каждое алгебраическое многообразие имеет определённую размерность, которая является числом независимых параметров, определяющих точку на многообразии. Алгебраические многообразия, имеющие размерность 1, называются алгебраическими кривыми, имеющие размерность 2 — алгебраическими поверхностями. Примерами алгебраических кривых могут служить Конические сечения.
Два алгебраических многообразия называются бирационально эквивалентными, если координаты каждой точки одного многообразия выражаются при помощи рациональных функций через координаты точки другого многообразия, и наоборот. В А. г. алгебраические многообразия обычно изучаются с точностью до бирациональной эквивалентности, поэтому одной из основных задач А. г. является построение бирациональных инвариантов для алгебраических многообразий. Наиболее важные из известных бирациональных инвариантов строятся с помощью средств математического анализа (т. н. трансцендентных методов), в особенности при помощи кратных интегралов по алгебраическому многообразию. Кроме трансцендентных методов, в А. г. часто применяются геометрические методы проективной геометрии (См. Проективная геометрия), а также топологические методы (см. Топология). Последнее вызвано тем, что некоторые важные бирациональные инварианты, например род кривой (см. ниже), алгебраических многообразий носят топологический характер. Особенно большую роль играет связь А. г. с топологией в свете теоремы японского математика Хиронака, согласно которой всякое алгебраическое многообразие бирационально эквивалентно многообразию, не имеющему особых точек.
Наиболее разработанная часть А. г. — теория алгебраических кривых. Основным бирациональным инвариантом алгебраической кривой является её род. Если алгебраическая кривая плоская, т. е. задаётся в декартовых координатах уравнением F(х, у) = 0, то род кривой g = (m - 1)(m - 2)/2 - d, где m — порядок кривой, а d — число её двойных точек. Род кривой всегда есть целое неотрицательное число. Кривые рода нуль бирационально эквивалентны прямым, т. е. параметрически могут быть заданы при помощи рациональных выражений. Кривые рода 1 могут быть параметризованы эллиптическими функциями (См. Эллиптические функции) и поэтому называются эллиптическими кривыми. Кривые рода больше 1 могут быть параметризованы с помощью автоморфных функций (См. Автоморфная функция). Каждая кривая рода g, большего 1, с точностью до бирациональной эквивалентности однозначно определяется 3g - 3 комплексными параметрами, которые сами пробегают некоторое алгебраическое многообразие.
В многомерном случае наиболее изученный класс алгебраических многообразий образуют абелевы многообразия. Это — замкнутые подмногообразия проективного пространства, являющиеся одновременно Группами, причём так, что умножение задаётся рациональными выражениями. Умножение на таком многообразии автоматически оказывается коммутативным. Алгебраическая кривая является абелевым многообразием тогда и только тогда, когда она имеет род 1, т. е. является эллиптической кривой.
Теория алгебраических кривых и теория абелевых многообразий тесно связаны между собой. Всякая алгебраическая кривая рода, большего 0, канонически погружается в некоторое абелево многообразие, называемое якобиевым многообразием для данной кривой. Якобиево многообразие является важным инвариантом кривой и почти полностью определяет самоё кривую.
Исторически А. г. возникла из изучения кривых и поверхностей низких порядков. Классификация кривых третьего порядка была дана И. Ньютоном (1704). В 19 в. А. г. постепенно переходит от изучения специальных классов кривых и поверхностей к постановке общих проблем, относящихся ко всем многообразиям. Общая А. г. была построена в конце 19 и начале 20 вв. в трудах немецкого математика М. Нётера, итальянских математиков Ф. Энрикеса, Ф. Севери и др. Своего расцвета А. г. достигает в 20 в. (работы французского математика А. Вейля, американского математика С. Лефшеца и др.). Крупные достижения в А. г. имеют советские математики Н. Г. Чеботарев (См. Чеботарёв), И. Г. Петровский, И. Р. Шафаревич.
А. г. является одним из наиболее интенсивно развивающихся разделов математики. Методы А. г. оказывают огромное влияние на такие смежные с А. г. разделы математики, как теория функций многих комплексных переменных, теория чисел, а также на более далёкие от А. г. разделы математики — такие, как уравнения в частных производных, алгебраическая топология, теория групп и др.
Лит.: Ван-дер-Варден Б. Л., Современная алгебра, пер. с нем., [2 изд.], ч. 1—2, М. — Л., 1947; Чеботарев Н. Г., Теория алгебраических функций, М. — Л., 1948; Ходж В., Пидо Д., Методы алгебраической геометрии, пер. с англ., т. 1—3, М., 1954 — 55; Алгебраические поверхности, М., 1965; WeiI A.. Foundations of algebraic géometry, N. Y., 1946.
Б. Б. Венков.
Большая советская энциклопедия. — М.: Советская энциклопедия. 1969—1978.