Universal DG-Variety

• Universal DG-variety is the smooth projective variety arising as the coarse moduli of point-objects in a proper, smooth, pretriangulated dg-category.
• It provides a unique geometric incarnation for dg-categories, establishing a concrete bridge between noncommutative structures and classical algebraic geometry.
• The concept underpins reconstruction theorems for categories like Kuznetsov’s cubic fourfolds, informing rationality and classification studies.

A universal DG-variety provides the algebro-geometric incarnation of a smooth, proper, pretriangulated differential graded (dg) category by associating to such a category a unique (up to twisting by a gerbe) smooth projective variety. This association is realized through the construction of the coarse moduli space of "point-objects" inside the dg-category, formalizing the precise bridge between noncommutative geometry (as incarnated by dg-categories) and classical algebraic geometry.

1. Proper, Smooth, Pretriangulated DG-Categories and Point-Object Moduli

Let $k=\mathbb{C}$. A $k$-linear dg-category $T$ is called proper if for any $x,y$ in $T$, the complex $\mathrm{Hom}_T(x,y)$ has finite-dimensional cohomology and $[T]$ admits a compact generator. It is smooth if it is perfect as a bimodule over $T^\mathrm{op} \otimes_k T$. It is pretriangulated if the Yoneda embedding $h: T \to \mathrm{Perf}(T)$ is a quasi-equivalence, ensuring the triangulated structure of $[T]$.

A saturated dg-category possesses a Serre functor $S_T$ characterized by

$$\mathrm{Hom}_{[T]}(x,y) \cong \mathrm{Hom}_{[T]}(y, S_T(x))^*.$$

Toën–Vaquié construct the derived moduli stack $\mathcal{M}_T$ assigning to a simplicial commutative $k$-algebra $A$ the simplicial set of dg-functors $T \to \mathrm{Perf}(A)$, parametrizing families of perfect $T \otimes_k A$-modules.

A point-object of dimension $d$ in $T$ is an object $x$ satisfying

$$S_T(x) \simeq x[d],\qquad \dim_k \mathrm{Ext}^1_T(x,x) = d,\qquad \mathrm{Hom}_T(x,x) \simeq \mathrm{Sym}_k(\mathrm{Ext}_T^1(x,x)[-1]).$$

A system of points of amplitude 1 is a set $\mathcal{P} \subset \mathrm{Ob}(T)$ comprising mutually orthogonal, equally dimensional point-objects that strongly cogenerate a $t$-structure. The corresponding subfunctor $\mathcal{M}_T^{\mathrm{pt},1}$ consists of modules fiberwise satisfying these criteria.

If the $t$-structure is open and perfect, $\mathcal{P}$ is bounded and strongly cogenerates, and the coarse moduli $M = t_0(\mathcal{M}_T^{\mathrm{pt},1})$ is proper, then $\mathcal{M}_T^{\mathrm{pt},1} \to M$ is a banded $\mathbb{G}_m$-gerbe with $M$ a smooth projective variety (Cantadore, 2017).

2. The Reconstruction Theorem for $\mathrm{Perf}(X)$

The reconstruction theorem of Calabrese–Groechenig and Cantadore states: For a smooth projective variety $X$, let $T = \mathrm{Perf}(X)$ with the skyscraper sheaf system $\mathcal{P} = \{ \kappa_x \}_{x \in X}$. Then:

• $\mathcal{P}$ forms a bounded system of points of amplitude 1 that strongly cogenerates the standard $t$-structure.
• The derived moduli substack $\mathcal{M}_T^{\mathrm{pt},1}$ is a $\mathbb{G}_m$-gerbe over $X$, i.e., $$\mathcal{M}_T^{\mathrm{pt},1} \cong [X/\mathbb{G}_m]$$.
• Conversely, any proper, smooth, pretriangulated $k$-dg-category with such a system of points and smooth projective coarse moduli $X$ is quasi-equivalent to $\mathrm{Perf}(X)$.

The skyscraper sheaves $\kappa_x$ satisfy

$$\mathrm{Ext}^i(\kappa_x, \kappa_x) = \begin{cases} \mathbb{C} & i=0,\ T_x X^\vee & i=1,\ 0 & \text{otherwise}, \end{cases}$$

