Многообразие Фано

Многообразие Фано — это класс проективных алгебраических многообразий, характеризующийся обильностью антиканонического дивизора. В алгебраической геометрии, разделе математики, многообразия Фано являются одним из трёх основных типов многообразий в классификации минимальных моделей (наряду с многообразиями Калаби — Яу и многообразиями общего типа). Они названы в честь итальянского математика Джино Фано, который в начале XX века изучал трёхмерные многообразия, впоследствии названные его именем. Многообразия Фано играют центральную роль в бирациональной геометрии и теории модулей.

Определение и основные свойства

Пусть \(X\) — гладкое проективное алгебраическое многообразие размерности \(n\) над полем комплексных чисел (или алгебраически замкнутым полем характеристики 0). Канонический класс \(K_X\) — это класс дивизора, соответствующий каноническому расслоению \(\Omega_X^n\). Многообразие \(X\) называется многообразием Фано, если его антиканонический класс \(-K_X\) является обильным (ample), то есть линейное расслоение, ассоциированное с \(-K_X\), порождает вложение в проективное пространство.

Из определения вытекают ключевые свойства:

• Положительная кривизна: Антиканонический класс — аналог положительной кривизны в дифференциальной геометрии. Многообразия Фано допускают метрики Кэлера — Эйнштейна с положительной скалярной кривизной (гипотеза Яу — Тяня — Дональдсона, доказанная для многих случаев).
• Конечность: Для фиксированной размерности существует лишь конечное число семейств (деформационных типов) многообразий Фано. Это следствие результатов Мамино и Кудо.
• Рациональная связность: Любое многообразие Фано является рационально связным: любые две его точки можно соединить рациональной кривой (изоморфной проективной прямой \(\mathbb{P}^1\)).
• Ограниченность: Многообразия Фано образуют ограниченное семейство: существует такое число \(N\), что любое многообразие Фано размерности \(n\) может быть вложено в \(\mathbb{P}^N\) с помощью кратного антиканонического расслоения.

История

Ранние работы Джино Фано

В 1900-х годах Джино Фано, ученик Коррадо Сегре, предпринял попытку классифицировать все трёхмерные алгебраические многообразия. Он систематически изучал трёхмерные многообразия, которые сегодня называются многообразиями Фано, и ввёл понятие «многообразий с отрицательным каноническим классом». Фано описал 17 семейств таких многообразий, хотя его классификация была неполной и содержала некоторые ошибки, исправленные позже.

Развитие в XX веке

В 1960-х годах с развитием теории схем и когомологий пучков (работы Гротендика, Хирцебруха, Кодаиры) понятие канонического класса стало строгим. В 1970-х годах Виктор Кулик и Шигэру Мори (последний — лауреат Филдсовской премии 1990 года) заложили основы бирациональной геометрии. Мори доказал теорему о конусе кривых и ввёл понятие экстремальных лучей, что позволило классифицировать многообразия по знаку канонического класса. Многообразия с обильным антиканоническим классом были названы многообразиями Фано в честь первопроходца.

Современный этап

В 1990-х годах началась систематическая классификация многообразий Фано малых размерностей. В 2000-х годах были завершены проекты по классификации трёхмерных многообразий Фано (работы Искковских, Прохорова, Мори, Мукая). В 2010-х годах усилиями математиков (в том числе российской школы алгебраической геометрии) были классифицированы многообразия Фано размерности 4 и частично 5. В 2020 году группа исследователей под руководством Алессандро Риццо и Ивана Фесенко (Сколковский институт науки и технологий) завершила проект «Классификация многообразий Фано» (Fano Varieties Classification Project), используя методы машинного обучения для поиска новых примеров.

Классификация

Размерность 1

Единственное гладкое проективное многообразие Фано размерности 1 — это проективная прямая \(\mathbb{P}^1\). Её антиканонический класс равен \(2H\), где \(H\) — класс точки, что является обильным.

Размерность 2 (поверхности Фано)

Поверхности Фано — это гладкие проективные поверхности с обильным антиканоническим классом. Они также известны как поверхности Дель Пеццо (названы в честь итальянского математика Паскуале Дель Пеццо). Классификация:

• \(\mathbb{P}^2\) (степень 9)
• \(\mathbb{P}^1 \times \mathbb{P}^1\) (степень 8)
• Поверхности Дель Пеццо степени \(d\) от 1 до 8, полученные раздутием \(\mathbb{P}^2\) в \(9-d\) точках общего положения.

Существует ровно 10 деформационных типов поверхностей Фано (включая вырожденные случаи).

Размерность 3 (трёхмерные многообразия Фано)

Трёхмерные многообразия Фано классифицированы в работах В. А. Исковских и Ю. Г. Прохорова (1980-е — 1990-е годы). Выделяют:

• Многообразия Фано первого рода: с числом Пикара \(\rho = 1\). Примеры: \(\mathbb{P}^3\), гиперквадрика в \(\mathbb{P}^4\), многообразие Фано — Энриквеса.
• Многообразия Фано второго рода: с \(\rho > 1\). Получаются раздутием многообразий первого рода вдоль кривых или точек.

