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

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