Алгебраическая поверхность — это алгебраическое многообразие размерности два. Над полем комплексных чисел каждая неособая алгебраическая поверхность является комплексным многообразием (комплексной) размерности два, то есть гладким четырёхмерным многообразием .