Derived Hall Algebra & Quantum Groups

• Derived Hall algebra is an associative algebra built from triangulated categories that encodes the combinatorics of distinguished triangles.
• It generalizes the classical Ringel–Hall framework and underpins categorical realizations of quantum groups through PBW-type bases and rational structure constants.
• Applications include representation theory of quivers, categorification of quantum groups, and connections with motivic and cohomological Hall algebras.

A derived Hall algebra is an associative algebra constructed from a finitary triangulated or derived category, canonically encoding the combinatorics of distinguished triangles in the category. This structure nontrivially generalizes the classical Ringel–Hall algebra of an abelian category by using the triangle (rather than short exact sequence) structure of the derived or triangulated category. Derived Hall algebras play a central role in the representation theory of quivers, categorifications of quantum groups, and in the theory of motivic and cohomological Hall algebras.

1. Algebraic and Categorical Framework

Given a finitary $\mathbb{F}_q$-linear triangulated category $\mathcal{D}$ (e.g., the bounded derived category $D^b(\mathcal{A})$ of a finite-dimensional hereditary abelian category $\mathcal{A}$), the derived Hall algebra $\mathcal{H}(\mathcal{D})$ is the $\mathbb{Q}$-vector space with basis labeled by isomorphism classes $[X]$ of objects in $\mathcal{D}$, equipped with a multiplication determined by triangle counts: $$[X]\ast[Y] \;=\; \sum_{[Z]}\; F_{X,Y}^Z\;[Z],\qquad F_{X,Y}^Z = \frac{\left|\operatorname{Hom}(Y,X[1])_{Z}\right|}{|\operatorname{Aut}(X)|\,|\operatorname{Aut}(Y)|}$$ where $\operatorname{Hom}(Y,X[1])_{Z}$ denotes the set of morphisms $f:Y\to X[1]$ whose cone is isomorphic to $Z$ (Cheng et al., 17 Oct 2025, Bobinski et al., 2019, Xiao et al., 2012).

The algebra is unital and associative, with unit the class $[0]$ of the zero object. Associativity is a nontrivial consequence of the triangulated structure (specifically, the octahedral axiom) and, for hereditary categories, is equivalent to classical identities among Hall numbers, such as Green’s formula (Lin, 2024).

2. Structure Constants, Rationality, and Extreme Cases

The structure constants, or derived Hall numbers, count orbits of distinguished triangles modulo automorphisms, and include correction terms involving the Euler form. For any three objects $X,Y,Z$ in $D^b(\mathrm{rep}_k(Q))$ for a tame or Dynkin quiver $Q$, Ruan–Zhang established that the derived Hall numbers $g^Z_{X,Y}(q)$ are given by a rational function in $q$—independent of the base field—promoting the derived Hall algebra to a “generic” version $\mathrm{DH}_{\mathrm{gen}}(Q)$ over $\mathbb{Q}(t)$ whose specialization at $t=q$ produces the classical object (Ruan et al., 2016). Explicit computations show that split extensions yield polynomials determined by dimensions of Hom and Ext spaces, and indecomposable triangles typically contribute structure constants equal to $1$.

This rationality enables the formation of PBW-type bases and categorical realizations of quantum groups and their doubles, as well as precise control over specialization phenomena in representation theory and categorification.

3. Relations to Classical, Modified, and Semi-Derived Hall Algebras

The derived Hall algebra generalizes the Ringel–Hall algebra, with which it shares the realization of positive Borel parts of quantum groups in the hereditary case (Hernandez et al., 2011). However, the derived Hall algebra—the triangulated extension—admits a Drinfeld double interpretation: the derived Hall algebra of the root category $D^b(\mathcal{A})/[2]$ is naturally isomorphic to the Drinfeld double of the classical Hall algebra $H(\mathcal{A})$, modeling the full quantum group $U_v(\mathfrak g)$ when $\mathcal{A}$ is of Dynkin type (Chen et al., 2023, Zhang, 2022).

The semi-derived Hall algebra $\mathcal{SDH}(\mathcal{F},P(\mathcal{F}))$ of a Frobenius exact category $\mathcal{F}$ localizes the Hall algebra at projective-injective objects, and is canonically isomorphic (after a suitable twist) to the tensor product of the derived Hall algebra of the stable category and a quantum torus (Gorsky, 2014). This construction is essential for periodic (especially 2-periodic) derived categories, where the derived Hall algebra may not exist but its semi-derived variant does.

In the context of complexes of fixed length or periodicity, derived Hall algebras unify various structures—including Bridgeland’s Hall algebra of $m$-periodic complexes, generalized to arbitrary period $m$, and recovered via global convolution formulas and Cartan data from derived Hall numbers in $D^b(\mathcal{A})$ (Zhang, 2023, Zhang, 2019).

4. Drinfeld Duals, Motivic and Cohomological Enhancements

