Jump to content

Производный функтор

(Перенаправлено из производного функтора слева )

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

Мотивация [ править ]

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

Предположим, нам дан ковариантный левый точный функтор 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 .
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 018c41921fd7d6f388348f9a58d91813__1713086820
URL1:https://arc.ask3.ru/arc/aa/01/13/018c41921fd7d6f388348f9a58d91813.html
Заголовок, (Title) документа по адресу, URL1:
Derived functor - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)