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

Triangulated category

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

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

История

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

Определение

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

А треугольник (Икс, Y, Z, ты, v, ш) состоит из трех объектов Икс, Y, и Zвместе с морфизмами , и . Треугольники обычно пишут в развернутом виде:

или же

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

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

TR 1

  • Для каждого объекта Икс, следующий треугольник является точным:
  • Для любого морфизма , есть объект Z (называется конус или же кофеварка морфизма ты) вписывается в точный треугольник
Название «конус» происходит от конус карты цепные комплексы, который, в свою очередь, был вдохновлен картографический конус в топологии. Из других аксиом следует, что точный треугольник (и в частности объект Z) определяется с точностью до изоморфизма морфизмом , хотя и не всегда с точностью до единственного изоморфизма.[4]
  • Каждый треугольник, изоморфный точному треугольнику, точен. Это означает, что если
- точный треугольник, и , , и являются изоморфизмами, то
также является точным треугольником.

TR 2

Если

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

и

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

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

TR 3

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

Аксиома TR3.svg

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

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

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

,

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

такой, что

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

Аксиома TR4 (многогранник) .svg

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

Axiom TR4 (заглавные буквы) .svg

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

Аксиома TR4 (BBD) .svg

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

(глядя на треугольник ), и
(глядя на треугольник  ).

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

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

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

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

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

  • Учитывая точный треугольник
в D, композиция любых двух последовательных морфизмов равна нулю. То есть, ву = 0, wv = 0, ты[1]ш = 0 и так далее.[5]
  • Учитывая морфизм , TR 1 гарантирует существование конуса Z завершение точного треугольника. Любые два конуса ты изоморфны, но изоморфизм не всегда определяется однозначно.[4]
  • Каждый мономорфизм в D есть включение прямого слагаемого, , и каждый эпиморфизм это проекция .[6] С этим связано то, что не следует говорить об «инъективности» или «сюръективности» для морфизмов в триангулированной категории. Каждый морфизм не является изоморфизмом, имеет ненулевое "коядро" Z (это означает, что существует точный треугольник ), а также ненулевое «ядро», а именно Z[−1].

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

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

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

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

Примеры

  1. Векторные пространства через поле k образуют элементарную триангулированную категорию, в которой Икс[1] = Икс для всех Икс. Точный треугольник - это последовательность из k-линейные карты (написание той же карты дважды), который точный в Икс, Y и Z.
  2. Если А аддитивная категория (например, абелева категория), определим гомотопическая категория иметь объекты комплексы в А, а как морфизмы гомотопические классы морфизмов комплексов. потом - триангулированная категория.[7] Смена Икс[1] - это комплекс Икс перемещен на один шаг влево (и с дифференциалами, умноженными на -1). Точный треугольник в - треугольник, изоморфный в к треугольнику связанный с какой-то картой цепных комплексов. (Здесь обозначает картографический конус карты цепи.)
  3. В производная категория D(А) абелевой категории А - триангулированная категория.[8] Построен из категории комплексов. C(А) к локализация по отношению ко всем квазиизоморфизмы. То есть формально присоединить обратный морфизм к каждому квазиизоморфизму. Объекты D(А) без изменений; то есть они представляют собой цепные комплексы. Точный треугольник в D(А) - треугольник, изоморфный в D(А) к треугольнику связанный с какой-то картой цепных комплексов.
    Ключевым мотивом для производной категории является то, что производные функторы на А можно рассматривать как функторы производной категории.[9] Некоторые естественные подкатегории D(А) также являются триангулированными категориями, например подкатегория комплексов Икс чьи объекты когомологии в А исчезнуть для я достаточно отрицательный, достаточно положительный или и то и другое, называемые , соответственно.
  4. В топологии стабильная гомотопическая категория - триангулированная категория.[10] Объекты спектры, смена Икс[1] - это приостановка (или, что то же самое, разворот ), а точные треугольники - это последовательности волокон. Отличительная черта стабильной гомотопической категории (по сравнению с нестабильная гомотопическая категория) состоит в том, что последовательности волокон такие же, как последовательности волокон. Фактически, в любой триангулированной категории точные треугольники можно рассматривать как последовательности волокон, а также как последовательности волокон.
  5. В модульная теория представлений конечной группы грамм, то категория стабильного модуля StMod (кг) - триангулированная категория. Его объекты - это представления грамм над полем k, а морфизмы - обычные по модулю морфизмов, разлагаемых на множители проективный (или эквивалентно инъективный) кг-модули. В более общем смысле, категория стабильных модулей определяется для любого Алгебра Фробениуса на месте кг.

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

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

