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

Эта статья находится на начальном уровне проработки, в одной из её версий выборочно используется текст из источника, распространяемого под свободной лицензией
Материал из энциклопедии Руниверсалис
В Руниверсалис есть статьи о других людях с такой фамилией, см. Богомолов.
Фёдор Богомолов
Fedor Bogomolov.jpg
Дата рождения 26 сентября 1946(1946-09-26) (77 лет)
Место рождения Москва, РСФСР, СССР
Научная сфера математика
Альма-матер МГУ (мехмат)
Учёная степень доктор физико-математических наук
Учёное звание профессор
Научный руководитель С. П. Новиков

Фёдор Алексеевич Богомолов (род. 26 сентября 1946, Москва) — советский и американский математик, известный своими работами по алгебраической геометрии и теории чисел.

Профессор Института Куранта Нью-Йоркского университета, доктор физико-математических наук. Член НАН США (2022)[1].

Биография

Родился 26 сентября 1946 года в Москве. Сын радиотехника академика Алексея Фёдоровича Богомолова и брат известного русского писателя Андрея Алексеевича Молчанова.

В 1970 году окончил механико-математический факультет Московского государственного университета имени М. В. Ломоносова.

С 1970 года по 1973 год — аспирант Математического института им. В. А. Стеклова (научный руководитель — С. П. Новиков), в 1974 году защитил кандидатскую диссертацию. С 1973 — научный сотрудник Математического института им. В. А. Стеклова. Доктор физико-математических наук (1983).

В 1994 году эмигрировал в США, где стал профессором Математического института Куранта в Нью-Йорке.

С ноября 2010 года — научный руководитель Лаборатории алгебраической геометрии и её приложений факультета математики?! Высшей школы экономики в Москве[2].

Ф. А. Богомолов — приглашенный докладчик на многих международных научных конференциях. С 2009 года по 2014 год — главный редактор «Central European Journal of Mathematics» (Open Math.), был членом редколлегии журнала «Geometric and Functional Analysis».

Член Попечительского совета Institute for Geometry and Physics Miami-Cinvestav-Campinas, Collaboration in the Americas in Geometry and Physics[3].

Научные достижения

Первая статья, опубликованная в 1969 году, была посвящена топологии. В начале 70-х годов Богомолов начинает исследования в области алгебраической геометрии.

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

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

Работы, лежащие в основании гиперкэлеровой геометрии

В 1973 и 1974 годах Богомолов опубликовал серию статей[4][5][6], в которых дал геометрическое доказательство теоремы о разложении компактных кэлеровых многообразий с тривиальным каноническим расслоением, усовершенствовав результат Калаби, доказанный только в предположении гипотезы его имени. Доказательство оказалось неполным, и после решения Яу гипотезы Калаби теорема Богомолова о разложении была передоказана в духе Калаби (доказательство опубликовано Бовилем). Вместе с тем, геометрические идеи Богомолова, связанные с теорией алгебраических слоений, оказались плодотворными при дальнейших исследованиях в этом направлении.

В отличие от результата Калаби, в теореме Богомолова о разложении имеются не два, а три класса «элементарных» многообразий с тривиальным каноническим классом: устойчиво алгебраические (в современной терминологии — строгие многообразия Калаби — Яу) и примитивно гамильтоновы (в современной терминологии — неприводимо голоморфно симплектические многообразия, или гиперкэлеровы многообразия). В 1978 году Богомолов опубликовал статью Гамильтоновы кэлеровы многообразия, содержавшую доказательство гипотезы А. Н. Тюрина, согласно которой всякое неприводимо голоморфно симплектическое многообразие является K3-поверхностью.[7] Этот результат оказался ошибочным: через четыре года Фуджики и Бовиль показали, что схема Гильберта точек на K3-поверхности и обобщённое куммерово многообразие абелевой поверхности являются неприводимо гомолорфно симплектическими.

