Jump to content

Структура Ходжа

В математике структура Ходжа , названная в честь В.В.Д. Ходжа , — это алгебраическая структура на уровне линейной алгебры , подобная той, которую теория Ходжа дает группам когомологий гладкого и компактного кэлерова многообразия . Структуры Ходжа были обобщены для всех комплексных многообразий (даже если они сингулярны и неполны ) в форме смешанных структур Ходжа , определенных Пьером Делинем (1970). Разновидностью структуры Ходжа является семейство структур Ходжа, параметризованное многообразием, впервые изученное Филипом Гриффитсом (1968). Все эти концепции были далее обобщены на смешанные модули Ходжа Морихико Сайто (1989) над комплексными многообразиями.

Структуры Ходжа

[ редактировать ]

Определение структур Ходжа

[ редактировать ]

Чистая структура Ходжа целого веса n состоит из абелевой группы и декомпозиция его комплексификации в прямую сумму комплексных подпространств , где , со свойством, что комплексно-сопряженное является :

Эквивалентное определение получается заменой разложения в прямую сумму фильтрацией Ходжа — конечной фильтрацией убывающей комплексными подпространствами при условии

Связь между этими двумя описаниями определяется следующим образом:

Например, если — компактное кэлерово многообразие , это группа когомологий X с целыми коэффициентами, то это его -я группа когомологий с комплексными коэффициентами и теория Ходжа обеспечивает разложение в прямую сумму, как указано выше, так что эти данные определяют чистую структуру Ходжа с весом . С другой стороны, спектральная последовательность Ходжа-де Рама дает с убывающей фильтрацией как во втором определении. [1]

Для приложений в алгебраической геометрии, а именно классификации комплексных проективных многообразий по их периодам , множество всех структур Ходжа веса на слишком велик. Используя билинейные отношения Римана , в данном случае называемые билинейными отношениями Ходжа Римана , его можно существенно упростить. Поляризованная структура Ходжа веса n состоит из структуры Ходжа и невырожденная целочисленная билинейная форма на ( поляризация ), которая распространяется на по линейности и удовлетворяющие условиям:

С точки зрения фильтрации Ходжа из этих условий следует, что

где является оператором Вейля на , заданный на .

Еще одно определение структуры Ходжа основано на эквивалентности между -градуировка на комплексном векторном пространстве и действие группы окружностей U(1) . В этом определении действие мультипликативной группы комплексных чисел рассматриваемый как двумерный действительный алгебраический тор, задан на . [2] Это действие должно обладать тем свойством, что вещественное число a действует посредством н . Подпространство это подпространство, на котором действует как умножение на

А - структура Ходжа

[ редактировать ]

В теории мотивов становится важным допустить более общие коэффициенты когомологий. Определение структуры Ходжа модифицируется за счет фиксации нётерова подкольца A поля действительных чисел , для которых это поле. Тогда чистая А -структура Ходжа веса n определяется, как и ранее, с заменой с А. ​Существуют естественные функторы замены базы и ограничения, связывающие A -структуры Ходжа и B -структуры для A, подкольца B .

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

[ редактировать ]

заметил Жан-Пьер Серр в 1960-х годах на основании гипотезы Вейля , что даже сингулярные (возможно, приводимые) и неполные алгебраические многообразия должны допускать «виртуальные числа Бетти». нужно уметь сопоставить Точнее, любому алгебраическому многообразию X многочлен P X ( t ), называемый его виртуальным полиномом Пуанкаре , со свойствами

  • Если X неособый и проективный (или полный)
  • Если Y — замкнутое алгебраическое подмножество X и U = X \ Y

Существование таких полиномов следовало бы из существования аналога структуры Ходжа в когомологиях общего (сингулярного и неполного) алгебраического многообразия. Новизна состоит в том, что n- я когомология общего многообразия выглядит так, как если бы она содержала кусочки разного веса. Это привело Александра Гротендика к его предположительной теории мотивов и мотивировало поиск расширения теории Ходжа, кульминацией которого стали работы Пьера Делиня . Он ввел понятие смешанной структуры Ходжа, разработал приемы работы с ними, дал их конструкцию (на основе Хиронаки Хейсуке разрешения особенностей ) и связал их с весами на 1-адических когомологиях , доказав последнюю часть формулы Вейля. домыслы .