Дериваторы

Одно из альтернативных предложений - теория производные предложенный Гротендиком в книге «Преследование стеков» в 80-х гг.[11]стр. 191, а позже развил в 90-х годах в своей рукописи по этой теме. По сути, это система гомотопических категорий, задаваемых категориями диаграмм для категории с классом слабых эквивалентностей . Эти категории затем связаны морфизмами диаграмм . Этот формализм имеет то преимущество, что он может восстановить пределы гомотопии и копределы, что заменяет конструкцию конуса.

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

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

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

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

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

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

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

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

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

Ключевой пример: для каждого объекта B в триангулированной категории D, функторы и когомологичны, со значениями в категории абелевы группы.[15] (Чтобы быть точным, последний контравариантный функтор, который можно рассматривать как функтор на противоположная категория из D.) То есть точный треугольник определяет две длинные точные последовательности абелевых групп:

и

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

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

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

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

используя это .

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

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

Более подробно, точный функтор имеет естественный изоморфизм (где первый обозначает функтор трансляции D а второй обозначает функтор трансляции E), что всякий раз, когда

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

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

An эквивалентность триангулированных категорий является точным функтором это тоже эквивалентность категорий. В этом случае существует точный функтор такой, что FG и GF естественно изоморфны соответствующим тождественным функторам.

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

Позволять D - триангулированная категория такая, что прямые суммы индексированные произвольным набором (не обязательно конечным) существуют в D. Объект Икс в D называется компактный если функтор ездит с прямыми суммами. В явном виде это означает, что для каждого семейства объектов в D проиндексировано набором S, естественный гомоморфизм абелевых групп является изоморфизмом. Это отличается от общего понятия компактный объект в теории категорий, которая включает в себя все копределы, а не только копроизведения.

Например, компактный объект в стабильной гомотопической категории - конечный спектр.[17] Компактный объект в производной категории кольца или в квазикогерентный производная категория схемы, является идеальный комплекс. В случае гладкого проективного многообразия Икс над полем категория Perf (Икс) совершенных комплексов также можно рассматривать как ограниченную производную категорию когерентных пучков, .

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

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

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

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

Амнон Ниман обобщил Теорема Брауна о представимости в любую компактно порожденную триангулированную категорию следующим образом.[20] Позволять D - компактно порожденная триангулированная категория, когомологический функтор, переводящий копроизведения в продукты. потом ЧАС представимо. (То есть есть объект W из D такой, что для всех Икс.) Для другой версии пусть D - компактно порожденная триангулированная категория, Т любая триангулированная категория. Если точный функтор отправляет сопродукты к сопродуктам, затем F имеет правый смежный.

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

т-структуры

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

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

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

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

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

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

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

Примечания

  1. ^ Пуппе (1962, 1967); Вердье (1963, 1967).
  2. ^ Weibel (1994), определение 10.2.1.
  3. ^ Дж. Питер Мэй, Аксиомы для триангулированных категорий.
  4. ^ а б Weibel (1994), замечание 10.2.2.
  5. ^ Weibel (1994), упражнение 10.2.1.
  6. ^ Гельфанд и Манин (2006), Упражнение IV.1.1.
  7. ^ Кашивара и Шапира (2006), теорема 11.2.6.
  8. ^ Вейбель (1994), следствие 10.4.3.
  9. ^ Weibel (1994), раздел 10.5.
  10. ^ Вейбель (1994), теорема 10.9.18.
  11. ^ а б Гротендик. "Погоня за стеками". thescrivener.github.io. В архиве (PDF) из оригинала на 30 июл 2020. Получено 2020-09-17.
  12. ^ Тоен (2007), теорема 8.15.
  13. ^ Риццардо и др. (2019), теорема 1.4.
  14. ^ Даггер и Шипли (2009), замечание 4.9.
  15. ^ Weibel (1994), пример 10.2.8.
  16. ^ Вейбель (1994), определение 10.2.6.
  17. ^ Neeman (2001), замечание D.1.5.
  18. ^ Stacks Project, Тег 09IS, Stacks Project, Тег 09М1.
  19. ^ Neeman (2001), лемма D.1.3.
  20. ^ Neeman (1996), теоремы 3.1 и 4.1.
  21. ^ Neeman (1996), пример 4.2.
  22. ^ Бейлинсон и др. (1982), Определение 1.3.1.
  23. ^ Neeman (2001), Введение, после замечания 1.4.
  24. ^ Краузе (2010), теорема, введение.
  25. ^ Neeman (2001), замечание 3.2.7.
  26. ^ Равенель (1992), теорема 3.4.3.

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

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

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

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

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