Теорема Нётера–Лефшеца

Теорема Нётера–Лефшеца утверждает, что для достаточно общей поверхности степени четыре и выше в трёхмерном комплексном противном пространстве её группа Пикара равна $Z$. Гриффитс и Харрис дали более алгебраическое доказательство этого факта чем то, которое предложил Лефшец. Оно опирается на построение семейства поверхностей, вырождающегося в приводимую поверхность, и подсчёт группы Пикара этого вырождения.