Derived categories enlarge representation theory by replacing individual modules or sheaves with complexes and then declaring quasi-isomorphic complexes equivalent. Exact sequences become triangles, Ext groups become morphisms across shifts, and geometric collections of exceptional objects can generate whole categories while encoding finite-dimensional algebras and quivers.
The move is not cosmetic. Ordinary abelian categories remember kernels, cokernels and short exact sequences. Derived categories reorganize all higher extension data into one environment where homological constructions become functorial and geometric equivalences can be expressed cleanly.
This guide connects the BTT routes through Quiver Representations, Geometric Representation Theory and Categorification.
Complexes · Localization · Triangles · Ext as morphisms · Exceptional objects · Mutations · Tilting · Practice
Complexes replace isolated objects
A cochain complex in an abelian category A is a sequence
···→C^{i−1}→C^i→C^{i+1}→···
with consecutive differentials composing to zero.
The cohomology object is H^i(C)=ker d^i / im d^{i−1}. Two complexes can look very different term by term yet carry the same cohomology.
Quasi-isomorphisms
A chain map f:C→D is a quasi-isomorphism when it induces isomorphisms H^i(C)→H^i(D) for every i.
Derived categories are built so that quasi-isomorphisms become actual isomorphisms.
This means the category focuses on homological information rather than one chosen resolution.
From homotopy category to derived category
First form the homotopy category K(A), whose objects are complexes and whose morphisms are chain maps modulo chain homotopy.
Then localize at quasi-isomorphisms:
D(A)=K(A)[quasi-isomorphisms^{-1}].
Bounded versions D^b(A) restrict to complexes with only finitely many nonzero cohomology objects.
For coherent sheaves on a smooth projective variety X, D^b(Coh X) is one of the central geometric representation-theory categories.
Shifts
The shift C[1] moves degrees by one, with a conventional sign change in the differential.
Shifts are fundamental because higher Ext groups become ordinary morphisms into shifted objects.
Thus instead of maintaining a separate Ext^i theory for every i, the derived category incorporates all degrees through one Hom operation.
Exact triangles
A morphism f:A→B has a mapping cone Cone(f). The basic distinguished triangle is
A→B→Cone(f)→A[1].
Triangles replace short exact sequences as the fundamental exactness structure.
A short exact sequence 0→A→B→C→0 in an abelian category gives a distinguished triangle A→B→C→A[1] in the derived category.
The final arrow records the extension class.
Ext groups are shifted Hom spaces
Under standard hypotheses,
Ext^i_A(M,N)≈Hom_{D(A)}(M,N[i]).
For i=1 this says extensions of M by N are morphisms M→N[1].
This identity is one of the central conceptual advantages of derived categories: higher extension theory becomes geometry of shifts and morphisms.
Derived equivalence
Two algebras A and B can have non-equivalent module categories but equivalent bounded derived categories:
D^b(mod-A)≈D^b(mod-B).
A derived equivalence preserves much homological information—Ext structure, Grothendieck groups and often deeper invariants—without requiring literal module-by-module equivalence.
This gives representation theory a more flexible notion of sameness.
Projective resolutions compute derived morphisms
To compute RHom(M,N), replace M by a projective resolution P→M and take Hom(P,N).
Dually, injective resolutions can replace N.
The resulting cohomology computes Ext groups.
The derived category ensures different choices of valid resolutions produce canonically equivalent results.
Exceptional objects
An object E in a k-linear triangulated category is exceptional when
Hom(E,E)=k
and
Hom(E,E[i])=0 for i≠0.
Thus E has only scalar endomorphisms and no higher self-extensions.
This makes E behave like a rigid coordinate axis inside the derived category.
Exceptional collections
An ordered sequence (E_1,…,E_m) is exceptional when each E_i is exceptional and
Hom(E_j,E_i[k])=0
for all k whenever j>i.
The ordering matters. The vanishing is directional.
A collection is full if it generates the entire triangulated category.
The projective line example
For P^1, the pair
(O(-1),O)
forms a full exceptional collection in D^b(Coh P^1).
Hom(O,O(-1)[k]) vanishes in the required direction, while Hom(O(-1),O)=H^0(P^1,O(1)) has dimension 2.
Those two basis morphisms become the two arrows of the Kronecker quiver.
From an exceptional collection to a quiver
Let T=⊕_i E_i. The endomorphism algebra
A=End(T)
can often be described as a path algebra of a quiver with relations.
If T is tilting, derived Morita theory gives
D^b(Coh X)≈D^b(mod-A).
Geometry has therefore been converted into finite-dimensional algebra.
Worked P1/Kronecker correspondence
Take T=O(-1)⊕O. There are two independent maps O(-1)→O because H^0(O(1))≈C^2.
The endomorphism algebra is represented by the Kronecker quiver with two vertices and two parallel arrows from the first to the second, with the expected idempotents at each vertex.
Thus coherent sheaves on a curve and representations of a quiver become derived-equivalent descriptions.
Beilinson collection on projective space
For P^n, Beilinson constructed the full exceptional collection
(O(-n),O(-n+1),…,O).
The corresponding endomorphism algebra is finite-dimensional and can be described by a quiver with commutativity relations.
This gives a concrete algebraic model for D^b(Coh P^n) and a powerful method for resolving coherent sheaves.
Mutations
Exceptional collections are not unique. Left and right mutations transform adjacent exceptional objects while preserving exceptional structure under the standard hypotheses.
For an exceptional pair (E,F), the left mutation L_EF fits into a triangle constructed from the evaluation map
RHom(E,F)⊗E→F.
The cone, shifted according to convention, defines the mutation.
Mutations generate braid-group actions on many spaces of exceptional collections.
Why mutations resemble basis changes
An exceptional collection can be viewed as an ordered coordinate system for a derived category.
Mutation changes that coordinate system while preserving the category it generates.
At the Grothendieck-group level, mutation produces integral transformations closely related to reflections with respect to the Euler form.
Euler form
For suitable objects E,F define
χ(E,F)=Σ_i (-1)^i dim Ext^i(E,F).
This descends to a bilinear form on K_0.
Exceptional collections often produce triangular Gram matrices for this Euler pairing, reflecting their directional Ext vanishing.
Thus the collection is visible both categorically and numerically.
Tilting objects
A tilting object T typically satisfies two key conditions:
- Ext^i(T,T)=0 for i>0;
- T generates the derived category.
Then A=End(T) captures the category through derived Morita theory.
A full strong exceptional collection often gives a tilting object by taking the direct sum of its members.
“Strong” means Ext^k(E_i,E_j)=0 for k≠0 in the relevant direction, a stronger condition than mere exceptionality.
Derived categories and representation type
Derived equivalence can transfer classification problems between geometry and algebra.
A complicated sheaf problem may become a quiver-representation problem. Conversely, an algebra can acquire geometric intuition through a derived-equivalent variety.
But derived equivalence does not imply the original varieties or algebras are isomorphic. It preserves the derived category, not every underlying structure.
Fourier–Mukai transforms
Many equivalences between derived categories of varieties are given by Fourier–Mukai functors.
A kernel P on X×Y defines
Φ_P(-)=Rp_{Y*}(Lp_X^*(-)⊗^L P).
This categorifies the idea of an integral transform: a kernel converts objects on X into objects on Y.
The construction connects derived categories to moduli of sheaves, mirror symmetry and geometric representation theory.
Semiorthogonal decompositions
A semiorthogonal decomposition
D=⟨A_1,…,A_m⟩
splits a triangulated category into ordered subcategories with Hom(A_j,A_i)=0 for j>i and with all pieces generating D.
An exceptional collection is the special case where each A_i is generated by one exceptional object.
Semiorthogonal decompositions therefore extend the notion of an exceptional basis to larger categorical blocks.
Derived categories and wall crossing
When GIT stability changes, birational models can have derived categories related by window subcategories, mutations or derived equivalences under suitable conditions.
This ties Batch 11 together: GIT walls change moduli spaces, while derived categories can preserve or reorganize the representation-theoretic information across those changes.
A verification workflow
- 1. Fix the abelian category and boundedness convention.
- 2. Identify complexes and quasi-isomorphisms.
- 3. Decide whether K, D, D^b or another derived category is intended.
- 4. Translate Ext^i into Hom to shifts.
- 5. Verify exceptional self-Ext vanishing.
- 6. Check semiorthogonality in the correct direction.
- 7. Test fullness/generation separately.
- 8. If using tilting, compute End(T).
- 9. Build the corresponding quiver and relations.
- 10. Distinguish derived equivalence from literal isomorphism.
Common mistakes
- Confusing homotopy equivalence with quasi-isomorphism.
- Treating distinguished triangles as ordinary short exact sequences in every direction.
- Forgetting shift conventions.
- Calling an object exceptional when higher self-Exts survive.
- Ignoring the order of an exceptional collection.
- Assuming exceptional implies full.
- Assuming full exceptional implies strong.
- Concluding varieties are isomorphic from derived equivalence alone.
Practice questions
1. What does a quasi-isomorphism preserve? 2. How is D(A) obtained from K(A)? 3. What does M[1] mean? 4. Express Ext^2(M,N) as a derived Hom.
5. Define an exceptional object. 6. What is required for an exceptional collection to be full? 7. Why does (O(-1),O) on P^1 produce the Kronecker quiver? 8. What is a tilting object?
9. What does a mutation change? 10. Define the Euler form. 11. What does a Fourier–Mukai kernel do? 12. What is a semiorthogonal decomposition?
Worked answers
1. Cohomology in every degree.
2. By localizing the homotopy category at quasi-isomorphisms.
3. The complex shifted by one degree, with the conventional sign adjustment.
4. Hom_{D(A)}(M,N[2]).
5. End(E)=k and Hom(E,E[i])=0 for i≠0.
6. Its members must generate the entire derived category as a triangulated category.
7. Hom(O(-1),O)=H^0(O(1)) has dimension two, producing two arrows.
8. A generator with vanishing higher self-Exts, under the standard formulation.
9. The ordered exceptional collection, while preserving the generated category.
10. χ(E,F)=Σ_i(-1)^i dim Ext^i(E,F).
11. It defines a derived integral-transform functor between categories of sheaves.
12. An ordered decomposition into generating subcategories with directional Hom vanishing.
Sources and further study
Foundational references include Verdier’s triangulated-category formalism, Beilinson’s exceptional collection on projective space, Bondal and Kapranov on enhanced triangulated categories and mutations, and Huybrechts’ Fourier–Mukai Transforms in Algebraic Geometry. For representation theory, Happel’s work on triangulated categories in finite-dimensional algebras gives the algebraic route.
Representation Mathematics — Batch 11
Build quotients with Geometric Invariant Theory, apply them to Quiver Moduli, and construct Kac–Moody representations geometrically through Nakajima Quiver Varieties. Return to the BTT Mathematics Learning Hub.