The Drinfeld dual of the derived Hall algebra, in the sense of Kontsevich–Soibelman, yields a “motivic Hall algebra” constructed in the Grothendieck ring of stacks with a convolution product indexed by triangles, matching at the finite field level with the Drinfeld dual of the derived Hall algebra. The isomorphism is explicit: the motivic Hall algebra is obtained by integrating basis elements against motivic weights, generalizing numerical counts to motivic or cohomological data (Xiao et al., 2012).

The geometric formulation, as in the work of Yanagida (Yanagida, 2019), realizes Toën’s derived Hall algebra as a convolution algebra on the constructible derived category of the moduli stack of perfect complexes (or, more generally, derived stacks of objects in a locally finite dg-category). The product is defined via pull-tensor-push along the stack of exact sequences (cofiber sequences), categorifying the usual Hall algebra structure and supporting the six-functor formalism.

5. Presentations, Examples, and Quantum Groups

The explicit presentations of derived Hall algebras depend on the underlying triangulated categories. For the derived Hall algebra of gentle algebras, particularly one-cycle gentle algebras of infinite global dimension, one uses careful quiver-theoretic models: generators correspond to certain simple indecomposable complexes, and relations include commutator, quadratic, and higher order braid-type identities reflecting the triangulated structure and periodicity. Such presentations are essential in constructing PBW bases and identifying these Hall algebras with positive halves of quantum loop algebras or double affine Hecke algebras (Cheng et al., 17 Oct 2025, Bobinski et al., 2019).

Kanonic examples include:

• The derived Hall algebra of the category of nilpotent representations of the Jordan quiver exactly reconstructs the classical Hopf algebra of symmetric functions, including the Hall–Littlewood basis, Heisenberg subalgebras, and vertex operator constructions (Shimoji et al., 2018).
• For surfaces, the derived Hall algebra of partially wrapped Fukaya categories is presented with generators given by arcs and relations that encode skein and quantum Serre relations, exhibiting a direct connection between topology (e.g., the HOMFLY-PT skein algebra), categorification, and quantum group theory (Cooper et al., 2017).
• The derivation of $q$-Onsager algebras and quantum symmetric pairs from twisted semi-derived Hall algebras of 1-periodic complexes, with their categorifications and relations to the Hall algebra of the Kronecker quiver via derived equivalence (Lu et al., 2020).

6. Integration Maps, Periodicity, and Further Directions

For $n$-term or periodic complexes, integration maps from the Hall algebra of complexes (e.g., two-term complexes) to quantum tori establish a crucial link with quantum cluster characters and trace functions appearing in Donaldson–Thomas theory and cluster algebras (Zhang, 2019). Periodic derived Hall algebras interpolate between classical Hall algebras and full quantum groups, providing a unified framework for the realization and degeneration of quantum group structures (Zhang, 2023).

Rationality of structure constants enables the definition of canonical and PBW bases, and motivates the study of derived Hall algebras of more general categories (e.g., cohomological or motivic variants, gentle and surface-type categories). The geometric and 2-categorical (∞-topos) approach to derived Hall convolution is anticipated to play a foundational role in further developments, particularly in the context of derived algebraic geometry and categorification of quantum integrable systems (Yanagida, 2019).

---

References

• (Ruan et al., 2016) Ruan–Zhang, "On derived Hall numbers for tame quivers"
• (Cheng et al., 17 Oct 2025) Derived Hall algebra of a graded gentle one-cycle algebra
• (Chen et al., 2023) Chen–Lu–Ruan, "Derived Hall algebras of root categories"
• (Zhang, 2022) Zhang, "Hall algebras associated to root categories"
• (Hernandez et al., 2011) Hernandez–Leclerc, "Quantum Grothendieck rings and derived Hall algebras"
• (Gorsky, 2014) Gorsky, "Semi-derived and derived Hall algebras for stable categories"
• (Lu et al., 2020) "𝑖Hall algebra of the projective line and q-Onsager algebra"
• (Shimoji et al., 2018) Shimoji–Yanagida, "A study of symmetric functions via derived Hall algebra"
• (Bobinski et al., 2019) "Derived Hall algebras of one-cycle gentle algebras: The infinite global dimension case"
• (Zhang, 2023) "Periodic derived Hall algebras of hereditary abelian categories"
• (Cooper et al., 2017) Cooper–Samuelson, "The Hall Algebras of Surfaces I"
• (Lin et al., 2017) Lin–Peng, "Modified Ringel-Hall Algebras, Green's formula and Derived Hall Algebras"
• (Yanagida, 2019) Yanagida, "Geometric derived Hall algebra"
• (Xiao et al., 2012) Xiao–Xu, "Remarks on Hall algebras of triangulated categories"
• (Lin, 2024) Lin, "From Green's formula to Derived Hall algebras"
• (Zhang, 2019) Zhang, "Hall algebras associated to complexes of fixed size"