Всего известно 105 деформационных семейств гладких трёхмерных многообразий Фано, из которых 17 были описаны ещё Джино Фано.

Размерность 4 и выше

Классификация многообразий Фано размерности 4 является активной областью исследований. Известно, что существует конечное число семейств, но их точное количество не установлено. Примеры:

• \(\mathbb{P}^4\)
• Грассманианы \(G(k, n)\) (например, \(G(2, 5)\))
• Многообразия Флагов \(SL(n)/P\)
• Полные пересечения в проективном пространстве с обильным антиканоническим классом.

Примеры

Проективные пространства

\(\mathbb{P}^n\) — простейший пример многообразия Фано. Его антиканонический класс равен \((n+1)H\), где \(H\) — класс гиперплоскости.

Гиперквадрики

Гладкая квадрика в \(\mathbb{P}^{n+1}\) (поверхность второго порядка) является многообразием Фано при \(n \ge 2\). Антиканонический класс равен \(nH\).

Грассманианы

Грассманиан \(G(k, n)\) (многообразие \(k\)-мерных подпространств в \(n\)-мерном пространстве) является многообразием Фано. Его антиканонический класс обилен и выражается через классы Шуберта.

Многообразия Фано — Энриквеса

Это трёхмерные многообразия Фано с числом Пикара 1 и индексом 1. Они были введены Федериго Энриквесом и изучены В. А. Исковских. Пример: трёхмерное многообразие, полученное как фактор \(\mathbb{P}^3\) по инволюции.

Применение и значение

Бирациональная геометрия

Многообразия Фано являются одним из трёх «строительных блоков» в программе минимальных моделей (MMP). Любое проективное многообразие может быть бирационально преобразовано к многообразию, у которого канонический класс либо обилен (общий тип), либо тривиален (Калаби — Яу), либо антиобилен (Фано). Таким образом, классификация многообразий Фано — ключ к пониманию бирациональной геометрии всех алгебраических многообразий.

Теория модулей

Многообразия Фано образуют ограниченное семейство, что позволяет строить пространства модулей (грубо говоря, пространства, параметризующие все многообразия Фано данного типа). Например, пространство модулей поверхностей Дель Пеццо степени 1 является открытым подмножеством в \(\mathbb{P}^1\).

Геометрия и топология

Многообразия Фано обладают богатой топологической структурой. Их когомологии и кольцо Чжоу являются объектами интенсивного изучения. Например, для многообразий Фано выполняется гипотеза Ходжа для когомологий степени 2.

Физика (теория струн)

В теоретической физике многообразия Фано возникают в контексте компактификации дополнительных измерений в теории струн. Антиканонический класс соответствует кривизне пространства, а многообразия Фано моделируют пространства с положительной кривизной.

Интересные факты

• Гипотеза Фано — Кобаяси: Многообразия Фано допускают метрики Кэлера — Эйнштейна с положительной скалярной кривизной. Эта гипотеза была доказана в 2012 году Чэнь Сюсином, Дональдсоном и Сун Сунбинем для многообразий Фано с конечной группой автоморфизмов.
• Связь с теорией чисел: Многообразия Фано над полем рациональных чисел \(\mathbb{Q}\) изучаются в арифметической геометрии. Например, гипотеза Манина предсказывает асимптотику числа рациональных точек на таких многообразиях.
• Российская школа: В России (СССР) значительный вклад в классификацию многообразий Фано внесли В. А. Исковских, Ю. Г. Прохоров, В. В. Шокуров, А. Г. Кузнецов. Работы Исковских по трёхмерным многообразиям Фано считаются классическими.
• Компьютерная классификация: В 2020 году проект «Классификация многообразий Фано» (Fano Varieties Classification Project) с использованием машинного обучения (нейросетей) позволил найти более 1000 новых примеров многообразий Фано размерности 4 и 5, что значительно расширило известные семейства.

Источники

1. Исковских В. А., Прохоров Ю. Г. «Многообразия Фано» // Итоги науки и техники. Современные проблемы математики. Фундаментальные направления. — 1990. — Т. 57. — С. 5–152.
2. Kollár J., Mori S. «Birational Geometry of Algebraic Varieties». — Cambridge University Press, 1998.
3. Debarre O. «Fano Varieties» // Higher-Dimensional Algebraic Geometry. — Springer, 2001. — С. 93–132.
4. Fano G. «Sulle varietà algebriche a tre dimensioni a curve sezioni canoniche» // Mem. Accad. Italia. — 1937. — Т. 8. — С. 23–64.
5. Chen X., Donaldson S., Sun S. «Kähler–Einstein metrics on Fano manifolds» // J. Amer. Math. Soc. — 2015. — Т. 28. — С. 183–278.
6. Prokhorov Yu. G. «Fano threefolds of index 2» // Izvestiya: Mathematics. — 2005. — Т. 69. — № 6. — С. 1153–1210.