Смешанные структуры Ходжа

Смешанные структуры Ходжа — это алгебраический объект, обобщающий классические структуры Ходжа, который используется в алгебраической геометрии, теории особенностей и теории представлений. Смешанные структуры Ходжа возникают при изучении когомологий алгебраических многообразий, не являющихся гладкими и проективными, а также при исследовании семейств многообразий и особенностей. Понятие введено Пьером Делинем в 1970-х годах как часть доказательства гипотез Вейля.

Определение

Классическая структура Ходжа

Для понимания смешанных структур Ходжа необходимо сначала рассмотреть классическую структуру Ходжа. Пусть \( H \) — конечномерное векторное пространство над полем рациональных чисел \( \mathbb{Q} \). Структура Ходжа веса \( n \) на \( H \) — это разложение комплексификации \( H_{\mathbb{C}} = H \otimes_{\mathbb{Q}} \mathbb{C} \) в прямую сумму подпространств: \[ H_{\mathbb{C}} = \bigoplus_{p+q=n} H^{p,q}, \] где \( H^{p,q} \) и \( H^{q,p} \) комплексно сопряжены относительно естественной вещественной структуры на \( H_{\mathbb{C}} \). Числа \( p \) и \( q \) называются типами Ходжа.

Смешанная структура Ходжа

Смешанная структура Ходжа на \( \mathbb{Q} \)-векторном пространстве \( H \) — это совокупность двух фильтраций:

1. Убывающая фильтрация Ходжа \( F^{\bullet} \) на \( H_{\mathbb{C}} \), то есть последовательность подпространств:

\[ \dots \supseteq F^{p} \supseteq F^{p+1} \supseteq \dots, \] такая что \( F^{p} = 0 \) для достаточно больших \( p \) и \( F^{p} = H_{\mathbb{C}} \) для достаточно малых \( p \).

1. Возрастающая фильтрация весами \( W_{\bullet} \) на \( H \), то есть последовательность подпространств:

\[ \dots \subseteq W_{m} \subseteq W_{m+1} \subseteq \dots, \] такая что \( W_{m} = 0 \) для достаточно малых \( m \) и \( W_{m} = H \) для достаточно больших \( m \).

Эти фильтрации должны удовлетворять следующему условию: для каждого \( m \) фактор \( \operatorname{Gr}^{W}_{m} H = W_{m}/W_{m-1} \) (рассматриваемый как \( \mathbb{Q} \)-векторное пространство) наделяется структурой Ходжа веса \( m \), индуцированной фильтрацией \( F^{\bullet} \). Иными словами, фильтрация \( F^{\bullet} \) на \( \operatorname{Gr}^{W}_{m} H_{\mathbb{C}} \) задаёт разложение Ходжа веса \( m \).

История

Предыстория

Классические структуры Ходжа были введены Уильямом Ходжем в 1930-х годах для изучения когомологий гладких проективных многообразий. Однако для негладких или непроективных многообразий когомологии не обладают чистой структурой Ходжа. Например, когомологии аффинного многообразия или многообразия с особенностями требуют более сложного описания.

Работы Делиня

В 1970-х годах Пьер Делинь, разрабатывая доказательство гипотез Вейля, ввёл понятие смешанных структур Ходжа. Он показал, что когомологии любого комплексного алгебраического многообразия (не обязательно гладкого или проективного) несут естественную смешанную структуру Ходжа. Этот результат был опубликован в серии статей «Théorie de Hodge» (1971–1974). Делинь также доказал, что смешанные структуры Ходжа являются функториальными: морфизмы многообразий индуцируют морфизмы смешанных структур Ходжа на когомологиях.

Развитие

После работ Делиня смешанные структуры Ходжа стали важным инструментом в алгебраической геометрии. Они были применены к изучению особенностей, теории периодов, теории представлений и другим областям. В 1990-х годах Морихико Сайто ввёл понятие смешанных модулей Ходжа, которые являются обобщением смешанных структур Ходжа на случай пучков.

Примеры

Когомологии гладкого проективного многообразия

