Структура Ходжа - Hodge structure
В математике Структура Ходжа, названный в честь В. В. Д. Ходж, является алгебраической структурой на уровне линейная алгебра, похожий на тот, что Теория Ходжа дает группы когомологий гладкой и компактной Кэлерово многообразие. Структуры Ходжа были обобщены для всех сложных разновидностей (даже если они единственное число и неполный ) в виде смешанные структуры Ходжа, определяется Пьер Делинь (1970). А вариация структуры Ходжа - семейство структур Ходжа, параметризованное многообразием, впервые изученное Филип Гриффитс (1968). Все эти концепции были далее обобщены на смешанные модули Ходжа над сложными разновидностями Морихико Сайто (1989).
Структуры Ходжа
Определение структур Ходжа
Чистая структура Ходжа целочисленного веса п состоит из абелевой группы и разложение его комплексификации ЧАС в прямую сумму комплексных подпространств , где , с тем свойством, что комплексное сопряжение является :
Эквивалентное определение получается заменой разложения прямой суммы ЧАС посредством Фильтрация Ходжа, конечная убывающая фильтрация из ЧАС комплексными подпространствами при условии
Связь между этими двумя описаниями следующая:
Например, если Икс компактный Кэлерово многообразие, это п-го группа когомологий из Икс с целыми коэффициентами, то это его п-я группа когомологий с комплексными коэффициентами и Теория Ходжа обеспечивает разложение ЧАС в прямую сумму, как указано выше, так что эти данные определяют чистую структуру Ходжа веса п. С другой стороны, Спектральная последовательность Ходжа – де Рама поставки с убывающей фильтрацией на как во втором определении.[1]
Для приложений в алгебраической геометрии, а именно классификации комплексных проективных многообразий по их периоды, множество всех структур Ходжа веса п на слишком большой. С использованием Билинейные отношения Римана, в этом случае называется Билинейные отношения Ходжа Римана, его можно существенно упростить. А поляризованная структура веса Ходжа п состоит из структуры Ходжа и невырожденное целое число билинейная форма Q на (поляризация ), который продолжается до ЧАС по линейности и удовлетворяющие условиям:
В терминах фильтрации Ходжа из этих условий следует, что
где C это Оператор Вейля на ЧАС, данный на .
Еще одно определение структуры Ходжа основано на эквивалентности между -градуировка на комплексном векторном пространстве и действие круговой группы U (1). В этом определении действие мультипликативной группы комплексных чисел рассматривается как двумерный вещественный алгебраический тор, дается на ЧАС.[2] Это действие должно иметь свойство, что вещественное число а действует ап. Подпространство - подпространство, на котором действует как умножение на
А-Структура Ходжа
В теории мотивов становится важным разрешить более общие коэффициенты для когомологий. Определение структуры Ходжа модифицируется путем фиксации Нётерян подкольцо А поля из действительные числа, для которого это поле. Тогда чистый Ходж А-структура веса п определяется как и раньше, заменяя с участием А. Существуют естественные функторы замены базы и ограничения, связывающие Ходжа А-конструкции и B-конструкции для А подкольцо B.
Смешанные структуры Ходжа
Это заметил Жан-Пьер Серр в 60-е годы на основе Гипотезы Вейля что даже особые (возможно, приводимые) и неполные алгебраические многообразия должны допускать «виртуальные числа Бетти». Точнее, можно сопоставить любому алгебраическому многообразию Икс многочлен пИкс(т), назвал его виртуальный многочлен Пуанкаре, со свойствами
- Если Икс неособое и проективное (или полное)
- Если Y замкнутое алгебраическое подмножество Икс и U = Икс Y
Существование таких многочленов следует из существования аналога структуры Ходжа в когомологиях общего (особого и неполного) алгебраического многообразия. Особенность романа в том, что п-я когомология общего многообразия выглядит так, как если бы она содержала куски разного веса. Это привело Александр Гротендик к его гипотетической теории мотивы и мотивировал поиск расширения теории Ходжа, который завершился работой Пьер Делинь. Он ввел понятие смешанной структуры Ходжа, разработал приемы работы с ними, дал их построение (на основе Хейсуке Хиронака с разрешение особенностей ) и связал их с весами на l-адические когомологии, доказывая последнюю часть Гипотезы Вейля.
Пример кривых
Чтобы мотивировать определение, рассмотрим случай приводимого комплекса алгебраическая кривая Икс состоящий из двух неособых компонентов, и , которые трансверсально пересекаются в точках и . Далее предположим, что компоненты не компактны, но их можно компактифицировать, добавив точки . Первая группа когомологий кривой Икс (с компактным носителем) двойственна первой группе гомологий, которую легче визуализировать. В этой группе есть три типа одноциклов. Во-первых, это элементы представляющие небольшие петли вокруг проколов . Тогда есть элементы которые исходят из первых гомологий компактификация каждого из компонентов. Один цикл в (), соответствующий циклу в компактификации этого компонента, не является каноническим: эти элементы определяются по модулю . Наконец, по модулю первых двух типов группа порождается комбинаторным циклом который идет от к по пути в одном компоненте и возвращается по пути в другом компоненте . Это говорит о том, что допускает возрастающую фильтрацию
чьи последовательные частные Wп/Wп−1 происходят из когомологий гладких полных многообразий, следовательно, допускают (чистые) структуры Ходжа, хотя и разного веса. Дополнительные примеры можно найти в «Наивном руководстве по смешанной теории Ходжа».[3]
Определение смешанной структуры Ходжа.
А смешанная структура Ходжа на абелевой группе состоит из конечной убывающей фильтрации Fп на комплексном векторном пространстве ЧАС (усложнение ), называется Фильтрация Ходжа и конечная возрастающая фильтрация Wя на рациональном векторном пространстве (полученные расширением скаляров до рациональных чисел), называемые весовая фильтрацияпри условии, что п-е связанное градуированное частное относительно весовой фильтрации вместе с фильтрацией, индуцированной F по его комплексификации является чистой структурой Ходжа веса п, для всех целых п. Здесь индуцированная фильтрация на
определяется
Можно определить понятие морфизма смешанных структур Ходжа, которое должно быть согласовано с фильтрациями F и W и докажите следующее:
- Теорема. Смешанные структуры Ходжа образуют абелева категория. Ядра и коядра в этой категории совпадают с обычными ядрами и коядрами в категории векторных пространств с индуцированными фильтрациями.
Полные когомологии компактного кэлерова многообразия имеют смешанную структуру Ходжа, где пое пространство весовой фильтрации Wп является прямой суммой групп когомологий (с рациональными коэффициентами) степени меньше или равной п. Следовательно, классическую теорию Ходжа в компактном комплексном случае можно рассматривать как обеспечение двойной градуировки на группе комплексных когомологий, которая определяет возрастающую фитрацию Fп и уменьшающаяся фильтрация Wп которые совместимы определенным образом. В общем, все пространство когомологий все еще имеет эти две фильтрации, но они больше не являются результатом разложения в прямую сумму. В связи с третьим определением чистой структуры Ходжа можно сказать, что смешанная структура Ходжа не может быть описана с помощью действия группы Важное понимание Делиня состоит в том, что в смешанном случае существует более сложная некоммутативная проалгебраическая группа, которую можно использовать с тем же эффектом, используя Таннакианский формализм.
Более того, категория (смешанных) структур Ходжа допускает хорошее понятие тензорного произведения, соответствующего произведению многообразий, а также связанные с ним понятия внутренний Hom и двойной объект, превращая его в Категория таннакиана. От Философия Таннаки – Крейна, эта категория эквивалентна категории конечномерных представлений некоторой группы, которую Делинь, Милн и др. явно описано, см. Делинь (1982) [4] и Делинь (1994). Описание этой группы было переработано в более геометрических терминах. Капранов (2012). Соответствующий (гораздо более сложный) анализ для рациональных чисто поляризуемых структур Ходжа был выполнен Патрикис (2016).
Смешанная структура Ходжа в когомологиях (теорема Делиня)
Делинь доказал, что п-я группа когомологий произвольного алгебраического многообразия имеет каноническую смешанную структуру Ходжа. Эта структура функториальный, и совместим с продуктами различных сортов (Изоморфизм Кюннета ) и произведение в когомологиях. Для полного неособого разнообразия Икс эта структура чисто весовая п, а фильтрацию Ходжа можно определить через гиперкогомология усеченного комплекса де Рама.
Доказательство примерно состоит из двух частей, касающихся некомпактности и особенностей. Обе части существенно используют разрешение сингулярностей (из-за Хиронаки). В особом случае многообразия заменяются симплициальными схемами, что приводит к более сложной гомологической алгебре, и используется техническое понятие структуры Ходжа на комплексах (в отличие от когомологий).
Используя теорию мотивы, можно уточнить весовую фильтрацию на когомологиях с рациональными коэффициентами до единицы с целыми коэффициентами.[5]
Примеры
- В Структура Тейта – Ходжа структура Ходжа с лежащей в основе модуль предоставлен (подгруппа ), с участием Таким образом, она имеет чистый вес −2 по определению и является единственной одномерной чистой структурой Ходжа веса −2 с точностью до изоморфизмов. В более общем плане п-я тензорная степень обозначается он одномерный и чистый веса −2п.
- Когомологии полного кэлерова многообразия являются структурой Ходжа, а подпространство, состоящее из п-я группа когомологий чисто весовая п.
- Когомологии комплексного многообразия (возможно, особого или неполного) - это смешанная структура Ходжа. Для гладких многообразий это было показано Делинь (1971),Делинь (1971a) и вообще Делинь (1974).
- Для проективного многообразия с участием нормальные пересекающиеся особенности существует спектральная последовательность с вырожденным E2-page, который вычисляет все его смешанные структуры hodge. E1-page имеет явные члены с дифференциалом, происходящим из симплициального набора.[6]
- Любое гладкое аффинное многообразие допускает гладкую компактификацию (которую можно найти, взяв его проективное замыкание и найдя разрешение особенностей) с нормальным перекрестным дивизором. Соответствующие логарифмические формы могут быть использованы для нахождения явной весовой фильтрации смешанной ходж-структуры.[7]
- Структура Ходжа для гладкой проективной гиперповерхности степени был явно разработан Гриффитсом в его статье «Периодические интегралы алгебраических многообразий». Если - полином, определяющий гиперповерхность затем оцененный Кольцо частных якобианов
- содержит всю информацию о средних когомологиях . Он показывает, что
- Например, рассмотрим поверхность K3, заданную формулой , следовательно и . Тогда градуированное кольцо якобиана есть
- Изоморфизм для примитивных групп когомологий читается как
- следовательно
- Заметить, что векторное пространство, натянутое на
- который является 19-мерным. В заданный классом Лефшеца . Из теоремы Лефшеца о гиперплоскости и двойственности Ходжа остальные когомологии лежат в как есть -размерный. Следовательно, ромб ходжа читает
1 0 0 1 20 1 0 0 1
- Мы также можем использовать предыдущий изоморфизм, чтобы проверить род степени плоская кривая. поскольку является гладкой кривой, а теорема Эресмана о расслоении гарантирует, что любая другая гладкая кривая рода диффеоморфен, то род тот же. Итак, используя изоморфизм примитивных когомологий с градуированной частью якобиевого кольца, мы видим, что
- Это означает, что размерность
- по желанию.
- Числа Ходжа для полного пересечения также легко вычислимы: существует комбинаторная формула, найденная с помощью Фридрих Хирцебрух.[8]
Приложения
Механизм, основанный на понятиях структуры Ходжа и смешанной структуры Ходжа, является частью все еще в значительной степени гипотетической теории мотивы предусмотрено Александр Гротендик. Арифметическая информация для неособого алгебраического многообразия Икс, закодированный собственным значением Элементы Фробениуса действуя на его l-адические когомологии, имеет что-то общее со структурой Ходжа, возникающей из Икс рассматривается как сложное алгебраическое многообразие. Сергей Гельфанд и Юрий Манин отметили около 1988 г. Методы гомологической алгебры, что в отличие от симметрий Галуа, действующих на другие группы когомологий, происхождение «симметрий Ходжа» очень загадочно, хотя формально они выражаются через действие довольно несложной группы о когомологиях де Рама. С тех пор тайна стала еще глубже с открытием и математической формулировкой зеркальная симметрия.
Вариация структуры Ходжа
А вариация структуры Ходжа (Гриффитс (1968),Гриффитс (1968a),Гриффитс (1970) ) - семейство структур Ходжа, параметризованное комплексным многообразием Икс. Точнее вариант структуры веса Ходжа п на комплексном многообразии Икс состоит из локально постоянного пучка S конечно порожденных абелевых групп на Иксвместе с убывающей фильтрацией Ходжа F на S ⊗ ОИкспри соблюдении следующих двух условий:
- Фильтрация индуцирует структуру Ходжа веса п на каждом стебле снопа S
- (Трансверсальность Гриффитса) Естественная связь на S ⊗ ОИкс карты в
Здесь естественная (плоская) связь на S ⊗ ОИкс индуцированный плоской связью на S и плоское соединение d на ОИкс, и ОИкс - пучок голоморфных функций на Икс, и является пучком 1-форм на Икс. Это естественное плоское соединение представляет собой Связь Гаусса – Манина ∇ и описывается Уравнение Пикара – Фукса.
А вариация смешанной структуры Ходжа можно определить аналогичным образом, добавив градацию или фильтрацию W к S. Типичные примеры можно найти из алгебраических морфизмов . Например,
имеет волокна
которые являются гладкими плоскими кривыми рода 10 для и вырождаются в особую кривую в точке Тогда пучки когомологий
дают вариации смешанных структур хеджирования.
Модули Ходжа
Модули Ходжа - это обобщение вариации структур Ходжа на комплексном многообразии. Неформально их можно рассматривать как нечто вроде пучков структур Ходжа на многообразии; точное определение Сайто (1989) довольно технический и сложный. Есть обобщения на смешанные модули Ходжа и на многообразия с особенностями.
Каждому гладкому комплексному многообразию соответствует абелева категория смешанных модулей Ходжа. Формально они ведут себя как категории пучков над многообразиями; например, морфизмы ж между многообразиями индуцируют функторы ж∗, е *, ж!, ж! между (производные категории из) смешанных модулей Ходжа, подобных модулям для пучков.
Смотрите также
- Смешанная структура Ходжа
- Гипотеза Ходжа
- Якобианский идеал
- Структура Ходжа – Тейта, а п-адический аналог структур Ходжа.
- Логарифмическая форма
Заметки
- ^ Что касается спектральных последовательностей, см. гомологическая алгебра Фитинги Hodge можно описать следующим образом:
- ^ Точнее, пусть S - двумерный коммутативный вещественный алгебраическая группа определяется как Ограничение Вейля из мультипликативная группа от к другими словами, если А является алгеброй над тогда группа S(А) из А-оценки S мультипликативная группа потом это группа ненулевых комплексных чисел.
- ^ Дерфи, Алан (1981). «Наивное руководство по смешанной теории Ходжа». Комплексный анализ особенностей: 48–63. HDL:2433/102472.
- ^ Вторая статья под названием Категории таннакиана Делин и Милн сосредоточились на этой теме.
- ^ Жилле, Анри; Суле, Кристоф (1996). "Происхождение, мотивы и K-теория ». Journal für die Reine und Angewandte Mathematik. 478: 127–176. arXiv:alg-geom / 9507013. Bibcode:1995alg.geom..7013G. Дои:10.1515 / crll.1996.478.127. Г-Н 1409056., раздел 3.1
- ^ Джонс, Б.Ф., "Смешанная структура Ходжа Делиня для проективных многообразий только с нормальными пересекающимися особенностями" (PDF), Рабочий семинар по теории Ходжа, весна 2005 г.
- ^ Николаеску, Ливиу, «Смешанные структуры Ходжа на гладких алгебраических многообразиях» (PDF), Рабочий семинар по теории Ходжа, весна 2005 г.
- ^ «Алмаз Ходжа полных пересечений». Обмен стеком. 14 декабря 2013 г.
Вступительные ссылки
- Дебарре, Оливье, Периоды и модули
- Арапура, Дону, Комплексные алгебраические многообразия и их когомологии (PDF), стр. 120–123, архивировано с оригинал (PDF) on 2020-01-04 (Предоставляет инструменты для вычисления чисел ходжа с использованием когомологий пучков)
- Наивное руководство по смешанной теории Ходжа
- Димка, Александру (1992). Особенности и топология гиперповерхностей. Universitext. Нью-Йорк: Springer-Verlag. С. 240, 261. Дои:10.1007/978-1-4612-4404-2. ISBN 0-387-97709-0. Г-Н 1194180. (Дает формулу и образующие для смешанных чисел Ходжа аффинных Волокно Милнора взвешенного однородного многочлена, а также формулу для дополнений взвешенных однородных многочленов в взвешенном проективном пространстве.)
Обзорные статьи
- Арапура, Дону, Смешанные структуры Ходжа, связанные с геометрическими вариациями (PDF)
использованная литература
- Делинь, Пьер (1971b), Travaux de Griffiths, Сем. Бурбаки Эксп. 376, Lect. примечания по математике. Том 180, стр. 213–235
- Делинь, Пьер (1971), "Теори де Ходж. Я" (PDF), Actes du Congrès International des Mathématiciens (Ницца, 1970), 1, Готье-Виллар, стр. 425–430, Г-Н 0441965, заархивировано из оригинал (PDF) на 2015-04-02 Это строит смешанную структуру Ходжа на когомологиях комплексного многообразия.
- Делинь, Пьер (1971a), Теори де Ходж. II., Инст. Hautes Études Sci. Publ. Математика. № 40, стр. 5–57, Г-Н 0498551 Это строит смешанную структуру Ходжа на когомологиях комплексного многообразия.
- Делинь, Пьер (1974), Теори де Ходж. III., Инст. Hautes Études Sci. Publ. Математика. № 44, стр. 5–77, Г-Н 0498552 Это строит смешанную структуру Ходжа на когомологиях комплексного многообразия.
- Делинь, Пьер (1994), "Structures de Hodge mixtes réelles", Мотивы (Сиэтл, Вашингтон, 1991), часть 1, Труды симпозиумов по чистой математике, 55, Провиденс, Род-Айленд: Американское математическое общество, стр. 509–514, Г-Н 1265541
- Делинь, Пьер; Милн, Джеймс (1982), «Таннаковские категории», Циклы Ходжа, мотивы и разновидности симуры Пьера Делиня, Джеймса С. Милна, Артура Огуса, Куанг-янь Ши, Конспект лекций по математике, 900, Springer-Verlag, стр. 1–414. Аннотированный вариант этой статьи можно найти на сайте Дж. Милна. домашняя страница.
- Гриффитс, Филипп (1968), "Периоды интегралов на алгебраических многообразиях I (конструкция и свойства модулярных многообразий)", Американский журнал математики, 90 (2): 568–626, Дои:10.2307/2373545, JSTOR 2373545
- Гриффитс, Филипп (1968a), "Периоды интегралов на алгебраических многообразиях II (локальное исследование отображения периодов)", Американский журнал математики, 90 (3): 808–865, Дои:10.2307/2373485, JSTOR 2373485
- Гриффитс, Филипп (1970), «Периоды интегралов на алгебраических многообразиях III. Некоторые глобальные дифференциально-геометрические свойства отображения периодов»., Публикации Mathématiques de l'IHÉS, 38: 228–296
- Капранов, Михаил (2012), "Реальные смешанные структуры Ходжа", Журнал некоммутативной геометрии, 6 (2): 321–342, arXiv:0802.0215, Дои:10,4171 / jncg / 93, Г-Н 2914868
- Овсеевич, Александр I. (2001) [1994], «Структура Ходжа», Энциклопедия математики, EMS Press
- Патрикис, Стефан (2016), "Группы Мамфорда-Тейта поляризуемых структур Ходжа", Труды Американского математического общества, 144 (9): 3717–3729, arXiv:1302.1803, Дои:10.1090 / proc / 13040, Г-Н 3513533
- Сайто, Морихико (1989), Введение в смешанные модули Ходжа. Actes du Colloque de Théorie de Hodge (Luminy, 1987)., Astérisque № 179–180, стр. 145–162, Г-Н 1042805
- Шнелл, Кристиан, Обзор теории смешанных модулей Ходжа Морихико Сайто (PDF)
- Стинбринк, Джозеф Х. (2001) [1994], «Вариация структуры Ходжа», Энциклопедия математики, EMS Press