Гипотеза Ходжа: классы Ходжа простыми словами

Гипотеза Ходжа - одна из семи задач тысячелетия, и формулируется она на стыке топологии и алгебраической геометрии. Если коротко, она спрашивает: какие из «геометрически выглядящих» классов когомологий гладкого комплексного проективного многообразия на самом деле приходят от настоящих подмногообразий. Звучит абстрактно, но за этим стоит очень конкретная бухгалтерия чисел Ходжа, которую можно увидеть глазами. Чтобы сразу почувствовать, где именно живёт гипотеза, покрутите калькулятор ниже: он строит ромб Ходжа для разных многообразий и подсвечивает ту самую диагональ, про которую идёт речь.

Что утверждает гипотеза Ходжа

Возьмём гладкое комплексное проективное многообразие $X$ комплексной размерности $n$. Его когомологии с рациональными коэффициентами раскладываются в прямую сумму по типу Ходжа:

$H^k(X, \mathbb{C}) = \bigoplus_{p+q=k} H^{p,q}(X), \qquad H^{q,p} = \overline{H^{p,q}}.$

Размерности кусков обозначают $h^{p,q} = \dim H^{p,q}(X)$ - это и есть числа Ходжа. Класс называется классом Ходжа, если он рациональный и при этом целиком лежит в куске $H^{p,p}$, то есть имеет «сбалансированный» тип $(p,p)$. Гипотеза Ходжа утверждает, что каждый такой рациональный класс Ходжа является алгебраическим: его можно собрать как рациональную комбинацию классов настоящих комплексных подмногообразий коразмерности $p$.

Иными словами, диагональ $p=q$ в наборе чисел Ходжа - это кандидаты на «геометрическое происхождение», и гипотеза говорит, что все рациональные кандидаты с этой диагонали действительно геометрические.

Рассчитать для своей задачи

Ромб Ходжа и его симметрии

Числа Ходжа удобно складывать в ромб (Hodge diamond): строки нумеруются суммой $p+q$, и фигура получается симметричной ромбовидной таблицей. У ромба две жёсткие симметрии, которые всегда стоит проверять при расчёте:

$h^{p,q} = h^{q,p} \quad (\text{комплексное сопряжение}), \qquad h^{p,q} = h^{n-p,\,n-q} \quad (\text{двойственность Пуанкаре}).$

Первая отражает ромб относительно вертикальной оси, вторая - относительно горизонтальной. Сумма по антидиагоналям даёт числа Бетти:

$b_k = \sum_{p+q=k} h^{p,q},$

а знакопеременная сумма - эйлерову характеристику $\chi = \sum_k (-1)^k b_k$. Калькулятор выше пересчитывает всё это сразу и подсвечивает диагональ $p=q$ зелёным: именно там сидят классы типа $(p,p)$, про которые и спрашивает гипотеза Ходжа.

Рассчитать для своей задачи

Для поверхности K3 (гладкой квартики в $\mathbb{P}^3$) средняя строка ромба - это $h^{2,0}=1$, $h^{1,1}=20$, $h^{0,2}=1$. Двадцать классов из $H^{1,1}$ - это и есть нетривиальная арена: часть из них точно приходит от кривых на поверхности, и для K3 гипотеза Ходжа в размерности $(1,1)$ доказана классически.

Алгебраические циклы: откуда берётся «настоящая геометрия»

Алгебраический цикл - это формальная сумма неприводимых замкнутых подмногообразий с целыми коэффициентами. Каждое подмногообразие коразмерности $p$ задаёт класс в $H^{2p}(X)$, и этот класс автоматически имеет тип $(p,p)$. Так возникает естественное отображение: алгебраические циклы дают классы Ходжа. Вопрос гипотезы - обратный: исчерпывают ли образы этого отображения все рациональные классы Ходжа.

В малых размерностях ответ известен. Теорема Лефшеца о классах $(1,1)$ говорит, что любой целочисленный класс Ходжа в $H^{1,1}$ алгебраичен - он приходит от дивизора (подмногообразия коразмерности один). Поэтому для любых гладких проективных поверхностей гипотеза Ходжа верна: вся нетривиальная диагональ исчерпывается случаем $(1,1)$, который закрывает Лефшец.

Рассчитать для своей задачи

Сложности начинаются в высших размерностях и коразмерностях. У комплексного тора размерности $n \ge 2$ числа $h^{p,q} = \binom{n}{p}\binom{n}{q}$ растут быстро, и середина $H^{p,p}$ становится огромной. Именно у общих абелевых многообразий труднее всего проверять, что каждый рациональный класс Ходжа алгебраичен; тут гипотеза в полной общности остаётся открытой.

