under construction
(also nonabelian homological algebra)
In the context of homological algebra the right derived functor of the hom-functor is called the $Ext$-functor . It derives its name from the fact that the derived hom-functor between abelian groups classifies abelian group extensions of $A$ by $K$. (This is a special case of the general classification of principal ∞-bundles/∞-group extensions by general cohomology/group cohomology.)
Together with the Tor-functor it is one of the central objects of interest in homological algebra.
Given an abelian category $\mathcal{A}$ we may consider the hom-functor $Hom_{\mathcal{A}} : \mathcal{A}^{op}\times \mathcal{A}\to$Ab either as a functor in first or in second argument, and compute the corresponding right derived functors.
If they exist, the classical right derived functors of either functor agree and also agree with the homology of the mixed double complex obtained by taking simultaneously a projective resolution of the first contravariant argument and an injective resolution of the second covariant argument. The last construction is called the balanced $Ext$.
Alternatively, one can consider the derived category $D(\mathcal{A})$ and define
or define $Ext^i$-groups as groups of abelian extensions of length $i$, discussed below at Relation to extensions.
We give the definition following the discussion at derived functors in homological algebra.
Let $\mathcal{A}$ be an abelian category with enough projectives. And let $A \in \mathcal{A}$ be any object. Consider the contravariant hom-functor
This is a left exact functor.
Therefore to derive it by resolutions we need to consider injective resolutions in the opposite category $\mathcal{A}^{op}$. But these are projective resolutions in $\mathcal{A}$ itself.
For $X \in \mathcal{A}$ any object and $((Q X) \to X) \in Ch_{\bullet \geq 0}(\mathcal{A})$ a projective resolution, and for $n \in \mathbb{N}$, the $n$th $Ext$-group of $X$ with coefficients in $A$ is the degree-$n$ cochain cohomology
of the cochain complex $Hom((Q X)_\bullet, A)$.
The following proposition expands a bit on the meaning of this definition. Write
for the enriched hom of chain complexes.
The $n$th Ext-group is canonically identified with the 0-th homology of this enriched hom from the resolution $Q X$ of $X$ to the $n$-fold delooping/suspension chain complex of $A$ $\mathbf{B}^n A = A[n]$ (concentrated on $A$ in degree $n$):
or equivalently, if we think of degree chain homology as the 0th homotopy group (under Dold-Kan correspondence) and write the $n$-fold suspension/delooping of $A$ as $\mathbf{B}^n A$:
This is a special case of the general discussion at cochain cohomology.
By the discussion at internal hom of chain complexes, the 0-cycles of $[(Q X), \mathbf{B}^n A ]$ are chain maps of the form
By the definition of chain maps this are precisely those morphisms $f_n : (Q X)_n \to A$ such that
which exhibits $f_n$ as a degree-$n$ cochain in the cochain complex $Hom((Q X)_\bullet, A)$.
Similarly, the $0$-boundaries in $[(Q X), \mathbf{B}^n A]$ come from chain homotopies $\lambda : 0 \Rightarrow f$:
in that
This are precisely the degree-$n$ coboundaries in $Hom((Q X)_\bullet, A)$.
This perspective on the $Ext^n$-group as being the homotopy classes of maps out of (a resolution of) $X$ to $\mathbf{B}^n A$ is made more manifest in the discussion in terms of derived categories below. It connects $Ext$-groups and their relation to extensions to the general context of cohomology and ∞-group extensions. See at abelian sheaf cohomology for more on this.
(…)
(…)
For all $n \in \mathbb{N}$ and $R \in Rings$, the $Ext^n_R(-,-)$-functor sends direct sums in the first variable and direct products in the second variable to direct products:
and
(e.g. Weibel, Prop. 3.3.4)
In particular, $Ext^n_R$ preserves the finite coproduct (a biproduct) in both variables:
We discuss how the group $Ext^n(X,A)$ is identified with the group of extensions of $X$ by $\mathbf{B}^{n-1} A = A[n-1]$. In particular for $n = 1$ and $\mathcal{A} =$ Ab this means that $Ext^1(X,A)$ classified ordinary group extensions of $X$ by $A$.
This is the relation that the name “$Ext$” derives from. At infinity-group extension is discussed how this relation is a special case of the more general relation that identifies derived hom-spaces $\mathbf{H}(X,\mathbf{B}^{n+1} A)$ with $\mathbf{B}^n A$-principal ∞-bundles over $X$.
For $X,A \in \mathcal{A}$ two objects, an extension of $X$ by $A$ is a short exact sequence
An homomorphism of two such extensions $P_1$ and $P_2$ is a morphism $P_1 \to P_2$ in $\mathcal{A}$ fitting into a commuting diagram of the form
All these homomophisms are necessarily isomorphisms, by the short five lemma.
Write $Ext(X,A)$ for the set of isomorphism classes of such extensions.
Under Baer sum $Ext(X,A)$ becomes an abelian group.
Define a morphism
by the following construction:
Choose a projective presentation $N \hookrightarrow Q \to X$ of $X$. Then for $A \to P \to X$ an extension consider the commuting diagram
where
$\sigma$ is any choice of lift of $Q \to X$ through $P \to X$, which exists by definition since $Q$ is a projective object;
$\sigma|_N$ is the induced morphism on the fibers, which exists by the exactness of the two sequences.
By prop. , $\sigma|_N$ represents an element $\big[ \sigma|_N \big] \in Ext^1(X,A)$. Let this be the image of the map to be defined:
This construction is independent of the choice of $P$ and $\sigma$ involved and hence the map is well-defined.
The map from def. is a natural isomorphism of abelian groups
(…)
Given $[g] \in \mathbb{R}Hom(X, A[n])$.
Let $Q \to X$ be a projective resolution. Let $g : Q \to A[n]$ be a representative of $[g]$.
Consider the pullback
(…)
For $G$ a discrete group with $\mathbb{Z}[G]$ its group ring, over the integers, and for $N$ a linear $G$-representation, hence a $\mathbb{Z}[G]$-module, the group cohomology of $G$ with coefficients in $N$ is
(…)
(…)
We discuss some facts helpful for the construction of $Ext^n$-groups in certain situations.
The covariant hom-functor $Hom(X,-)$ is generally a left exact functor. By the construction of $Ext^n$ via projective resolutions, def. , it is sufficient to show that it is also a right exact functor if $P$ is projective. In fact, this is one of the equivalent characterizations of projective objects (ee the section projective object – in abelian categories – equivalent characterizations for details).
For $X, A \in \mathcal{A}$ two objects, and
a short exact sequence with $P$ a projective object, hence exhibiting a projective presentation $X \simeq coker(N \hookrightarrow P)$ of $X$, there is an exact sequence
exhibiting $Ext^1(X,A)$ as the cokernel of $Hom(i,A)$.
The Yoneda product? is a pairing
(…)
A derived hom-functor such as the $Ext$ on chain complexes compute general notions of cohomology (see the discussion there). Here we list some specific incarnations of the $Ext$-construction in the context of cohomology.
The universal coefficient theorem identifies, under suitable conditions, cohomology to the dual of homology up to $Ext^1$-groups.
Various notions of cohomology groups in the context of algebra can be expressed as $Ext$-groups, for instance:
For $G$ a discrete group with $\mathbb{Z}[G]$ its group ring, over the integers, and for $N$ a linear $G$-representation, hence a $\mathbb{Z}[G]$-module, the group cohomology of $G$ with coefficients in $N$ is
For $A$ an associative algebra over some field $k$ and $N$ an $A$-bimodule, hence an $A \otimes A^{op}$-module,
is the Hochschild cohomology of $A$ with coefficients in $N$.
For $\mathfrak{g}$ a Lie algebra with universal enveloping algebra $\mathcal{U}(\mathfrak{g})$ and $N$ a Lie algebra module, hence an $\mathcal{U}(\mathfrak{g})$-module, the Lie algebra cohomology of $\mathfrak{g}$ with coefficients in $N$ is
(group extensions of the integers are trivial)
The $Ext^1$-group of the integers with coefficients in any $A \in$ AbelianGroups is trivial:
(since the integers are already projective, e.g. Boardman, Prop. 19)
(group extensions of finite cyclic groups)
The $Ext^1$-group of the cyclic group of order $n \in \mathbb{N}$ with coefficients in any $A \in$ AbelianGroups is the quotient group $A/n A \coloneqq coker\Big( A \overset{n \cdot(-)}{\longrightarrow} A \Big)$:
(e.g. Boardman, Prop. 20)
But:
(e.g. here)
As special cases of Prop. we have:
$Ext^1 \big( \mathbb{Z} / n\mathbb{Z}, \, \mathbb{Z} \big) \;\simeq\; \mathbb{Z} / n\mathbb{Z} \,.$
$Ext^1 \big( \mathbb{Z} / n\mathbb{Z}, \, \mathbb{Z} / m\mathbb{Z} \big) \;\simeq\; \mathbb{Z} / d\mathbb{Z} \,,$
where $d \coloneqq$ gcd$(n,m)$ .
$Ext^1 \big( \mathbb{Z} / n\mathbb{Z}, \, \mathbb{Q} \big) \;\simeq\; 0 \,.$
(e.g. Boardman, Cor. 21)
In fact the last case of Example generalizes beyond cyclic groups:
(group extension by the rational numbers are trivial)
The $Ext^1$-group of any $A \in$ AbelianGroups with coefficients in the rational numbers $\mathbb{Q}$ is trivial:
(e.g. Boardman, Prop. 22)
Less immediate is this example:
(group extension of rational numbers by the integers)
The $Ext^1$-group of the rational numbers by the integers is the quotient group $\mathbb{A}/\mathbb{Q}$
of the group of adeles (without the real numbers-factor), i.e. the restricted product $\mathbb{A} \,\coloneqq\, \underoverset{p\;prime}{\prime}{\prod} \mathbb{Q}_p$ for $\mathbb{Q}_p$ the p-adic numbers restricted along the inclusion $\mathbb{Z}_p \to \mathbb{Q}_p$ of the p-adic integers;
by the rational numbers $\mathbb{Q}$ (…):
homotopy | cohomology | homology | |
---|---|---|---|
$[S^n,-]$ | $[-,A]$ | $(-) \otimes A$ | |
category theory | covariant hom | contravariant hom | tensor product |
homological algebra | Ext | Ext | Tor |
enriched category theory | end | end | coend |
homotopy theory | derived hom space $\mathbb{R}Hom(S^n,-)$ | cocycles $\mathbb{R}Hom(-,A)$ | derived tensor product $(-) \otimes^{\mathbb{L}} A$ |
Texbook accounts (see also most references at homological algebra):
Charles Weibel, An Introduction to Homological Algebra, Cambridge Studies in Adv. Math. 38, CUP 1994
Henri Cartan, Samuel Eilenberg, Homological algebra, Princeton Univ. Press 1956.
S. I . Gelfand, Yuri Manin, Methods of homological algebra
A systematic discussion from the point of view of derived categories is in
Lecture notes:
Kiyoshi Igusa, 25 The Ext Functor (pdf)
Michael Boardman, Some Common $Tor$ and $Ext$ Groups (pdf, pdf)
Patrick Morandi, Ext Groups and Ext Functors, (pdf)
(warning: the last section on resolutions for cocycles for group (abelian) extensions is not correct)
Original articles:
See also:
Last revised on July 5, 2021 at 15:00:46. See the history of this page for a list of all contributions to it.