---
title: 'Ext: Homological Invariants in Algebra & Geometry'
url: https://www.emergentmind.com/topics/ext
type: topic
---

# Ext: Homological Invariants in Algebra & Geometry

Ext denotes a family of homological invariants attached to pairs of objects in module categories, abelian categories, derived categories, and several geometric or representation-theoretic settings. For finitely generated modules over a Noetherian local ring, one has
\[
\Ext^i_R(M,N)=R^i\!\Hom_R(M,N)\cong H^i\!\bigl(\Hom_R(F_\bullet,N)\bigr)
\]
for a projective resolution \(F_\bullet\to M\); in an abelian category, Yoneda \(\Ext^n\) is defined by equivalence classes of \(n\)-step exact sequences and agrees with derived-functor Ext when enough projectives or injectives exist [2203.01991] [1904.12182]. Across current research, Ext appears simultaneously as a cohomological \(\delta\)-functor, a resolution-free Yoneda invariant, a computational target for algorithms on complexes of coherent sheaves, and an operator or algebra in geometric representation theory.

## 1. Derived, Yoneda, and higher-categorical definitions

The classical definition starts from the right-derived functors of \(\Hom\). In the local algebra setting of finitely generated \(R\)-modules, \(\Ext^i_R(M,N)\) is computed from a projective resolution of \(M\), while auxiliary invariants such as
\[
\grade_R(M)=\inf\{\,i\mid \Ext^i_R(M,R)\neq 0\}
\]
control vanishing ranges and rigidity phenomena [2203.01991]. This derived-functor model is the standard one when enough projectives or injectives are available.

The Yoneda viewpoint replaces resolutions by exact flags. In an abelian category \(\mathcal C\), \(\Ext^n_{\mathcal C}(A,C)\) is the set of equivalence classes of exact sequences
\[
0\to C\to M_n\to\cdots\to M_1\to A\to 0
\]
under Yoneda-equivalence; the Baer sum gives the abelian-group structure [1904.12182]. A central consequence is that Ext can be developed without assuming enough projectives or injectives, provided one works directly with exact sequences, pullbacks, pushouts, limits, and colimits.

This resolution-free pattern extends into homotopy type theory and univalent foundations. There, \( \Ext^1_R(B,A) \) is defined as the \(0\)-truncation of the type of short exact sequences, and higher \(\Ext^n\) are defined from types of exact flags \(ES^n_R(B,A)\) modulo an equivalence relation. The resulting family \(\{\Ext^n_R(-,A)\}_{n\ge 0}\) is a large cohomological \(\delta\)-functor, and whenever the ring has enough projectives or injectives, Yoneda-Ext agrees with the classical right-derived functors of \(\Hom\) [2305.09639]. In the Coq-HoTT formalization, paths in the type of short exact sequences are identified via univalence with isomorphisms of extensions, and \(\Omega\,\mathrm{AbSES}(B,A)\simeq \Hom(B,A)\), recovering \(\Ext^0(B,A)=\Hom(B,A)\) in a homotopy-theoretic form [2302.12678].

## 2. Interaction with coproducts, products, and exactness axioms

A major structural question is how Ext behaves with infinite direct sums and products. In an Ab4 abelian category \(\mathcal C\), for objects \(\{A_i\}_{i\in I}\) and \(X\), one has canonical isomorphisms
\[
\Ext^n_{\mathcal C}\!\left(\bigoplus_{i\in I}A_i,X\right)\cong \prod_{i\in I}\Ext^n_{\mathcal C}(A_i,X),
\]
and dually in an Ab4* category,
\[
\Ext^n_{\mathcal C}\!\left(X,\prod_{i\in I}A_i\right)\cong \prod_{i\in I}\Ext^n_{\mathcal C}(X,A_i).
\]
These statements are proved in the Yoneda framework and do not require enough projectives or injectives [1904.12182].

