WikiDer > Триангулированная категория

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

Много гомологическая алгебра разъясняется и расширяется языком триангулированных категорий, важным примером является теория когомологии пучков. В 1960-е годы типичным использованием триангулированных категорий было расширение свойств пучков на пространство. Икс комплексам пучков, рассматриваемых как объекты производной категории пучков на Икс. В последнее время триангулированные категории сами по себе стали объектами интереса. Было доказано или предположено множество эквивалентностей между триангулированными категориями разного происхождения. Например, гомологическая зеркальная симметрия гипотеза предсказывает, что производная категория Многообразие Калаби – Яу эквивалентен Категория Фукая своего "зеркала" симплектическое многообразие.

История

Триангулированные категории были введены независимо Дитером Пуппе (1962) и Жан-Луи Вердье (1963), хотя аксиомы Пуппе были менее полными (без октаэдрической аксиомы (TR 4)).^[1] Puppe был мотивирован категорией стабильной гомотопии. Ключевым примером Вердье была производная категория абелевой категории, которую он также определил, развивая идеи Александр Гротендик. Ранние приложения производных категорий включали когерентная двойственность и Двойственность Вердье, который расширяет Двойственность Пуанкаре в особые пространства.

Определение

А сдвиг или же функтор перевода по категории D аддитивный автоморфизм (или, по мнению некоторых авторов, авто-эквивалентность) ${ displaystyle Sigma}$ из D к D. Обычно пишут ${ Displaystyle X [n] = Sigma ^ {n} X}$ для целых чисел п.

А треугольник (Икс, Y, Z, ты, v, ш) состоит из трех объектов Икс, Y, и Zвместе с морфизмами ${ Displaystyle и двоеточие от X до Y}$, ${ Displaystyle v двоеточие от Y до Z}$ и ${ displaystyle w двоеточие Z к X [1]}$. Треугольники обычно пишут в развернутом виде:

${ Displaystyle X { xrightarrow {{} на вершине u}} Y { xrightarrow {{} на вершине v}} Z { xrightarrow {{} на вершине w}} X [1],}$

или же

${ displaystyle X { xrightarrow {{} на вершине u}} Y { xrightarrow {{} на вершине v}} Z { xrightarrow {{} на вершине w}}}$

для краткости.

А триангулированная категория является аддитивная категория D с функтором трансляции и классом треугольников, называемым точные треугольники^[2] (или же выдающиеся треугольники), удовлетворяющие следующим свойствам (TR 1), (TR 2), (TR 3) и (TR 4). (Эти аксиомы не являются полностью независимыми, поскольку (TR 3) может быть получено из других.^[3])

TR 1

• Для каждого объекта Икс, следующий треугольник является точным:

${ displaystyle X { overset { text {id}} { to}} от X до 0 до X [1]}$

• Для любого морфизма ${ Displaystyle и двоеточие от X до Y}$, есть объект Z (называется конус или же кофеварка морфизма ты) вписывается в точный треугольник

${ Displaystyle X { xrightarrow {{} на вершине u}} от Y до Z до X [1]}$

Название «конус» происходит от конус карты цепные комплексы, который, в свою очередь, был вдохновлен картографический конус в топологии. Из других аксиом следует, что точный треугольник (и в частности объект Z) определяется с точностью до изоморфизма морфизмом ${ Displaystyle от X до Y}$, хотя и не всегда с точностью до единственного изоморфизма.^[4]

• Каждый треугольник, изоморфный точному треугольнику, точен. Это означает, что если

${ Displaystyle X { xrightarrow {{} на вершине u}} Y { xrightarrow {{} на вершине v}} Z { xrightarrow {{} на вершине w}} X [1]}$

