Производный функтор
Эта статья включает список литературы , связанную литературу или внешние ссылки , но ее источники остаются неясными, поскольку в ней отсутствуют встроенные цитаты . ( Июль 2022 г. ) |
В математике некоторые функторы могут быть получены для получения других функторов, тесно связанных с исходными. Эта операция, хотя и довольно абстрактная, объединяет ряд математических конструкций.
Мотивация [ править ]
В самых разных условиях было отмечено, что короткая точная последовательность часто приводит к «длинной точной последовательности». Концепция производных функторов объясняет и уточняет многие из этих наблюдений.
Предположим, нам дан ковариантный левый точный функтор F : A → B между двумя абелевыми категориями A и B . Если 0 → A → B → C → 0 — короткая точная последовательность в A , то применение F дает точную последовательность 0 → F ( A ) → F ( B ) → F ( C ), и можно задаться вопросом, как продолжить эту последовательность. вправо, образуя длинную точную последовательность. Строго говоря, этот вопрос некорректен, поскольку всегда существует множество различных способов продолжить данную точную последовательность вправо. Но оказывается, что (если A достаточно «приятен») существует один канонический способ сделать это, заданный правыми производными функторами F . Для каждого i ≥1 существует функтор R я F : A → B , и вышеуказанная последовательность продолжается следующим образом: 0 → F ( A ) → F ( B ) → F ( C ) → R 1 Ф ( А ) → р 1 Ж ( Б ) → р 1 Ф ( С ) → р 2 Ф ( А ) → р 2 Ж ( Б ) → ... . Отсюда мы видим, что F является точным функтором тогда и только тогда, когда R 1 Ф = 0; поэтому в некотором смысле правые производные функторы F измеряют, «насколько далеко» F от точности.
Если объект A в приведенной выше короткой точной последовательности инъективен , то последовательность распадается . Применение любого аддитивного функтора к расщепляемой последовательности приводит к расщеплению последовательности, поэтому, в частности, R 1 F ( A ) = 0. Правые производные функторы (при i>0 ) равны нулю на инъективных: это мотивация для конструкции, приведенной ниже.
Строительство и первая недвижимость [ править ]
Ключевое предположение, которое нам нужно сделать относительно нашей абелевой категории A, состоит в том, что в ней инъективных элементов . Это означает, что для каждого объекта A в A существует мономорфизм A → I , где I — инъективный объект в A. достаточно
Правые производные функторы ковариантного левого точного функтора F : A → B определяются следующим образом. объекта X из A. Начните с Поскольку инъективных достаточно, мы можем построить длинную точную последовательность вида
где я я все инъективны (это известно как инъективное разрешение X ) . Применяя к этой последовательности функтор F и отсекая первый член, мы получаем цепной комплекс
Примечание: в целом это уже не точная последовательность. Но мы можем вычислить его когомологии в i -й точке (ядро отображения из F ( I я ) по модулю изображения отображения на F ( I я )); мы называем результат R я Ф ( Х ). Конечно, приходится проверять разные вещи: результат не зависит от заданного инъективного разрешения X , и любой морфизм X → Y естественным образом дает морфизм R я Ф ( Икс ) → р я F ( Y ), так что мы действительно получаем функтор. Обратите внимание, что левая точность означает, что0 → F ( Икс ) → F ( Я 0 ) → Ф ( Я 1 )является точным, поэтому R 0 F ( X ) = F ( X ), поэтому мы получаем что-то интересное только для i >0.
(Технически, чтобы получить четко определенные производные от F , нам пришлось бы зафиксировать инъективное разрешение для каждого объекта A. Тогда этот выбор инъективных разрешений дает функторы R я Ф. Разный выбор резольвент дает естественно изоморфные функторы, так что в конечном итоге выбор не имеет большого значения.)
Упомянутое выше свойство превращать короткие точные последовательности в длинные точные последовательности является следствием леммы о змее . Это говорит нам о том, что совокупность производных функторов является δ-функтором .
Если X сам по себе инъективен, то мы можем выбрать инъективную резольвенту 0 → X → X → 0 и получаем, что R я F ( X ) = 0 для всех i ≥ 1. На практике этот факт вместе со свойством длинной точной последовательности часто используется для вычисления значений производных справа функторов.
Эквивалентный способ вычисления R я F ( X ) заключается в следующем: возьмите инъективное разрешение X , как указано выше, и пусть K я быть изображением карты я я -1 → I я (для i =0 определим I я -1 =0), что совпадает с ядром I я → I я +1 . Пусть φ i : I я -1 → K я — соответствующее сюръективное отображение. Тогда Р я F ( X ) — коядро F (φ i ).
Вариации [ править ]
Если начать с ковариантного правоточного функтора G и категория A имеет достаточно проективов (т. е. для каждого объекта A из A существует эпиморфизм P → A , где P — проективный объект ), то можно аналогично определить лево-точный функтор. производные функторы L i G . Для объекта X из A мы сначала строим проективную резольвенту вида
где P i проективны. Мы применяем G к этой последовательности, отсекаем последний член и вычисляем гомологии, чтобы получить L i G ( X ). Как и прежде, L 0 грамм ( Икс ) = грамм ( Икс ).
В этом случае длинная точная последовательность будет расти «влево», а не вправо:
превращается в
- .
Левые производные функторы равны нулю на всех проективных объектах.
Можно также начать с контравариантного точного слева функтора F ; полученные правосторонние функторы тогда также контравариантны. Короткая точная последовательность
превращается в длинную точную последовательность
Эти левые производные функторы равны нулю на проективах и поэтому вычисляются с помощью проективных разрешений.
Примеры [ править ]
- Если является абелевой категорией, то ее категория морфизмов также абелева. Функтор который отображает каждый морфизм в его ядро, является точным слева. Его правые производные функторы:
- Двойственно функтор является точным справа, а его левые производные функторы равны
- Это проявление леммы о змее .
Гомологии и когомологии [ править ]
Когомологии пучков [ править ]
Если является топологическим пространством , то категория всех пучков абелевых групп на — абелева категория с достаточным количеством инъективных. Функтор который присваивает каждому такому пучку группа глобальных сечений является точным слева, а производные справа функторы являются функторами пучковых когомологий , обычно записываемыми как . Немного шире: если является кольцевым пространством , то категория всех пучков -модули — абелева категория с достаточным количеством инъектив, и мы снова можем построить когомологии пучков как правые производные функторы функтора глобального сечения.
Существуют различные понятия когомологий, которые являются частным случаем этого:
- Когомологии Де Рама — это когомологии пучка локально постоянных -значные функции на многообразии . Комплекс Де Рама представляет собой разрешение этого пучка не инъективными, а тонкими пучками .
- Этальные когомологии - еще одна теория когомологий пучков над схемой. Это правый производный функтор глобальных сечений абелевых пучков на этальном узле .
Внешние функторы [ править ]
Если является кольцом , то категория всех левых -модули — абелева категория с достаточным количеством инъективных. Если фиксированный левый -модуль, то функтор является точным слева, а его правые производные функторы являются функторами Ext . Альтернативно также может быть получен как левый производный функтор правого точного функтора .
Различные понятия когомологий являются частными случаями функторов Ext и, следовательно, также производными функторами.
- Групповые когомологии - это правый производный функтор функтора инвариантов. что то же самое, что (где это тривиально -модуль) и поэтому .
- Когомологии алгебры Ли алгебры Ли над некоторым коммутативным кольцом - правый производный функтор функтора инвариантов что то же самое, что (где это снова тривиально -модуль и — универсальная обертывающая алгебра ). Поэтому .
- когомологии Хохшильда некоторых -алгебра — правый производный функтор инвариантов отображение бимодуля к его центру , также называемому набором инвариантов что то же самое, что (где является обертывающей алгеброй и считается -бимодуль посредством обычного левого и правого умножения). Поэтому :
Функторы Тора [ править ]
Категория левых -modules также имеет достаточно проективов. Если это фиксированное право -модуль, то тензорное произведение с дает правый точный ковариантный функтор ; В категории модулей достаточно проективов, поэтому левые производные функторы всегда существуют. Левые производные функторы тензорного функтора - это функторы Tor. . Эквивалентно могут быть определены симметрично как левые производные функторы . Фактически можно объединить оба определения и определить как левое производное от .
Это включает в себя несколько понятий гомологии как особых случаев. Это часто отражает ситуацию с функторами Ext и когомологиями.
- Групповая гомология - это левый производный функтор принятия коинвариантов. что то же самое, что .
- Гомологии алгебры Ли - это левый производный функтор взятия коинвариантов. что то же самое, что .
- Гомологии Хохшильда - это левый производный функтор принятия коинвариантов. что то же самое, что .
Вместо отдельных левых производных функторов можно также взять полный производный функтор тензорного функтора. Это приводит к производному тензорному произведению где является производной категорией .
Естественность [ править ]
Производные функторы и длинные точные последовательности «естественны» в нескольких технических смыслах.
Во-первых, учитывая коммутативную диаграмму вида
(где строки точны), две полученные длинные точные последовательности связаны коммутацией квадратов:
Во-вторых, предположим, что η : F → G — естественное преобразование левого точного функтора F в левый точный функтор G . Тогда естественные преобразования R я ч: Р я Ф → Р я G индуцируются, и действительно R я становится функтором из категории функторов всех левых точных функторов от A до B в полную категорию функторов всех функторов A до B. от Более того, этот функтор совместим с длинными точными последовательностями в следующем смысле: если
— короткая точная последовательность, то коммутативная диаграмма
индуцируется.
Обе эти естественности следуют из естественности последовательности, обеспечиваемой леммой о змее .
Обратно, имеет место следующая характеристика производных функторов: для данного семейства функторов R я : A → B , удовлетворяющее вышеизложенному, т.е. отображающее короткие точные последовательности в длинные точные последовательности, такие, что для каждого инъективного объекта I из A , R я ( I )=0 для каждого положительного i , то эти функторы являются производными справа функторами R 0 .
Обобщение [ править ]
Более современный (и более общий) подход к производным функторам использует язык производных категорий .
В 1968 году Квиллен разработал теорию модельных категорий , которая дает абстрактную теоретико-категорную систему расслоений, корасслоений и слабых эквивалентностей. Обычно нас интересует лежащая в основе гомотопическая категория, полученная путем локализации слабых эквивалентностей. Соединение Квиллена — это соединение между модельными категориями, которое сводится к соединению между гомотопическими категориями. Например, категория топологических пространств и категория симплициальных множеств допускают модельные структуры Квиллена, присоединение нерва и реализации которых дает присоединение Квиллена, которое фактически является эквивалентностью гомотопических категорий. Конкретные объекты в структуре модели обладают «хорошими свойствами» (относительно существования подъемов против определенных морфизмов), «фибрантными» и «кофибрантными» объектами, и каждый объект слабо эквивалентен «разрешению» фибрант-кофибрант.
Хотя изначально модели Квиллена были разработаны для работы с категорией топологических пространств, структуры моделей появляются во многих местах в математике; в частности, категория цепных комплексов из любой абелевой категории (модули, пучки модулей на топологическом пространстве или схеме и т. д.) допускает модельную структуру, слабыми эквивалентностями которой являются те морфизмы между цепными комплексами, сохраняющие гомологии. Часто у нас есть функтор между двумя такими модельными категориями (например, функтор глобальных сечений, переводящий комплекс абелевых пучков в очевидный комплекс абелевых групп), который сохраняет слабые эквивалентности *внутри подкатегории «хороших» (фибрантных или кофибрантных) объектов.* Взяв сначала фибрантную или кофибрантную резольвенту объекта, а затем применив этот функтор, мы успешно распространили его на всю категорию таким образом, что слабые эквивалентности всегда сохраняются (и, следовательно, он спускается к функтору из гомотопической категории). Это «производный функтор». Например, «производные функторы» пучковых когомологий являются гомологиями выходных данных этого производного функтора. Применяя их к пучку абелевых групп, интерпретируемых очевидным образом как комплекс, сконцентрированный в гомологиях, они измеряют неспособность функтора глобальных сечений сохранять их слабые эквивалентности, его неспособность «точности». Общая теория модельных структур показывает уникальность этой конструкции (независимость от выбора фибранта или кофибрантного разрешения и т. д.).
Ссылки [ править ]
- Манин Юрий Иванович ; Гельфанд, Сергей И. (2003), Методы гомологической алгебры , Берлин, Нью-Йорк: Springer-Verlag , ISBN 978-3-540-43583-9
- Вейбель, Чарльз А. (1994). Введение в гомологическую алгебру . Кембриджские исследования по высшей математике. Том. 38. Издательство Кембриджского университета. ISBN 978-0-521-55987-4 . МР 1269324 . OCLC 36131259 .