Групповая Схема

, схема групп,- обобщение понятия алгебраич. Группы. Пусть - категория схем над базисной схемой . Групповой объект этой категории наз. Групповой схемой над схемой (а также групповой -схемой, или S-cхемой групп). Для Г. С. Gнад Sфунктор точек является контравариантным функтором из категории в категорию групп (Gr). Категория групповых схем над Sопределяется как полная подкатегория категории таких функторов, образованная представимыми функторами. Примеры. 1) Алгебраич. Группа над полем kесть приведенная Г. С. Конечного типа над полем k. (Иногда алгебраич. Группой наз. Произвольную Г. С. Конечного типа над полем.) 2) Функтор, сопоставляющий S-схеме Xаддитивную (соответственно мультипликативную) группу кольца сечений структурного пучка представим.

Соответствующая Г. С. Над Sназ. Аддитивной (соответственно мультипликативной) группой и обозначается (соответственно ). Для любой -схемы 3) Каждая абстрактная группа Г определяет Г. С. - прямую сумму семейства схем , каждая из к-рых изоморфна S. Соответствующий функтор сопоставляет S-схеме Xпрямую сумму , где - множество связных компонент схемы X. Если G - Г. С. Над S, то для любой точки слой является Г. С. Над полем вычетов k(s).этой точки. В частности, каждую Г. С. Конечного типа над схемой Sможно рассматривать как семейство алгебраич. Групп, параметризованное базой S. На Г. С. Распространяется терминология теории схем. Так, говорят о гладких, плоских, конечных, собственных Г. С. Для любой Г. С. Gсоответствующая приведенная схема также есть Г.

С., для к-рой каноническое замкнутое вложение есть морфизм Г. С. Каждая приведенная Г. С. Локально конечного типа над полем является гладкой. Каждая Г. С. Локально конечного типа над полем нулевой характеристики приведена (теорема Картье). Многие понятия и результаты теории алгебраич. Групп имеют свои аналоги для Г. С. Напр., имеется аналог структурной теории Бореля - Шевалле для аффинных алгебраич. Групп [5], развита когомологич. Теория расширений Г. С. И однородных пространств над Г. С. (см. [2], [5]). С другой стороны, многие проблемы и результаты специфичны для теории Г. С. И связаны с наличием нильпотентных элементов в структурном пучке как базисной, так и самой Г. С. Так, изучаются ин-финитезимальные и формальные деформации Г. С. [4], вопросы подъема в нулевую характеристику, формальные пополнения Г.

С. (см. Формальная группа). Г. С. Естественным образом возникают при изучении алгебраич. Групп над полем положительной характеристики (см. р-делимая группа). Понятие аффинной Г. С. Над базисной аффинной схемой двойственно понятию коммутативной Хопфа алгебры, именно, если такая Г. С., то Аявляется коммутативной алгеброй Хопфа. См. Также Коммутативная групповая схема, Конечная групповая схема. Лит.:[1] Тейт Дж., Оорт Ф., "Математика", 1972, т. 16, № 1, с. 165-83. [2] Demazure M., Gabriel P., Groupes alg-cbriques, t. 1, P.-Amst., 1970. [3] Oort F., Commutative group schemes. В.-Hdlb.- N.Y., 1966. [4] его же, "Compositio math.", 1971, v. 23, p. 265-96. [5] Schemas en groupes, t. 1 - 3, В.- Hdlb.-N.Y., 1970. И. В. Долгачев.