The construction is explicit. For coproducts, an \(n\)-extension of \(\bigoplus_i A_i\) by \(X\) is pulled back along the summand inclusions to produce a family of classes in \(\prod_i\Ext^n(A_i,X)\); surjectivity and injectivity are then established by assembling or detecting splitting through coproducts of short exact sequences, using the Ab4 axiom to preserve monomorphisms. The dual argument in Ab4* uses products and kernels instead of coproducts and cokernels [1904.12182].

These identities have both computational and axiomatic significance. They recover the classical module-theoretic formulas for \(\mathrm{Mod}\text{-}R\), yield the product-variable identity for sheaves of abelian groups on a topological space, and provide a homological characterization of Ab4 and Ab4*: in an Ab3 category, bijectivity of the relevant \(\Psi\)-maps for \(n=1\) or for all \(n\) is equivalent to the Ab4 or Ab4* axiom itself [1904.12182]. A common misconception is that such infinite-sum or infinite-product formulas are intrinsically tied to projective or injective resolutions; the Yoneda construction shows that they can instead be derived from exactness properties of colimits or limits.

## 3. Vanishing, rigidity, and ascent criteria

One of the sharpest recent vanishing statements is the rigidity theorem for Ext over regular local rings and unramified hypersurfaces. If \(R\) is either a regular local ring or an unramified hypersurface, \(M\) is finitely generated, and for some \(n\le \grade_R(M)\) one has \(\Ext^n_R(M,N)=0\), then
\[
\Ext^i_R(M,N)=0 \qquad \text{for all } 0\le i\le n.
\]
The proof passes through the \(E_R(M)\)-construction, canonical isomorphisms
\[
\Ext^i_R(M,N)\cong \Tor^R_{g-i}(E_R(M),N)\qquad (1\le i\le g-1),
\]
Hochster–Lichtenbaum positivity for Euler characteristics of Tor, and an induction-on-dimension argument removing finite-length hypotheses [2203.01991].

A basic corollary is a self-Ext nonvanishing theorem: if \(R\) is an unramified hypersurface and \(M\neq 0\) is finitely generated, then
\[
\Ext^i_R(M,M)\neq 0 \qquad \text{for all } 0\le i\le \grade_R(M).
\]
For \(R=k[[x,y]]/(xy)\) and \(M=R/(x)\cong k[[y]]\), one has \(\grade_R(M)=1\), \(\Hom_R(M,M)\cong k[[y]]\neq 0\), and \(\Ext^1_R(M,M)\cong M\neq 0\), matching the theorem exactly [2203.01991].

A different vanishing criterion arises from ascent of module structures along flat local maps. For a flat local homomorphism \(\varphi:(R,m,k)\to (S,mS,k)\) inducing \(R/m\cong S/mS\), if \(M\) is finitely generated over \(R\) and \(\Ext^i_R(S,M)\) satisfies NAK for \(i=1,\dots,\dim_R(M)\), then
\[
\Ext^i_R(S,M)=0 \quad (i\ne 0),
\]
and \(M\) admits a unique \(S\)-module structure compatible with \(\varphi\). Here NAK means that a module \(N\) is either \(0\) or has \(N/mN\neq 0\) [1201.3039]. The explicit computation for a noncomplete discrete valuation ring \(R\) with completion \(\widehat R\) shows how large the obstruction can be:
\[
\Ext^i_R(\widehat R,R)\cong
\begin{cases}
0,& i\ne 1,\\[4pt]
E_R(k)\oplus K^{(C)},& i=1,
\end{cases}
\]
with \(C\) an uncountable cardinal [1201.3039].

## 4. Computational, combinatorial, and deformation-theoretic models

