WikiDer > T-структура - Википедия

t-structure - Wikipedia

В филиале математика называется гомологическая алгебра, а т-структура это способ аксиоматизировать свойства абелева подкатегория из производная категория. А т-структура на состоит из двух подкатегорий из триангулированная категория или стабильный категория бесконечности которые абстрагируют идею комплексов, когомологии которых исчезают в положительной и соответственно отрицательной степенях. Может быть много разных т-структуры из одной категории, и взаимодействие между этими структурами имеет значение для алгебры и геометрии. Понятие о т-структура возникла в работах Бейлинсона, Бернштейна, Делиня и Габбера по извращенные снопы.[1]

Определение

Зафиксируйте триангулированную категорию с функтором перевода . А т-структура на пара полных подкатегорий, каждая из которых устойчива относительно изоморфизма, удовлетворяющих следующим трем аксиомам.

  1. Если Икс является объектом и Y является объектом , тогда
  2. Если Икс является объектом , тогда Икс[1] также является объектом . Аналогично, если Y является объектом , тогда Y[-1] также является объектом .
  3. Если А является объектом , то существует выделенный треугольник такой, что Икс является объектом и Y является объектом .

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

Предположим, что это т-структура на . В этом случае для любого целого числа п, мы определяем быть полной подкатегорией чьи объекты имеют форму , куда является объектом . По аналогии, это полная подкатегория объектов , куда является объектом . Короче, определим

В этих обозначениях приведенные выше аксиомы можно переписать так:

  1. Если Икс является объектом и Y является объектом , тогда
  2. и .
  3. Если А является объектом , то существует выделенный треугольник такой, что Икс является объектом и Y является объектом .

В сердце или же основной из т-структура - это полная подкатегория состоящий из объектов в обоих и , то есть,

Сердце т-структура - это абелева категория (тогда как триангулированная категория является аддитивной, но почти никогда не абелевой), и она устойчива относительно расширений.

Триангулированная категория с возможностью выбора т-структуру иногда называют т-категория.

Вариации

Понятно, что для определения т-структура, достаточно исправить целые числа м и п и указать и . Некоторые авторы определяют т-структура быть парой .

Две подкатегории и определяют друг друга. Объект Икс в если и только если для всех объектов Y в , наоборот. То есть, являются левыми и правыми ортогональными дополнениями друг друга. Следовательно, достаточно указать только один из и . Более того, поскольку эти подкатегории полные по определению, достаточно указать их объекты.

Приведенные выше обозначения адаптированы для изучения когомологий. Когда целью является изучение гомологии, используются несколько иные обозначения. А гомологический т-структура на пара такой, что если мы определим

тогда является (когомологическим) т-структура на . То есть определение такое же, за исключением того, что верхние индексы преобразуются в нижние индексы, а роли и поменяны местами. Если мы определим

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

  1. Если Икс является объектом и Y является объектом , тогда
  2. и .
  3. Если А является объектом , то существует выделенный треугольник такой, что Икс является объектом и Y является объектом .

Примеры

Естественный т-структура

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

Отсюда сразу следует, что

В этом случае третья аксиома для т-структуру, существование некоторого выделенного треугольника, можно сделать явным следующим образом. Предположим, что является коцепным комплексом со значениями в . Определять

Ясно, что и что существует короткая точная последовательность комплексов

Эта точная последовательность дает требуемый выделенный треугольник.

Этот пример можно обобщить на точные категории (в смысле Квиллена).[2] Также есть похожие т-структуры для ограниченных, ограниченных сверху и ограниченных снизу производных категорий. Если является абелевой подкатегорией в , то полная подкатегория из состоящий из тех комплексов, когомологии которых лежат в имеет аналогичный т-структура, сердце которой .[3]

Извращенные снопы

Категория извращенные снопы по определению является ядром так называемого извращенная t-структура на производной категории категории пучков на сложное аналитическое пространство Икс или (работая с l-адическими пучками) алгебраическое многообразие над конечным полем. Как объяснялось выше, ядро ​​стандартной t-структуры просто содержит обычные пучки, рассматриваемые как комплексы, сосредоточенные в степени 0. Например, категория извращенных пучков на (возможно, особой) алгебраической кривой Икс (или, аналогично, возможно, особая поверхность) спроектирована так, чтобы содержать, в частности, объекты вида

куда включение точки, обычная связка, гладкая открытая подсхема и является локально постоянным пучком на U. Обратите внимание на наличие смещения по размеру Z и U соответственно. Этот сдвиг приводит к тому, что категория извращенных пучков хорошо воспитанный на особых пространствах. Простые объекты в этой категории - это когомологии пересечения пучки подмногообразий с коэффициентами в неприводимой локальной системе. Эта t-структура была введена Бейлинсоном, Бернштейном и Делинем.[4] Бейлинсон показал, что производная категория сердца фактически эквивалентна исходной производной категории пучков. Это пример общего факта, что триангулированная категория может быть наделена несколькими различными t-структурами.[5]

Градуированные модули

Нестандартный пример t-структуры на производной категории (градуированных) модулей над градуированное кольцо обладает тем свойством, что его сердце состоит из комплексов

