Derived Representation Schemes

• Derived representation schemes are homotopically robust frameworks that extend classical representation structures by capturing higher and obstruction-theoretic information.
• They employ DG algebra resolutions to correct the non-exactness of classical functors, enabling analysis in both affine and derived algebraic geometry contexts.
• The approach facilitates the transfer of noncommutative structures, such as double Poisson brackets, to commutative moduli spaces, impacting deformation theory and quantization.

A derived representation scheme is a homotopically robust enhancement of the classical scheme of representations for an associative algebra or a DG algebra, systematically capturing higher and obstruction-theoretic information absent from the underived setting. The formalism addresses the failure of the classical representation functor to be exact, and establishes a rigorous framework in which representation-theoretic, homological, and noncommutative geometric phenomena can be analyzed in affine and derived algebraic geometry. Derived representation schemes also serve as the primary interface by which noncommutative algebraic structures induce commutative (often Poisson or symplectic) structures on moduli of representations and related spaces.

1. Classical Affine and Derived Representation Schemes

Let $A$ be an associative unital $k$-algebra and $n\ge1$. The classical affine representation scheme in dimension $n$, denoted $\operatorname{Rep}_n(A)$, is represented by the functor

$$\operatorname{Rep}_n(A): \mathrm{Comm\,Alg}_k \longrightarrow \mathrm{Sets}, \quad B \mapsto \mathrm{Hom}_{k\text{-alg}}(A, M_n(B)),$$

with $M_n(B) = \mathrm{End}_B(B^n)$ (Berest et al., 2010, Berest et al., 2011, Berest et al., 2013). This functor is representable by a commutative $k$-algebra $A_n$, constructed as follows: let $V_A = (A *_k M_n(k))^{M_n(k)}$ be the $k$0-centralizer of the free product, and define $k$1.

Classically, $k$2, and its $k$3-points correspond to $k$4-dimensional representations of $k$5. However, $k$6 may be highly singular, particularly when $k$7 is not formally smooth (Berest et al., 2013).

The derived representation functor remedies this by passing from $k$8 to a DG algebra resolution $k$9 and defining the derived centralizer $n\ge1$0 for a finite-dimensional complex $n\ge1$1, then abelianizing to obtain $n\ge1$2. The resulting commutative DG algebra $n\ge1$3 represents the derived functor on the homotopy category. Its cohomology algebra $n\ge1$4 yields the derived representation scheme: $n\ge1$5 This construction is independent up to canonical isomorphism of the choice of cofibrant (almost-free) DG resolution $n\ge1$6 (Berest et al., 2010, Berest et al., 2011, Berest et al., 2013).

2. Model Category Foundations and Construction

The theory is established in the Quillen model category formalism. Let $n\ge1$7 be the category of (not necessarily commutative) DG algebras over $n\ge1$8, and $n\ge1$9 the full subcategory of commutative DGAs. Both admit projective model structures; weak equivalences are quasi-isomorphisms, fibrations are surjective, and cofibrations are defined via lifting properties. The derived representation functor

$n$0

is a left Quillen functor, admitting a total left derived functor $n$1 (Berest et al., 2011, Berest et al., 2013, Berest et al., 2010). For any semi-free (cofibrant) resolution $n$2, one defines the derived representation DG algebra as

$n$3

The derived representation scheme $n$4 is the spectrum of this commutative DG algebra in the derived sense.

These constructions extend to the relative, equivariant, and multi-parameter settings: for instance, over a semi-simple base $n$5 with dimension vector $n$6, the functor $n$7 also forms a left Quillen functor (D'Alesio, 2020, D'Alesio, 2020).

3. Representation Homology, Tangent Complexes, and Trace Maps

The homology

$n$8

is the $n$9-dimensional representation homology of $\operatorname{Rep}_n(A)$0 (Berest et al., 2013, Berest et al., 2011). In degree zero, $\operatorname{Rep}_n(A)$1 recovers the coordinate ring of the classical representation scheme, while $\operatorname{Rep}_n(A)$2 for $\operatorname{Rep}_n(A)$3 measures the obstructions to smoothness, complete intersection, and related geometric properties:

• $\operatorname{Rep}_n(A)$4 is formally smooth if and only if $\operatorname{Rep}_n(A)$5 for all $\operatorname{Rep}_n(A)$6 and $\operatorname{Rep}_n(A)$7.
• If $\operatorname{Rep}_n(A)$8 is a noncommutative complete intersection and $\operatorname{Rep}_n(A)$9 for all $$\operatorname{Rep}_n(A): \mathrm{Comm\,Alg}_k \longrightarrow \mathrm{Sets}, \quad B \mapsto \mathrm{Hom}_{k\text{-alg}}(A, M_n(B)),$$0, then $$\operatorname{Rep}_n(A): \mathrm{Comm\,Alg}_k \longrightarrow \mathrm{Sets}, \quad B \mapsto \mathrm{Hom}_{k\text{-alg}}(A, M_n(B)),$$1 is a classical complete intersection in $$\operatorname{Rep}_n(A): \mathrm{Comm\,Alg}_k \longrightarrow \mathrm{Sets}, \quad B \mapsto \mathrm{Hom}_{k\text{-alg}}(A, M_n(B)),$$2 for $$\operatorname{Rep}_n(A): \mathrm{Comm\,Alg}_k \longrightarrow \mathrm{Sets}, \quad B \mapsto \mathrm{Hom}_{k\text{-alg}}(A, M_n(B)),$$3 (Berest et al., 2013).

The tangent complex at a point $$\operatorname{Rep}_n(A): \mathrm{Comm\,Alg}_k \longrightarrow \mathrm{Sets}, \quad B \mapsto \mathrm{Hom}_{k\text{-alg}}(A, M_n(B)),$$4 is given by

$$\operatorname{Rep}_n(A): \mathrm{Comm\,Alg}_k \longrightarrow \mathrm{Sets}, \quad B \mapsto \mathrm{Hom}_{k\text{-alg}}(A, M_n(B)),$$5

with cohomology

$$\operatorname{Rep}_n(A): \mathrm{Comm\,Alg}_k \longrightarrow \mathrm{Sets}, \quad B \mapsto \mathrm{Hom}_{k\text{-alg}}(A, M_n(B)),$$6

Thus, the tangent complex encodes the classical Zariski tangent space and higher order obstructions via Hochschild cohomology (Berest et al., 2010, Berest et al., 2011).

Canonical trace maps,

$$\operatorname{Rep}_n(A): \mathrm{Comm\,Alg}_k \longrightarrow \mathrm{Sets}, \quad B \mapsto \mathrm{Hom}_{k\text{-alg}}(A, M_n(B)),$$7

lift the universal matrix trace on Hochschild and cyclic homology to representation homology. These traces are natural in $$\operatorname{Rep}_n(A): \mathrm{Comm\,Alg}_k \longrightarrow \mathrm{Sets}, \quad B \mapsto \mathrm{Hom}_{k\text{-alg}}(A, M_n(B)),$$8 and, in the limit $$\operatorname{Rep}_n(A): \mathrm{Comm\,Alg}_k \longrightarrow \mathrm{Sets}, \quad B \mapsto \mathrm{Hom}_{k\text{-alg}}(A, M_n(B)),$$9, yield an isomorphism of topological Hopf algebras $M_n(B) = \mathrm{End}_B(B^n)$0 (Berest et al., 2013, Berest et al., 2011).

4. Double Poisson Structures, Derived Poisson Geometry, and Functoriality

Derived representation schemes form a natural context for functorial noncommutative-to-commutative Poisson geometry. Following the Kontsevich–Rosenberg principle, noncommutative Poisson or symplectic structures on $M_n(B) = \mathrm{End}_B(B^n)$1 (such as Van den Bergh's double Poisson brackets) induce (shifted) Poisson structures on $M_n(B) = \mathrm{End}_B(B^n)$2 (D'Alesio, 2020, Berest et al., 2012).

