Теорема Богомолова о разложении

Теорема Богомолова о разложении описывает структуру кэлеровых многообразий с тривиальным каноническим расслоением (или, более общо, имеющих вещественный первый класс Черна канонического расслоения равным нулю). Справку о многообразиях такого типа можно найти в статье «Многообразие Калаби — Яу».

Формулировка

Фёдор Алексеевич Богомолов

Пусть  — компактное кэлерово многообразие,  — его каноническое расслоение, и . Тогда существует конечное накрытие такое, что имеет место голоморфный изоморфизм , где:

  •  — комплексный тор,
  •  — строгие многообразия Калаби — Яу, то есть многообразия с тривиальным каноническим классом такие, что и при .
  •  — неприводимые голоморфно симплектические многообразия, то есть многообразия, допускающие нигде не вырожденную замкнутую голоморфную 2-форму такие, что при чётном и при нечётном для .

Здесь  — числа Ходжа, размерности пространств классов когомологий де Рама, представимых формами ходжева типа .

История

Ранняя версия теоремы о разложении, в которой не проводилось различение между многообразиями Калаби — Яу и голоморфно симплектическими многообразиями и утверждалось лишь существование конечного накрытия, расщепляющегося в произведение комплексного тора и односвязных многообразий с тривиальными каноническими расслоениями, была доказана Калаби в предположении гипотезы его имени в 1957 году.[1] Гипотеза Калаби была доказана Яу в 1977—1978 годах.

Оригинальное доказательство Богомолова, изложенное в серии статей 1973 и 1974 года,[2][3][4] не использовало теоремы Калаби — Яу. Оно однако опирается на следующее сложное утверждение:

Лемма. Пусть  — односвязное компактное кэлерово многообразие с тривиальным каноническим расслоением, и  — подпучок ранга , старшая внешняя степень которого также является тривиальным расслоением. Тогда существует разложение , причём .

Без предположения о тривиальности старшей внешней степени рассматриваемого подпучка это чрезвычайно трудный вопрос, до сих пор до конца не решённый. Как именно это предположение помогает доказательству, до конца не ясно (хотя с ним утверждение становится верным, хотя бы потому что само следует из теоремы Богомолова).

После решения Яу гипотезы Калаби полностью строгое доказательство теоремы Богомолова стало широко известным среди специалистов. Формально оно было опубликовано в статье Бовиля 1983 года Variétés Kähleriennes dont la première classe de Chern est nulle,[5] в связи с чем теорема иногда называется «теоремой Бовиля — Богомолова» или «Бовиля — Богомолова — Калаби». Кроме того, Бовиль исправил существенную ошибку Богомолова: в статье 1978 года Гамильтоновы кэлеровы многообразия[6] Богомолов представил существенное усиление теоремы о разложении, согласно которому всякое неприводимое голоморфно симплектическое многообразие (как они называются у Богомолова, примитивное гамильтоново многообразие) есть K3-поверхность. Бовиль заметил, что контрпримером к этому утверждению может служить схема Гильберта нульмерных подсхем на K3-поверхности. Из этого наблюдения вырос обширный раздел комплексной геометрии, называемый голоморфно симплектической, или же гиперкэлеровой, геометрией.

В то же время, решение Яу гипотезы Калаби использует трудные техники теории уравнений в частных производных, в то время как доказательство Богомолова намного более геометрично по своей сути.

Набросок доказательства

