Русская Википедия:Гипотеза Ходжа

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

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

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

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

Мотивация

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

<math>H^n(X, \Complex) = \bigoplus_{p+q=n} H^{p,q}(X),</math>

где <math>H^{p,q}(X)</math> - подгруппа классов когомологии, которые представляются гармоническими формами типа <math>(p,q)</math>, то есть, дифференциальными формами, которые при некотором выборе локальных координат <math>z_1, \ldots, z_n</math> могут быть записаны как гармоническая функция, умноженная на

<math>dz_{i_1} \wedge \cdots \wedge dz_{i_p} \wedge d\bar z_{j_1} \wedge \cdots \wedge d\bar z_{j_q}.</math>

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

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

<math>\smile \colon H^{p,q}(X) \times H^{p',q'}(X) \rightarrow H^{p+p',q+q'}(X).</math>

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

Пусть теперь Z будет комплексным подмногообразием X размерности k, а <math>i\colon Z\to X</math> - отображение включения. Выберем дифференциальную форму <math>\alpha</math> типа <math>(p,q)</math>. Мы можем проинтегрировать <math>\alpha</math> по Z, используя функцию-кодифференциал <math>i^*</math>,

<math>\int_Z i^*\alpha</math>.

Чтобы вычислить этот интеграл, выберем точку в Z и назовем её <math>z=(z_1, \ldots, z_k)</math>. Включение Z в X означает, что мы можем выбрать локальные координаты <math>z_1, \ldots, z_k</math> на X так, что Z будет подмножеством <math>z_{k+1} = \cdots = z_n = 0</math>. Если <math>p>k</math>, то <math>\alpha</math> должно содержать некоторое <math>dz_i</math> где <math>z_i</math> отбрасывается назад на ноль в Z. То же самое верно по отношению к <math>d\bar z_j</math>, если <math>q > k</math>. Таким образом, этот интеграл равен нулю, если <math>(p,q) \ne (k,k)</math>.

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

Поскольку [Z] - класс когомологий, он имеет декомпозицию Ходжа. По вычислению выше, если мы возьмем U-произведение этого класса с любым классом типа <math>(p,q) \ne (k,k)</math>, то мы получим нуль. Поскольку <math>H^{2n}(X, \Complex) = H^{n,n}(X)</math>, мы приходим к выводу, что [Z] обязано лежать в <math>H^{n-k,n-k}(X)</math>.

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

Какие классы когомологий <math>H^{k,k}(X)</math> происходят из комплексных подмногообразий Z?

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

Пусть

<math>\operatorname{Hdg}^k(X) = H^{2k}(X, \Q) \cap H^{k,k}(X).</math>

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

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

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

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

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

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

<math>\sum_i c_iZ_i.</math>

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

<math>\sum_i c_i[Z_i].</math>

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

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

Допущение в гипотезе Ходжа, что X является алгебраическим (проективное комплексное многообразие) не может быть ослаблено. В 1977 году Стивен Цукер показал, что возможно построить контрпример к гипотезе Ходжа в виде комплексных торов с аналитической рациональной когомологией типа <math>(p,p)</math>, которая не является проективной алгебраической. (см. приложение B в Шаблон:Harvtxt)

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

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

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

Теорема (Теорема Лефшеца на (1,1)-классах). Любой элемент <math>H^2(X,\Z)\cap H^{1,1}(X)</math> является классом когомологии дивизора на <math>X</math>. В частности, гипотеза Ходжа верна для <math>H^2</math>.

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

По сложной теореме Лефшеца, можно доказать следующее:

Теорема. Если гипотеза Ходжа выполняется для классов Ходжа степени <math>p</math> для всех <math>p < n</math>, то она выполяется и для классов Ходжа степени <math>2n-p</math>.

Из комбинации двух теорем выше следует, что гипотеза Ходжа верна для классов Ходжа степени <math>2n-2</math>, что доказывает ее для случаев, когда <math>X</math> имеет размерность не более трех.

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

Следствие. Если алгебра <math>\operatorname{Hdg}^*(X) = \bigoplus\nolimits_k \operatorname{Hdg}^k(X)</math> порождена <math>\operatorname{Hdg}^1(X)</math>, то гипотеза Ходжа выполняется для <math>X</math>.

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

По сильной и слабой теоремам Лефшеца, единственной нетривиальной частью гипотезы Ходжа для гиперповерхностей является часть для степени m (т.е., средняя когомология) 2m-мерной гиперповерхности <math>X \subset \mathbf P^{2m+1}</math>. Если степень d равна 2, т.е., X является квадрикой, гипотеза Ходжа выполняется для всех m. Для <math>m = 2</math>, т.е., четверообразий, известно, что гипотеза Ходжа верна для всех <math>d \le 5</math>.[2]

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

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

Обобщения

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

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

Целочисленная гипотеза Ходжа. Пусть Шаблон:Mvar - проективное комплексное многообразие. Тогда каждый класс когомологии <math>H^{2k}(X, \Z) \cap H^{k,k}(X)</math> является классом когомологии алгебраического цикла с целочисленными коэффициентами на Шаблон:Mvar

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

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

Целочисленная гипотеза Ходжа по модулю кручения. Пусть Шаблон:Mvar является проективным комплексным многообразием. Тогда каждый класс когомологии в <math>H^{2k}(X, \Z) \cap H^{k,k}(X)</math> является суммой класса кручения и класса когомологии алгебраического цикла с целыми коэффициентами на Шаблон:Mvar

Эквивалентно, после деления <math>H^{2k}(X, \Z) \cap H^{k,k}(X)</math> на классы кручения каждый класс является образом класса когомологии целочисленного алгебраического класса. Это утверждение также неверно. Шаблон:Harvtxt нашел пример класса Ходжа Шаблон:Mvar, который не является алгебраическим, но, будучи умноженным на некоторое целое число, может быть приведен к алгебраическому.

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

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

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

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

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

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

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

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

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

<math>N^cH^k(X, \mathbf{Z}) \subseteq H^k(X, \mathbf{Z}) \cap (H^{k-c,c}(X) \oplus\cdots\oplus H^{c,k-c}(X)).</math>

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

Обобщенная гипотеза Ходжа, версия Ходжа. <math>N^cH^k(X, \mathbf{Z}) = H^k(X, \mathbf{Z}) \cap (H^{k-c,c}(X) \oplus\cdots\oplus H^{c,k-c}(X)).</math>

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

Обобщенная гипотеза Ходжа. NШаблон:SupHШаблон:Sup(X, Q) является наибольшей подструктурой Ходжа HШаблон:Sup(X, Z), которая содержится в <math>H^{k-c,c}(X) \oplus\cdots\oplus H^{c,k-c}(X).</math>

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

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

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

См. также

Примечания

Шаблон:Примечания

Ссылки

Литература

Партнерские ресурсы
Криптовалюты
Магазины
Хостинг
Разное

  1. ↑ Описание проблемы Шаблон:Wayback на сайте института Клэя
  2. ↑ James Lewis: A Survey of the Hodge Conjecture, 1991, Example 7.21
  3. ↑ Шаблон:Cite journal
  4. ↑ Шаблон:Cite web
  5. ↑ Шаблон:Cite journal
Источник — http://wikihandbk.com/ruwiki/index.php?title=Русская_Википедия:Гипотеза_Ходжа&oldid=9555238