For bounded complexes of coherent sheaves on a projective variety \(X\subset \mathbb P^n\), there is now an explicit algorithm for computing global Ext groups. Given bounded complexes \(C,D\) of finitely generated graded \(R\)-modules representing \(\mathcal E^\bullet,\mathcal F^\bullet\), the method computes
\[
\bigoplus_{v\ge 0}\Ext^m_X(\mathcal E^\bullet,\mathcal F^\bullet(v))
\]
by replacing \(C\) with a truncated complex \(C_{\ge r}\), resolving it minimally, and taking the cohomology of a single Hom-complex \(\Hom_R(F^\bullet_{\ge r},D)\). The degree-zero part recovers \(\Ext^m_X(\mathcal E^\bullet,\mathcal F^\bullet)\). The correctness proof uses a hypercohomology spectral sequence, a Grothendieck local cohomology exact sequence, and explicit bounds derived from minimal \(S\)-free resolutions of the terms of \(D\) [2509.25103]. The algorithm has a Macaulay2 implementation and supports derived global sections, mutations of exceptional collections, and spherical twists [2509.25103].

On two-dimensional cyclic quotient singularities \(X(n,q)\), Ext admits a combinatorial description in terms of divisorial polyhedra. For torus-invariant Weil divisors \(D,D'\), one defines a region \(\mathrm{ext}(D,D')\subset M_\mathbb Q\) from the section polyhedron \(P_D\) and its minimal generators, and then obtains
\[
\Ext^1_X(\mathcal O_X(D),\mathcal O_X(D'))\cong \bigoplus_{m\in (\mathrm{ext}(D,D')\cap M)}\mathbb C\cdot \chi^m.
\]
Higher Ext groups are recursively reduced to \(\Ext^1\) by a labelled quiver. The same framework proves the symmetry
\[
\Ext^1_X(\mathcal O_X(D),\mathcal O_X(K-D'))\cong \Ext^1_X(\mathcal O_X(D'),\mathcal O_X(K-D))
\]
and the Ext–Tor duality
\[
\Ext^{i+2}_X(\mathcal O_X(D),\mathcal O_X(D'))\cong \bigl(\Tor_i^X(\mathcal O_X(D),\mathcal O_X(K-D'))\bigr)^\vee
\]
for \(i>0\) [1601.05673].

For infinitesimal deformations \(A_f\) of a finite-dimensional algebra \(A\) defined by a Hochschild \(2\)-cocycle \(f\), the Ext-algebra of \(A_f\) can sometimes be described explicitly from that of \(A\). Under Case (A), where \(\mathrm{Im}\,f\subseteq \mathrm{rad}\,A\), one gets
\[
\Ext^\bullet_{A_f}(M_f,N_f)\cong \Ext^\bullet_A(M,N)\otimes_k k[x],
\qquad \deg x=1,\quad x^2=0.
\]
Under Case (B), one has \(\Ext^\bullet_{A_f}(M_f,N_f)\cong \Ext^\bullet_A(M,N)\) as graded \(k\)-spaces. The comparison is built from explicit minimal projective resolutions in \(\mathrm{mod}\,A_f\) and closed-form formulas for the Yoneda product [2202.01199].

## 5. Geometric, representation-theoretic, and categorified incarnations

