Похідний функтор

В багатьох ситуаціях коротка точна послідовність може бути використана для побудови довгої точної послідовності. Поняття похідного функтора пояснює ці спостереження.

Нехай задано коваріантний точний зліва функтор 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¹ F (A) → R¹ F (B) → R¹ F (C) → R² F (A) → R² F (B) → ....

Звідси зокрема випливає, що F є точним функтором якщо і тільки якщо R¹F = 0; тобто певним чином F вимірює наскільки далеким є функтор F від того, щоб бути точним.

Якщо A в короткій точній послідовності є ін'єктивним об'єктом, тоді послідовність розщеплюється. При застосування адитивного функтора до розщепленої послідовності одержується розщеплена послідовність і тому R¹F(A) = 0. Тобто функтори (для i>0) є нульовими для ін'єктивних об'єктів: це є мотивацією для побудови нижче.

• З точності зліва випливає, що

0 → F (X) → F (I⁰) → F (I¹) є точною, так що R⁰F (X) = F (X).

• Якщо сам об'єкт X є ін'єктивним, то можна взяти ін'єктивну резольвенту 0 → X → X → 0 і отримати, що Rⁱ F (X) = 0 для всіх i ≥ 1. На практиці, цей факт, разом з існуванням довгою точної послідовності, часто використовується для обчислення значень правих похідних функторів.
• Послідовність функторів RⁿF є δ-функтором, тобто для точної послідовності

${\displaystyle 0\to A\to B\to C\to 0}$

існують морфізми ${\displaystyle \delta ^{n}\colon R^{n}F(C)\to R^{n+1}F(A),}$ що дозволяють утворити точну довгу послідовність:

${\displaystyle 0\to F(A)\to F(B)\to F(C)\ {\xrightarrow {\delta ^{0}}}\ R^{1}F(A)\to G^{1}(B)\to R^{1}F(A'')\ {\xrightarrow {\delta ^{1}}}R^{2}F(A')\ \to \ldots }$

і для комутативної діаграми виду

${\displaystyle {\begin{array}{ccccccccc}0&\to &A_{1}&{\xrightarrow {f_{1}}}&B_{1}&{\xrightarrow {g_{1}}}&C_{1}&\to &0\\&&\alpha \downarrow \quad &&\beta \downarrow \quad &&\gamma \downarrow \quad &&\\0&\to &A_{2}&{\xrightarrow {f_{2}}}&B_{2}&{\xrightarrow {g_{2}}}&C_{2}&\to &0\end{array}}}$

де рядки є точними, утворені довгі точні послідовності є частинами комутативної діаграми:

• Нехай η : F → G є натуральним перетворенням від точного зліва функтора F до точного зліва функтора G. Це перетворення породжує природні перетворення Rⁱη : RⁱF → RⁱG і Rⁱ стає функтором із категорії точних зліва функторів із A в B у категорію всіх функторів із A в B. Цей функтор узгоджується із довгими точними послідовностями. А саме, якщо

${\displaystyle 0\to A{\xrightarrow {f}}B{\xrightarrow {g}}C\to 0}$

є точною довгою послідовністю, тоді утворюється комутативна діаграма:

Результати про довгі точні послідовності у цьому і попередньому пунктах одержуються за допомогою леми про змію.

• Навпаки, якщо задана послідовність функторів Rⁱ: A → B, що переводять короткі точні послідовності у довгі, задовольняють умови попередніх двох пунктів і для кожного ін'єктивного об'єкта I в категорії A, Rⁱ(I)=0 для всіх додатних i, тоді ці функтори є правими похідними функтора R⁰.
• Більш загально, якщо Gⁱ де ${\displaystyle i<a\in \mathbb {N} \cup \{\infty \}}$ є δ-функтором для точного зліва функтора F тоді існує єдине натуральне перетворення δ-функторів RⁱF → Gⁱ (де ${\displaystyle i<a\in \mathbb {N} \cup \{\infty \}}$), що комутує з ізоморфізмами R⁰F і G⁰ з F. Якщо також Gⁱ = 0 (де ${\displaystyle i<a\in \mathbb {N} \cup \{\infty \}}$), то це натуральне перетворення є ізоморфізмом.
• Нехай F: A → B і G: B → C є функторами між абелевими категоріями, де A і B мають досить багато ін'єктивних об'єктів. Нехай також G є точним зліва, F є точним і для кожного ін'єктивного об'єкта I в категорії A, виконується властивість RⁱG (F(I)) = 0, n>0. Тоді існує натуральний ізоморфізм між ${\displaystyle R^{*}(G\circ F)}$ і ${\displaystyle R^{*}(G)\circ F.}$
• Нехай F: A → B і G: B → C є функторами між абелевими категоріями, де A і B мають досить багато ін'єктивних об'єктів. Нехай також G є точним і F є точним зліва. Тоді існує натуральний ізоморфізм між ${\displaystyle R^{*}(G\circ F)}$ і ${\displaystyle G\circ R^{*}(F).}$

Якщо починати з коваріантного точного справа функтора G і в категорії A є досить багато проективних об'єктів (тобто для будь-якого об'єкта A категорії A існує епіморфізм P → A, де P — проективний об'єкт), то можна аналогічним чином визначити ліві похідні функтори L_i G. Для об'єкта X категорії A побудуємо проективну резольвенту

${\displaystyle \cdots \to P_{2}\to P_{1}\to P_{0}\to X\to 0,}$

де P_i — проективні об'єкти. Застосовуючи G до цієї послідовності і відкидаючи останній член можна обчислити гомології L_i G (X). Як і у випадку правих похідних функторів, L₀G (X) = G (X).

В цьому випадку довга точна послідовність буде продовжена вліво, а не вправо:

${\displaystyle 0\to A\to B\to C\to 0}$

дає

${\displaystyle \cdots \to L_{2}G(C)\to L_{1}G(A)\to L_{1}G(B)\to L_{1}G(C)\to G(A)\to G(B)\to G(C)\to 0}$.

Ліві похідні функтори занулюються на проективних об'єктах.

Можна також розглядати контраваріантний точний зліва функтор F; отримувані праві похідні функтори тоді також будуть контраваріантними. Коротка точна послідовність

${\displaystyle 0\to A\to B\to C\to 0}$

перетворюється в довгу точну послідовність

${\displaystyle 0\to F(C)\to F(B)\to F(A)\to R^{1}F(C)\to R^{1}F(B)\to R^{1}F(A)\to R^{2}F(C)\to \cdots }$

Ці праві похідні функтори занулюються на проективних об'єктах і, отже, обчислюються за допомогою проективних резольвент.

Усі вказані конструкції мають аналогічні властивості із правими похідними функторами для коваріантних точних зліва функторів, переформульовані із врахуванням двоїстості у кожному окремому випадку.

• Якщо ${\displaystyle A}$ є абелевою категорією, тоді її категорія морфізмів ${\displaystyle A^{\{\ast \to \ast \}}}$ теж є абелевою. Функтор ${\displaystyle \ker :A^{\{\ast \to \ast \}}\to A,}$ що переводить кожен функтор у його ядро є точним зліва. Його правими похідними функторами є

${\displaystyle R^{i}(\ker )(f)={\begin{cases}\ker(f)&i=0\\\operatorname {coker} (f)&i=1\\0&i>1\end{cases}}}$

Двоїстий функтор ${\displaystyle \operatorname {coker} }$ є точним справа і його лівими похідними функторами є

${\displaystyle L_{i}(\operatorname {coker} )(f)={\begin{cases}\operatorname {coker} (f)&i=0\\\ker(f)&i=1\\0&i>1\end{cases}}.}$

Когомологія пучків.. Якщо X — топологічний простір, то категорія всіх пучків абелевих груп на X є абелевою категорією, в якій є досить багато ін'єктивних об'єктів. Функтор, що зіставляє пучку L групу глобальних перетинів L(X) є точним зліва, і його праві похідні функтори називаються також функторами когомологій пучків і зазвичай позначаються як Hⁱ(X,L). Трохи більш загально: якщо (X, O_X) — окільцьований простір, то категорія всіх пучків O_X-модулів — абелева категорія, в якій є досить багато ін'єктивних об'єктів, і можна побудувати когомології пучків як праві похідні функтори функтора глобальних перетинів.

Функтор Ext. Якщо R — кільце, то категорія всіх лівих R-модулів є абелевою і в ній досить багато ін'єктивних об'єктів. Якщо A — фіксований лівий R-модуль, то функтор Hom (A,-) є точним зліва і його праві похідні функтори позначаються Ext_Rⁱ(A,-).

Функтор Tor. В категорії лівих R-модулів досить багато проективних об'єктів. Якщо A — фіксований правий R-модуль, то тензорний добуток з A є точним справа коваріантним функтором на категорії лівих R-модулів; його ліві похідні функтори позначаються Tor^R_i(A,-).

Когомологія груп. Нехай G — група. G-модулем M називається абелева група M разом з дією групи G на M. Це те ж саме, що і модуль над груповому кільці Z G. G-модулі утворюють абелеву категорію, в якій досить багато ін'єктивних об'єктів. Нехай M^G — підгрупа M, що складається з елементів M, інваріантних відносно дії G. Це точний зліва функтор, його праві похідні функтори — функтори когомологій груп, зазвичай позначаються як Hⁱ(G, M).

• Абелева категорія
• Гомологія
• Ін'єктивний об'єкт
• Ланцюговий комплекс
• Лема про змію

• И. Букур, А. Деляну Введение в теорию категорий и функторов. — М.: Мир, 1972.
• Tennison, B. R. (1975). Sheaf theory. London Mathematical Society Lecture Note Series 20. Cambridge University Press. MR 0404390.
• Weibel Charles A. (1994). An Introduction to Homological Algebra. Cambridge Studies in Advanced Mathematics. 38. Cambridge University Press. ISBN 978-0-521-55987-4.