Если \( X \) — гладкое проективное многообразие, то его когомологии \( H^{n}(X, \mathbb{Q}) \) несут чистую структуру Ходжа веса \( n \). Фильтрация весов \( W_{\bullet} \) в этом случае тривиальна: \( W_{n-1} = 0 \), \( W_{n} = H^{n}(X, \mathbb{Q}) \), \( W_{n+1} = H^{n}(X, \mathbb{Q}) \). Фильтрация Ходжа \( F^{\bullet} \) задаётся разложением Ходжа.

Когомологии аффинного многообразия

Рассмотрим аффинное многообразие \( X = \mathbb{C}^{*} \) (комплексная прямая без нуля). Его когомологии:

• \( H^{0}(X, \mathbb{Q}) \cong \mathbb{Q} \),
• \( H^{1}(X, \mathbb{Q}) \cong \mathbb{Q} \).

Смешанная структура Ходжа на \( H^{1} \) имеет фильтрацию весов: \( W_{0} = 0 \), \( W_{1} = H^{1} \), \( W_{2} = H^{1} \). Фильтрация Ходжа: \( F^{1} = 0 \), \( F^{0} = H^{1}_{\mathbb{C}} \). Таким образом, \( \operatorname{Gr}^{W}_{1} H^{1} \) имеет тип Ходжа \( (1,1) \), что соответствует весу 1.

Когомологии многообразия с особенностями

Пусть \( X \) — комплексная кривая с одной обыкновенной двойной точкой (узел). Её когомологии \( H^{1}(X, \mathbb{Q}) \) имеют размерность 1. Смешанная структура Ходжа на \( H^{1} \) имеет фильтрацию весов: \( W_{0} = 0 \), \( W_{1} = H^{1} \), \( W_{2} = H^{1} \). Фильтрация Ходжа: \( F^{1} = 0 \), \( F^{0} = H^{1}_{\mathbb{C}} \). Здесь \( \operatorname{Gr}^{W}_{1} H^{1} \) имеет тип \( (1,1) \), но также присутствует часть веса 0, которая исчезает.

Свойства

Функториальность

Смешанные структуры Ходжа функториальны: для любого морфизма \( f: X \to Y \) алгебраических многообразий индуцированное отображение \( f^{*}: H^{n}(Y, \mathbb{Q}) \to H^{n}(X, \mathbb{Q}) \) является морфизмом смешанных структур Ходжа (то есть сохраняет фильтрации).

Точность

Смешанные структуры Ходжа образуют абелеву категорию. Это означает, что ядра и коядра морфизмов смешанных структур Ходжа также являются смешанными структурами Ходжа. Это свойство важно для гомологической алгебры.

Спектральная последовательность

Для любого алгебраического многообразия \( X \) существует спектральная последовательность, связывающая когомологии \( X \) с когомологиями его стратификации. Эта спектральная последовательность сходится к смешанной структуре Ходжа на \( H^{n}(X, \mathbb{Q}) \).

Применение

Алгебраическая геометрия

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

Теория особенностей

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

Теория представлений

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

Арифметическая геометрия

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

Связь с другими структурами

Смешанные модули Ходжа

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

Смешанные структуры Ходжа на гомотопических группах

Существуют обобщения смешанных структур Ходжа на гомотопические группы алгебраических многообразий. Эти структуры изучаются в рамках теории гомотопических групп Ходжа.

Смешанные структуры Ходжа и периоды

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

Критика и ограничения

Неединственность

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

Сложность вычислений

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

Ограничения на поля

Смешанные структуры Ходжа определены над полем рациональных чисел. Для полей положительной характеристики существуют аналоги, такие как смешанные структуры Ходжа-Тейта, но они менее развиты.

Источники

• Делинь П. «Théorie de Hodge» (1971–1974).
• Гриффитс Ф., Харрис Дж. «Принципы алгебраической геометрии».
• Сайто М. «Mixed Hodge modules» (1990).
• Петерс К., Стинбринк Дж. «Mixed Hodge Structures» (2008).
• Воеводский В. «Mixed Hodge structures and motives» (2000).