Неравенство Богомолова – Мияока – Яу. - Bogomolov–Miyaoka–Yau inequality

В математике Неравенство Богомолова – Мияока – Яу. это неравенство

между Числа Черна из компактный сложные поверхности из общий тип. Его главный интерес заключается в том, как он ограничивает возможные топологические типы лежащего в основе вещественного 4-многообразия. Это было независимо доказано Шинг-Тунг Яу  (1977, 1978 ) и Йоичи Мияока  (1977 ), после Антониуса Ван де Вен (1966 ) и Федор Богомолов  (1978 ) оказались более слабыми версиями с заменой константы 3 на 8 и 4.

Арман Борель и Фридрих Хирцебрух показал, что неравенство является наилучшим, найдя бесконечно много случаев, в которых выполняется равенство. Неравенство ложно в положительной характеристике: Уильям Э. Лэнг (1983 ) и Роберт В. Истон (2008 ) привел примеры поверхностей в характеристике п, Такие как обобщенные поверхности Рейно, для которого это не удается.

Формулировка неравенства

Традиционная формулировка неравенства Богомолова – Мияока – Яу выглядит следующим образом. Позволять Икс быть компактной сложной поверхностью общий тип, и разреши c1c1(Икс) и c2c2(Икс) быть первым и вторым Черн класс комплексного касательного расслоения поверхности. потом

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

С топологический Эйлерова характеристика и по Теорема Тома – Хирцебруха о сигнатуре куда подпись форма пересечения на вторых когомологиях неравенство Богомолова – Мияока – Яу также можно записать как ограничение на топологический тип поверхности общего типа:

кроме того, если тогда универсальное покрытие - шар.

Вместе с Неравенство Нётер Неравенство Богомолова – Мияока – Яу устанавливает границы при поиске сложных поверхностей. Отображение топологических типов, которые реализуются как сложные поверхности, называется география поверхностей. видеть поверхности общего типа.

Поверхности с c12 = 3c2

Если Икс поверхность общего типа с , так что равенство выполнено в неравенстве Богомолова – Мияока – Яу, то Яу (1977) доказал, что Икс изоморфна частному единичного шара в бесконечной дискретной группой. Примеры поверхностей, удовлетворяющих этому равенству, найти сложно. Борель (1963) показал, что существует бесконечно много значений c2
1
= 3c2 для которого существует поверхность. Дэвид Мамфорд  (1979 ) найти поддельная проективная плоскость с c2
1
= 3c2 = 9, что является минимально возможным значением, поскольку c2
1
+ c2 всегда делится на 12, а Прасад и Юнг (2007), Прасад и Юнг (2010), Дональд И. Картрайт и Тим Стегер (2010 ) показал, что существует ровно 50 ложных проективных плоскостей.

Бартель, Хирцебрух и Хёфер (1987) дал метод поиска примеров, которые, в частности, дали поверхность Икс с c2
1
= 3c2 = 3254. Исида (1988) нашел частное этой поверхности с c2
1
= 3c2 = 45, а неразветвленные накрытия этого фактора дают примеры с c2
1
= 3c2 = 45k для любого положительного целого числа k.Дональд И. Картрайт и Тим Стегер (2010 ) нашел примеры с c2
1
= 3c2 = 9п для каждого положительного целого числа п.

Рекомендации