Согласно решённой Яу гипотезе Калаби, компактное кэлерово многообразие, вещественный класс Черна канонического расслоения которого нулевой, допускает риччи-плоскую кэлерову метрику. Её голономия лежит в специальной унитарной группе ; по теореме де Рама о разложении универсальное накрытие этого многообразия распадается в произведение , где  — односвязные компактные кэлеровы многообразия с неприводимой группой голономии, лежащей в . В частности, эти многообразия сами риччи-плоские; из теоремы Чигера — Громолла следует, что они компактны, и поскольку у симметрического кэлерова многообразия кривизна Риччи строго положительна, эти многообразия не являются локально симметрическими, так что их группа голономии — одна из групп в таблице Берже. Из этих групп в могут содержаться только группы и (группе унитарных преобразований кватернионного пространства, или, что то же самое, группа эрмитовых преобразований, сохраняющих невырожденную комплексную кососимметрическую 2-форму); они соответствуют строгим многообразиям Калаби — Яу и неприводимым голоморфно симплектическим многообразиям: в самом деле, согласно принципу Бохнера на кэлеровых многообразиях с нулевой кривизной Риччи голоморфные тензоры параллельны, так что сечения из , голоморфные -формы, параллельны и даются инвариантными векторами в -той внешней степени представления группы голономии на кокасательном пространстве, в данном случае котавтологического представления группы или . В первом случае инвариантный вектор существует только при , когда внешняя степень тривиальна, и , когда инвариантный вектор даётся комплексной формой объёма. Во втором всякий инвариантный вектор пропорционален , где  — комплексная 2-форма, сохраняемая группой .

Осталось доказать существование конечного накрытия, после которого отщепляются эти компактные односвязные факторы. Обозначим их произведение за , значит, фундаментальная группа действует на . Заметим, что группа автоморфизмов дискретна: иначе бы имелось действие на голоморфного векторного поля, которое в силу вышеупомянутого принципа Бохнера должно быть параллельным. Тем самым, в тавтологическом представлении групп или имелся бы инвариантный вектор, что абсурдно. Из единственности разложения де Рама следует, что действие фундаментальной группы на универсальном накрытии сохраняет его разложение , иными словами всякому элементу соответствуют преобразования и . Пусть есть ядро отображения ; оно свободно действует на , сохраняя эрмитову метрику, а фактор по этому действию компактен. По теореме Бибербаха о кристаллографических группах, её подгруппа , состоящая из параллельных переносов, имеет в конечный индекс. Стало быть есть компактный фактор аффинного пространства по группе, состоящей из параллельных переносов, то есть комплексный тор ; произведение конечнолистно накрывает , что и требовалось.

Следствия и обобщения

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

Кампана, Дюмаи и Петернел исследовали обобщение теоремы Богомолова о разложении для случая многообразий с эрмитово полуположительным антиканоническим расслоением (то есть допускающим гладкую эрмитову связность, кривизна которой есть полуположительная форма). К блокам из теоремы Богомолова в их теореме добавятся некоторые классы рационально связных многообразий.[7]

Существуют также частичные обобщения теоремы Богомолова для особых многообразий, например с klt-особенностями.[8] Имея своим ядром исследования многообразий с алгебраическими слоениями, они показывают важность геометрических идей, лежащих в основании доказательства Богомолова.

Примечания

  1. E. Calabi. On Kähler manifolds with vanishing canonical class, Algebraic geometry and topology. A symposium in honor of S. Lefschetz, pp. 78–89. Princeton University Press, Princeton, N. J., 1957.
  2. Ф. А. Богомолов. О многообразиях с тривиальным каноническим классом, УМН, 1973, том 28, выпуск 6(174), страницы 193–194
  3. Ф. А. Богомолов. Кэлеровы многообразия с тривиальным каноническим классом, Изв. АН СССР. Сер. матем., 1974, том 38, выпуск 1, страницы 11–21
  4. Ф. А. Богомолов. О разложении кэлеровых многообразий с тривиальным каноническим классом, Матем. сб., 1974, том 93(135), номер 4, страницы 573—575
  5. A. Beauville. Variétés Kähleriennes dont la première classe de Chern est nulle, J. Differential Geom., Volume 18, Number 4 (1983), 755—782.
  6. Ф. А. Богомолов. Гамильтоновы кэлеровы многообразия, Докл. АН СССР, 1978, том 243, номер 5, страницы 1101–1104
  7. F. Campana, J.-P. Demailly, Th. Peternell. Rationally connected manifolds and semipositivity of the Ricci curvature, 2012
  8. F. Campana. The Bogomolov-Beauville-Yau Decomposition for Klt Projective Varieties with Trivial First Chern Class -Without Tears-, 2020
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.