Пример кривых

[ редактировать ]

Чтобы мотивировать определение, рассмотрим случай приводимой комплексной алгебраической кривой X, состоящей из двух неособых компонент: и , которые трансверсально пересекаются в точках и . Далее предположим, что компоненты не компактны, но могут быть компактифицированы добавлением точек . Первая группа когомологий кривой X (с компактным носителем) двойственна первой группе гомологий, которую легче визуализировать. В этой группе выделяют три типа одноциклов. Во-первых, это элементы представляющие собой небольшие петли вокруг проколов . Тогда есть элементы которые исходят из первых гомологии компактификации каждого из компонентов. Один цикл в ( ), соответствующий циклу в компактификации этой компоненты, не является каноническим: эти элементы определяются по модулю оболочки . Наконец, по модулю первых двух типов группа порождается комбинаторным циклом который идет от к по пути в одном компоненте и возвращается по пути в другом компоненте . Это говорит о том, что допускает возрастающую фильтрацию

чьи последовательные факторы W n / W n −1 происходят из когомологий гладких полных многообразий, следовательно, допускают (чистые) структуры Ходжа, хотя и разных весов. Дополнительные примеры можно найти в «Наивном руководстве по смешанной теории Ходжа». [3]

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

[ редактировать ]

Смешанная структура Ходжа на абелевой группе. состоит из конечной убывающей фильтрации F п на комплексном векторном пространстве H (комплексификация ), называемая фильтрацией Ходжа , и конечная возрастающая фильтрация Wi в рациональном векторном пространстве (полученную путем расширения скаляров до рациональных чисел), называемую весовой фильтрацией , при условии, что n -е соответствующее градуированное частное относительно весовой фильтрации вместе с фильтрацией, индуцированной F при его комплексификации, является чистой структурой Ходжа веса n для всех целых n . Здесь индуцированная фильтрация на

определяется

Можно определить понятие морфизма смешанных структур Ходжа, который должен быть согласован с фильтрациями F и W, и доказать следующее:

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

Полные когомологии компактного кэлерова многообразия имеют смешанную структуру Ходжа, где n- е пространство весовой фильтрации Wn равной представляет собой прямую сумму групп когомологий (с рациональными коэффициентами) степени, меньшей или n . Следовательно, можно думать о классической теории Ходжа в компактном комплексном случае как о двойной градуировке группы комплексных когомологий, которая определяет возрастающую фильтрацию F п и убывающую фильтрацию W n, согласованные определенным образом. В общем, полное пространство когомологий все еще имеет эти две фильтрации, но они больше не возникают в результате прямого разложения суммы. В отношении третьего определения чистой структуры Ходжа можно сказать, что смешанную структуру Ходжа нельзя описать действием группы Важным открытием Делиня является то, что в смешанном случае существует более сложная некоммутативная проалгебраическая группа, которую можно использовать для того же эффекта, используя формализм Таннака .

Более того, категория (смешанных) структур Ходжа допускает хорошее понятие тензорного произведения, соответствующего произведению многообразий, а также родственные понятия внутреннего Hom и двойственного объекта , что превращает ее в категорию Таннака . Согласно философии Таннаки-Крейна , эта категория эквивалентна категории конечномерных представлений некоторой группы, которую Делинь, Милн и др. подробно описал, см. Deligne & Milne (1982). [4] и Делинь (1994) . Описание этой группы было переработано в более геометрических терминах Капрановым (2012) . Соответствующий (гораздо более сложный) анализ рациональных чистых поляризуемых структур Ходжа был проведен Патрикисом (2016) .

Смешанная структура Ходжа в когомологиях (теорема Делиня)

[ редактировать ]

Делинь доказал, что n- я группа когомологий произвольного алгебраического многообразия имеет каноническую смешанную структуру Ходжа. Эта структура функториальна и совместима с произведениями многообразий ( изоморфизм Кюннета ) и произведением когомологий. Для полного неособого многообразия X эта структура имеет чистый вес n , и фильтрация Ходжа может быть определена через гиперкогомологии усеченного комплекса де Рама.

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