Вместе с тем, в этой статье в качестве леммы доказана теорема Богомолова — Тиана — Тодорова для голоморфно симплектических многообразий, утверждающая, что всякая деформация первого порядка у гиперкэлерова многообразия продолжается до аналитической деформации. Там же Богомолов заметил, что эта теорема может быть доказана и для многообразий Калаби — Яу, что было сделано им в IHES-овском препринте 1981 года. Ныне эта теорема лежит в основании физической теории зеркальной симметрии. В той же статье Гамильтоновы кэлеровы многообразия показано существование квадратичной формы на вторых когомологиях всякого гиперкэлерова многообразия, в случае K3-поверхности совпадающей с формой пересечения. Ныне она носит название формы Бовиля — Богомолова, и является отправной точкой для исследования алгебр когомологий компактных гиперкэлеровых многообразий, предпринятого Вербицким и увенчавшегося доказательством глобальной теоремы Торелли для гиперкэлеровых многообразий.

В 1996 году Богомолов описал построенные Гуаном примеры некэлеровых голоморфно симплектических многообразий как схемы Гильберта точек на поверхности Кодайры — Тёрстона.[8] Эти многообразия впоследствии получили название многообразий Богомолова — Гуана, они во многом схожи с гиперкэлеровыми многообразиями — в частности, допускают вариант формы Бовиля — Богомолова.

Работы Богомолова о голоморфно симплектических многообразиях, написанные во второй половине 2010-х годов, касаются в основном автоморфизмов гиперкэлеровых многообразий,[9][10][11] и написаны в соавторстве с различными математиками (в том числе Вербицким и Каменовой). Отдельно стоит отметить статью Lagrangian fibrations for IHS fourfolds, написанную в сотрудничестве с Курносовым, в которой была решена гипотеза Мацушиты для четырёхмерных гиперкэлеровых многообразий, утверждающая отсутствие кратных слоёв у лагранжевых расслоений на них (откуда следует, что база такого расслоения есть [math]\displaystyle{ \Complex\mathrm{P}^2 }[/math]).[12] Примерно в то же время эти результаты получили Хёйбрехтс и Сюй.[13]

Слоения и голоморфные симметрические тензоры

В статье 1977 года Семейства кривых на поверхности общего типа[14] Богомолов доказал, что на всякой поверхности общего типа с [math]\displaystyle{ c_1^2 \gt c_2 }[/math] имеется лишь конечное число кривых ограниченного рода. Идеи этого доказательства, опирающиеся на рассмотрение голоморфных тензоров и слоений на таких поверхностях, были использованы более чем через 20 лет Макквилланом[15] для доказательства гипотезы Грина — Гриффитса для таких поверхностей.

В более поздних работах, совместных с де Оливейрой, Богомолов вновь вернулся к изучению голоморфных симметрических тензоров на проективных многообразиях.[16][17][18]

Поверхности класса VII₀

В статье 1976 года Классификация поверхностей класса [math]\displaystyle{ \mathrm{VII}_0 }[/math] с [math]\displaystyle{ b_2=0 }[/math][19] Богомолов исследовал поверхности так называемого класса VII, некэлеровых поверхностей из классификации Кодайры — Энриквеса, классификация которых остаётся до сих пор незавершённой. Он доказал, что при условии [math]\displaystyle{ b_2=0 }[/math] некоторое конечное накрытие такой поверхности допускает голоморфное слоение, а потому является либо поверхностью Хопфа, либо поверхностью Инуэ. За вычетом теоремы Богомолова, единственный классификационный результат для поверхностей класса VII имеется для случая [math]\displaystyle{ b_2 = 1 }[/math], получен он в 2005 году Телеманом.[20]

В 2017 году в совместной работе с Буонербой и Курносовым Богомолов существенно упростил доказательство своего результата, опираясь на теорию групп.[21]

Стабильные векторные расслоения

