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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

В гомологической алгебре, точный функтор — это функтор, который переводит точные последовательности в точные. Точные функторы удобны для вычислений в гомологической алгебре, поскольку их можно сразу применять к резольвентам объектов. Больша{'}я часть гомологической алгебры была построена для того, чтобы сделать возможной работу с функторами, которые не являются точными, но их отличие от точных поддаётся контролю.

Определение[править | править исходный текст]

Пусть P и Q — абелевы категории и F: PQ — аддитивный функтор. Рассмотрим произволькую короткую точную последовательность

0ABC0

объектов P.

Если F — ковариантный функтор, F является

  • полуточным, если F(A)F(B)F(C) точна.
  • точным слева, если 0F(A)F(B)F(C) точна.
  • точным справа, если F(A)F(B)F(C)0 точна.
  • точным, если 0F(A)F(B)F(C)0 точна.

Если G — контравариантный функтор из P в Q, G является

  • полуточным, если G(C)G(B)G(A) точна.
  • точным слева, если 0G(C)G(B)G(A) точна.
  • точным справа, если G(C)G(B)G(A)0 точна.
  • точным, если 0G(C)G(B)G(A)0 точна.

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

Существует ещё одно определение точного функтора: ковариантный функтор точен слева тогда и только тогда, когда он переводит конечные пределы в пределы. При замене слова «ковариантный» на «контравариантный» или «слева» на справа" нужно одновременно заменить «пределы» на «копределы». Точный функтор — это функтор, точный слева и справа.

Примеры[править | править исходный текст]

  • Любая эквивалентность абелевых категорий точна.
  • Наиболее важный пример точного слева функтора — функтор Hom. Если A — произвольная абелева категория и A — её объект, то HomA(A,X) — ковариантный аддитивный функтор в категорию абелевых групп.[1] Этот функтор является точным тогда и только тогда, когда A проективен. Соответственно, контравариантный функтор HomA(X,A) точен тогда и только тогда, когда A инъективен.
  • Если T — правый R-модуль, мы можем определить функтор HT из категории левых R-модулей в Ab с помощью тензорного произведения над R: HT(X) = TX. Этот функтор является точным справа; он точен тогда и только тогда, когда T — плоский модуль.
  • Предыдущие два примера можно обобщить: в любой паре сопряженных аддитивных функторов левый сопряженный точен справа, а правый сопряженный точен слева.

Примечания[править | править исходный текст]

  1. Jacobson (2009), p. 98, Theorem 3.1.

Литература[править | править исходный текст]

  • Атья М., Макдональд И. Введение в коммутативную алгебру. — Факториал Пресс, 2003 — ISBN 5-88688-067-4.
  • Jacobson Nathan Basic algebra. — 2nd. — Dover, 2009. — Vol. 2. — ISBN 978-0-486-47187-7
  • Artin, Michael; Alexandre Grothendieck, Jean-Louis Verdier, eds. (1972). Séminaire de Géométrie Algébrique du Bois Marie — 1963-64 — Théorie des topos et cohomologie étale des schémas — (SGA 4) — vol. 1. Lecture notes in mathematics (in French) 269. Berlin; New York: Springer-Verlag. xix+525. doi:10.1007/BFb0081551. ISBN 978-3-540-05896-0.