Interested Article - Гипотеза Ходжа

Задачи тысячелетия

Гипотеза Ходжа сформулирована в 1941 году Вильямом Ходжем и состоит в том, что для типов пространств, называемых проективными алгебраическими многообразиями , так называемые циклы Ходжа являются комбинациями объектов, имеющих геометрическую интерпретацию, — .

В XX веке математики изобрели мощные методы исследования формы сложных объектов. Основная идея состоит в том, чтобы выяснить, до какой степени мы можем аппроксимировать форму данного объекта, склеивая вместе простые тела возрастающей размерности . Этот метод оказался эффективным при описании разнообразных объектов, встречающихся в математике. При этом были не ясны геометрические обоснования метода: в некоторых случаях было необходимо прибавлять части, которые не имели никакого геометрического истолкования.

Гипотезу Ходжа удалось доказать для некоторых частных случаев. Более общее доказательство пока не найдено, не найдено и доказательство обратного.

Мотивация

Пусть X - компактное комплексное многообразие комплексной размерности n . Тогда X - ориентируемое гладкое многообразие действительной размерности , так что его группы когомологии лежат в степенях от нуля до . Допустим, что X - это кэлерово многообразие , то есть существует декомпозиция на его когомологии с комлексными коэффициентами

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

(См. теорию Ходжа для подробностей.)

Взятие внешних произведений этих гармонических произведений соответствует в когомологии. Таким образом, U-произведение с комплексными коэффициентами совместимо с декомпозицией Ходжа:

Поскольку X - компактное ориентированное многообразие, X имеет фундаментальный класс , и, таким образом, по X можно интегрировать.

Пусть теперь Z будет комплексным подмногообразием X размерности k , а - . Выберем дифференциальную форму типа . Мы можем проинтегрировать по Z , используя функцию-кодифференциал ,

.

Чтобы вычислить этот интеграл, выберем точку в Z и назовем её . Включение Z в X означает, что мы можем выбрать локальные координаты на X так, что Z будет подмножеством . Если , то должно содержать некоторое где отбрасывается назад на ноль в Z . То же самое верно по отношению к , если . Таким образом, этот интеграл равен нулю, если .

С другой стороны, интеграл может быть записан как класса когомологий Z и класса когомологий, представленного в виде . По двойственности Пуанкаре, класс гомологий Z двойственен классу когомологий, который мы назовем [ Z ], и произведение-пересечение может быть вычислено взятием U-произведения от [ Z ] и α и пересечением с фундаментальным классом X .

Поскольку [ Z ] - класс когомологий, он имеет декомпозицию Ходжа. По вычислению выше, если мы возьмем U-произведение этого класса с любым классом типа , то мы получим нуль. Поскольку , мы приходим к выводу, что [ Z ] обязано лежать в .

Теперь, гипотеза Ходжа (упрощенно) спрашивает:

Какие классы когомологий происходят из комплексных подмногообразий Z ?

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

Пусть

Назовем это группой классов Ходжа степени 2 k на X .

Современная формулировка гипотезы Ходжа такова:

Гипотеза Ходжа. Пусть — невырожденное проективное комплексное многообразие. Тогда каждый класс Ходжа на является линейной комбинацией классов когомологий комплексных подмногообразий с рациональными коэффициентами.

Проективное комплексное многообразие - комплексное многообразие, которое может быть вложено в . Поскольку проективное пространство несёт в себе метрику Кэлера в виде метрики Фубини — Штуди , такое многообразие всегда кэлерово. По , проективное комплексное многообразие является также гладким проективным алгебраическим многообразием, т.е. это множество нулей набора однородных многочленов.

Переформулировка в терминах алгебраических циклов

Другой способ формулировки гипотезы Ходжа включает идею алгебраических циклов. на X - это формальная комбинация подмногообразий X ; т.е. это нечто в виде:

Коэффициенты в этой формуле обычно берутся целыми или рациональными. Определим класс когомологии алгебраического цикла как сумму классов когомологии его компонентов. Это пример отображения классов циклов когомологии де Рама, см. . Например, класс когомологии цикла, определенного выше, запишется как:

Такой класс когомологии называется "алгебраическим". С использованием этой нотации, гипотеза Ходжа может быть сформулирована следующим образом:

Пусть X - проективное комплексное многообразие. Тогда каждый класс Ходжа на X является алгебраическим.

Допущение в гипотезе Ходжа, что X является алгебраическим (проективное комплексное многообразие) не может быть ослаблено. В 1977 году показал, что возможно построить контрпример к гипотезе Ходжа в виде комплексных торов с аналитической рациональной когомологией типа , которая не является проективной алгебраической. (см. приложение B в )

Известные случаи гипотезы Ходжа

Малые размерности и коразмерности

Первые результаты по гипотезе Ходжа появились в работе . На самом деле, эта работа предшествовала самой гипотезе и в некоторой степени вдохновила Ходжа.

Теорема ( ). Любой элемент является классом когомологии дивизора на . В частности, гипотеза Ходжа верна для .

Крайне быстрое доказательство может быть проведено, используя когомологию пучков и экспоненциальную точную последовательность . (Класс когомологии дивизора оказывается равным его первому классу Черна .) Изначально Лефшец доказывал эту теорему через , которые были введены Анри Пуанкаре . Однако, показывает, что этот подход не может доказать гипотезу Ходжа для подмногообразий более высокой коразмерности.

По , можно доказать следующее:

Теорема. Если гипотеза Ходжа выполняется для классов Ходжа степени для всех , то она выполняется и для классов Ходжа степени .

Из комбинации двух теорем выше следует, что гипотеза Ходжа верна для классов Ходжа степени , что доказывает ее для случаев, когда имеет размерность не более трех.

Из теоремы Лефшеца на (1,1)-классах также вытекает, что если все классы Ходжа порождены классами Ходжа дивизоров, то гипотеза Ходжа верна:

Следствие. Если алгебра порождена , то гипотеза Ходжа выполняется для .

Гиперповерхности

По сильной и слабой теоремам Лефшеца , единственной нетривиальной частью гипотезы Ходжа для гиперповерхностей является часть для степени m (т.е., средняя когомология) 2 m -мерной гиперповерхности . Если степень d равна 2, т.е., X является квадрикой , гипотеза Ходжа выполняется для всех m . Для , т.е., , известно, что гипотеза Ходжа верна для всех .

Абелевы многообразия

Для многих абелевых многообразий , алгебра Hdg*( X ) порождена в степени 1. Таким образом, гипотеза Ходжа для них верна. В частности, гипотеза Ходжа выполняется для достаточно общих абелевых многообразий, для произведений эллиптических кривых и для простых абелевых многообразий размерности, равной простому числу. Однако, построил пример абелева многообразия, на котором Hdg 2 ( X ) не порождена произведениями классов дивизоров. обобщил этот пример, показав, что если на многообразии задано в мнимом квадратичном поле , то Hdg 2 ( X ) не порождена произведениями классов дивизоров. доказали, что на размерности меньше, чем 5, выполняется одно из двух: либо Hdg*( X ) порождена в степени 1, или на многообразии задано комплексное умножение в мнимом квадратичном поле. В последнем случае известно, что гипотеза Ходжа выполняется только для особых случаев.

Обобщения

Целочисленная гипотеза Ходжа

Оригинальной гипотезой Ходжа было следующее утверждение:

Целочисленная гипотеза Ходжа. Пусть X - проективное комплексное многообразие. Тогда каждый класс когомологии является классом когомологии алгебраического цикла с целочисленными коэффициентами на X .

Сейчас известно, что это неверно. Первый контрпример был построен в работе . Используя K-теорию , они построили пример класса когомологии кручения — т.е. класс когомологии α такой, что = 0 для некоторого положительного целого n —который не является классом алгебраических циклов. Такой класс необходимо является классом Ходжа. интерпретировал этот результат в рамках кобордизма и нашел много примеров таких классов.

Простейшее исправление этого утверждения таково:

Целочисленная гипотеза Ходжа по модулю кручения. Пусть X является проективным комплексным многообразием. Тогда каждый класс когомологии в является суммой класса кручения и класса когомологии алгебраического цикла с целыми коэффициентами на X .

Эквивалентно, после деления на классы кручения каждый класс является образом класса когомологии целочисленного алгебраического класса. Это утверждение также неверно. нашел пример класса Ходжа α , который не является алгебраическим, но, будучи умноженным на некоторое целое число, может быть приведен к алгебраическому.

