Критерий Рида и критерий Бюкерса–Хекмана

Трехмерное взвешенное проективное пространство канонично тогда и только тогда, когда его антиканоническая вариация Римана–Роха есть вариация типа К3. Теперь это теорема. Она означает, что зеркальный подход к классификационным задачам в размерности 3 применим и для многообразий с особенностями.