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

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

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

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

МотивацияПравить

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

$H^n(X,\mathbb{C})=\underset{p+q=n}{⨁<!--\; ⨁\; -->}{H}^{p,q}(X),$$H^{n}(X,\mathbb {C} )=\bigoplus _{p+q=n}H^{p,q}(X),$ 

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

$d{z}_{i_1}\wedge <!--\; \wedge \; -->\cdots <!--\; \cdots \; -->\wedge <!--\; \wedge \; -->d{z}_{i_p}\wedge <!--\; \wedge \; -->d{\stackrel{¯<!--\; ¯\; -->}{z}}_{j_1}\wedge <!--\; \wedge \; -->\cdots <!--\; \cdots \; -->\wedge <!--\; \wedge \; -->d{\stackrel{¯<!--\; ¯\; -->}{z}}_{j_q}.$$dz_{i_{1}}\wedge \cdots \wedge dz_{i_{p}}\wedge d{\bar {z}}_{j_{1}}\wedge \cdots \wedge d{\bar {z}}_{j_{q}}.$ 

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

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

$⌣<!--\; ⌣\; -->:<!--\; :\; -->H^{p,q}(X)\times <!--\; \times \; -->H^{p^{\prime },q^{\prime }}(X)\to <!--\; \to \; -->H^{p+p^{\prime },q+q^{\prime }}(X).$$\smile \colon H^{p,q}(X)\times H^{p',q'}(X)\rightarrow H^{p+p',q+q'}(X).$ 

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

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

${\int <!--\; \int \; -->}_Z{i}^{\ast <!--\; \ast \; -->}\mathrm{\alpha <!--\; \alpha \; -->}$$\int _{Z}i^{*}\alpha$ .

Чтобы вычислить этот интеграл, выберем точку в Z и назовем её $z=(z_1,\dots <!--\; \dots \; -->,z_k)$$z=(z_{1},\ldots ,z_{k})$ . Включение Z в X означает, что мы можем выбрать локальные координаты $z_1,\dots <!--\; \dots \; -->,z_k$$z_{1},\ldots ,z_{k}$  на X так, что Z будет подмножеством $z_{k+1}=\cdots <!--\; \cdots \; -->=z_n=0$$z_{k+1}=\cdots =z_{n}=0$ . Если $p>k$$p>k$ , то $\mathrm{\alpha <!--\; \alpha \; -->}$$\alpha$  должно содержать некоторое $d{z}_i$$dz_{i}$  где $z_i$$z_{i}$  отбрасывается назад на ноль в Z. То же самое верно по отношению к $d{\stackrel{¯<!--\; ¯\; -->}{z}}_j$$d{\bar {z}}_{j}$ , если $q>k$$q>k$ . Таким образом, этот интеграл равен нулю, если $(p,q)\ne <!--\; \ne \; -->(k,k)$$(p,q)\neq (k,k)$ .

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

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

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

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

ФормулировкаПравить

Пусть

${\mathrm{Hdg}}^k<!--\; \; -->(X)=H^{2k}(X,\mathbb{Q})\cap <!--\; \cap \; -->H^{k,k}(X).$$\operatorname {Hdg} ^{k}(X)=H^{2k}(X,\mathbb {Q} )\cap H^{k,k}(X).$ 

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

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

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

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

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

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

$\underset{i}{\sum <!--\; \sum \; -->}{c}_i{Z}_i.$$\sum _{i}c_{i}Z_{i}.$ 

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

$\underset{i}{\sum <!--\; \sum \; -->}{c}_i[Z_i].$$\sum _{i}c_{i}[Z_{i}].$ 

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

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

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

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

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

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

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

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

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

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

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

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

Следствие. Если алгебра ${\mathrm{Hdg}}^{\ast <!--\; \ast \; -->}<!--\; \; -->(X)={⨁<!--\; ⨁\; -->}_k{\mathrm{Hdg}}^k<!--\; \; -->(X)$$\operatorname {Hdg} ^{*}(X)=\bigoplus \nolimits _{k}\operatorname {Hdg} ^{k}(X)$  порождена ${\mathrm{Hdg}}^1<!--\; \; -->(X)$$\operatorname {Hdg} ^{1}(X)$ , то гипотеза Ходжа выполняется для $X$$X$ .

ГиперповерхностиПравить

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

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

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

ОбобщенияПравить

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

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

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

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

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

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

Эквивалентно, после деления $H^{2k}(X,\mathbb{Z})\cap <!--\; \cap \; -->H^{k,k}(X)$$H^{2k}(X,\mathbb {Z} )\cap H^{k,k}(X)$  на классы кручения каждый класс является образом класса когомологии целочисленного алгебраического класса. Это утверждение также неверно. Коллар (1992) нашел пример класса Ходжа α, который не является алгебраическим, но, будучи умноженным на некоторое целое число, может быть приведен к алгебраическому.

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

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

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

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

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

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

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

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

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

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

$N^c{H}^k(X,\mathbf{Z})\subseteq <!--\; \subseteq \; -->H^k(X,\mathbf{Z})\cap <!--\; \cap \; -->(H^{k-<!--\; -\; -->c,c}(X)\oplus <!--\; \oplus \; -->\cdots <!--\; \cdots \; -->\oplus <!--\; \oplus \; -->H^{c,k-<!--\; -\; -->c}(X)).$$N^{c}H^{k}(X,\mathbf {Z} )\subseteq H^{k}(X,\mathbf {Z} )\cap (H^{k-c,c}(X)\oplus \cdots \oplus H^{c,k-c}(X)).$ 

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

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

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

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

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

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

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

См. такжеПравить

• Открытые математические проблемы

СсылкиПравить

• Проблемы 2000 года: гипотеза Ходжа Архивная копия от 19 января 2017 на Wayback Machine // Компьютерра, 14 октября 2005 года
• Делинь, Пьер The Hodge Conjecture  (неопр.).
• Популярные лекции по гипотезе Ходжа от Дэна Фрида (University of Texas) (Видео) (Слайды)
• Бисвас, Индранил & Паранджапе, Капил Хари (2002), The Hodge Conjecture for general Prym varieties, Journal of Algebraic Geometry Т. 11 (1): 33–39, DOI 10.1090/S1056-3911-01-00303-4 
• Тотаро, Бурт, Why believe the Hodge Conjecture?
• Вуазен, Клэр, Hodge loci

ЛитератураПравить

• Иэн Стюарт. Величайшие математические задачи. — М.: Альпина нон-фикшн, 2015. — 460 с. — ISBN 978-5-91671-318-3.