Используя теорию мотивов , можно уточнить весовую фильтрацию на когомологиях с рациональными коэффициентами до когомологий с целыми коэффициентами. [5]

  • Структура Тейта -Ходжа представляет собой структуру Ходжа с лежащей в ее основе модуль предоставлен (подгруппа ), с Таким образом, она имеет чистый вес −2 по определению и является единственной одномерной чистой структурой Ходжа веса −2 с точностью до изоморфизмов. В более общем смысле его n- я тензорная степень обозначается как он одномерен и имеет вес −2 n .
  • Когомологии компактного кэлерова многообразия имеют структуру Ходжа, а n- я группа когомологий имеет чистый вес n .
  • Когомологии комплексного многообразия (возможно, особого или несобственного) имеют смешанную структуру Ходжа. Это было показано для гладких разновидностей Делинем (1971) , Делинем (1971а) и вообще Делинем (1974) .
  • Для проективного разнообразия с нормальными пересекающимися особенностями существует спектральная последовательность с вырожденной E 2 -страницей, которая вычисляет все свои смешанные структуры Ходжа. На E 1 -странице есть явные члены с дифференциалом, исходящим из симплициального множества. [6]
  • Любое гладкое многообразие X допускает гладкую компактификацию с дополнением нормальным делителем пересечения. Соответствующие логарифмические формы можно использовать для описания смешанной структуры Ходжа на когомологиях X. явного [7]
  • Структура Ходжа для гладкой проективной гиперповерхности. степени был подробно разработан Гриффитсом в его статье «Интегралы по периоду алгебраических многообразий». Если – многочлен, определяющий гиперповерхность то градуированное факторкольцо Якобиана содержит всю информацию средних когомологий . Он показывает, что Например, рассмотрим поверхность K3 , заданную формулой , следовательно и . Тогда градуированное якобианское кольцо будет Тогда изоморфизм примитивных групп когомологий будет выглядеть следующим образом: следовательно Обратите внимание, что векторное пространство, охватываемое который является 19-мерным. Есть лишний вектор заданный классом Лефшеца . Согласно теореме Лефшеца о гиперплоскости и двойственности Ходжа остальная часть когомологий находится в как есть -мерный. Следовательно, ромб Ходжа гласит:
    1
    0 0
    1 20 1
    0 0
    1
  • Мы также можем использовать предыдущий изоморфизм для проверки рода степени плоская кривая. С является гладкой кривой, а теорема о расслоениях Эресмана гарантирует, что любая другая гладкая кривая рода диффеоморфен, то мы имеем, что род тогда один и тот же. Итак, используя изоморфизм примитивных когомологий с градуированной частью якобиева кольца, мы видим, что Это означает, что размерность по желанию.
  • Числа Ходжа для полного пересечения также легко вычислимы: существует комбинаторная формула, найденная Фридрихом Хирцебрухом . [8]

Приложения

[ редактировать ]

Механизм, основанный на понятиях структуры Ходжа и смешанной структуры Ходжа, образует часть все еще во многом гипотетической теории мотивов , предложенной Александром Гротендиком . Арифметическая информация для неособого алгебраического многообразия X , закодированная собственным значением элементов Фробениуса, действующих на его l-адические когомологии , имеет нечто общее со структурой Ходжа, возникающей из X, рассматриваемого как комплексное алгебраическое многообразие. Сергей Гельфанд и Юрий Манин заметили примерно в 1988 году в своих «Методах гомологической алгебры» , что в отличие от симметрий Галуа, действующих на другие группы когомологий, происхождение «симметрий Ходжа» очень загадочно, хотя формально они выражаются через действие довольно несложной группы о когомологиях де Рама. С тех пор загадка усугубилась с открытием и математической формулировкой зеркальной симметрии.

Вариант структуры Ходжа

[ редактировать ]

