Плавная схема

Гладкая схема над полем k – схема, имеющая гладкое касательное пространство Зарисского в каждой точке.
Гладкость схемы означает, что размерность касательного пространства равна размерности схемы вблизи каждой точки.
Гладкая схема над полем является регулярной и нормальной.
Гладкая схема над полем является интегральной разделенной схемой конечного типа.
Гладкие многообразия над комплексными и вещественными числами имеют соответствующие комплексные и вещественные точки.
Для гладкой схемы X над полем k существует когерентный пучок Ω1 дифференциалов.
Гладкость схемы X над k определяется как условие, что Ω1 является векторным расслоением ранга, равным размерности X вблизи каждой точки.

Полный текст статьи:

Плавная схема — Википедия