Богомолов был в числе первых геометров, распространивших науку о стабильных векторных расслоениях на римановых поверхностях (то есть алгебраических кривых) на алгебраические многообразия большей размерности. На них понятие стабильности может быть определено по-разному; нестабильность по Богомолову для расслоения ранга два [math]\displaystyle{ E }[/math] на алгебраической поверхности [math]\displaystyle{ X }[/math] сводится к существованию конечного подмножества (быть может, пустого) [math]\displaystyle{ Z \subset X }[/math] и линейных расслоений [math]\displaystyle{ A, B }[/math] таких, что имеется точная тройка пучков [math]\displaystyle{ 0 \to A \to E \to B\otimes I_Z \to 0 }[/math], и имеют место неравенства [math]\displaystyle{ (A-B)^2\gt 0 }[/math] и [math]\displaystyle{ (A-B).H \gt 0 }[/math] для всякого обильного дивизора [math]\displaystyle{ H }[/math] (аналогичное определение может быть введено и в случае расслоений большего ранга). Теорема Богомолова о нестабильности[22] утверждает, что если имеет место неравенство на числа Черна [math]\displaystyle{ c_1(E)^2 \gt 4c_2(E) }[/math], то расслоение [math]\displaystyle{ E }[/math] нестабильно. В статье 1978 года Голоморфные тензоры и векторные расслоения на проективных многообразиях[23] Богомолов вывел из этих соображений то, что ныне известно как неравенство Богомолова — Мияоки — Яу (с константой 4 вместо 3).

В этой статье также доказана следующая