Разновидность структуры Ходжа ( Гриффитс (1968) , Гриффитс (1968а) , Гриффитс (1970) ) — семейство структур Ходжа.параметризованное комплексным многообразием X . Точнее, вариант структуры Ходжа веса n на комплексном многообразии X состоит из локально постоянного пучка S конечно порожденных абелевых групп на X вместе с убывающей фильтрацией Ходжа F на S O X при соблюдении следующих двух условий:

  • Фильтрация индуцирует структуру Ходжа веса n на каждом слое пучка S
  • ( Трансверсальность Гриффитса ) Естественная связность на S O X отображает в

Здесь естественная (плоская) связность на S O X, индуцированная плоской связностью на S и плоской связностью d на O X , а OX пучок голоморфных функций на X , и есть пучок 1-форм на X . Эта естественная плоская связность является связностью Гаусса–Манина ∇ и может быть описана уравнением Пикара–Фукса .

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

имеет волокна

которые представляют собой гладкие плоские кривые рода 10 для и вырождается в особую кривую при Тогда пучки когомологий

дать варианты смешанных структур ходжа.

Модули Ходжа

[ редактировать ]

Модули Ходжа являются обобщением вариации структур Ходжа на комплексном многообразии. Неформально их можно рассматривать как нечто вроде пучков структур Ходжа на многообразии; Точное определение Сайто (1989) является довольно техническим и сложным. Имеются обобщения на смешанные модули Ходжа и на многообразия с особенностями.

Каждому гладкому комплексному многообразию соответствует абелева категория смешанных модулей Ходжа. Формально они ведут себя как категории пучков над многообразиями; например, морфизмы f между многообразиями индуцируют функторы f , f* , f ! , ж ! между ( производными категориями ) смешанными модулями Ходжа, подобными модулям для пучков.

См. также

[ редактировать ]

Примечания

[ редактировать ]
  1. ^ В терминах спектральных последовательностей см. гомологическую алгебру . Фитрации Ходжа можно описать следующим образом:
    используя обозначения в #Определении смешанной структуры Ходжа . Важным фактом является то, что оно вырождено при члене E 1 , что означает спектральную последовательность Ходжа–де Рама, а затем и разложение Ходжа, зависит только от комплексной структуры, а не от метрики Кэлера на M .
  2. ^ Точнее, пусть S - двумерная коммутативная вещественная алгебраическая группа, определенная как ограничение Вейля мультипликативной группы из к другими словами, если A — алгебра над тогда группа S ( A ) A -значных точек из S является мультипликативной группой Затем это группа ненулевых комплексных чисел.
  3. ^ Дерфи, Алан (1981). «Наивное руководство по смешанной теории Ходжа». Комплексный анализ особенностей : 48–63. hdl : 2433/102472 .
  4. ^ Вторая статья Делиня и Милна под названием «Таннакские категории» посвящена этой теме.
  5. ^ Жилле, Анри ; Суле, Кристоф (1996). «Происхождение, мотивы и К -теория». Журнал чистой и прикладной математики . 1996 (478): 127–176. arXiv : alg-geom/9507013 . Бибкод : 1995alg.geom..7013G . дои : 10.1515/crll.1996.478.127 . МР1409056   . S2CID   16441433 . , раздел 3.1
  6. ^ Джонс, Б.Ф., «Смешанная структура Ходжа Делиня для проективных многообразий только с нормальными пересекающимися особенностями» (PDF) , Рабочий семинар по теории Ходжа, весна 2005 г.
  7. ^ Николаеску, Ливиу, «Смешанные структуры Ходжа на гладких алгебраических многообразиях» (PDF) , Рабочий семинар по теории Ходжа, весна 2005 г.
  8. ^ «Ромб Ходжа полных пересечений» . Обмен стеками . 14 декабря 2013 г.

Вводные ссылки

[ редактировать ]

Обзорные статьи

[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 0c66536b3e8865829fb6e5dbf346db7c__1714055040
URL1:https://arc.ask3.ru/arc/aa/0c/7c/0c66536b3e8865829fb6e5dbf346db7c.html
Заголовок, (Title) документа по адресу, URL1:
Hodge structure - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)