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.
(…)
(…)
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 diagram
where
$\sigma$ is any choice of lifts of $Q \to A$ through $P \to A$, which exists by definition since $P$ is a projective object,
$\sigma|_N$ is the induces morphism on the fibers, which exists by the exactness of the two sequences.
By prop. 5 $\sigma|_N$ represents an element in $[\sigma|_N] \in Ext^1(X,A)$. Let this be the image of the map to be defined:
This definition is independent of the choice of $P$ and $\sigma$ involved.
The map from def. 4 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. 1, 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
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$ |
Standard texbook accounts include (see also most references at homological algebra)
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 include
section 4 of
as well as
Patrick Morandi, Ext Groups and Ext Functors, (pdf)
(warning: the last section on resolutions for cocycles for group (abelian) exensions is not correct)
Original articles include
See also
Last revised on July 7, 2018 at 13:06:06. See the history of this page for a list of all contributions to it.