Ext: Homological Invariants in Algebra & Geometry
- Ext is a family of homological invariants defined via derived functors and Yoneda exact sequences, capturing key extension properties in modules and abelian categories.
- It provides a resolution-free framework that enables calculations in settings with limited projectives or injectives, facilitating applications in computational and deformation theories.
- Ext plays a pivotal role in linking abstract algebra with geometry and representation theory, underpinning algorithms, dualities, and categorical constructions across diverse mathematical contexts.
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 ; in an abelian category, Yoneda $\Ext^n$ is defined by equivalence classes of -step exact sequences and agrees with derived-functor Ext when enough projectives or injectives exist (Levins, 2022, Monroy, 2019). Across current research, Ext appears simultaneously as a cohomological -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 -modules, $\Ext^i_R(M,N)$ is computed from a projective resolution of , while auxiliary invariants such as
$\grade_R(M)=\inf\{\,i\mid \Ext^i_R(M,R)\neq 0\}$
control vanishing ranges and rigidity phenomena (Levins, 2022). 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 0, 1 is the set of equivalence classes of exact sequences
2
under Yoneda-equivalence; the Baer sum gives the abelian-group structure (Monroy, 2019). 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, 3 is defined as the 4-truncation of the type of short exact sequences, and higher 5 are defined from types of exact flags 6 modulo an equivalence relation. The resulting family 7 is a large cohomological 8-functor, and whenever the ring has enough projectives or injectives, Yoneda-Ext agrees with the classical right-derived functors of 9 (Christensen et al., 2023). In the Coq-HoTT formalization, paths in the type of short exact sequences are identified via univalence with isomorphisms of extensions, and $\Ext^n$0, recovering $\Ext^n$1 in a homotopy-theoretic form (Flaten, 2023).
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 $\Ext^n$2, for objects $\Ext^n$3 and $\Ext^n$4, one has canonical isomorphisms
$\Ext^n$5
and dually in an Ab4* category,
$\Ext^n$6
These statements are proved in the Yoneda framework and do not require enough projectives or injectives (Monroy, 2019).
The construction is explicit. For coproducts, an $\Ext^n$7-extension of $\Ext^n$8 by $\Ext^n$9 is pulled back along the summand inclusions to produce a family of classes in 0; 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 (Monroy, 2019).
These identities have both computational and axiomatic significance. They recover the classical module-theoretic formulas for 1, 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 2-maps for 3 or for all 4 is equivalent to the Ab4 or Ab4* axiom itself (Monroy, 2019). 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 5 is either a regular local ring or an unramified hypersurface, 6 is finitely generated, and for some 7 one has 8, then
9
The proof passes through the 0-construction, canonical isomorphisms
1
Hochster–Lichtenbaum positivity for Euler characteristics of Tor, and an induction-on-dimension argument removing finite-length hypotheses (Levins, 2022).
A basic corollary is a self-Ext nonvanishing theorem: if 2 is an unramified hypersurface and 3 is finitely generated, then
4
For 5 and 6, one has 7, 8, and 9, matching the theorem exactly (Levins, 2022).
A different vanishing criterion arises from ascent of module structures along flat local maps. For a flat local homomorphism $\Hom$0 inducing $\Hom$1, if $\Hom$2 is finitely generated over $\Hom$3 and $\Hom$4 satisfies NAK for $\Hom$5, then
$\Hom$6
and $\Hom$7 admits a unique $\Hom$8-module structure compatible with $\Hom$9. Here NAK means that a module 0 is either 1 or has 2 (Anderson et al., 2012). The explicit computation for a noncomplete discrete valuation ring 3 with completion 4 shows how large the obstruction can be: 5 with 6 an uncountable cardinal (Anderson et al., 2012).
4. Computational, combinatorial, and deformation-theoretic models
For bounded complexes of coherent sheaves on a projective variety 7, there is now an explicit algorithm for computing global Ext groups. Given bounded complexes 8 of finitely generated graded 9-modules representing $\Ext^i_R(M,N)$0, the method computes
$\Ext^i_R(M,N)$1
by replacing $\Ext^i_R(M,N)$2 with a truncated complex $\Ext^i_R(M,N)$3, resolving it minimally, and taking the cohomology of a single Hom-complex $\Ext^i_R(M,N)$4. The degree-zero part recovers $\Ext^i_R(M,N)$5. The correctness proof uses a hypercohomology spectral sequence, a Grothendieck local cohomology exact sequence, and explicit bounds derived from minimal $\Ext^i_R(M,N)$6-free resolutions of the terms of $\Ext^i_R(M,N)$7 (Brown et al., 29 Sep 2025). The algorithm has a Macaulay2 implementation and supports derived global sections, mutations of exceptional collections, and spherical twists (Brown et al., 29 Sep 2025).
On two-dimensional cyclic quotient singularities $\Ext^i_R(M,N)$8, Ext admits a combinatorial description in terms of divisorial polyhedra. For torus-invariant Weil divisors $\Ext^i_R(M,N)$9, one defines a region 0 from the section polyhedron 1 and its minimal generators, and then obtains
2
Higher Ext groups are recursively reduced to 3 by a labelled quiver. The same framework proves the symmetry
4
and the Ext–Tor duality
5
for 6 (Kastner, 2016).
For infinitesimal deformations 7 of a finite-dimensional algebra 8 defined by a Hochschild 9-cocycle $\grade_R(M)=\inf\{\,i\mid \Ext^i_R(M,R)\neq 0\}$0, the Ext-algebra of $\grade_R(M)=\inf\{\,i\mid \Ext^i_R(M,R)\neq 0\}$1 can sometimes be described explicitly from that of $\grade_R(M)=\inf\{\,i\mid \Ext^i_R(M,R)\neq 0\}$2. Under Case (A), where $\grade_R(M)=\inf\{\,i\mid \Ext^i_R(M,R)\neq 0\}$3, one gets
$\grade_R(M)=\inf\{\,i\mid \Ext^i_R(M,R)\neq 0\}$4
Under Case (B), one has $\grade_R(M)=\inf\{\,i\mid \Ext^i_R(M,R)\neq 0\}$5 as graded $\grade_R(M)=\inf\{\,i\mid \Ext^i_R(M,R)\neq 0\}$6-spaces. The comparison is built from explicit minimal projective resolutions in $\grade_R(M)=\inf\{\,i\mid \Ext^i_R(M,R)\neq 0\}$7 and closed-form formulas for the Yoneda product (Redondo et al., 2022).
5. Geometric, representation-theoretic, and categorified incarnations
In the $\grade_R(M)=\inf\{\,i\mid \Ext^i_R(M,R)\neq 0\}$8-theory of moduli spaces of stable sheaves on a smooth projective surface $\grade_R(M)=\inf\{\,i\mid \Ext^i_R(M,R)\neq 0\}$9, Ext appears as a geometric correspondence. For universal sheaves 00 and a line bundle 01, the virtual complex
02
has fibers 03, and its total exterior power defines an operator
04
This operator satisfies precise commutation relations with the deformed 05-algebra currents and Heisenberg operators, and the dressed operator 06 becomes a vertex operator in the deformed 07 algebra (Neguţ, 2017).
For framed rank-08 sheaves on 09, the Carlsson–Okounkov Ext bundle similarly yields an operator 10 on equivariant cohomology. Localization at torus-fixed points labeled by pairs of Young diagrams gives explicit matrix elements, and after conjugation by Heisenberg exponentials, 11 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 (Neguţ, 2015).
In 12-adic representation theory, Ext furnishes branching-law analogues. For smooth representations of 13 and a subgroup 14, restriction and compact induction interact with Ext through exact adjunctions; for products of groups, there is a Künneth theorem
15
For 16, the Euler–Poincaré characteristic satisfies
17
and 18 for 19 above the 20-split rank of 21 (Prasad, 2013).
In the dihedral Soergel setting, 22 is a free right 23-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 24 (Li, 2022).
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 25 in an 26-topos where sets cover is naturally isomorphic to the usual sheaf-27. 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 (Christensen et al., 2023). 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 28, one has a natural equivalence
29
so 30 is small; by fiber arguments this extends to any ring 31. By contrast, for 32 it remains open whether 33 is essentially small in general (Christensen et al., 2023). The formalization in univalent foundations also supplies a six-term exact sequence from a fiber sequence of 34-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 (Flaten, 2023).
Over constructive PIDs, the theory recovers familiar classification results in a resolution-free way. If a finitely presented module 35 merely splits as
36
then
37
This places the standard product-of-cyclics description of 38 inside a constructive and higher-categorical framework (Christensen et al., 2023). 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.