Гладкая Схема

- обобщение понятия неособого алгебраического многообразия. Схема X(локально) конечного типа над полем kназ. Гладкой схемой (над k), если схема, полученная из Xс помощью замены поля констант kна его алгебраяч. Замыкание k, является регулярной схемой, т. Е. Все ее локальные кольца регулярны. Для совершенного поля k понятия Г. С. Над kи регулярной схемы над kсовпадают. В частности, Г. С. Конечного типа над алгебраически замкнутым полем есть неособое алгебраич. Многообразие. В случае поля комплексных чисел неособое алгебраич. Многообразие обладает структурой комплексного аналитического многообразия. Схема является Г. С. Тогда и только тогда, когда она может быть покрыта гладкими окрестностями. Точка схемы Xназ. Простой точкой схемы, если в нек-рой ее окрестности схема Xесть Г.

С. В противном случае точка наз. Особой точкой схемы. Связная Г. С. Непрпводима. Произведение Г. С. Снова есть Г. С. Вообще, если К есть Г. С. Над k,a - гладкий морфизм, то Xесть Г. С. Над k. Аффинное пространство п проективное пространство являются Г. С. Над k;над совершенным полем любая алгебраич. Группа (т. Е. Приведенная алгебраич. Схема групп) есть Г. С. Приведенная схема над алгебранч. Замкнутым полем является Г. С. На всюду плотном открытом множестве. Если схема Xзадается уравнениями в аффинном пространстве , то точка будет простой тогда и только тогда, когда ранг матрицы Якоба . Равен m-d , где d - размерность X в точке х(якобиевый критерий). В более общем случае, замкнутая подсхема X Т. С. Y, задаваемая пучком идеалов I, будет Г.

С. В окрестности точки хв том и только в том случае, если существует система образующих идеала в кольце удовлетворяющая тому условию, что составляют часть базиса свободного -модуля пучка дифференциалов . Лит.:[1] Шафаревич И. Р., Основы алгебраической геометрии, М., 1972. [2] Grothendieck A., "Publ. Math. IHES", 1967, t. 32. [3] Zariski О., "Trans. Amer. Math. Soc.", 1947, V. 62, № 1, p. 1-52. В. И. Данилов, И. В. Долгачев.