In the \(K\)-theory of moduli spaces of stable sheaves on a smooth projective surface \(S\), Ext appears as a geometric correspondence. For universal sheaves \(\mathcal U,\mathcal U'\) and a line bundle \(m\in \mathrm{Pic}(S)\), the virtual complex
\[
\mathcal E_m = R\pi_{13*}\Bigl(\sHom(\pi_{23}^*\mathcal U',\pi_{12}^*\mathcal U\otimes m)\Bigr)
\]
has fibers \(\Ext^\bullet_S(\mathcal F',\mathcal F\otimes m)\), and its total exterior power defines an operator
\[
\mathrm{Ext}_m:K(M')\to K(M).
\]
This operator satisfies precise commutation relations with the deformed \(W\)-algebra currents and Heisenberg operators, and the dressed operator \(\Phi_m(x)\) becomes a vertex operator in the deformed \(W_{q_1,q_2}(\mathfrak{gl}_r)\) algebra [1711.00390].

For framed rank-\(2\) sheaves on \(\mathbb P^2\), the Carlsson–Okounkov Ext bundle similarly yields an operator \(A_m(x)\) on equivariant cohomology. Localization at torus-fixed points labeled by pairs of Young diagrams gives explicit matrix elements, and after conjugation by Heisenberg exponentials, \(A_m(x)\) is identified with a Liouville vertex operator. The resulting trace formula matches the Nekrasov partition function with Virasoro conformal blocks, providing the geometric form of the AGT relation in this setting [1510.05482].

In \(p\)-adic representation theory, Ext furnishes branching-law analogues. For smooth representations of \(G\) and a subgroup \(H\), restriction and compact induction interact with Ext through exact adjunctions; for products of groups, there is a Künneth theorem
\[
\Ext^n_{G_1\times G_2}(E_1\boxtimes E_2,F_1\boxtimes F_2)
\cong
\bigoplus_{i+j=n}\Ext^i_{G_1}(E_1,F_1)\otimes \Ext^j_{G_2}(E_2,F_2).
\]
For \(\GL_{n+1}(F)\downarrow \GL_n(F)\), the Euler–Poincaré characteristic satisfies
\[
\EP_{\GL_n(F)}(\pi_1,\pi_2)=\dim \Wh(\pi_1)\,\dim \Wh(\pi_2),
\]
and \(\Ext^i_G(V,W)=0\) for \(i\) above the \(F\)-split rank of \(G\) [1306.2729].

In the dihedral Soergel setting, \(\Ext^{\bullet,\bullet}_{R^e}(BS(u),BS(v))\) is a free right \(R\)-module for Bott–Samelson objects, and the resulting Ext-enhanced calculus adds Hochschild dots, exterior generators, and higher Ext-vertices to the usual planar diagrammatics. The corresponding monoidal category is equivalent to the category of Ext-enhanced Soergel bimodules, and the formalism computes examples of triply graded link homology, including the connect sum of two Hopf links and the negative torus link \(T(3,-3)\) [2211.07802].

## 6. Foundations, sheaf models, and open problems

A notable contemporary development is the systematic treatment of Ext without resolutions. In homotopy type theory, the interpreted functor \(i\Ext^n_R(B,-)\) in an \(\infty\)-topos where sets cover is naturally isomorphic to the usual sheaf-\(\underline{\Ext}^n_R(B,-)\). The key input is the identification of HoTT-injectivity with internal injectivity, which allows sheaf Ext to be computed by HoTT-projective or HoTT-injective resolutions when such resolutions exist [2305.09639]. This suggests that the Yoneda and type-theoretic formulations are not merely formal variants of the classical one, but genuine resolution-free computational frameworks for sheaf-theoretic Ext.

The size theory of Ext remains incomplete in this setting. For \(n=1\), one has a natural equivalence
\[
SES_{\mathbb Z}(B,A)\simeq (K(B,2)\to_* K(A,3)),
\]
so \(\Ext^1\) is small; by fiber arguments this extends to any ring \(R\). By contrast, for \(n\ge 2\) it remains open whether \(\Ext^n_R(B,A)\) is essentially small in general [2305.09639]. The formalization in univalent foundations also supplies a six-term exact sequence from a fiber sequence of \(1\)-types and a contravariant long exact sequence built from splicing of exact sequences, showing that a substantial portion of classical homological algebra survives intact in a foundation without quotienting everything through explicit resolutions [2302.12678].

Over constructive PIDs, the theory recovers familiar classification results in a resolution-free way. If a finitely presented module \(B\) merely splits as
\[
B\simeq \bigoplus_{i=1}^k R/(d_i)\oplus R^r,
\]
then
\[
\Ext^1_R(B,A)\simeq \prod_{i=1}^k A/(d_i),
\qquad
\Ext^n_R(B,A)=0\quad (n>1).
\]
This places the standard product-of-cyclics description of \(\Ext^1\) inside a constructive and higher-categorical framework [2305.09639]. A plausible implication is that the modern theory of Ext is best viewed not as a single definition but as a family of mutually compatible realizations—derived, Yoneda, geometric, computational, and type-theoretic—each optimized for a different regime of exactness, computation, or interpretation.

Source: https://www.emergentmind.com/topics/ext