A double Poisson bracket on $M_n(B) = \mathrm{End}_B(B^n)$3 is a bilinear map $M_n(B) = \mathrm{End}_B(B^n)$4 satisfying graded derivation, skew-symmetry, and the double Jacobi identity. The passage to derived representation schemes via the functorial construction ensures that, for each $M_n(B) = \mathrm{End}_B(B^n)$5, the resulting commutative DG algebra inherits a genuine Poisson bracket. The process is compatible with derived zero loci, noncommutative Hamiltonian reduction, and yields DG models for Poisson (BRST, Chevalley–Eilenberg) quotients (D'Alesio, 2020).

For Calabi–Yau, Koszul, or other structured algebras, these Poisson brackets and their induced geometric structures are carried over explicitly to the derived representation setting (Berest et al., 2012, Berest et al., 2011).

5. Explicit Models and Examples

Explicit DG models are computable in key cases:

• For $M_n(B) = \mathrm{End}_B(B^n)$6, an almost-free resolution $M_n(B) = \mathrm{End}_B(B^n)$7, $M_n(B) = \mathrm{End}_B(B^n)$8 yields $M_n(B) = \mathrm{End}_B(B^n)$9 with differential $k$0, and $k$1 (Berest et al., 2010, Berest et al., 2013).
• For $k$2, a finite DG resolution yields a DG algebra on matrix entries of $k$3 with differentials encoding the commutation relations (Berest et al., 2010).
• For quiver path algebras, the Ginzburg DG algebra and the associated Koszul complex provide explicit models for derived representation schemes and their homology (D'Alesio, 2020).

In the case of Nakajima quiver varieties, the Koszul complex model for the derived representation algebra $k$4 realizes higher representation homology as vanishing precisely when the moment map is flat, providing a direct link between the geometry of moment maps and the acyclicity of the derived representation scheme (D'Alesio, 2020). This connection facilitates integral formulas, $k$5-theory computations, and identification of virtual fundamental classes.

6. Functorial and Homotopical Properties, Derived Harish-Chandra Map

Derived representation schemes enjoy robust homotopy invariance. If two DG resolutions are quasi-isomorphic, the associated derived representation DGAs are quasi-isomorphic as commutative DGAs. This extends to derived module functors (e.g., Van den Bergh's functor for bimodules), equivariant derived schemes, and partial character schemes with respect to reductive subgroups or torus actions (D'Alesio, 2020, D'Alesio, 2020, Berest et al., 2011).

A major structural feature is the existence of the derived Harish–Chandra homomorphism. For associative algebras and reductive Lie algebras, there is a canonical DG algebra map

$k$6

which extends the classical restriction to invariants and, in abelian or stable rank limits, realizes quasi-isomorphisms linked to Macdonald-type identities (Berest et al., 2014). In the associative case, the derived Harish–Chandra map $k$7 is a quasi-isomorphism for $k$8 and $k$9, and surjective or bijective in stable limits. These results are closely related to classic and strong Macdonald constant-term identities in Lie theory, realized as Euler characteristics of derived representation schemes.

7. Applications and Interconnections

Derived representation schemes form the underpinning of numerous developments:

• Deformation theory of algebra representations and corresponding derived critical loci.
• Moduli of complexes and derived Quot-schemes via equivalences with geometric derived stacks (Berest et al., 2010).
• Functorial passage of noncommutative structures (e.g., double Poisson, symplectic) to commutative moduli spaces, facilitating geometric representation theory and quantization frameworks (D'Alesio, 2020, Berest et al., 2012).
• Invariants of Calabi–Yau, Koszul, or Sklyanin algebras, where higher representation homology encodes geometric properties and obstructions (Berest et al., 2013, Berest et al., 2011).
• Connections to $A_n$0-theory, integral formulae for partition functions (e.g., Nekrasov), and precise links between virtual cycles and representation-theoretic invariants in gauge theory and enumerative geometry (D'Alesio, 2020).

The theory provides a comprehensive, homotopically robust foundation for the study of representation-theoretic structures in noncommutative and derived algebraic geometry, making it central to ongoing developments in geometric representation theory, deformation quantization, and moduli theory.