and strongly cogenerate the $t$-structure, ensuring the equivalence between the stack of points and the variety itself (Cantadore, 2017).

3. Geometric and Twisted Geometric DG-Categories

A geometric dg-category is a dg-category quasi-equivalent to an admissible subcategory of $\mathrm{Perf}(Z, \alpha)$ for a smooth projective $Z$ and Brauer class $\alpha \in H^2(Z, \mathbb{G}_m)$. For a proper, smooth dg-category $T$, it suffices to construct a perfect, open $t$-structure, locate a bounded strongly cogenerating point system, and check that the coarse moduli $M$ is proper. The Toën–Vaquié theorem then yields

$T \simeq \mathrm{Perf}(M, \beta)$

for an induced gerbe class $\beta \in H^2(M, \mathbb{G}_m)$; if $\beta = 1$, $T \simeq \mathrm{Perf}(M)$.

In $\mathrm{Perf}(X, \alpha)$, the skyscraper sheaves remain a strongly cogenerating point-system of amplitude 1 for the standard $t$-structure (Cantadore, 2017).

4. Universal DG-Variety for Kuznetsov Categories of Cubic Fourfolds

For a cubic fourfold $Y \subset \mathbb{P}^5$, the Kuznetsov category $\mathcal{A}_Y$ appears as an admissible subcategory in a semiorthogonal decomposition: $$D^b(Y) = \langle \mathcal{A}_Y, \mathcal{O}_Y, \mathcal{O}_Y(H), \mathcal{O}_Y(2H) \rangle.$$ A saturated dg-enhancement $T_Y$ of $\mathcal{A}_Y$ is geometric (possibly twisted) if and only if $T_Y$ admits a bounded system of points of amplitude 1 whose coarse moduli is a (possibly twisted) K3 surface. This is equivalent to the existence of a triangulated equivalence

$\mathcal{A}_Y \simeq D^b(S, \alpha),$

for some (twisted) K3 surface $(S, \alpha)$.

In this case, $T_Y \simeq \mathrm{Perf}(M, \beta)$, where $M$ is the K3 surface or its twisted form. This criterion provides a precise cohomological test for whether $\mathcal{A}_Y$ is geometric, bringing rationality questions for cubic fourfolds within the scope of derived and dg-category theory (Cantadore, 2017).

5. Definition and Core Properties of the Universal DG-Variety

The universal DG-variety associated to a proper, smooth, pretriangulated dg-category $T$ with a suitable point-system is the coarse moduli space $M$ of its point-objects:

• $M$ is a smooth projective variety, uniquely determined up to twisting by its gerbe.
• There is a quasi-equivalence $T \simeq \mathrm{Perf}(M, \beta)$, and when the gerbe class $\beta = 1$, this reduces to $T \simeq \mathrm{Perf}(M)$.
• $M$ thus “reconstructs” the dg-category $T$; $M$ is universal in the sense that $\mathrm{Perf}(M, \beta)$ is, up to equivalence, the unique geometric incarnation of $T$.

This concept frames a bridge from abstract “noncommutative” dg-categories to classical algebraic geometry, offering tools for foundational questions in the geometry of moduli spaces and the structure of derived categories (Cantadore, 2017).

6. Context and Significance in Algebraic and Derived Geometry

The universal DG-variety provides a rigorous functorial mechanism for translating between the dg-categorical and algebro-geometric worlds. In the case of smooth projective varieties, the equivalence with the moduli of skyscraper sheaves (as in the Calabrese–Groechenig framework) gives a concrete realization. The machinery developed in Toën–Vaquié and subsequent works underlies significant advances in the rationality problem for cubic fourfolds, classification theory for noncommutative K3s, and broader understanding of "hidden" geometry present in derived categorical settings.

A plausible implication is that the concept of the universal DG-variety formalizes and generalizes classical representability results for fine moduli spaces, extending them to the setting of noncommutative and derived algebraic geometry. Examples include the moduli of complexes on K3 surfaces and their twisted analogues, as well as semiorthogonal components of derived categories of Fano varieties (Cantadore, 2017).

---

References:

Cantadore, "DG categories of cubic fourfolds" (Cantadore, 2017) Calabrese–Groechenig, Toën–Vaquié, and follow-up works as cited in (Cantadore, 2017)