Теорема. Пусть [math]\displaystyle{ X }[/math] — проективное многообразие, и [math]\displaystyle{ L \subset \Omega^p }[/math] — когерентный подпучок ранга один. Тогда размерность Иитаки  (англ.) (рус. [math]\displaystyle{ \kappa(X,L) }[/math] этого подпучка не превосходит [math]\displaystyle{ p }[/math]. Более того, в случае равенства [math]\displaystyle{ \kappa(X,L) = p }[/math] существует расслоение над [math]\displaystyle{ p }[/math]-мерной базой [math]\displaystyle{ f \colon X \to Y }[/math] такое, что [math]\displaystyle{ L = f^*(K_Y) }[/math].

Это обобщение классической теоремы Кастельнуово — де Франкиса, утверждающей, что если две голоморфные 1-формы на проективной поверхности умножаются нулём, то эта поверхность может быть отображена на кривую таким образом, что эти две формы будут подъёмами абелевых дифференциалов на этой кривой. Кампана ввёл на основании этой теоремы Богомолова понятие богомоловского подпучка, насыщенного когерентного подпучка ранга один в пучке [math]\displaystyle{ \Omega^p }[/math] голоморфных [math]\displaystyle{ p }[/math]-форм на проективном многообразии, размерность Иитаки которого равняется [math]\displaystyle{ p \gt 0 }[/math]. Многообразия, не допускающие богомоловских подпучков, называются специальными по Кампане. Они служат базовым строительным блоком в ещё не вполне завершённом проекте Кампаны по представлению всякого алгебраического многообразия как расслоения со слоями, специальными по Кампане, над орбиобразием общего типа. Предполагается, что свойство отсутствия богомоловских подпучков эквивалентно широкому спектру свойств, как геометрических (зануление псевдометрики Кобаяши), так и теоретико-числовых (для многообразий, определённых над подполем [math]\displaystyle{ k \subset \Complex }[/math] — плотность по Зариски точек, определённых над некоторым фиксированным конечным расширением [math]\displaystyle{ k' \supset k }[/math]; эквивалентность потенциальной плотности занулению псевдометрики Кобаяши — вариант хорошо известной в арифметической геометрии гипотезы Ленга).[24]

Теория инвариантов и вопросы рациональности

Одной из отправных точек исследований Богомолова в вопросах рациональности алгебраических многообразий является

Задача Нётер. Пусть [math]\displaystyle{ V }[/math] — комплексное векторное пространство, и [math]\displaystyle{ G }[/math] — действующая на нём конечная группа. Верно ли, что фактор [math]\displaystyle{ V/G }[/math] есть рациональное многообразие?

Например, для [math]\displaystyle{ V = \Complex^n }[/math] и [math]\displaystyle{ G = \mathrm{Sym}(n) }[/math], симметрической группы, действующей на нём перестановкой координатных осей, рациональность такого фактора является хорошо известной основной теоремой теории симметрических многочленов. Примеры, в котором такой фактор не является рациональным, были обнаружены в 1969 году Сваном и в 1984 году Зальтманом. Доказательство последнего опиралось на анализ группы Брауэра такого фактора. В статье 1987 года Группа Брауэра факторпространств линейных представлений[25] Богомолов доказал, что эта группа Брауэра может быть выражена исключительно в терминах алгебры: именно, она совпадает с подргуппой [math]\displaystyle{ B_0 \subset H^2(G, \Q/\Z) }[/math] во вторых когомологиях группы [math]\displaystyle{ G }[/math], состоящей из элементов, ограничивающихся нулём на все абелевы подгруппы в группе [math]\displaystyle{ G }[/math]. Аналогичный результат Богомолов получил для точных представлений комплексных алгебраических групп (рациональность некоторых таких факторов доказана в его более ранней статье 1985 года, написанной в соавторстве с Кацыло[26]).

Богомолов также изучал абелевы подгруппы абсолютных групп Галуа полей мероморфных функций на произвольных алгебраических многообразиях, в частности, доказал, что абелева подгруппа ранга более одного содержится в некоторой подгруппе ветвления (то есть существует нормирование [math]\displaystyle{ \nu }[/math] такое, что подгруппа содержится в подгруппе Галуа [math]\displaystyle{ \mathrm{Gal}(K_\nu) \subset \mathrm{Gal}(K) }[/math], группе Галуа пополнения поля в этом нормировании).[27] Эти результаты были впоследствии усилены им совместно с Чинкелем.[28][29] Также близкие результаты были получены этими двумя математиками для многообразий над конечными полями: поле рациональных функций на алгебраическом многообразии размерности более одного над конечным полем с точностью до чисто несепарабельного расширения восстанавливается по фактору по второму члену нижнего центрального ряда про-[math]\displaystyle{ \ell }[/math]-пополнения группы Галуа[30] (в нулевой характеристике они доказали теорему о восстановлении поля рациональных функций по его первой и второй K-группам Минлора).[31]

Гипотеза Шафаревича

С конца 1990-х годов Богомолов также занимался изучением фундаментальных групп кэлеровых многообразий. Особое место в этих исследованиях занимает гипотеза, сформулированная И. Р. Шафаревичем: универсальное накрытие компактного кэлерова многообразия голоморфно выпукло (отображается с компактными слоями на штейново многообразие). Считается, что эта гипотеза справедлива для комплексных проективных многообразий с остаточно конечными фундаментальными группами (то есть такими, в которых пересечение всех подгрупп конечного индекса есть тривиальная подгруппа). Богомолов в совместных работах с Кацарковым пытался построить поверхности с не остаточно конечными фундаментальными группами, получив их как расслоение над кривой со слоем кривая с подходящими монодромиями вокруг особых слоёв. Нарушение остаточной конечности для таких групп было бы аналогично отрицательному решению задачи Бернсайда, но для факторов группы классов отображений сферы с ручками вместо свободной группы.[32][33] Эти работы, однако, не дали результата из-за чрезвычайной сложности вопроса кэлеровых фундаментальных групп, к которому они сводятся, и точный статус которых не до конца ясен[34]

Рациональные точки и арифметическая геометрия

Богомолов выдвинул ряд гипотез о структуре точек кручения на эллиптических кривых и абелевых многообразиях. Наиболее просто формулируется следующая его

Гипотеза. Пусть [math]\displaystyle{ E }[/math], [math]\displaystyle{ E' }[/math] — две эллиптические кривые, и [math]\displaystyle{ E, E' \to \Complex\mathrm{P}^1 }[/math] — стандартные проекции, отождествляющие пары точек [math]\displaystyle{ x }[/math] и [math]\displaystyle{ -x }[/math]. Тогда проекции множеств точек кручения в [math]\displaystyle{ E }[/math] и [math]\displaystyle{ E' }[/math] либо совпадают, и [math]\displaystyle{ E \simeq E' }[/math], либо имеют не более чем [math]\displaystyle{ B }[/math] общих точек, где [math]\displaystyle{ B }[/math] — априорная константа.

Эта гипотеза доказана Лорой де Марко, Холли Кригер и Е Хэси.[35] Более известная гипотеза Богомолова также связана с гипотезой Манина — Мамфорда, и утверждает, что при всяком вложении кривой, определённой над числовым полем, в её якобиево многообразие, число точек достаточно малой высоты Нерона — Севери, лежащих на этой кривой, конечно (поскольку точки кручения это в точности точки нулевой высоты Нерона — Севери, отсюда следует гипотеза Манина — Мамфорда о конечности числа точек кручения на кривой, лежащей в своём якобиевом многообразии). Эта гипотеза доказана Юлльмо и Чжаном.

Арифметические результаты Богомолова, полученные в сотрудничестве с Чинкелем и другими соавторами, относятся к потенциальной плотности (то есть плотности после конечного расширения базового поля) рациональных точек на поверхностях Энрикеса[36] и эллиптических K3-поверхностях,[37] а также плотности рациональных кривых на K3-поверхностях.[38][39] Мотизуки считает доказательство Богомолова геометрической версии гипотезы Шпиро наиболее близким к своему доказательству арифметической версии этой гипотезы[40] (которое использует некий аппарат, не принятый однозначно математическим сообществом).

Примечания

  1. ↑ 2022 NAS Election. Дата обращения: 9 мая 2022. Архивировано 10 мая 2022 года.
  2. ↑ Сайт Лаборатории алгебраической геометрии и её приложений. Дата обращения: 2 июня 2012. Архивировано 17 июня 2012 года.
  3. ↑ Institute for Geometry and Physics Miami-Cinvestav-Campinas. Дата обращения: 2 июня 2012. Архивировано 5 марта 2016 года.
  4. ↑ Ф. А. Богомолов, “О многообразиях с тривиальным каноническим классом”, УМН, 28:6(174) (1973), 193–194
  5. ↑ Ф. А. Богомолов, “Кэлеровы многообразия с тривиальным каноническим классом”, Изв. АН СССР. Сер. матем., 38:1 (1974), 11–21
  6. ↑ Ф. А. Богомолов, “О разложении кэлеровых многообразий с тривиальным каноническим классом”, Матем. сб., 93(135):4 (1974), 573–575
  7. ↑ Ф. А. Богомолов, “Гамильтоновы кэлеровы многообразия”, Докл. АН СССР, 243:5 (1978), 1101–1104
  8. ↑ F. A. Bogomolov, “On Guan's examples of simply connected non-Kähler compact complex manifolds”, Amer. J. Math., 118:5 (1996), 1037–1046
  9. ↑ Fedor Bogomolov, Ljudmila Kamenova, Steven Lu, Misha Verbitsky. On the Kobayashi pseudometric, complex automorphisms and hyperkaehler manifolds, 2016
  10. ↑ Fedor Bogomolov, Ljudmila Kamenova, Misha Verbitsky. Algebraically hyperbolic manifolds have finite automorphism groups Архивная копия от 30 января 2022 на Wayback Machine, 2017
  11. ↑ Fedor Bogomolov, Nikon Kurnosov, Alexandra Kuznetsova, Egor Yasinsky. Geometry and automorphisms of non-Kähler holomorphic symplectic manifolds Архивная копия от 1 ноября 2020 на Wayback Machine, 2020
  12. ↑ Fedor Bogomolov, Nikon Kurnosov. Lagrangian fibrations for IHS fourfolds Архивная копия от 22 мая 2021 на Wayback Machine, 2018
  13. ↑ Daniel Huybrechts, Chenyang Xu. Lagrangian fibrations of hyperkähler fourfolds Архивная копия от 7 августа 2020 на Wayback Machine, 2019
  14. ↑ Ф. А. Богомолов, “Семейства кривых на поверхности общего типа”, Докл. АН СССР, 236:5 (1977), 1041–1044
  15. ↑ McQuillan, Michael (1998), Diophantine approximations and foliations, Publications Mathématiques de l'IHÉS Т. 87: 121–174, doi:10.1007/BF02698862, <http://www.numdam.org/item?id=PMIHES_1998__87__121_0>  Архивная копия от 22 июня 2020 на Wayback Machine
  16. ↑ Fedor Bogomolov, Bruno De Oliveira. Symmetric tensors and the geometry of subvarieties of [math]\displaystyle{ \mathbb{P}^N }[/math] Архивная копия от 2 февраля 2022 на Wayback Machine, 2006
  17. ↑ Fedor Bogomolov, Bruno De Oliveira. Closed symmetric 2-differentials of the 1st kind, 2013
  18. ↑ Fedor Bogomolov, Bruno De Oliveira.Local structure of closed symmetric 2-differentials, 2014
  19. ↑ Ф. А. Богомолов, “Классификация поверхностей класса [math]\displaystyle{ \mathrm{VII}_0 }[/math] с [math]\displaystyle{ b_2=0 }[/math]”, Изв. АН СССР. Сер. матем., 40:2 (1976), 273–288
  20. ↑ Andrei Teleman, Donaldson Theory on non-Kählerian surfaces and class VII surfaces with [math]\displaystyle{ b_2=1 }[/math], Inventiones Mathematicae 162, 493–521, 2005. MR: 2006i:32020
  21. ↑ Federico Buonerba, Fedor Bogomolov, Nikon Kurnosov. Classifying [math]\displaystyle{ \mathrm{VII}_0 }[/math] surfaces with [math]\displaystyle{ b_2=0 }[/math] via group theory Архивная копия от 21 января 2022 на Wayback Machine, 2017
  22. ↑ Notes from Math 252 -- Linear systems and positivity of vector bundles. Дата обращения: 27 августа 2020. Архивировано 13 ноября 2020 года.
  23. ↑ Ф. А. Богомолов, “Голоморфные тензоры и векторные расслоения на проективных многообразиях”, Изв. АН СССР. Сер. матем., 42:6 (1978), 1227–1287
  24. ↑ Frédéric Campana. Special Varieties and classification Theory Архивная копия от 11 мая 2017 на Wayback Machine, 2001
  25. ↑ Ф. А. Богомолов, “Группа Брауэра факторпространств линейных представлений”, Изв. АН СССР. Сер. матем., 51:3 (1987), 485–516
  26. ↑ Ф. А. Богомолов, П. И. Кацыло, “Рациональность некоторых фактор-многообразий”, Матем. сб., 126(168):4 (1985), 584–589
  27. ↑ Ф. А. Богомолов, “Абелевы подгруппы групп Галуа”, Изв. АН СССР. Сер. матем., 55:1 (1991), 32–67
  28. ↑ Fedor Bogomolov, Yuri Tschinkel. Commuting elements in Galois groups of function fields Архивная копия от 6 апреля 2022 на Wayback Machine, 2000
  29. ↑ Fedor Bogomolov, Yuri Tschinkel. Noether's problem and descent, 2017
  30. ↑ Fedor Bogomolov, Yuri Tschinkel, “Reconstruction of higher-dimensional function fields”, Mosc. Math. J., 11:2 (2011), 185–204
  31. ↑ Fedor Bogomolov, Yuri Tschinkel. Milnor K_2 and field homomorphisms, 2009
  32. ↑ Fedor Bogomolov, Ludmil Katzarkov. Complex projective surfaces and infinite groups, 1997
  33. ↑ Fedor Bogomolov, Ludmil Katzarkov. Symplectic Lefschetz fibrations with arbitrary fundamental groups Архивная копия от 7 мая 2021 на Wayback Machine, 1998
  34. ↑ Carlos Simpson. Тhe construction problem in Kähler geometry
  35. ↑ Laura DeMarco, Holly Krieger, Hexi Ye. Uniform Manin-Mumford for a family of genus 2 curves Архивная копия от 1 ноября 2020 на Wayback Machine, 2019
  36. ↑ Fedor Bogomolov, Yuri Tschinkel. Density of rational points on Enriques surfaces, 1998
  37. ↑ Fedor Bogomolov, Yuri Tschinkel. Density of rational points on elliptic K3 surfaces, 1999
  38. ↑ Fedor Bogomolov, Yuri Tschinkel. Rational curves and points on K3 surfaces, 2003
  39. ↑ Fedor Bogomolov, Brendan Hassett, Yuri Tschinkel. Constructing rational curves on K3 surfaces, 2009
  40. ↑ Shinichi Mochizuki. BOGOMOLOV’S PROOF OF THE GEOMETRIC VERSIONOF THE SZPIRO CONJECTURE FROM THE POINT OFVIEW OF INTER-UNIVERSAL TEICHM ̈ULLER THEORY Архивная копия от 8 февраля 2020 на Wayback Machine, 2016

Ссылки

Источник — https://xn--h1ajim.xn--p1ai/index.php?title=Богомолов,_Фёдор_Алексеевич&oldid=2896822