Многообразие Фано
Многообра́зие Фа́но, гладкое полное неприводимое алгебраическое многообразие над полем , антиканонический пучок которого обилен. Основы изучения таких многообразий заложены Дж. Фано (Fano. 1931; 1942).
Многообразие Фано размерности называется поверхностью дель Пеццо и является рациональной поверхностью. Многомерные аналоги поверхностей дель Пеццо – многообразия Фано размерности – уже не все являются рациональными многообразиями, например общая кубика в проективном пространстве .
Хорошо изучены трёхмерные многообразия Фано (Mori. 198; Исковских. 1977; 1978). О многообразиях Фано размерности больше известны лишь отдельные частные результаты.
Группа Пикара трёхмерного многообразия Фано конечно порождена и не имеет кручения. В случае когда основное поле совпадает с полем , ранг группы , равный второму числу Бетти , не больше (Roth. 1950). Если , то многообразие Фано изоморфно , где – поверхность дель Пеццо степени . Многообразие Фано называется примитивным, если не существует моноидального преобразования гладкого многообразия с центром в неособой неприводимой кривой. Если многообразие Фано примитивно, то . Если то является расслоением на коники над , другими словами, тогда существует морфизм , слой которого изоморфен конике, т. е. алгебраической схеме, заданной однородным уравнением степени в . Многообразие Фано с является расслоением на коники над проективной плоскостью (Mori, Mukai. 1981). В случае существует 18 типов многообразий Фано, которые описаны (Исковских. 1979).
Для трёхмерных многообразий Фано индекс самопересечения антиканонического дивизора . Наибольшее целое число такое, что изоморфно для некоторого дивизора , называется индексом многообразия Фано. Индекс трёхмерного многообразия Фано может принимать значения . Многообразие Фано индекса изоморфно проективному пространству , а многообразие Фано индекса изоморфно гладкой квадрике . Если , то индекс самопересечения может принимать значения , причём каждое из них реализуется на некотором многообразии Фано. Для многообразия Фано индекса отображение , определяемое линейной системой , имеет степень или . Описаны многообразия Фано индекса , для которых . Если , то многообразие Фано реализуется как подмногообразие степени в проективном пространстве . Число называется родом многообразия Фано и совпадает с родом канонической кривой – сечения многообразия при антиканоническом вложении в . Известна классификация многообразий Фано , класс гиперплоского сечения которых совпадает с антиканоническим классом и порождает группу (Roth. 1950; Исковских. 1977; 1978).