показали, что, чтобы получить корректную целочисленную гипотезу Ходжа, нужно заменить группы Чоу, которые могут быть также выражены как группы , на их вариант, который называется этальной мотивной когомологией (или мотивной когомологией Лихтенбаума ). Они показали, что исходная рациональная гипотеза Ходжа эквивалентна целочисленной гипотезе Ходжа для этой модифицированной мотивной когомологии.

Гипотеза Ходжа для кэлеровых многообразий

Естественное обобщение гипотезы Ходжа спрашивает:

Гипотеза Ходжа для кэлеровых многообразий, наивная (простая) версия. Пусть X является комплексным кэлеровым многообразием. Тогда каждый класс Ходжа на X является линейной комбинацией классов когомологии комплексных подмногообразий X с рациональными коэффициентами.

Это слишком оптимистично, поскольку существует недостаточно подмногообразий, чтобы это работало. Возможной заменой была бы одна из двух следующих гипотез:

Гипотеза Ходжа для кэлеровых многообразий, версия с векторными расслоениями. Пусть X является комплексным кэлеровым многообразием. Тогда каждый класс Ходжа на X является линейной комбинацией классов Черна векторных расслоений на X с рациональными коэффициентами.
Гипотеза Ходжа для кэлеровых многообразий, версия с когерентными пучками. Пусть X является комплексным кэлеровым многообразием. Тогда каждый класс Ходжа на X является линейной комбинацией классов Черна когерентных пучков на X с рациональными коэффициентами.

доказала, что классы Черна когерентных пучков дают строго больше классов Ходжа, чем классы Черна векторных расслоений и что классов Черна когерентных пучков недостаточно для порождения всех классов Ходжа. Таким образом, все известные формулировки обобщения гипотезы Ходжа на кэлеровы многообразия ложны.

Обобщенная гипотеза Ходжа

Ходж также выдвинул дополнительную, более сильную гипотезу, чем целочисленная гипотеза Ходжа. Определим, что класс когомологии на X лежит на коуровне c (coniveau c), если он является результатом взятия дифференциала класса когомологии на c -комерном подмногообразии X . Классы когомологии коуровня как минимум c фильтруют когомологию X , и легко видеть, что c -ый шаг фильтрации N c H k ( X , Z ) удовлетворяет

Изначальным утверждением Ходжа было следующее:

Обобщенная гипотеза Ходжа, версия Ходжа.

показал, что это не может быть верным даже с рациональными коэффициентами, поскольку выражение в правой части не всегда является структурой Ходжа. Его исправленная версия этой гипотезы выглядит следующим образом:

Обобщенная гипотеза Ходжа. N c H k ( X , Q ) является наибольшей подструктурой Ходжа H k ( X , Z ), которая содержится в

Эта версия обобщенной гипотезы Ходжа открыта.

Алгебраичность локусов Ходжа

Сильнейшим свидетельством в поддержку гипотезы Ходжа является алгебраический результат . Допустим, что мы изменяем комплексную структуру X над просто связным основанием. Тогда топологическая когомология X не меняется, но декомпозиция Ходжа меняется. Известно, что если гипотеза Ходжа верна, то локус всех точек на основании, где когомология волокон является классом Ходжа, на самом деле является алгебраическим подмножеством, то есть, граница его выражается полиномиальным уравнением. Каттани, Делинь & Каплан (1995) доказали, что это верно в любом случае без привлечения гипотезы Ходжа.

См. также

Примечания

  1. от 14 апреля 2015 на Wayback Machine на сайте института Клэя
  2. , с. 367.
  3. James Lewis: A Survey of the Hodge Conjecture , 1991, Example 7.21
  4. (1958). . Proceedings of the American Mathematical Society . 9 (1): 88—98. doi : . JSTOR .
  5. . ResearchGate . Дата обращения: 23 октября 2015.
  6. Tankeev, Sergei G (1988-01-01). "Cycles on simple abelian varieties of prime dimension over number fields". Mathematics of the USSR-Izvestiya . 31 (3): 527—540. Bibcode : . doi : .

Ссылки

Литература

Источник —

Same as Гипотеза Ходжа