Чтобы почувствовать, как быстро всё усложняется, переключите калькулятор на гиперповерхность степени $d$ в $\mathbb{P}^{n+1}$. Примитивная середина её ромба считается по формуле Гриффитса через якобиево кольцо многочлена, задающего поверхность. Уже для квинтики ($n=3$, $d=5$) среднее число $h^{2,1}=101$, и хотя сами числа Ходжа выписываются явно, понять, какие именно рациональные классы коразмерности два алгебраичны, гораздо труднее, чем посчитать их количество. В этом и состоит разрыв, который закрывает гипотеза: между лёгким подсчётом размерности и трудным вопросом о геометрическом происхождении классов.

В каких случаях гипотеза доказана

Полностью гипотеза Ходжа не доказана и не опровергнута, но накоплен внушительный список частных результатов:

• Классы типа $(1,1)$ - теорема Лефшеца, отсюда все гладкие проективные поверхности и дивизоры на любых многообразиях.
• Абелевы многообразия специальных типов (например, многие простые абелевы многообразия и произведения эллиптических кривых).
• Многообразия, у которых вся «средняя» когомология устроена просто: проективные пространства, грассманианы, флаговые многообразия - там вся когомология алгебраична изначально.
• Ряд гиперповерхностей и полных пересечений низких степеней, где примитивная когомология контролируется явно.

Важно отличать гипотезу Ходжа от её целочисленной версии: исходно утверждение формулировалось и для целых коэффициентов, но контрпримеры Атьи и Хирцебруха показали, что для $\mathbb{Z}$ оно ложно. Современная формулировка - именно про рациональные классы Ходжа.

Зачем это нужно

Гипотеза Ходжа - мост между топологией (классы когомологий, которые видят «дырки» пространства) и алгеброй (уравнения, задающие подмногообразия). Если она верна, то чисто топологический признак - лежать на диагонали $p=q$ и быть рациональным - гарантирует существование алгебраического объекта. Это дало бы мощный инструмент: вместо поиска уравнений достаточно было бы посчитать числа Ходжа и проверить тип класса.

Гипотеза также тесно связана с другими глубокими вопросами теории мотивов и алгебраических циклов: со стандартными гипотезами Гротендика, с теорией мотивов и с гипотезой Тейта над конечными полями. Положительный ответ упорядочил бы целый пласт алгебраической геометрии, поэтому утверждение и попало в список из семи задач тысячелетия Института Клэя с премией в миллион долларов за решение. На сегодня прогресс есть только в частных случаях, и общий метод доказательства пока не найден.

Частые ошибки

• Путают классы Ходжа с любыми классами на диагонали. Класс Ходжа обязан быть рациональным (приходить из $H^{2p}(X,\mathbb{Q})$), а не просто лежать в $H^{p,p}(X,\mathbb{C})$.
• Считают гипотезу верной для целых коэффициентов. Для $\mathbb{Z}$ она опровергнута (Атья, Хирцебрух); речь только про $\mathbb{Q}$.
• Теряют условие гладкости и проективности. Разложение Ходжа и сама постановка работают для гладких комплексных проективных (или компактных кэлеровых) многообразий; на особых или некомпактных всё иначе.
• Забывают про симметрии ромба. Если посчитанные $h^{p,q}$ не удовлетворяют $h^{p,q}=h^{q,p}=h^{n-p,n-q}$, в расчёте ошибка.
• Смешивают коразмерность и размерность. Класс типа $(p,p)$ соответствует подмногообразию коразмерности $p$, то есть размерности $n-p$.

FAQ

Гипотеза Ходжа уже доказана? Нет. В полной общности она не доказана и не опровергнута, остаётся открытой проблемой тысячелетия. Доказаны лишь частные случаи: классы $(1,1)$ по теореме Лефшеца, отдельные классы абелевых многообразий и многообразия с заведомо алгебраической когомологией.

Что такое класс Ходжа простыми словами? Это рациональный класс когомологий, который при разложении по типу Ходжа целиком попадает в кусок $H^{p,p}$ - то есть имеет сбалансированный тип $(p,p)$. Такие классы и есть кандидаты быть алгебраическими.

Чем класс Ходжа отличается от алгебраического цикла? Алгебраический цикл - это реальная сумма подмногообразий, он всегда даёт класс типа $(p,p)$. Класс Ходжа - это абстрактный класс правильного типа. Гипотеза утверждает, что эти два множества для рациональных коэффициентов совпадают.

Коротко

Гипотеза Ходжа связывает топологию и геометрию: она утверждает, что на гладком комплексном проективном многообразии каждый рациональный класс когомологий типа $(p,p)$ - класс Ходжа - приходит от настоящего алгебраического подмногообразия. Вся арена видна на ромбе Ходжа: симметричной таблице чисел $h^{p,q}$, где диагональ $p=q$ и есть зона действия гипотезы. Для типа $(1,1)$ и поверхностей утверждение доказано теоремой Лефшеца, в высших размерностях (особенно у абелевых многообразий) оно остаётся открытым, а целочисленная версия и вовсе ложна. Поэтому гипотеза Ходжа стоит в списке задач тысячелетия.