- точный треугольник, и ${ displaystyle f двоеточие от X до X '}$, ${ displaystyle g двоеточие от Y до Y '}$, и ${ Displaystyle ч двоеточие от Z до Z '}$ являются изоморфизмами, то

${ displaystyle X '{ xrightarrow {guf ^ {- 1}}} Y' { xrightarrow {hvg ^ {- 1}}} Z '{ xrightarrow {f [1] wh ^ {- 1}}} X '[1]}$

также является точным треугольником.

TR 2

Если

${ Displaystyle X { xrightarrow {{} на вершине u}} Y { xrightarrow {{} на вершине v}} Z { xrightarrow {{} на вершине w}} X [1]}$

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

${ Displaystyle Y { xrightarrow {{} на вершине v}} Z { xrightarrow {{} atop w}} X [1] { xrightarrow {-u [1]}} Y [1]}$

и

${ displaystyle Z [-1] { xrightarrow {-w [-1]}} X { xrightarrow {{} atop u}} Y { xrightarrow {{} atop v}} Z. }$

С учетом последнего треугольника объект Z[−1] называется волокно морфизма ${ Displaystyle от X до Y}$.

Второй повернутый треугольник имеет более сложную форму, когда ${ displaystyle [1]}$ и ${ displaystyle [-1]}$ не являются изоморфизмами, а являются только взаимно обратными эквивалентностями категорий, поскольку ${ displaystyle -w [-1]}$ это морфизм из ${ displaystyle Z [-1]}$ к ${ Displaystyle (Х [1]) [- 1]}$, и получить морфизм к ${ displaystyle [X]}$ нужно сочинять с естественным преобразованием ${ displaystyle (X [1]) [- 1] { xrightarrow {}} X}$. Это приводит к сложным вопросам о возможных аксиомах, которые необходимо наложить на естественные преобразования, ${ displaystyle [1]}$ и ${ displaystyle [-1]}$ в пару обратных эквивалентностей. В связи с этой проблемой предположение, что ${ displaystyle [1]}$ и ${ displaystyle [-1]}$ взаимно обратные изоморфизмы - обычный выбор в определении триангулированной категории.

TR 3

Учитывая два точных треугольника и отображение между первыми морфизмами в каждом треугольнике, существует морфизм между третьими объектами в каждом из двух треугольников, который делает все ездят. То есть на следующей диаграмме (где две строки представляют собой точные треугольники и ж и грамм морфизмы такие, что гу = уф) существует отображение час (не обязательно уникальный), заставляя все квадраты коммутировать:

TR 4: Октаэдрическая аксиома

Позволять ${ Displaystyle и двоеточие от X до Y}$ и ${ Displaystyle v двоеточие от Y до Z}$ быть морфизмами, и рассмотрим составной морфизм ${ displaystyle vu двоеточие от X до Z}$. Сформируйте точные треугольники для каждого из этих трех морфизмов согласно TR 1. Аксиома октаэдра утверждает (примерно), что три конуса отображения могут быть превращены в вершины точного треугольника так, чтобы «все коммутировало».

Более формально, учитывая точные треугольники

${ displaystyle X { xrightarrow {u ,}} Y { xrightarrow {j}} Z '{ xrightarrow {k}} X [1]}$

${ Displaystyle Y { xrightarrow {v ,}} Z { xrightarrow {l}} X '{ xrightarrow {i}} Y [1]}$

${ displaystyle X { xrightarrow {{} atop vu}} Z { xrightarrow {m}} Y '{ xrightarrow {n}} X [1]}$,

существует точный треугольник

${ displaystyle Z '{ xrightarrow {f}} Y' { xrightarrow {g}} X '{ xrightarrow {h}} Z' [1]}$

такой, что

${ displaystyle l = gm, quad k = nf, quad h = j [1] i, quad ig = u [1] n, quad fj = mv.}$

Эта аксиома называется «октаэдрической аксиомой», потому что рисование всех объектов и морфизмов дает скелет октаэдр, четыре грани которых представляют собой точные треугольники. Представленная здесь презентация принадлежит Вердье и появляется вместе с октаэдрической диаграммой в (Hartshorne1966). На следующей диаграмме ты и v - данные морфизмы, а буквы со штрихом - конусы различных отображений (выбраны так, чтобы каждый точный треугольник имел Икс, а Y, а Z письмо). Различные стрелки помечены [1], чтобы указать, что они имеют «степень 1»; например карта из Z' к Икс на самом деле из Z' к Икс[1]. Тогда аксиома октаэдра утверждает существование отображений ж и грамм образуя точный треугольник, и чтобы ж и грамм образуют коммутативные треугольники на других гранях, которые их содержат:

Две разные картинки появляются в (Beilinson, Bernstein & Deligne1982) (Гельфанд и Манин (2006) также представляю первую). Первый представляет верхнюю и нижнюю пирамиды вышеуказанного октаэдра и утверждает, что, учитывая нижнюю пирамиду, можно заполнить верхнюю пирамиду так, чтобы два пути от Y к Y', и из Y' к Y, равны (это условие опущено, возможно, по ошибке, в презентации Хартшорна). Треугольники, помеченные знаком +, коммутативны, а треугольники с меткой d точны:

Вторая диаграмма представляет собой более инновационное представление. Точные треугольники представлены линейно, и диаграмма подчеркивает тот факт, что четыре треугольника в «октаэдре» соединены серией отображений треугольников, где три треугольника (а именно, те, которые завершают морфизмы из Икс к Y, из Y к Z, и из Икс к Z) даны и утверждается существование четвертого. Один проходит между первыми двумя, "вращаясь" вокруг Икс, к третьему, поворачиваясь вокруг Z, а к четвертому, поворачиваясь вокруг Икс′. Все вложения на этой диаграмме коммутативны (как тригоны, так и квадрат), но другой коммутативный квадрат, выражающий равенство двух путей из Y' к Y, не очевидно. Все стрелки, указывающие «за край», имеют степень 1:

Эта последняя диаграмма также иллюстрирует полезную интуитивную интерпретацию аксиомы октаэдра. В триангулированных категориях треугольники играют роль точных последовательностей, и поэтому наводит на размышления об этих объектах как о «частных», ${ Displaystyle Z '= Y / X}$ и ${ Displaystyle Y '= Z / X}$. Таким образом, существование последнего треугольника выражает, с одной стороны,

${ Displaystyle X '= Z / Y }$ (глядя на треугольник ${ displaystyle Y to Z to X ' to}$ ), и

${ Displaystyle X '= Y' / Z '}$ (глядя на треугольник ${ Displaystyle Z ' к Y' к X ' к}$ ).

Собирая их вместе, аксиома октаэдра утверждает «третью теорему об изоморфизме»:

${ Displaystyle (Z / X) / (Y / X) cong Z / Y.}$

Если триангулированная категория является производной категорией D(А) абелевой категории А, и Икс, Y, Z являются объектами А рассматриваются как комплексы, сосредоточенные в степени 0, а карты ${ Displaystyle от X до Y}$ и ${ displaystyle Y to Z}$ являются мономорфизмами в А, то конусы этих морфизмов в D(А) фактически изоморфны приведенным выше частным в А.

Наконец, Нееман (2001) формулирует аксиому октаэдра, используя двумерную коммутативную диаграмму с 4 строками и 4 столбцами. Бейлинсон, Бернштейн и Делинь (1982) также дают обобщения аксиомы октаэдра.

Характеристики

Вот несколько простых следствий аксиом для триангулированной категории D.

• Учитывая точный треугольник

${ Displaystyle X { xrightarrow {{} на вершине u}} Y { xrightarrow {{} на вершине v}} Z { xrightarrow {{} на вершине w}} X [1]}$

в D, композиция любых двух последовательных морфизмов равна нулю. То есть, ву = 0, wv = 0, ты[1]ш = 0 и так далее.^[5]

• Учитывая морфизм ${ Displaystyle и двоеточие от X до Y}$, TR 1 гарантирует существование конуса Z завершение точного треугольника. Любые два конуса ты изоморфны, но изоморфизм не всегда определяется однозначно.^[4]

• Каждый мономорфизм в D есть включение прямого слагаемого, ${ displaystyle X to X oplus Y}$, и каждый эпиморфизм это проекция ${ displaystyle X oplus Y to X}$.^[6] С этим связано то, что не следует говорить об «инъективности» или «сюръективности» для морфизмов в триангулированной категории. Каждый морфизм ${ Displaystyle от X до Y}$ не является изоморфизмом, имеет ненулевое "коядро" Z (это означает, что существует точный треугольник ${ Displaystyle от X к Y к Z к X [1]}$), а также ненулевое «ядро», а именно Z[−1].

Нефункциональность конструкции конуса

Одна из технических сложностей с триангулированными категориями заключается в том, что конструкция конуса не является функториальной. Например, учитывая кольцо ${ displaystyle R}$ и частичное отображение выделенных треугольников

${ displaystyle { begin {matrix} R & to & 0 & to & R [+1] & to downarrow && downarrow &&& 0 & to & R [+1] & to & R [+1] & to end {matrix}}}$

в ${ displaystyle D ^ {b} (R)}$, есть две карты, которые завершают эту диаграмму. Это может быть карта идентичности или нулевая карта

${ displaystyle { begin {align} { text {id}}: & R [+1] to R [+1] 0: & R [+1] to R [+1] end {выровнено} }}$

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

Примеры

Есть ли лучшие аксиомы?

Некоторые эксперты подозревают^{[11]стр.190} (см., например, (Гельфанд, Манин2006, Введение, Глава IV)), что триангулированные категории не совсем "правильное" понятие. Существенная причина в том, что конус морфизма единственен только с точностью до неуникальный изоморфизм. В частности, конус морфизма, вообще говоря, не зависит от функционально на морфизме (отметим, например, неединственность в аксиоме (TR 3)). Эта неуникальность - потенциальный источник ошибок. Однако аксиомы адекватно работают на практике, и их изучению посвящено множество литературы.

Дериваторы

Одно из альтернативных предложений - теория производные предложенный Гротендиком в книге «Преследование стеков» в 80-х гг.^{[11]стр. 191}, а позже развил в 90-х годах в своей рукописи по этой теме. По сути, это система гомотопических категорий, задаваемых категориями диаграмм ${ displaystyle I to M}$ для категории с классом слабых эквивалентностей ${ displaystyle (M, W)}$. Эти категории затем связаны морфизмами диаграмм ${ displaystyle I to J}$. Этот формализм имеет то преимущество, что он может восстановить пределы гомотопии и копределы, что заменяет конструкцию конуса.

Стабильные ∞-категории

Другая построенная альтернатива - это теория стабильные ∞-категории. Гомотопическая категория стабильной ∞-категории канонически триангулируется, и, кроме того, конусы отображения становятся по существу уникальными (в точном гомотопическом смысле). Более того, стабильная ∞-категория естественным образом кодирует целую иерархию совместимости для своей гомотопической категории, в основании которой находится аксиома октаэдра. Таким образом, дать данные стабильной ∞-категории строго сильнее, чем предоставить данные триангуляции ее гомотопической категории. Почти все триангулированные категории, которые возникают на практике, происходят из стабильных ∞-категорий. Аналогичным (но более специальным) обогащением триангулированных категорий является понятие dg-категория.

В некотором смысле стабильные ∞-категории или dg-категории работают лучше, чем триангулированные категории. Одним из примеров является понятие точного функтора между триангулированными категориями, обсуждаемое ниже. Для гладкий проективное разнообразие Икс над полем k, ограниченная производная категория когерентные пучки ${ displaystyle { text {D}} ^ { text {b}} (X)}$ происходит из dg-категории естественным образом. Для сортов Икс и Y, каждый функтор из dg-категории Икс к тому из Y происходит из комплекса связок на ${ Displaystyle X раз Y}$ посредством Преобразование Фурье – Мукаи.^[12] Напротив, есть пример точного функтора из ${ displaystyle { text {D}} ^ { text {b}} (X)}$ к ${ displaystyle { text {D}} ^ { text {b}} (Y)}$ что не происходит из комплекса связок на ${ Displaystyle X раз Y}$.^[13] В свете этого примера «правильное» понятие морфизма между триангулированными категориями, кажется, происходит из морфизма лежащих в основе dg-категорий (или стабильных ∞-категорий).

Еще одно преимущество стабильных ∞-категорий или dg-категорий перед триангулированными категориями проявляется в алгебраическая K-теория. Можно определить алгебраическую K-теорию стабильной ∞-категории или dg-категории C, задающую последовательность абелевых групп ${ displaystyle K_ {i} (C)}$ для целых чисел я. Группа ${ displaystyle K_ {0} (C)}$ имеет простое описание в терминах триангулированной категории, связанной с C. Но пример показывает, что высшие K-группы dg-категории не всегда определяются связанной триангулированной категорией.^[14] Таким образом, триангулированная категория имеет четко определенную ${ displaystyle K_ {0}}$ группа, но в целом не высшие K-группы.

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

Когомологии в триангулированных категориях

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

${ Displaystyle X к Y к Z к X [1], }$

последовательность ${ Displaystyle F (X) к F (Y) к F (Z)}$ в А точно. Поскольку точный треугольник определяет бесконечную последовательность точных треугольников в обоих направлениях,

${ Displaystyle cdots к Z [-1] к X к Y к Z к X [1] к cdots, }$

когомологический функтор F на самом деле дает длинная точная последовательность в абелевой категории А:

${ Displaystyle cdots к F (Z [-1]) к F (X) к F (Y) к F (Z) к F (X [1]) к cdots. }$

Ключевой пример: для каждого объекта B в триангулированной категории D, функторы ${ displaystyle operatorname {Hom} (B, { text {-}})}$ и ${ displaystyle operatorname {Hom} ({ text {-}}, B)}$ когомологичны, со значениями в категории абелевы группы.^[15] (Чтобы быть точным, последний контравариантный функтор, который можно рассматривать как функтор на противоположная категория из D.) То есть точный треугольник ${ Displaystyle от X к Y к Z к X [1]}$ определяет две длинные точные последовательности абелевых групп:

${ displaystyle cdots to operatorname {Hom} (B, X [i]) to operatorname {Hom} (B, Y [i]) to operatorname {Hom} (B, Z [i]) to operatorname {Hom} (B, X [i + 1]) to cdots}$

и

${ displaystyle cdots to operatorname {Hom} (Z, B [i]) to operatorname {Hom} (Y, B [i]) to operatorname {Hom} (X, B [i]) to operatorname {Hom} (Z, B [i + 1]) to cdots.}$

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

Можно также использовать обозначение

${ displaystyle operatorname {Ext} ^ {i} (B, X) = operatorname {Hom} (B, X [i])}$

для целых чисел я, обобщая Функтор Ext в абелевой категории. В этих обозначениях первая точная последовательность выше будет записана:

${ displaystyle cdots to operatorname {Ext} ^ {i} (B, X) to operatorname {Ext} ^ {i} (B, Y) to operatorname {Ext} ^ {i} (B , Z) to operatorname {Ext} ^ {i + 1} (B, X) to cdots. }$

Для абелевой категории А, еще один базовый пример когомологического функтора на производной категории D(А) посылает сложный Икс к объекту ${ displaystyle H ^ {0} (X)}$ в А. То есть точный треугольник ${ Displaystyle от X к Y к Z к X [1]}$ в D(А) определяет длинную точную последовательность в А:

${ Displaystyle cdots к H ^ {i} (X) к H ^ {i} (Y) к H ^ {i} (Z) к H ^ {i + 1} (X) to cdots,}$

используя это ${ Displaystyle H ^ {0} (X [я]) cong H ^ {я} (X)}$.

Точные функторы и эквивалентности

An точный функтор (также называемый триангулированный функтор) из триангулированной категории D в триангулированную категорию E является аддитивным функтором ${ displaystyle F двоеточие D to E}$ который, грубо говоря, коммутирует с трансляцией и переводит точные треугольники в точные треугольники.^[16]

Более подробно, точный функтор имеет естественный изоморфизм ${ Displaystyle eta двоеточие F Sigma to Sigma F}$ (где первый ${ displaystyle Sigma}$ обозначает функтор трансляции D а второй ${ displaystyle Sigma}$ обозначает функтор трансляции E), что всякий раз, когда

${ Displaystyle X { xrightarrow {{} на вершине u}} Y { xrightarrow {{} на вершине v}} Z { xrightarrow {{} на вершине w}} X [1]}$

это точный треугольник в D,

${ Displaystyle F (X) { xrightarrow {F (u)}} F (Y) { xrightarrow {F (v)}} F (Z) { xrightarrow { eta _ {X} F (w)} } F (X) [1]}$

это точный треугольник в E.

An эквивалентность триангулированных категорий является точным функтором ${ displaystyle F двоеточие D to E}$ это тоже эквивалентность категорий. В этом случае существует точный функтор ${ Displaystyle G двоеточие E to D}$ такой, что FG и GF естественно изоморфны соответствующим тождественным функторам.

Компактно сгенерированные триангулированные категории

Позволять D - триангулированная категория такая, что прямые суммы индексированные произвольным набором (не обязательно конечным) существуют в D. Объект Икс в D называется компактный если функтор ${ displaystyle { text {Hom}} _ {D} (X, { text {-}})}$ ездит с прямыми суммами. В явном виде это означает, что для каждого семейства объектов ${ displaystyle Y_ {i}}$ в D проиндексировано набором S, естественный гомоморфизм абелевых групп ${ displaystyle oplus _ {i in S} mathrm {Hom} _ {D} (X, Y_ {i}) to mathrm {Hom} _ {D} (X, oplus _ {i in S} Y_ {i})}$ является изоморфизмом. Это отличается от общего понятия компактный объект в теории категорий, которая включает в себя все копределы, а не только копроизведения.

Например, компактный объект в стабильной гомотопической категории ${ displaystyle h { cal {S}}}$ - конечный спектр.^[17] Компактный объект в производной категории кольца или в квазикогерентный производная категория схемы, является идеальный комплекс. В случае гладкого проективного многообразия Икс над полем категория Perf (Икс) совершенных комплексов также можно рассматривать как ограниченную производную категорию когерентных пучков, ${ displaystyle D _ { text {coh}} ^ { text {b}} (X)}$.

Триангулированная категория D является компактно генерируемый если

• D имеет произвольные (не обязательно конечные) прямые суммы;
• Есть набор S компактных объектов в D так что для каждого ненулевого объекта Икс в D, есть объект Y в S с ненулевым отображением ${ Displaystyle Y [п] к X}$ для некоторого целого числа п.

Многие естественные "большие" триангулированные категории генерируются компактно:

• Производная категория модулей над кольцом р компактно порождается одним объектом, р-модуль р.
• Квазикогерентная производная категория квазикомпактный квазиразделенная схема компактно порождается одним объектом.^[18]
• Стабильная гомотопическая категория компактно порождается одним объектом - сферным спектром ${ displaystyle S ^ {0}}$.^[19]

Амнон Ниман обобщил Теорема Брауна о представимости в любую компактно порожденную триангулированную категорию следующим образом.^[20] Позволять D - компактно порожденная триангулированная категория, ${ displaystyle H двоеточие D ^ { text {op}} to { text {Ab}}}$ когомологический функтор, переводящий копроизведения в продукты. потом ЧАС представимо. (То есть есть объект W из D такой, что ${ Displaystyle H (X) cong { text {Hom}} (X, W)}$ для всех Икс.) Для другой версии пусть D - компактно порожденная триангулированная категория, Т любая триангулированная категория. Если точный функтор ${ Displaystyle F двоеточие D to T}$ отправляет сопродукты к сопродуктам, затем F имеет правый смежный.

Теорема Брауна о представимости может использоваться для определения различных функторов между триангулированными категориями. В частности, Ниман использовал его для упрощения и обобщения конструкции исключительный функтор обратного изображения ${ displaystyle f ^ {!}}$ для морфизма ж из схемы, центральная особенность когерентная двойственность теория.^[21]

т-структуры

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

Александр Бейлинсон, Джозеф Бернштейн и Пьер Делинь описал эту ситуацию понятием т-структура по триангулированной категории D.^[22] Т-структура на D определяет абелеву категорию внутри D, и различные t-структуры на D может давать разные абелевы категории.

Локализация и толстые подкатегории

Позволять D - триангулированная категория с произвольными прямыми суммами. А локализация подкатегории из D это строго полный триангулированная подкатегория, замкнутая относительно произвольных прямых сумм.^[23] Чтобы объяснить название: если подкатегория локализации S компактно порожденной триангулированной категории D генерируется набором объектов, то есть Локализация Боусфилда функтор ${ Displaystyle L двоеточие D to D}$ с ядром S.^[24] (То есть для каждого объекта Икс в D есть точный треугольник ${ Displaystyle от Y к X к LX к Y [1]}$ с Y в S и LX в право ортогональный ${ Displaystyle S ^ { perp}}$.) Например, эта конструкция включает локализация спектра при простом числе, или ограничение комплекса пучков на пространстве на открытое подмножество.

Для «малых» триангулированных категорий больше подходит параллельное понятие: толстая подкатегория триангулированной категории C - строго полная триангулированная подкатегория, замкнутая относительно прямых слагаемых. (Если C является идемпотентно-полныйподкатегория толстая тогда и только тогда, когда она также идемпотентно-полная.) Локализующая подкатегория толстая.^[25] Так что если S является локализующей подкатегорией триангулированной категории D, то пересечение S с подкатегорией ${ displaystyle D ^ { text {c}}}$ компактных объектов - толстая подкатегория ${ displaystyle D ^ { text {c}}}$.

Например, Девинац–Хопкинс–Смит описал все толстые подкатегории триангулированной категории конечных спектров в терминах Моравская К-теория.^[26] Локализующие подкатегории всей стабильной гомотопической категории не классифицированы.

Смотрите также

• Преобразование Фурье – Мукаи
• Шесть операций
• Извращенная связка
• D-модуль
• Локализация Бейлинсона – Бернштейна
• Спектр модуля
• Полуортогональное разложение
• Условие устойчивости Бриджеланда

Примечания

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

Вот некоторые вводные в учебниках триангулированные категории:

• Гельфанд, Сергей; Манин Юрий (2006), «IV. Триангулированные категории», Методы гомологической алгебры, Монографии Springer по математике (2-е изд.), Springer-Verlag, Дои:10.1007/978-3-662-12492-5, ISBN 978-3540435839, МИСТЕР 1950475
• Кашивара, Масаки; Шапира, Пьер (2006), Категории и связки, Grundlehren der Mathematischen Wissenschaften, Берлин, Нью-Йорк: Springer-Verlag, Дои:10.1007/3-540-27950-4, ISBN 978-3-540-27949-5, МИСТЕР 2182076
• Вейбель, Чарльз А. (1994). Введение в гомологическую алгебру. Кембриджские исследования в области высшей математики. 38. Издательство Кембриджского университета. ISBN 978-0-521-55987-4. МИСТЕР 1269324. OCLC 36131259.

Краткое резюме с приложениями:

• Кашивара, Масаки; Шапира, Пьер (2002), "Глава I. Гомологическая алгебра", Пучки на коллекторах, Grundlehren der Mathematischen Wissenschaften, Springer-Verlag, Дои:10.1007/978-3-662-02661-8, ISBN 978-3540518617, МИСТЕР 1074006

Еще несколько дополнительных ссылок:

• Бейлинсон, А.А.; Бернштейн, Дж.; Делинь, П. (2018) [1982], "Faisceaux Pervers", Astérisque, Société Mathématique de France, Париж, 100, ISBN 978-2-85629-878-7, МИСТЕР 0751966
• Даггер, Дэниел; Шипли, Брук (2009), «Любопытный пример триангулированных эквивалентных категорий моделей, которые не являются эквивалентами Квиллена», Алгебраическая и геометрическая топология, 9: 135–166, arXiv:0710.3070, Дои:10.2140 / agt.2009.9.135, МИСТЕР 2482071
• Хартсхорн, Робин (1966), "Глава I. Производная категория", Остатки и двойственность, Конспект лекций по математике 20, Springer-Verlag, стр. 20–48, Дои:10.1007 / BFb0080482, ISBN 978-3-540-03603-6, МИСТЕР 0222093
• Краузе, Хеннинг (2010), "Теория локализации для триангулированных категорий", Триангулированные категории, Серия лекций Лондонского математического общества, 375, Cambridge University Press, стр. 161–235, arXiv:0806.1324, Дои:10.1017 / CBO9781139107075.005, МИСТЕР 2681709
• Neeman, Amnon (1996), "Теорема двойственности Гротендика через методы Боусфилда и представимость Брауна", Журнал Американского математического общества, 9: 205–236, Дои:10.1090 / S0894-0347-96-00174-9, МИСТЕР 1308405
• Нееман, Амнон (2001), Триангулированные категории, Annals of Mathematics Studies, Princeton University Press, Дои:10.1515/9781400837212, ISBN 978-0691086866, МИСТЕР 1812507
• Puppe, Дитер (1962), "О формальной структуре стабильной теории гомотопий", Коллоквиум по алгебраической топологии, Математический институт Орхусского университета, стр. 65–71, Zbl 0139.41106
• Puppe, Дитер (1967), "Stabile Homotopietheorie. I.", Mathematische Annalen, 169: 243–274, Дои:10.1007 / BF01362348, МИСТЕР 0211400
• Равенел, Дуглас (1992), Нильпотентность и периодичность в стабильной теории гомотопий, Издательство Принстонского университета, ISBN 9780691025728, МИСТЕР 1192553
• Риццардо, Алиса; Ван ден Берг, Мишель; Neeman, Amnon (2019), «Пример не-Фурье-Мукаи функтора между производными категориями когерентных пучков», Inventiones Mathematicae, 216: 927–1004, arXiv:1410.4039, Дои:10.1007 / s00222-019-00862-9, МИСТЕР 3955712
• Тоен, Бертран (2007), «Гомотопическая теория dg-категорий и производная теория Морита», Inventiones Mathematicae, 167: 615–667, arXiv:математика / 0408337, Дои:10.1007 / s00222-006-0025-у, МИСТЕР 2276263
• Вердье, Жан-Луи (1977) [1963], "Деривированные категории: результаты исследований (état 0)", Cohomologie étale (SGA 4¹⁄₂) (PDF), Конспект лекций по математике, 569, Springer, стр. 262–311, Дои:10.1007 / BFb0091525, ISBN 978-3-540-08066-4, МИСТЕР 3727440
• Вердье, Жан-Луи (1996) [1967], Des derivées derivées категорий abéliennes, Astérisque, 239, Société Mathématique de France, МИСТЕР 1453167

внешняя ссылка

• Дж. Питер Мэй, Аксиомы для триангулированных категорий
• Авторы проекта Stacks, The Stacks Project