куда является модулем, порожденным его (градуированной) степенью п. Эта t-структура, называемая геометрической t-структурой, играет важную роль в Кошульская двойственность.[6]

Спектры

Категория спектры наделен t-структурой, порожденной в указанном выше смысле одним объектом, а именно сферический спектр. Категория - категория связных спектров, т. е. тех, у которых отрицательные гомотопические группы исчезнуть. (В областях, связанных с теорией гомотопии, обычно используются гомологические соглашения, в отличие от когомологических, поэтому в этом случае обычно заменяют "" к "«. Используя это соглашение, категория связных спектров обозначается обозначением .)

Мотивы

Предполагаемый пример в теории мотивы так называемый мотивационная t-структура. Его (предполагаемое) существование тесно связано с некоторыми стандартные гипотезы об алгебраических циклах и исчезающие догадки, такие как Гипотеза Бейлинсона-Суле.[7]

Функторы усечения

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

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

признаться примыкает. Это функторы

такой, что

Причем для любого объекта из , существует единственный

такой, что d а счетчик и единица присоединений вместе определяют выделенный треугольник

С точностью до единственного изоморфизма это единственный выделенный треугольник вида с и объекты и , соответственно. Из существования этого треугольника следует, что объект лежит в (соотв. ) если и только если (соотв. ).

Существование подразумевает существование других функторов усечения, сдвигая и принимая противоположные категории. Если является объектом третья аксиома для т-структура утверждает существование в и морфизм вписывается в определенный выдающийся треугольник. Для каждого , зафиксируем один такой треугольник и определим . Аксиомы для т-структура подразумевает, что для любого объекта из , у нас есть

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

Повторное усечение для т-структура ведет себя аналогично повторному усечению для комплексов. Если , то есть естественные преобразования

которые дают естественные эквивалентности

Функторы когомологий

В пth функтор когомологий определяется как

Как следует из названия, это когомологический функтор в обычном смысле для триангулированной категории. То есть для любого выделенного треугольника , получаем длинная точная последовательность

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

Для естественного т-структура по производной категории , функтор когомологий является с точностью до квазиизоморфизма обычным п-я группа когомологий комплекса. Однако, рассматриваемые как функторы на комплексах, это нет истинный. Рассмотрим, например, как определено с точки зрения естественного т-структура. По определению это

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

А т-структура невырожденный если пересечение всех , а также пересечение всех , состоит только из нулевых объектов. Для невырожденного т-структура, набор функторов консервативен. Более того, в этом случае (соотв. ) можно отождествить с полной подкатегорией этих объектов для которого за (соотв. ).

Точные функторы

За , позволять быть триангулированной категорией с фиксированной т-структура Предположим, что является точным функтором (в обычном для триангулированных категорий смысле, т. е. с точностью до естественной эквивалентности коммутирует со сдвигом и сохраняет выделенные треугольники). потом является:

  • Оставили т-точный если ,
  • Правильно т-точный если , и
  • т-точный если и слева, и справа т-точный.

Элементарно увидеть, что если полностью верен и т-точный, то объект из в (соотв. ) если и только если в (соотв. ). Также элементарно увидеть, что если другой левый (соотв. правый) т-точный функтор, то составной также левый (соответственно правый) т-точный.

Мотивация к изучению одностороннего т-свойства точности в том, что они приводят к односторонним свойствам точности на сердцах. Позволять быть включением. Тогда существует составной функтор

Можно показать, что если точно слева (соответственно справа), то также точен слева (соответственно справа), и что если также точен слева (соответственно справа), то .

Если слева (соответственно справа) т-точный, а если в (соотв. ), то существует естественный изоморфизм (соотв. ).

Если точные функторы с слева примыкает к , тогда правильно т-точно тогда и только тогда, когда осталось т-точный, и в этом случае являются парой сопряженных функторов .

Конструкции т-конструкции

Позволять быть т-структура на . Если п является целым числом, то перевод п т-структура . В двойной т-структура это т-структура на противоположная категория определяется .

Позволять - триангулированная подкатегория триангулированной категории . Если это т-структура на , тогда

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

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

удовлетворяющие следующим свойствам.

  • Есть две последовательности троек сопряженных функторов и .
  • Функторы , , и полны и верны, и они удовлетворяют .
  • Существуют уникальные дифференциалы для каждого K в , точные треугольники

В этом случае, учитывая т-конструкции и на и соответственно имеется т-структура на определяется

Этот т-структура считается склейка из т-конструкции на U и F. Предполагаемые варианты использования: , , и ограничены снизу производные категории пучков на пространстве Икс, открытое подмножество U, и замкнутое дополнение F из U. Функторы и являются обычными функторами возврата и продвижения вперед. Это работает, в частности, когда рассматриваемые пучки являются левыми модулями над пучком колец на Икс и когда пучки являются ℓ-адическими пучками.

Многие t-структуры возникают благодаря следующему факту: в триангулированной категории с произвольными прямые суммы, и набор из компактные объекты в , подкатегории

можно показать как t-структуру.[8] Результирующий т-структура называется создано .

Дана абелева подкатегория триангулированной категории , можно построить подкатегорию и т-структура на той подкатегории, сердце которой .[9]

О стабильных ∞-категориях

Элементарная теория т-структуры переносятся на случай ∞-категорий с небольшими изменениями. Позволять - стабильная ∞-категория. А т-структура на определяется как т-структура на своей гомотопической категории (что является триангулированной категорией). А т-структура на ∞-категории может быть обозначена либо гомологически, либо когомологически, как и в случае триангулированной категории.

Предположим, что ∞-категория с гомотопической категорией и это это т-структура на . Тогда для каждого целого числа п, мы определяем и быть полными подкатегориями охватывает объекты в и , соответственно. Определять

быть функторами включения. Как и в случае триангулированной категории, они допускают правый и левый сопряженные, соответственно, функторы усечения

Эти функторы удовлетворяют тем же тождествам повторного усечения, что и в случае триангулированной категории.

В сердце из т-структура на определяется как ∞-подкатегория . Категория эквивалентно нерву своей гомотопической категории . Функтор когомологий определяется как , или эквивалентно .

Существование Значит это по определению является функтором локализации. На самом деле между т-конструкции на и некоторые виды функторов локализации, называемые т-локализации. Это функторы локализации L чей существенный образ замкнут относительно расширения, что означает, что если - последовательность слоев с Икс и Z в основном образе L, тогда Y также является важным образом L. Учитывая такой функтор локализации Lсоответствующие т-структура определяется

т-локализационные функторы также могут быть охарактеризованы в терминах морфизмов ж для которого Lf является эквивалентностью. Набор морфизмов S в ∞-категории является квазинасыщенный если он содержит все эквивалентности, если любой 2-симплекс в с двумя невырожденными ребрами в S имеет третье невырожденное ребро в S, и если он устойчив при выталкивании. Если - функтор локализации, то множество S всех морфизмов ж для которого Lf является эквивалентностью квазинасыщенной. потом L это т-локализационный функтор тогда и только тогда, когда S - наименьшее квазизнасыщенное множество морфизмов, содержащее все морфизмы .[10]

Производная категория абелевой категории имеет несколько подкатегорий, соответствующих различным условиям ограниченности. А т-структуру на стабильной ∞-категории можно использовать для построения подобных подкатегорий. Конкретно,

Это стабильные подкатегории . Один говорит, что является ограниченный слева (относительно данного т-структура) если , ограниченный справа если , и ограниченный если .

Также возможно сформировать левое или правое завершение по отношению к т-структура. Это аналогично формальному примыканию к направленным пределам или направленным копределам. В осталось завершение из является гомотопическим пределом диаграммы

Правильное завершение определяется двойственно. Левое и правое пополнения сами по себе являются стабильными ∞-категориями, наследующими каноническую т-структура. Есть каноническая карта от к любому из его пополнений, и это отображение т-точный. Мы говорим что является осталось завершенным или же право завершено если каноническое отображение в его левое или правое пополнение соответственно является эквивалентностью.

Связанные понятия

Если требование , заменяется противоположным включением

,

а две другие аксиомы остались прежними, полученное понятие называется со-структура или же весовая структура.[11]

Рекомендации

  1. ^ Beĭlinson, A. A .; Bernstein, J .; Делинь, П. Извращенцы Фейсо. Анализ и топология на особых пространствах, I (Luminy, 1981), 5–171, Astérisque, 100, Soc. Математика. Франция, Париж, 1982 г.
  2. ^ Бейлинсон, Бернштейн и Делинь, 1.3.22.
  3. ^ Бейлинсон, Бернштейн и Делинь, стр. 13.
  4. ^ Beĭlinson, A. A .; Bernstein, J .; Делинь, П. Фейсо извращенцы. Анализ и топология на особых пространствах, I (Luminy, 1981), 5–171, Astérisque, 100, Soc. Математика. Франция, Париж, 1982 год.
  5. ^ Беллинсон, А.А. О производной категории извращенных пучков. K-теория, арифметика и геометрия (Москва, 1984–1986), 27–41, Lecture Notes in Math., 1289, Springer, Berlin, 1987.
  6. ^ Бейлинсон, Александр; Гинзбург, Виктор; Зёргель, Вольфганг. Паттерны двойственности Кошуля в теории представлений. J. Amer. Математика. Soc. 9 (1996), нет. 2, 473–527.
  7. ^ Ханамура, Масаки. Смешанные мотивы и алгебраические циклы. III. Математика. Res. Lett. 6 (1999), нет. 1, 61–82.
  8. ^ Белигианнис, Апостолос; Рейтен, Идун. Гомологические и гомотопические аспекты теорий кручения. Mem. Амер. Математика. Soc. 188 (2007), нет. 883, viii + 207 с. Теорема III.2.3.
  9. ^ Бейлинсон, Бернштейн и Делинь, предложение 1.3.13.
  10. ^ Лурье, Высшая алгебра, предложение 1.2.1.16.
  11. ^ Бондарко, М.В. Весовые конструкции против т-образных конструкций; весовые фильтрации, спектральные последовательности и комплексы (по мотивам и вообще). J. K-Теория 6 (2010), вып. 3, 387–504.