Abstract
We construct, using geometric invariant theory, a quasi-projective Deligne–Mumford stack of stable graded algebras. We also construct a derived enhancement, which classifies twisted bundles of stable graded \(A_\infty \)-algebras. The tangent complex of the derived scheme is given by graded Hochschild cohomology, which we relate to ordinary Hochschild cohomology. We obtain a version of Hilbert stability for non-commutative projective schemes.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
All our graded algebras will be unital and associative, with finite dimensional graded pieces.
We study derived moduli of graded algebras. In the first part of this paper, we construct a differential graded stack X, classifying graded algebras of a fixed dimension \(\mathbf {d}=(d_1,d_2,\ldots )\). The construction is as a stack quotient of a vector bundle of curved differential graded Lie algebras over a linear space, divided by an algebraic ‘gauge’ group. The construction is infinite-dimensional, but equal to the projective limit of its finite dimensional truncations.
For a graded algebra A, representing the point P of X, the tangent complex of X at P has (shifted) Hochschild cohomology of A, computed with homogeneous cochains of degree 0, for cohomology groups: \(H^i({\mathbb T}_X|_P)=H\!H^{i+1}_{\mathop {\mathrm{gr}}\nolimits }(A)\). In other words, the derived deformation theory of a graded algebra is given by its (shifted) graded Hochschild cohomology.
In the second section, we study graded Hochschild cohomology in some detail, and relate it to more familiar invariants. We do this for algebras A ‘coming from geometry’, by which we mean that there exists a \({\mathbb C}\)-linear Grothendieck category \({\mathscr {C}}\), an object \({\mathscr {O}}\) of \({\mathscr {C}}\), and an autoequivalence s of \({\mathscr {C}}\), satisfying suitable hypotheses, such that \(A=\bigoplus _{n\ge 0}\mathop {\mathrm{Hom}}\nolimits _{\mathscr {C}}({\mathscr {O}},s^n{\mathscr {O}})\). In the commutative case, this essentially means that \(A=\bigoplus _{n\ge 0}\Gamma \big (X,{\mathscr {O}}(n)\big )\), for a projective scheme \(\big (X,{\mathscr {O}}(1)\big )\).
Our results can be understood as supporting the idea that (under certain hypotheses), the derived deformation theory of the graded algebra A coincides with the derived deformation theory of the triple \(({\mathscr {C}},{\mathscr {O}},s)\).
In the last part of the paper we define a notion of stability for graded algebras and construct a (derived) separated Deligne–Mumford stack \(\widetilde{X}^s\) classifying stable graded algebras of fixed dimension vector. Our notion of stability comes from geometric invariant theory for the finite-dimensional truncations \(\widetilde{X}_{\le q}\) of \(\widetilde{X}\). We expect that for many interesting dimension vectors the stack \(\widetilde{X}^s\) (or at least an interesting substack) will be of finite type.
In the commutative case, our notion of stability coincides with the classical notion of Hilbert stability. Thus our stack \(\widetilde{X}^s\) extends the classical stack of Hilbert stable projective varieties into the non-commutative world.
We speculate that the stack \(\widetilde{X}^s\) (or a suitable open substack) is a moduli stack of non-commutative projective schemes in the sense of Artin-Zhang [1].
As an example, 3-dimensional quadratic Artin-Schelter regular algebras are semi-stable, and generically stable [3].
1.1 Notation and conventions
We work over a field of characteristic zero, which we shall denote by \({\mathbb C}\). Unless specified otherwise, a graded vector space will refer to a \({\mathbb Z}\)-graded vector space. A graded vector space is locally finite, if each graded piece is finite dimensional over \({\mathbb C}\).
All our graded algebras will be unital and associative, locally finite and graded in non-negative degrees. The component in degree zero will be assumed to be equal to the ground field \({\mathbb C}\). Often we will replace such an algebra A by its graded ideal \(A_{>0}\) of elements of positive degree (A can be recovered from \(A_{>0}\) in a canonical way).
Our algebraic stacks will have affine diagonal, but we do not require the diagonal to be of finite type, in general.
We follow the Bourbaki convention that set inclusion (proper or not) is denoted by ‘\(\subset \)’.
2 The derived stack of graded algebras
2.1 Gerstenhaber bracket
Let \(V=\bigoplus _{n>0} V_n\) be a locally finite positively graded vector space. For \(p\ge 0\), let
be the vector space of \((p+1)\)-ary multilinear operations on V, which preserve degree. We have
which is a product of finite dimensional vector spaces. Therefore, it is an affine \({\mathbb C}\)-scheme. If V is finite dimensional, it is an affine \({\mathbb C}\)-scheme of finite type.
On \(L=\bigoplus _{p\ge 0} L^p\) we introduce a (non-associative) product \(\circ :L^p\otimes L^q\rightarrow L^{p+q}\) by the formula
We antisymmetrize and obtain the Gerstenhaber bracket
The pair \((L,[\,,])\) is a graded Lie algebra (see [5]). It is finite dimensional, if V is finite dimensional.
Augmentation. Sometimes it will be convenient to augment L by putting a copy of \({\mathbb C}\) in degree \(-1\), i.e., setting \(L^{-1}={\mathbb C}\), and defining the differential \(L^{-1}\rightarrow L^{0}\) to be the map \({\mathbb C}\rightarrow \mathop {\mathrm{Hom}}\nolimits _{\mathop {\mathrm{gr}}\nolimits }(V,V)\) given by the tautological graded endomorphism \(\gamma \) of V, which is multiplication by the degree, so \(\gamma (\mu )=\deg (\mu )\mu \), for homogeneous elements \(\mu \in V\). Define the bracket by \([L^{-1},L]=0\). The fact that the augmented object is a differential graded Lie algebra follows from the fact that the tautological endomorphism \(\gamma \) is central in L. (This kind of construction would not work with the identity in place of \(\gamma \), as the identity is not central.) We denote by \(\widetilde{L}\) the graded Lie algebra obtained by dividing L in degree 0 by the ideal \({\mathbb C}\gamma \). Note that \(\widetilde{L}\) is quasi-isomorphic to the augmented L.
2.2 Maurer–Cartan equation
The Maurer–Cartan equation for L is
Thus a Maurer–Cartan element \(\mu \) is a degree preserving binary operation \(\mu :V\otimes V\rightarrow V\), satisfying the equation
Equivalently,
i.e., \(\mu \) is associative. Thus the Maurer–Cartan locus MC(L) of L is the scheme of all associative graded products on V. It is a closed subscheme of the affine scheme \(L^1\).
2.3 Gauge group: moduli stack
The gauge group of L is \(G=\prod _nGL(V_n)\). It is an affine group scheme over \({\mathbb C}\), and it is algebraic, if V is finite dimensional. Its Lie algebra is \(L^0=\mathop {\mathrm{Hom}}\nolimits _{\mathop {\mathrm{gr}}\nolimits }(V,V)\). The gauge group acts on L by conjugation, preserving the Gerstenhaber bracket, and hence the Maurer–Cartan locus. The moduli stack of L is the stack quotient
It classifies graded associative products on V up to change of basis in V. In other words, X classifies graded associative algebras (without unit), whose underlying graded vector space is isomorphic to V. The stack X is an algebraic stack with affine diagonal, although the diagonal is not of finite type, unless V is finite dimensional.
Let \(d_i=\dim V_i\), and \(\mathbf {d}=(d_1,d_2,\ldots )\). The groupoid X(T), for a scheme T, is the category of bundles of graded algebras of rank \(\mathbf {d}\), parametrized by T. Such a bundle of algebras is given by a graded vector bundle \({\mathscr {V}}=\bigoplus _{n>0}{\mathscr {V}}_n\) over T, where \(\mathop {\mathrm{rank}}\nolimits {\mathscr {V}}_n=d_n\), endowed with \({\mathscr {O}}_T\)-bilinear operations \({\mathscr {V}}_i\otimes {\mathscr {V}}_j\rightarrow {\mathscr {V}}_{i+j}\), satisfying associativity. (We can always add to such a bundle of graded algebras a copy of \({\mathscr {O}}_T\) in degree 0, and make it into a bundle of unital algebras, in a canonical way.)
Definition 2.1
For a graded algebra, we call the automorphisms \(\phi _\lambda \), for \(\lambda \in {{\mathbb G}_m}\), given by \(\phi _\lambda (a)=\lambda ^{\deg a}a\) on homogeneous elements, tautological. The tautological automorphisms define the tautological one-parameter group of automorphisms.
This leads to a modified moduli problem:s Denote by \(\Gamma \) the central one-parameter subgroup of G which acts with weight n on \(V_n\), for all n. Let \(\widetilde{G}\) be \(G/\Gamma \). The Lie algebra of \(\widetilde{G}\) is \(\widetilde{L}^0\). The group \(\widetilde{G}\) acts by conjugation on \(\widetilde{L}\), and we call \(\widetilde{G}\) the gauge group of \(\widetilde{L}\). It is an affine group scheme over \({\mathbb C}\). Consider the quotient stack
which is again an algebraic stack, the moduli stack of \(\widetilde{L}\).
We have a morphism of stacks \(X\rightarrow \widetilde{X}\), which is a \({{\mathbb G}_m}\)-gerbe.
The moduli problem solved by \(\widetilde{X}\) is the following: for a scheme T, the groupoid \(\widetilde{X}(T)\) is the groupoid of pairs \(({\mathfrak X},{\mathscr {V}})\), where \({\mathfrak X}\) is a \({{\mathbb G}_m}\)-gerbe over T, and \({\mathscr {V}}=\bigoplus _{n>0}{\mathscr {V}}_n\) is an \({\mathfrak X}\)-twisted vector bundle on T, where \({\mathscr {V}}_n\) is n-twisted, and \(\mathop {\mathrm{rank}}\nolimits ({\mathscr {V}}_n)=d_n\), for all \(n>0\). Moreover, \({\mathscr {V}}\) is endowed with the structure of graded algebra. We call such pairs \(({\mathfrak X},{\mathscr {V}})\) twisted bundles of graded algebras.
For a review of twisted sheaves, see [9]. Our terminology is as follows: a quasi-coherent \({\mathfrak X}\)-twisted sheaf \({\mathscr {F}}\) on T is a quasi-coherent sheaf on \({\mathfrak X}\). Such a sheaf decomposes naturally into a direct sum \({\mathscr {F}}=\bigoplus _{n\in {\mathbb Z}}{\mathscr {F}}_n\), where on \({\mathscr {F}}_n\) the natural inertia action is equal to the n-th power of the linear action given by the \({\mathscr {O}}_{\mathfrak X}\)-module structure on \({\mathscr {F}}\). If \({\mathscr {F}}={\mathscr {F}}_n\), we refer to \({\mathscr {F}}\) as n-twisted. If all \({\mathscr {F}}_n\) are vector bundles, we call \({\mathscr {F}}\) a twisted vector bundle.
If the components of the dimension vector \(\mathbf {d}\) of V are strongly coprime, by which we mean that there exists a k such that \((d_1,2d_2,\ldots ,kd_k)=1\), then the gerbe \(X\rightarrow \widetilde{X}\) is trivial. In this case, the universal twisted bundle of algebras can be represented by a bundle of algebras. It can be constructed by twisting the given action of G on V by the character \(\chi :G\rightarrow {{\mathbb G}_m}\), defined by \(\chi (g_1,g_2,\ldots )=\det (g_1)^{r_1}\det (g_2)^{r_2}\ldots \), where the \(r_i\) are such that \(\sum i r_i d_i=1\). The point is that this twist does not affect the action on L, but it changes the action on V in such a way that it factors through \(\widetilde{G}\).
2.3.1 Derived moduli stack of algebras
One of the simplest kinds of derived moduli stacks is given by a bundle of curved differential graded Lie algebras on a smooth algebraic stack (see [2], for the definitions). In the present case, the construction is as follows.
We start with the affine scheme \(L^1\), and construct over it a bundle of curved differential graded Lie algebras: the underlying graded vector bundle \({\mathscr {L}}=\bigoplus _{p\ge 2}{\mathscr {L}}^p\) is the trivial bundle over \(L^1\), with fibre \(L^p\) in degree p, for \(p\ge 2\). The curvature map \(L^1\rightarrow L^2\), given by \(x\mapsto x\circ x\), gives rise to a global section f of \({\mathscr {L}}^2\), the curvature of our bundle of curved differential graded Lie algebras. The twisted differential \(d^\mu :{\mathscr {L}}^i\rightarrow {\mathscr {L}}^{i+1}\) is given by \(d^\mu =[\mu ,{{\,\cdot \,}}]\), in the fibre over \(\mu \in L^1\). The Lie bracket on \({\mathscr {L}}\) is constant over \(L^1\), induced from the Gerstenhaber bracket in each fibre.
Then we notice that the gauge group action on \(L^1\) lifts to an action on all of \({\mathscr {L}}\), preserving the structure of bundle of curved differential graded Lie algebras. Thus, this structure descends to the quotient stack \(M=[L^1/G]\), giving rise to a bundle of curved differential graded Lie algebras over M. From now on, let us reserve the notation \(({\mathscr {L}},f,d^\mu ,[\,,])\) for the descendant bundle on M. (If V is finite dimensional, each \({\mathscr {L}}^p\) is a bundle of finite rank.)
Our moduli stack X is now realized as the closed substack \(X\subset M\), cut out by the vanishing of the curvature f of \({\mathscr {L}}\).
In [2], it is explained how a bundle of curved differential graded Lie algebras \((M,{\mathscr {L}})\) gives rise to a differential graded stack, which we shall denote by \((M,{\mathscr {R}}_M)\). In fact, the curved differential graded Lie algebra structure on \({\mathscr {L}}\) defines a differential graded co-algebra structure on \(\mathop {\mathrm{Sym}}\nolimits {\mathscr {L}}[1]\), which dualizes to a differential graded algebra structure on \({\mathscr {R}}_M=(\mathop {\mathrm{Sym}}\nolimits {\mathscr {L}}[1])^\vee \).
We also get a functor on differential graded schemes: if \((T,{\mathscr {R}}_T)\) is a differential graded scheme, we associate to it the set of pairs \(({\mathscr {V}},\mu )\), where \({\mathscr {V}}\) is a graded vector bundle of dimension \(\mathbf {d}\) over T, and \(\mu \) is a global Maurer–Cartan element of the sheaf of differential graded Lie algebras
This is the same thing as the structure of a graded \(A_\infty \)-algebra on \({\mathscr {V}}\otimes _{{\mathscr {O}}_T}{\mathscr {R}}_T\).
We also have a bundle of curved differential graded Lie algebras over \(\widetilde{M}=[L^1/\widetilde{G}]\), giving rise to a differential graded stack \((\widetilde{M},{\mathscr {R}}_{\widetilde{M}})\), whose underlying classical stack is \(\widetilde{X}\). This gives rise to the derived stack of twisted bundles of graded \(A_\infty \)-algebras.
2.4 Hochschild cohomology: deformation theory
Let us consider a point of X, represented by the Maurer–Cartan element \(\mu \in L^1\). The derived stack \((M,{\mathscr {L}})\) gives rise to a complex of vector bundles on X, the tangent complex, which governs deformations and obstructions of morphisms from square zero extensions of differential graded schemes. (For details, see [2]). At the point \(\mu \), this complex is our original graded Lie algebra L, endowed with the twisted differential \(d^\mu =[\mu ,{{\,\cdot \,}}]\). This differential is the Hochschild differential of the associative algebra \((V,\mu )\). It makes \((L,d^\mu ,[\,,])\) into a differential graded Lie algebra.
Explicitly, for \(\alpha \in L^p\), \(\alpha :V^{\otimes p+1}\rightarrow V\), we have
where we have written \(\mu \) as concatenation.
The cohomology spaces
are the graded Hochschild cohomology spaces of the graded associative algebra \((V,\mu )\), computed with Hochschild cochains which are homogeneous of degree zero. Graded deformations/obstructions of the graded algebra \((V,\mu )\) are given by \(H^1(L,d^\mu )\) and \(H^2(L,d^\mu )\), respectively.
Explicitly, if \(\alpha :V^{\otimes 2}\rightarrow V\) is a 1-cocycle with respect to \(d^\mu \) (a Hochschild 2-cocycle), then
The corresponding infinitesimal deformation of \((V,\mu )\) is given by \(V_{\epsilon }=V\oplus \epsilon V\) with multiplication \(*\), which is determined on \(V\subset V_{\epsilon }\) by
Associativity of \(*\) follows from the cocycle condition (1).
If \(\beta :V\rightarrow V\) is a 0-cochain (a Hochschild 1-cochain), then \({{\mathrm{id}}}+\beta :V_\epsilon \rightarrow V_{\epsilon }\) defines an isomorphism from \(*_{\alpha }\) to \(*_{\alpha +d^\mu \beta }\).
The infinitesimal deformation given by \(\alpha \) extends to \({\mathbb C}[\epsilon ]/\epsilon ^3\), if and only if the primary obstruction \(\alpha \circ \alpha \) vanishes in \(H^2(L,d^\mu )=HH^3_{\mathop {\mathrm{gr}}\nolimits }(V,\mu )\).
2.5 Truncation
Let \(V\rightarrow V_{\le q}\) be the truncation of V into degrees less than or equal to q, for a positive integer q. We will always consider \(V_{\le q}\) as a quotient of V. Repeating the above constructions with V replaced by \(V_{\le q}\), we obtain a finite dimensional graded Lie algebra \(L_{\le q}=\bigoplus L_{\le q}^p\), together with an epimorphism of graded Lie algebras \(L\rightarrow L_{\le q}\). Let \(X_{\le q}\) and \(\widetilde{X}_{\le q}\) denote the corresponding moduli stacks, which are algebraic stacks of finite type, whose diagonal is affine of finite type. We have
Let us write \(M=[L^1/G]\) and \(\widetilde{M}=[L^1/\widetilde{G}]\), etc. Then we have also \(\tau _q:M\rightarrow M_{\le q}\), and a morphism of bundles of curved differential graded Lie algebras
for every q. Then
(and a similar fact with tildes), as bundles of curved differential graded Lie algebras.
To state the compatibility with truncations on the level of deformation theory, let \(A=(V,\mu )\) be an algebra giving rise to a point of X. Then we have
as a direct consequence of (3). Thus, we also have
Remark 2.2
The projective system \(L_q\) is a projective system of \({\mathbb C}\)-vector spaces, and all transition maps are obviously surjective. The reason to insist that we think of \(V\rightarrow V_{\le q}\) as a quotient map is only to prove that the Hochschild boundary commutes with the maps of the projective system. A simple argument with \(\varprojlim ^1\) proves that taking cohomology commutes with the projective limit.
3 Graded Hochschild cohomology
In this section we will relate graded Hochschild cohomology to more familiar invariants. We will do this for certain graded rings S which ‘come from geometry’. By this we mean that S is the homogeneous coordinate ring of a ‘sufficiently amply polarized’ non-commutative projective scheme \(({\mathscr {C}},A,s)\) in the sense of [1]. Since our hypotheses are going to diverge slightly from [1], we will call our triples \(({\mathscr {C}},A,s)\) polarized Grothendieck categories, rather than non-commutative projective schemes.
We will define the concept of reduced Hochschild cohomology for such a triple. We apologize for this abuse of established terminology.
3.1 Hochschild cohomology of a polarized Grothendieck category
3.1.1 Preliminaries
We summarize a result from [11], which allows us to write down a relatively small complex which computes the Hochschild cohomology of a Grothendieck category.
Let \({\mathscr {C}}\) be a \({\mathbb C}\)-linear Grothendieck category, and \(A:{\mathfrak u}\rightarrow {\mathscr {C}}\) a \({\mathbb C}\)-linear functor from a \({\mathbb C}\)-linear category \({\mathfrak u}\). This situation gives rise to the Yoneda functor \({\mathscr {C}}\rightarrow \mathop {\mathrm{Mod}}\nolimits ({\mathfrak u})\), where \(\mathop {\mathrm{Mod}}\nolimits ({\mathfrak u})\) is the category of right \({\mathfrak u}\)-modules, i.e., the category of \({\mathbb C}\)-linear functors \({\mathfrak u}^{\mathrm{op}}\rightarrow ({\mathbb C}\text {-vector spaces})\).
We will need to assume that \({\mathscr {C}}\rightarrow \mathop {\mathrm{Mod}}\nolimits ({\mathfrak u})\) is fully faithful and has an exact left adjoint. By the Gabriel-Popescu theorem, for this it suffices that \(\{A(u)\}_{u\in \mathop {\mathrm{ob}}{\mathfrak u}}\) is a generating family for \({\mathscr {C}}\), and that \(A:{\mathfrak u}\rightarrow {\mathscr {C}}\) is fully faithful. By Theorem 1.2 of [10], this latter condition can be weakened to
-
(i)
\(A:{\mathfrak u}\rightarrow {\mathscr {C}}\) is faithful,
-
(ii)
for objects u, v in \({\mathfrak u}\), and a morphism \(f:A(u)\rightarrow A(v)\) in \({\mathscr {C}}\), there always exists a family of morphisms \(u_i\rightarrow u\) in \({\mathfrak u}\), such that \(\coprod _i A(u_i)\rightarrow A(u)\) is an epimorphism in \({\mathscr {C}}\), and \(f|_{A(u_i)}\in {\mathfrak u}\), for all i.
There exist (Section 1.10 in [7]) functorial injective resolutions for the objects of \({\mathfrak u}\). This means we have a 2-commutative diagram
where \(C^\bullet ({\mathscr {C}})\) denotes the differential graded category of complexes in \({\mathscr {C}}\). For every \(u\in {\mathfrak u}\), the homomorphism of complexes \(A(u)\rightarrow E(u)\) (given by the natural transformation ‘\(\Rightarrow \)’ in the diagram) is an injective resolution.
Denote by \(\widetilde{E}\) the \({\mathfrak u}\)-bimodule defined by the functor \(E:{\mathfrak u}\rightarrow C^\bullet ({\mathscr {C}})\). We have
We shall consider the Hochschild cochain complex \(C^\bullet ({\mathfrak u},\widetilde{E})\), see [11, (2.4)]. It is the product total complex of the double complex whose p-th column is given by
Proposition 3.1
[11, Lemma 5.4.2] The complex \(C^\bullet ({\mathfrak u},\widetilde{E})\) computes the Hochschild cohomology of \({\mathscr {C}}\) as abelian category, and therefore governs the deformation theory of \({\mathscr {C}}\) as abelian category.
We will apply this result in the situation where \(\{A(-n)\}_{n\in {\mathbb N}}\) is a family of objects of \({\mathscr {C}}\), such that for every N, the family \(\{A(-n)\}_{n<N}\) generates \({\mathscr {C}}\). We let \({\mathfrak u}\) be the category whose objects are the negative integers, and whose morphisms are given by
By construction, \({\mathfrak u}\) comes with a faithful (although not necessarily full) functor \(A:{\mathfrak u}\rightarrow {\mathscr {C}}\), which satisfies Condition 3.1.1, above. The Hochschild complex \(C^\bullet ({\mathfrak u},\widetilde{E})\) is given by
3.1.2 Polarized Grothendieck categories
Let \({\mathscr {C}}\) be a \({\mathbb C}\)-linear Grothendieck category. A polarization of \({\mathscr {C}}\) is a pair (s, A), where s is an auto-equivalence of \({\mathscr {C}}\), and A is an object of \({\mathscr {C}}\), such that
-
(i)
for every N, the family \(\big (A(n)\big )_{n<N}\) generates \({\mathscr {C}}\),
-
(ii)
\(\mathop {\mathrm{Ext}}\nolimits ^i_{\mathscr {C}}\big (A,A(n)\big )=0\), if \(n>0\), and \(i>0\),
where we have written \(s^nA=A(n)\).
In addition, we will make the assumption that \(\mathop {\mathrm{Hom}}\nolimits _{\mathscr {C}}(A,A)={\mathbb C}\).
For example, the Grothendieck category of quasi-coherent \({\mathscr {O}}_X\)-modules on a projective \({\mathbb C}\)-scheme X is polarized by \(({\mathscr {F}}\mapsto {\mathscr {F}}(1), {\mathscr {O}}_X)\), if \({\mathscr {O}}_X(1)\) is ‘sufficiently ample’. It satisfies the additional assumption, if X is connected.
For another example, if \(({\mathscr {C}},A,s)\) is a finite-dimensional non-commutative projective scheme in the sense of [1], by which we mean that it satisfies the conditions (H1), (H2), (H3), (H4), and (H5) of [1], and has finite cohomological dimension, then (s, A) is a polarization of \({\mathscr {C}}\), if we replace s by a sufficiently large power.
As explained in [1, Proposition 4.2], we may, and shall, assume that s is an automorphism of \({\mathscr {C}}\), rather than an autoequivalence.
We choose functorial injective resolutions for the objects \(A(-n)\), \(n\in {\mathbb N}\), and use the complex \(C^\bullet ({\mathfrak u},\widetilde{E})\), defined as above (5), to compute the Hochschild cohomology of \({\mathscr {C}}\).
3.1.3 Reduced Hochschild cohomology
Let \(\widetilde{E}^*\) be the same \({\mathfrak u}\)-bimodule as \(\widetilde{E}\), except that we set \(\widetilde{E}(-1,-n)\) equal to zero:
By the definition of \({\mathfrak u}\), we have that \(\widetilde{E}^*\) is a bi-submodule of \(\widetilde{E}\). Let \(\overline{E}\) be the quotient bimodule
Again, by the definition of \({\mathfrak u}\), we have for all p that the p-th column of \(C^\bullet ({\mathfrak u},\overline{E})\) is a single copy of \(\widetilde{E}(-1,-1)=\mathop {\mathrm{Hom}}\nolimits ^\bullet _{\mathscr {C}}\big (E(-1),E(-1)\big )\). The Hochschild differential is trivial, and therefore \(C^\bullet ({\mathfrak u},\overline{E})\) is quasi-isomorphic to \(\widetilde{E}(-1,-1)=\mathop {\mathrm{RHom}}\nolimits _{\mathscr {C}}(A,A)\).
We call the cohomology of \(C^\bullet ({\mathfrak u},\widetilde{E}^*)\) the reduced Hochschild cohomology of \({\mathscr {C}}\), with respect to the base object A, notation \(\overline{H\!H}^*({\mathscr {C}},A)\).
There is a short exact sequence of complexes
which gives rise to a long exact sequence in cohomology
Remark 3.2
As \(H\!H^*({\mathscr {C}})\) governs deformations of the abelian category \({\mathscr {C}}\), and \(\mathop {\mathrm{Ext}}\nolimits _{\mathscr {C}}^*(A,A)\) governs deformations of the object A within \({\mathscr {C}}\) (see [14]), the sequence (7) suggests that \(\overline{H\!H}^*({\mathscr {C}},A)\) governs the deformations of the pair \(({\mathscr {C}},A)\). This motivates our terminology. We apologize for the somewhat ad-hoc definition, which is motivated by its convenience for what follows.
3.1.4 Graded Hochschild cohomology
Define the unital graded \({\mathbb C}\)-algebra
and the graded differential graded S-bimodule
The grading coming from the autoequivalence s will be called the projective grading and will be denoted using lower indices, in contrast to the cohomological grading, which is indicated with superscripts.
We have the Hochschild complex of S with values in \(M^\bullet \)
and the subcomplex
of projective degree 0 cochains. These are the cochains which preserve the projective degree.
Lemma 3.3
We have a short exact sequence of complexes of \({\mathbb C}\)-vector spaces
Proof
During this proof we will disregard the vertical degree (the coefficient degree) and consider only the horizontal degree (the Hochschild degree). Thus, \(C^p({\mathfrak u},\widetilde{E})\) will denote the p-th column (5) of \(C^\bullet ({\mathfrak u},\widetilde{E})\). The same applies to \(C^\bullet _{\mathop {\mathrm{gr}}\nolimits }(S,M^\bullet )\).
A p-cochain \(\chi \in C^p_{\mathop {\mathrm{gr}}\nolimits }(S,M^\bullet )\), is a family \((\chi _{\ell _1,\ldots ,\ell _p})_{\ell _1,\ldots ,\ell _p\ge 0}\), where
is a multilinear map. We associate to \(\chi \) the p-cochain \(\psi \in C^p({\mathfrak u},\widetilde{E})\) given by the family \((\psi _{n_0,\ldots ,n_p})_{n_0\ge \cdots \ge n_p\ge 1}\), where
is the multilinear operation given by
Sending \(\chi \) to \(\psi \) defines the injective arrow in (8).
The functor \(s^{-1}\) restricts to a fully faithful functor \(s^{-1}:{\mathfrak u}\rightarrow {\mathfrak u}\), and defines an endomorphism of the diagram (4), and so induces an endomorphism \(s^{-1}\) of \(C^\bullet ({\mathfrak u},\widetilde{E})\). Given a p-cochain \(\psi \in C^p({\mathfrak u},\widetilde{E})\), the p-cochain \(s^{-1}\psi \in C^p({\mathfrak u},\widetilde{E})\) is given by
So the condition \((1-s^{-1})\psi =0\) is equivalent to
Such a \(\psi \) is the image of \(\chi \in C^p_{\mathop {\mathrm{gr}}\nolimits }(S,M^\bullet )\), with
where, for \(i=0,\ldots ,p\), we have used the abbreviation \(n_i=n+\sum _{j>i}\ell _j\), for an arbitrary \(n\ge 1\). This proves that (8) is exact in the middle.
To prove that \((1-s^{-1})\) is surjective, note that given \(\phi \), the equation \(\phi =(1-s^{-1})\psi \) is equivalent to \(s^{-1}\psi =\psi -\phi \), which is a recursive equation for the components of \(\psi \) in terms of those \(\psi _{n_0,\ldots ,n_p}\) with \(n_p=1\). \(\square \)
Sequences (6) and (8) exhibit two subcomplexes of \(C^\bullet ({\mathfrak u},\widetilde{E})\). In the intersection of \(C^\bullet _{\mathop {\mathrm{gr}}\nolimits }(S,M^\bullet )\) and \(C^\bullet ({\mathfrak u},\widetilde{E}^*)\) inside \(C^\bullet ({\mathfrak u},\widetilde{E})\), there is \(C^\bullet _{\mathop {\mathrm{gr}}\nolimits }(S,S_{>0})\), giving rise to the commutative diagram of complexes with exact rows and columns
Lemma 3.4
Both \(\alpha \) and \(\beta \) are quasi-isomorphisms.
Proof
In fact, the two claims are equivalent, so let us prove the one for \(\alpha \). Let us start by noting that in \(C_{\mathop {\mathrm{gr}}\nolimits }^\bullet (S,M^\bullet )\), we can replace \(M^\bullet \) by
Consider the monomorphism of S-bimodules \(S_{>0}\rightarrow M^\bullet _{\ge 0}\). By the second condition that we require of polarizations, the quotient of \(M^\bullet _{\ge 0}\) modulo \(S_{>0}\) is quasi-isomorphic to the bimodule \(M_0=\mathop {\mathrm{Hom}}\nolimits ^\bullet _{\mathscr {C}}(E,E)\), which exists entirely in projective degree 0. It follows that Q is quasi-isomorphic to \(C^\bullet _{\mathop {\mathrm{gr}}\nolimits }(S,M_0)\). But for every p, we have \(C^p_{\mathop {\mathrm{gr}}\nolimits }(S,M_0)=M_0\). It follows that \(C^\bullet _{\mathop {\mathrm{gr}}\nolimits }(S,M_0)\) is, in fact, quasi-isomorphic to \(\mathop {\mathrm{Hom}}\nolimits ^\bullet _{\mathscr {C}}(E,E)=R\mathop {\mathrm{Hom}}\nolimits _{\mathscr {C}}(A,A)\). The same is true for \(C^\bullet ({\mathfrak u},\overline{E})\).
We have used the fact that graded Hochschild cohomology of S is invariant under quasi-isomorphisms of the coefficient bimodule. This can be reduced to the case of Hochschild cohomology of the category \({\mathfrak u}\) via Lemma 3.3, which applies to any \({\mathfrak u}\)-bimodule. \(\square \)
Corollary 3.5
There is a distinguished triangle of complexes of \({\mathbb C}\)-vector spaces
and hence a long exact sequence in cohomology
Proof
This is where we use the connectedness assumption that \(\mathop {\mathrm{Hom}}\nolimits _{\mathscr {C}}(A,A)={\mathbb C}\). By this assumption, the normalized graded Hochschild complex of S with values in \(S_{>0}\) is \(C^\bullet (S_{>0},S_{>0})\). \(\square \)
Thus Diagram (9) gives rise to a diagram of long exact sequences in cohomology:
3.1.5 Heuristic remarks
Unfortunately, this result about
with notation \(S_{>0}=(V,\mu )\), is only about the tangent complex of our derived stack as a complex, disregarding the structure of deformation functor, i.e. the \(L_\infty \)-structure. We would like to make a few heuristic remarks, which may explain the provenance of Diagram (11).
There is an octahedron of deformation functors
Then there is an isomorphism \(\mathop {\mathrm{Def}}\nolimits ({\mathscr {C}})=\mathop {\mathrm{Def}}\nolimits _{\mathscr {C}}(s)[1]\), so we can rewrite this as
and as
We believe that this latter diagram is, in fact, (11), and this justifies our suspicion that \(C^\bullet _{\mathop {\mathrm{gr}}\nolimits }(S_{>0},S_{>0})[+1]\) governs the deformation theory of the triple \(({\mathscr {C}},A,s)\). From Sect. 2, we know that \(C^\bullet _{\mathop {\mathrm{gr}}\nolimits }(S_{>0},S_{>0})[+1]\) governs the deformation theory of (non-unital) graded algebras. This is consistent with the Artin-Zhang philosophy that graded algebras are just triples \(({\mathscr {C}},A,s)\) in disguise.
3.2 Relative Hochschild cohomology (commutative case)
In the commutative case, we can interpret graded Hochschild cohomology of a graded ring as reduced equivariant Hochschild cohomology. We will introduce this concept, and prove results analogous to the non-commutative case.
3.2.1 Relative Hochschild cohomology for schemes
Let X be a separated scheme and \(X\rightarrow Y\) a separated morphism of algebraic stacks. Consider the diagonal morphism
which is a closed immersion of schemes. As for any closed immersion of schemes, the derived category object \(L\Delta ^*\Delta _*{\mathscr {O}}_X\) splits off \({\mathscr {H}}^0(L\Delta ^*\Delta _*{\mathscr {O}}_X)=\Delta ^*\Delta _*{\mathscr {O}}_X={\mathscr {O}}_X\), and we write \((L\Delta ^*\Delta _*{\mathscr {O}}_X)^{\mathop {\mathrm{red}}\nolimits }\) for the complement \(\tau _{<0}(L\Delta ^*\Delta _*{\mathscr {O}}_X)\).
For a sheaf of \({\mathscr {O}}_X\)-modules \({\mathscr {F}}\), we define the relative Hochschild cohomology of X over Y with values in \({\mathscr {F}}\) to be
We also call
the reduced Hochschild cohomology of X over Y with values in \({\mathscr {F}}\). For \({\mathscr {F}}={\mathscr {O}}_X\), we use the usual abbreviations
We have
3.2.2 Equivariant Hochschild cohomology
If G is a reductive algebraic group, \(\pi :P\rightarrow X\) is a principal G-bundle, and \(X\rightarrow BG\) the associated classifying morphism, then we write \(H\!H_G^*\) for \(H\!H_{BG}^*\), and \(\bar{H}\!H^*_G\) for \(\bar{H}\!H^*_{BG}\), and speak of equivariant (reduced) Hochschild cohomology.
Proposition 3.6
For any quasi-coherent sheaf of \({\mathscr {O}}_X\)-modules \({\mathscr {F}}\), There is a natural G-action on \(H\!H^*(P,\pi ^*{\mathscr {F}})\), and we have canonical isomorphisms
In particular,
Proof
Consider the cartesian diagram
and write \({\mathscr {A}}=\pi _*{\mathscr {O}}_P\), so that P is the relative spectrum of the \({\mathscr {O}}_X\)-algebra \({\mathscr {A}}\) over X. By flat base change, we have
and therefore
and by adjunction
We have a G-action on \({\mathscr {A}}\), and the invariants are \({\mathscr {A}}^G={\mathscr {O}}_X\). We get an induced action on \({\mathscr {A}}\otimes _{{\mathscr {O}}_X}{\mathscr {F}}\) with invariants \({\mathscr {F}}\), and an induced action on \(H\!H_G^*(X,{\mathscr {A}}\otimes _{{\mathscr {O}}_X}{\mathscr {F}})\) with invariants \(H\!H_G^*(X,{\mathscr {F}})\). This proves the claim for usual Hochschild cohomology. The proof goes through also in the reduced case. \(\square \)
3.2.3 Relation to ordinary Hochschild cohomology
We specialize to the case \(G={{\mathbb G}_m}\).
Proposition 3.7
Let X be a separated scheme and \(X\rightarrow B{{\mathbb G}_m}\) a morphism. Denote the diagonal \(X\rightarrow X\times X\) by \(\Delta \), and the diagonal \(X\rightarrow X\times _{B{{\mathbb G}_m}}X\) by \(\widetilde{\Delta }\). Then in \(D({\mathscr {O}}_X)\) there are distinguished triangles
and
Proof
Let X be a scheme, and
a central extension of groupoids over X. The example which will concern us is given by \(\widetilde{R}=X\times _{B{{\mathbb G}_m}} X\), and \(R=X\times X\). Denote the identity sections of \(\widetilde{R}\) and R by \(\widetilde{\Delta }\) and \(\Delta \), respectively, and assume that \(\Delta \) is a closed immersion. Then \(\iota \) is a closed immersion, as it is a pullback of \(\Delta \). Let us denote the identity of \({{\mathbb G}_m}\times X\) by e, and let t be the standard coordinate on \({{\mathbb G}_m}\).
We have a short exact sequence of sheaves of \({\mathscr {O}}\)-modules on \({{\mathbb G}_m}\times X\)
Applying \(\iota _*\) we get the short exact sequence
We have \(\iota _*{\mathscr {O}}_{{{\mathbb G}_m}\times X}=\pi ^*\Delta _*{\mathscr {O}}_X\), and \(\iota _*e_*{\mathscr {O}}_X=\widetilde{\Delta }^*{\mathscr {O}}_X\), by the cartesian diagram
So we can rewrite our exact sequence as
Now we apply \(L\widetilde{\Delta }^*\) to this exact sequence of \({\mathscr {O}}\)-modules on \(\widetilde{R}\), to obtain the distinguished triangle (12). \(\square \)
Corollary 3.8
There are long exact sequences
and
3.2.4 A lemma on Hochschild cohomology of quasi-affine schemes
If X is quasi-affine, say \(X\subset V=\mathop {\mathrm{Spec}}\nolimits A\), we can apply the usual tilde construction to the Hochschild complex \(C_\bullet (A)\) of A. We obtain a complex of quasi-coherent sheaves \(C_\bullet (A)^\sim |_X\) on X, whose component in degree p is the free \({\mathscr {O}}_X\)-module
Removing the degree 0 part from \(C_\bullet (A)\) gives the reduced Hochschild complex \(\overline{C}_\bullet (A)\), and the associated complex of quasi-coherent sheaves \(\overline{C}_\bullet (A)^\sim |_X\), which is obtained from \(C_\bullet (A)^\sim |_X\) by removing the component in degree 0.
Lemma 3.9
In the derived category of X, the complex \(C_\bullet (A)^\sim |_X\) represents the object \(L\Delta ^*\Delta _*{\mathscr {O}}_X\), where \(\Delta :X\rightarrow X\times X\) is the absolute diagonal. Moreover, the complex \(\overline{C}_\bullet (A)^\sim |_X\) represents \((L\Delta ^*\Delta _*{\mathscr {O}}_X)^{\mathop {\mathrm{red}}\nolimits }\).
Proof
This follows from [13], where it is proved that on a quasi-projective scheme the complex of non-quasi-coherent sheaves \({\mathscr {C}}_\bullet ^X\), which sheafifies the Hochschild complex, represents the derived category object \(L\Delta ^*\Delta _*{\mathscr {O}}_X\).
Then we have a canonical quasi-isomorphism
because Hochschild homology commutes with localization. \(\square \)
Now suppose \({\mathscr {F}}=\widetilde{M}|_X\), for an A-module M.
Lemma 3.10
We have spectral sequences
Proof
By the previous lemma, the derived category object \(R\mathop {{\mathscr {H}\! {om}}}\nolimits (L\Delta ^*\Delta _*{\mathscr {O}}_X,{\mathscr {F}})\) can be represented by the complex \(C^\bullet (A,{\mathscr {F}})\) of sheaves on X, whose degree p component is
i.e., an infinite product of copies of \({\mathscr {F}}\). It follows that Hochschild cohomology of X with values in \({\mathscr {F}}\) is equal to hypercohomology
This hypercohomology can be computed using a finite affine Čech cover \({\mathfrak U}\) of X, because an infinite product of quasi-coherent sheaves is acyclic over an affine scheme (even though not quasi-coherent in itself). Thus
We now consider the double complex. Computing cohomology in the Čech direction gives us \(C^\bullet \big (A,H^q(X,{\mathscr {F}})\big )\), because infinite products are exact in the category of A-modules. Next, computing cohomology in the Hochschild direction gives us \(H\!H^p\big (A,H^q(X,{\mathscr {F}})\big )\), by definition. Thus the desired spectral sequence is the standard \(E_2\) spectral sequence of our double complex.
The proof is the same for the reduced case. \(\square \)
3.2.5 Graded Hochschild cohomology
Let A be a locally finite commutative graded \({\mathbb C}\)-algebra, such that
-
(i)
A is graded in non-negative degrees: \(A=A_{\ge 0}\),
-
(ii)
A is connected: \(A_0={\mathbb C}\),
-
(iii)
A is generated in degree 1.
Let \(V=\mathop {\mathrm{Spec}}\nolimits A\), and \(Y=V{\setminus } 0\), where \(0\in V\) is the vertex defined by the homogeneous maximal ideal \(A_{>0}\). Moreover, let \(X=Y/{{\mathbb G}_m}=\mathop {\mathbb {P}\mathrm {roj}}\nolimits A\), and denote the quotient map by \(\pi :Y\rightarrow X\). Assume further that
-
(iv)
for all \(n>0\), the homomorphism \(A_n\rightarrow \Gamma \big (X,{\mathscr {O}}_X(n)\big )\) is bijective,
-
(v)
for all \(q>0\) and \(n>0\), we have \(H^q\big (X,{\mathscr {O}}_X(n)\big )=0\).
Let us remark that
For example, if X is a connected projective scheme, and \({\mathscr {O}}_X(1)\) is a sufficiently ample line bundle, then \(A=\bigoplus _i \Gamma \big (X,{\mathscr {O}}_X(i)\big )\) satisfies our assumptions.
Theorem 3.11
We have
Proof
By Proposition 3.6, we have
We can then use Lemma 3.10 to determine \(\bar{H}\!H^*_{\mathop {\mathrm{gr}}\nolimits }(Y)\). In fact, \({{\mathbb G}_m}\) acts on the relevant spectral sequence, and we get an induced spectral sequence of invariants
To deal with the \(E_2\)-term, notice that, passing to the normalized complex, we have
This implies also
For \(q>0\) and \(p>0\), we have
because there are no graded cochains in the relevant degrees (and taking invariants commutes with computing Hochschild cohomology). So the \(E_2\)-term of the spectral sequence (13) is entirely contained in the row \(q=0\). We deduce that
We have
and we conclude that \(\bar{H}\!H^*_{\mathop {\mathrm{gr}}\nolimits }(Y)=\bar{H}\!H^*_{\mathop {\mathrm{gr}}\nolimits }(A_{>0},A_{>0})\). \(\square \)
Remark 3.12
This argument would fail for non-reduced Hochschild cohomology, because the corresponding spectral sequence would also contain the non-vanishing \(n=0\) column. This is the reason for working with reduced Hochschild cohomology. In fact, for Hochschild cohomology, we have
Corollary 3.13
There is a long exact cohomology sequence
This sequence is also the sequence (10), for \(S=A\).
3.3 The smooth case
3.3.1 Hochschild–Kostant–Rosenberg
We return to the case of a separated scheme X, with a separated morphism \(X\rightarrow Y\) to an algebraic stack Y, and assume that \(X\rightarrow Y\) is smooth, of relative dimension d. The usual proof of the Hochschild-Kostant-Rosenberg theorem goes through and gives
Corollary 3.14
For relative Hochschild cohomology, we have
In particular, consider the case \(Y= B{{\mathbb G}_m}\), and X smooth. The bundles \(\Lambda ^j T_{X/B{{\mathbb G}_m}}\) can be related to the \(\Lambda ^j T_X\) by considering the short exact sequence of vector bundles on X
(the Euler sequence), which induces, for every \(j>0\), another short exact sequence of vector bundles
If A is a graded ring as in Theorem 3.11, and \(X=\mathop {\mathbb {P}\mathrm {roj}}\nolimits A\) is smooth of dimension d, then for \(q>0\) we have
3.3.2 Further considerations
We consider the case that \(\big (X,{\mathscr {O}}_X(1)\big )\) is a smooth projective connected scheme of dimension d. The polarization \({\mathscr {O}}_X(1)\) gives rise to the morphism \(X\rightarrow B{{\mathbb G}_m}\). Assume that \({\mathscr {O}}_X(1)\) is sufficiently ample, so that the hypotheses of Theorem 3.11 are satisfied. Let A be the homogeneous coordinate ring of X. Then A defines a point of the derived moduli scheme of algebras constructed in Sect. 2. The tangent complex at X of the derived scheme is
Therefore, the virtual dimension of the derived scheme at the point X is
i.e., the arithmetic genus up to sign.
In this case, the beginning of the long exact sequence (14), or (10), is a direct sum of long exact sequences as in Fig. 1,
where we have written \(\widetilde{T}\) for \(T_{X/B{{\mathbb G}_m}}\). The left column contains \(H\!H^*(X)[-1]\), the middle column \(\overline{H\!H}_{{{\mathbb G}_m}}^*(X)=H\!H^*_{\mathop {\mathrm{gr}}\nolimits }(A_{>0},A_{>0})\), and the right column \(\overline{H\!H}^*(X)\).
Thus, the infinitesimal non-commutative polarized automorphisms of X are given by
This is equal to the classical, commutative infinitesimal automorphisms of the pair \(\big (X,{\mathscr {O}}_X(1)\big )\). It is an extension of the kernel of \(H^0(X,T_X)\rightarrow H^1(X,{\mathscr {O}}_X)\) by \({\mathbb C}=H^0(X,{\mathscr {O}}_X)\).
The infinitesimal non-commutative polarized deformations of X are given by \(\bar{H}\!H^2_{{\mathbb G}_m}(X)\). This splits up into two direct summands
There is the classical, commutative part \(H^1(X,\widetilde{T})\). This is an extension of the kernel of \(H^1(X,T_X)\rightarrow H^2(X,{\mathscr {O}}_X)\), i.e., the infinitesimal deformations of X lifting to the pair \(\big (X,{\mathscr {O}}_X(1)\big )\), by the cokernel of \(H^0(X,T_X)\rightarrow H^1(X,{\mathscr {O}}_X)\), i.e., the infinitesimal deformations of \({\mathscr {O}}_X(1)\), modulo those that come from infinitesimal automorphisms of X.
Then there is the non-commutative part \(H^0(X,\Lambda ^2\widetilde{T})\). This is an extension of the kernel of \(H^0(X,\Lambda ^2 T_X)\rightarrow H^1(X,T_X)\) by \(H^0(X,T_X)\). The subspace \(H^0(X,T_X)\) corresponds to non-commutative deformations of the graded sheaf of algebras \(\bigoplus _n{\mathscr {O}}(n)\) coming from automorphisms of X, via the ‘twisted coordinate ring construction’. The quotient space consists of non-commutative deformations of the structure sheaf (given by \(H^0(X,\Lambda ^2 T_X\)), which map to zero in \(H^1(X,T_X)\).
The infinitesimal non-commutative polarized obstructions of X are given by \(\bar{H}\!H^3_{{\mathbb G}_m}(X)\), and split up into three parts. The classical, commutative part \(H^2(X,\widetilde{T})\), and two non-classical parts \(H^1(X,\Lambda ^2\widetilde{T})\) and \(H^0(X,\Lambda ^3\widetilde{T})\). In particular, they contain \(H^0(X,\Lambda ^2 T_X)\) as a subspace.
Remark 3.15
For the obstruction theory to be perfect at X, i.e., for the higher obstructions to vanish, we could require
For X a curve this is always true. This leads to the speculation that there may be interesting moduli spaces of non-commutative polarized curves, which admit virtual fundamental classes.
For surfaces, this would give the three conditions
4 Stability for graded algebras
In this section we study the geometric invariant theory quotient associated to the action of G on \(L^1\) (notation from Sect. 2). Because of (2) we restrict to the case of truncated algebras. Then both \(L^1\) and G are of finite type, and we are in a classical geometric invariant theory context.
4.1 The GIT problem
Here we construct quasi-projective moduli schemes of finite graded stable algebras. We start by setting up a Geometric Invariant Theory problem.
Let q be a positive integer, \(\mathbf {d}=(d_1,\ldots ,d_q)\) a vector of positive integers, and
a finite-dimensional graded vector space of dimension \(\mathbf {d}\). Let \(G=\prod _{i=1}^q\mathop {\mathrm{GL}}\nolimits (V_i)\). We write elements of V as \(x=(x_1,\ldots ,x_q)\) and elements of G as \(g=(g_1,\ldots ,g_q)\).
Let \(R=\mathop {\mathrm{Hom}}\nolimits _{\mathop {\mathrm{gr}}\nolimits }(V^{\otimes 2},V)\), with elements written as \(\mu =(\mu _{ij})_{ij}\), where \(\mu _{ij}:V_i\otimes V_j\rightarrow V_{i+j}\). Note that \(\mu _{ij}\not =0\) only if \(i,j\ge 1\) and \(i+j\le q\). Consider the left action of G on R by conjugation. More precisely, for \(g\in G\) and \(\mu \in R\), we have
Remark 4.1
This is not a space of quiver representations. So we cannot directly quote results for moduli of quiver representations. Although similar techniques do apply.
There are two canonical one-parameter subgroups of G. The anti-diagonal \(\Delta ^{-1}:{{\mathbb G}_m}\rightarrow G\) acts by scalar multiplication (i.e., by weight 1) on R, and hence destabilizes every point of R. The other, \(\Gamma :{{\mathbb G}_m}\rightarrow G\) given by \(\Gamma (t)=(t,t^2,\ldots ,t^q)\) acts trivially on R, prompting us to pass from G to \(\widetilde{G}=G/\Gamma \).
Definition 4.2
We call a vector of integers \(\theta =(\theta _1,\ldots ,\theta _q)\) a stability parameter if
-
(i)
$$\begin{aligned} \sum _{i=1}^q\theta _id_i<0, \end{aligned}$$
-
(ii)
$$\begin{aligned} \sum _{i=1}^q i\theta _i d_i=0. \end{aligned}$$
Any stability parameter defines a character \(\chi _\theta \) of \(\widetilde{G}\) by
The second condition on \(\theta \) says that \(\theta \) factors through \(G\rightarrow \widetilde{G}\), and the first condition implies that \(\langle \chi ,\Delta ^{-1}\rangle >0\).
We then linearize the action of \(\widetilde{G}\) on R by taking the trivial line bundle on R, and lifting the action to \(R\times {\mathbb C}\) by the formula \(g*(\mu ,t)=(g*\mu ,\chi (g)^{-1}t)\). Then the GIT quotient of R by \(\widetilde{G}\) is
where
are the twisted invariants. Note that the condition \(\langle \chi ,\Delta ^{-1}\rangle >0\) implies that \(\bigoplus _{n}\Gamma (R)_{\chi ^n}^{\widetilde{G}}\) is non-negatively graded.
The GIT quotient is a projective scheme, because the affine quotient \(\mathop {\mathrm{Spec}}\nolimits \Gamma (R)^{\widetilde{G}}\) is reduced to a point.
Let \(R^s\subset R^{ss}\subset R\) be the open subsets of stable and semi-stable points in R, respectively. Then \([R^s/\widetilde{G}]\) is a separated Deligne–Mumford stack with quasi-projective coarse moduli space is a projective scheme, containing as an open subscheme. If \(R^s=R^{ss}\), then \([R^s/\widetilde{G}]\) is a proper Deligne–Mumford stack with projective coarse moduli space .
When we need to specify the stability parameter, we call points of \(R^s\) (\(R^{ss}\)) \(\theta \) -(semi)-stable.
4.2 The Hilbert–Mumford criterion
We recall the Hilbert–Mumford criterion (see Proposition 2.5 in [8]):
Proposition 4.3
[Hilbert-Mumford numerical criterion] The point \(\mu \in R\) is (semi)-stable (with respect to the linearization given by \(\chi \)) if and only if for every non-trivial one-parameter subgroup \(\lambda \) of \(\widetilde{G}\), such that \(\lim _{t\rightarrow 0}\lambda (t)*\mu \) exists in R, we have \(\langle \chi ,\lambda \rangle >0\) \((\ge 0)\).
Proposition 4.4
The point \(\mu \in R\) is \(\theta \)-(semi)-stable, if and only if for all descending filtrations \(V=V^{(0)}\supset V^{(1)}\supset \ldots \), compatible with the lower grading, and satisfying the conditions
-
(i)
For n sufficiently large, \(V^{(n)}=0\), but \(V^{(1)}\not =0\),
-
(ii)
\((V^{(k)})\) does not dominate the tautological filtration, where to dominate the tautological filtration means that \(V^{(k)}\supset V_{\ge k}\), for all k,
-
(iii)
\(\mu (V^{(i)},V^{(j)})\subset V^{(i+j)}\), for all i, j,
we have
Here \(w_i=\sum _{m\ge 1} \dim V_i^{(m)}\) is the weight function of the filtration \(V^{(k)}\).
Proof
A one-parameter subgroup of \(\widetilde{G}\) is the same thing as a one-parameter subgroup of G, up to translation by \(\Gamma \). One-parameter subgroups of G are the same thing as gradings on each of the \(V_i\), which we denote by upper indices \(V_i=\bigoplus _m V_i^m\). The upper grading \(V=\bigoplus _{i,m}V^m_i\) gives rise to the same one-parameter subgroup of \(\widetilde{G}\) as the upper grading \(V=\bigoplus _{i,m}V^{m+i}_i\). Thus we call the upper gradings \(\bigoplus V_i^m\) and \(\bigoplus V_i^{m+i}\) equivalent. The upper grading defined by \(V=V^0\), as well as all equivalent upper gradings are called trivial, as they correspond to the trivial cocharacter of \(\widetilde{G}\). In each equivalence class there is a unique upper grading such that no weights are negative, but there exists a non-zero space \(V^m_i\) with \(m<i\). Let us call such an upper grading standard.
Now let \(\mu \in R\) be given. Let \(\lambda \) be a one-parameter subgroup of G, corresponding to the double grading \(V=\oplus V_i^m\) on V. Then \(\lim _{t\rightarrow 0}\lambda (t)*\mu \) exists in R, if and only if none of the \(\lambda \)-weights of \(\mu \) are negative. This is equivalent to \(\mu \) preserving the descending filtration given by \(V^{\ge n}=\bigoplus _{m\ge n} V^m\), by which we mean that \(\mu (V^{\ge m}, V^{\ge n})\subset V^{\ge m+n}\). Note that this condition is preserved under equivalence of upper gradings, even though the upper filtration itself changes in the equivalence class.
Now suppose that \(\mu \in R\) preserves the filtration \(V^{\ge n}\), given by \(\lambda \). Then
Note that for standard upper gradings, we have \(V\subset V^{\ge 0}\), and hence
so that we have
Thus we conclude that \(\mu \in R\) is stable if and only if for every descending filtration \(V=V^{(0)}\supset V^{(1)}\supset \ldots \) (compatible with the lower grading), satisfying
-
(i)
(non-trivial) \(V^{(1)}\not =0\), but \(V^{(n)}=0\), for \(n\gg 0\),
-
(ii)
(standard) there exists a k, such that \(V^{(k)}\not \supset V_{\ge k}\),
-
(iii)
\(\mu (V^{(m)},V^{(n)})\subset V^{(m+n)}\),
we have \(\sum _{i=1}^q\theta _i \sum _{m\ge 1} \dim V_i^{(m)}>0\) (\(\ge 0\)). \(\square \)
4.3 Reformulation using test configurations
Suppose now that A is an associative and unital graded algebra, which is locally finite and connected, with \(A_0={\mathbb C}\).
4.3.1 Test configurations for A
Definition 4.5
A test configuration for A is a bundle of graded unital algebras \({\mathscr {B}}\) (as defined in Sect. 2) over the affine line \({\mathbb A}^1\), together with a \({{\mathbb G}_m}\)-action on the bundle \({\mathscr {B}}\), lifting the natural action on \({\mathbb A}^1\), such that the restriction of \({\mathscr {B}}\) to \({{\mathbb G}_m}\subset {\mathbb A}^1\) is \({{\mathbb G}_m}\)-equivariantly isomorphic to the constant bundle with fibre A.
Two test configurations for A are equivalent, if one can be obtained from the other by multiplying the \({{\mathbb G}_m}\)-action by a suitable power of the tautological action. A test configuration for A is trivial, if it is equivalent to a \({{\mathbb G}_m}\)-equivariantly constant test configuration.
The special fibre \({\mathscr {B}}|_0\) of a test configuration is a graded algebra with the same Hilbert function as A, endowed with a \({{\mathbb G}_m}\)-action. The weight of the \({{\mathbb G}_m}\)-action on the graded piece of degree i of \({\mathscr {B}}|_0\) is denoted \(w_i\), and the function
defined for \(i>0\), is the Futaki function of the test configuration \({\mathscr {B}}\). (It takes values in \({\mathbb Q}\cup \{\infty \}\).) The Futaki functions of two equivalent test configurations differ by a constant integer. The Futaki function of a trivial test configuration is a constant integer.
A test configuration for A, together with a \({{\mathbb G}_m}\)-equivariant trivialization of its restriction to \({{\mathbb G}_m}\subset {\mathbb A}^1\), is the same thing as a doubly graded \({\mathbb C}[t]\)-subalgebra
such that every \(B_i\subset A_i[t,t^{-1}]\) is a finitely generated \({\mathbb C}[t]\)-submodule of rank \(\dim A_i\). The test configuration is trivial, if and only if there exists an \(\ell \in {\mathbb Z}\), such that
For our purposes it will not be important to distinguish between a test configuration and one with \({{\mathbb G}_m}\)-equivariant trivialization over \({{\mathbb G}_m}\subset {\mathbb A}^1\), and so we will identify test configurations with doubly graded \({\mathbb C}[t]\)-algebras \(B\subset A[t,t^{-1}]\) such that \(\mathop {\mathrm{rk}}\nolimits B_i=\dim A_i\), for all i.
By definition, generators of a test configuration \({\mathscr {B}}\) for A are generators for the algebra of global sections \(B=\Gamma ({\mathbb A}^1,{\mathscr {B}})\) as \({\mathbb C}[t]\)-algebra.
Remark 4.6
If A admits a finitely generated test configuration, then A is finitely generated, itself.
4.3.2 Admissible test configurations
Definition 4.7
A test configuration B is called admissible, if it is equivalent to a test configuration which can be written as
Let us suppose B is an admissible test configuration written in this way. We have
Moreover,
-
(i)
every \(B^{(k)}\) for \(k>0\) is a two-sided ideal in A,
-
(ii)
\(A\supset B^{(1)}\supset B^{(2)}\supset \ldots \),
-
(iii)
\(B^{(k)} B^{(\ell )}\subset B^{(k+\ell )}\), for all \(k,\ell >0\),
-
(iv)
for every \(i>0\), there exists an \(\ell >0\), such that \(B_i^{(k)}=0\), for all \(k\ge \ell \).
Definition 4.8
We call a sequence of two-sided ideals \(\big (I^{(k)}\big )_{k>0}\) in A satisfying these conditions an admissible family of ideals in A.
An admissible family of ideals \(\big (I^{(k)}\big )_{k>0}\) defines a test configuration by
where we set \(I^{(k)}=A\), for all \(k\le 0\). The special fibre of this test configuration is
Remark 4.9
If A is finitely generated, then every test configuration for A is admissible.
4.3.3 Standard admissible test configurations
If a test configuration is admissible, there is a unique equivalent test configuration with the properties
-
(i)
\(A[t]\subset B\),
-
(ii)
\(\bigoplus _{k\in {\mathbb Z}} A_{\ge k}\,t^{-k} \subsetneqq B\).
Such a test configuration is called standard admissible.
A test configuration is standard admissible if and only if the corresponding admissible family of ideals does not contain the tautological admissible family given by \(I^{(k)}=A_{\ge k}\). Such an admissible family of ideals is called standard admissible.
4.3.4 Stability
Now let us return to the setup of 4.1. Suppose that \(\mu \in R=L^1\) is a Maurer–Cartan element, so that \(A=(V,\mu )\) is a graded algebra with \(A_i=0\), for \(i>q\).
Proposition 4.10
The Maurer–Cartan element \(\mu \) is \(\theta \)-(semi)-stable if and only if, for every non-trivial test configuration for A, the weights \(w_i\) satisfy
Proof
As \(A_i=0\) for \(i\gg 0\), all test configurations for A are admissible. Because of \(\sum _ii\theta _id_i=0\), the stability condition \(\sum _i\theta _i w_i>0\) \((\ge 0)\) is independent of the choice of a test configuration within its equivalence class. So to test the condition of this proposition it is sufficient to use standard admissible test configurations. To conclude, we remark that non-trivial standard admissible test configurations correspond exactly to the filtrations of V, which are tested in Proposition 4.4. \(\square \)
This proposition motivates the following definition.
Definition 4.11
A finite graded algebra A is \(\theta \) -(semi)-stable, if
-
(i)
\(\sum _i \theta _i\dim A_i<0\),
-
(ii)
\(\sum _i i\theta _i\dim A_i=0\),
-
(iii)
for every non-trivial test configuration for A, the weights satisfy
$$\begin{aligned} \sum _i\theta _i w_i >0\quad (\ge 0). \end{aligned}$$
Proposition 4.12
To test (semi)-stability of A, it suffices to check standard admissible families of ideals in A.
4.4 Standard stability parameters
We fix a dimension vector \((d_1,\ldots ,d_q)\) and a stability parameter \(\theta \), as above, and study \(\theta \)-stability of finite graded algebras A with \(\dim A_i=d_i\).
Let us remark that there is no a priori reason to expect complete moduli of stable algebras:
Remark 4.13
We can eliminate \(\theta _1\) from the stability condition. The stability parameter condition becomes
and as stability condition we obtain
or
We see that no matter the choice of stability parameter \(\theta \), an admissible sequence of ideals with constant Futaki function will always violate stability. The Futaki function being constant means that
There is no a priori reason why \(d_1\) should not divide \(w_1\), and so there is no divisibility condition on the dimension vector \((d_1,d_2,\ldots )\) which would exclude the possibility of strictly semi-stable objects. Therefore, there is no such condition that would ensure a projective coarse moduli space of stable algebras.
For certain stability parameters, stability implies generated in degree 1:
Proposition 4.14
Suppose that \(\theta _1<0\) and \(\theta _i\ge 0\), for all \(i>1\). Then \(\theta \)-stable algebras are generated in degree 1. If, in addition, \(\theta _i>0\), for all \(i>1\), then \(\theta \)-semi-stable algebras are generated in degree 1.
Proof
Write \(I=A_{\ge 1}\), and consider the admissible sequence of ideals of powers of I, given by \(I^{(k)}=I^k\), for all \(k\ge 1\). Assume that not \(I^k=A_{\ge k}\), for all k. Then \((I^k)\) is properly contained in the tautological filtration, and hence does not dominate it. Thus \((I^k)\) is standard admissible.
If A is \(\theta \)-stable, then \((-\theta _1) w_1<\sum _{i>1}\theta _iw_i\). This implies \((-\theta _1) d_1<\sum _{i>1}\theta _i w_i\), and hence \(\sum _{i>1}i\theta _id_i<\sum _{i>1}\theta _i w_i\). This is a contradiction, because \(w_i\le id_i\), for all i. Thus \(I^k=A_{\ge k}\), for all k, which implies that A is generated in degree 1.
To prove the additional claim, assume that V is \(\theta \)-semi-stable. Then we can still conclude that \(\sum _{i>1}i\theta _id_i\le \sum _{i>1}\theta _iw_i\). Thus, from \(w_i\le id_i\), and the fact that none of the \(\theta _i\) vanish, we conclude that \(w_i=i d_i\), for all \(i>1\). Again, we reach a contradiction, proving that A is generated in degree 1.
Remark 4.15
We have, in both cases, proved that any admissible sequence of ideals which is contained in the tautological one, and satisfies \(I^{(1)}_1=A_1\), is necessarily the tautological sequence.
Proposition 4.16
Suppose that we have \(\theta _i\le 0\), for all \(i<q\). Then every \(\theta \)-stable algebra has no non-zero ideal I, which vanishes in degree q. If \(\theta _i<0\), for all \(i<q\), we can reach the same conclusion for \(\theta \)-semi-stable algebras.
Proof
In fact, if we assume that \(I^{(k)}\) is an admissible sequence of ideals which vanishes in degree q, we can conclude that \(I^{(k)}=0\), for all \(k\ge 1\), under either of the two assumptions.
Remark 4.17
If \(\theta _q=0\), there are no stable algebras.
Remark 4.18
If we want the assumptions of both Propositions 4.14 and 4.16 to hold, we need to have \(\theta _1<0\), and \(\theta _q>0\), as well as \(\theta _i=0\), for all \(1<i<q\). For the conclusions to hold, we need to assume stability, not just semi-stability.
Definition 4.19
The stability parameter \(\theta \) is standard, if \(\theta _1\) and \(\theta _q\) are the only non-zero \(\theta _i\).
For a standard stability parameter \(\theta \), the stability condition reads
This is equivalent to
which is independent of the sizes of \(\theta _1\) and \(\theta _q\).
When not specified otherwise, we always work with a standard stability condition, and make the following definition.
Definition 4.20
Let A be a finite graded algebra, graded in the interval [0, q]. Then A is called (semi)-stable, if for every non-trivial test configuration for A, the Futaki function satisfies \(F(q)>F(1)\) \((\ge )\). It suffices to check admissible families of ideals, or standard admissible sequences of ideals.
Corollary 4.21
Suppose A is stable. Then A is generated in degree 1, and has no non-trivial two-sided ideals which vanish in degree q.
4.4.1 Moduli
Consider the dimension vector \(\mathbf {d}=(d_1,\ldots ,d_q)\), and the associated stack of twisted bundles of graded algebras of dimension \(\mathbf {d}\), which we called \(\widetilde{X}_{\le q}\) in Sect. 2. Let \(\widetilde{X}^s_{\le q}\) be the open substack of stable algebras. It is a closed substack of the quotient stack \([R^s/\widetilde{G}]\), and it is a separated Deligne–Mumford stack with quasi-projective coarse moduli space, which is a closed subscheme of . The \({\mathbb C}\)-points of this coarse moduli space correspond in a one-to-one fashion to isomorphism classes of stable algebras of dimension \(\mathbf {d}\).
4.5 Unbounded algebras
For simplicity, we will only consider stability, not semi-stability. In view of Corollary 4.21, we will only consider algebras generated in degree 1.
Proposition 4.22
Fix an integer \(q>1\), and let A be a graded algebra, finitely generated in degree 1. The following are equivalent
-
(i)
For every test configuration \({\mathscr {B}}\) for A, whose truncation \({\mathscr {B}}_{\le q}\) is a non-trivial test configuration for \(A_{\le q}\), the Futaki function satisfies \(F(q)>F(1)\).
-
(ii)
For every non-trivial test configuration for A generated in degrees \(\le q\), the Futaki function satisfies \(F(q)>F(1)\).
-
(iii)
For every non-trivial test configuration for A generated in degree 1, the Futaki function satisfies \(F(q)>F(1)\).
-
(iv)
For every filtration \(A_1\supsetneq V^{(1)}\supset \cdots \supset V^{(r)}\supsetneq 0 \) of \(A_1\) by vector subspaces, the admissible sequence of ideals generated by \(\{V^{(k)}\}\) has a Futaki function which satisfies \(F(q)>F(1)\).
-
(v)
The truncation \(A_{\le q}\) is stable.
Proof
The fact that (i) implies (ii), follows because if a test configuration \({\mathscr {B}}\) for A is generated in degrees \(\le q\), and is non-trivial, then also its truncation \({\mathscr {B}}_{\le q}\) is non-trivial.
Obviously, (ii) implies (iii).
Next we claim that (iii) implies (iv). Here we will use that A is generated in degree 1. The admissible sequence of ideals generated by the filtration \(\{V^{(k)}\}\) is the smallest admissible sequence of ideals \(\{I^{(k)}\}\), with \(I^{(k)}_1=V_1^{(k)}\), for all \(k>0\). The corresponding test configuration B is generated as \({\mathbb C}[t]\)-algebra by \(\bigoplus _{k\ge 0} V^{(k)}t^{-k}\subset A_1[t,t^{-1}]\) inside \(A[t,t^{-1}]\), if we set \(V^{(0)}=A_1\). It is generated in degree 1. Thus, (iii) implies (iv).
Now let us assume that (iv) is satisfied. To prove (v), i.e., that \(A_{\le q}\) is stable, it suffices to check all standard admissible test configurations for \(A_{\le q}\). Among these, it suffices to check those that are generated in degree 1, because adding generators in higher degree can only increase F(q), without affecting F(1). But non-trivial standard admissible test configurations generated in degree 1 are all generated by a filtration \(\{V^{(k)}\}\) as in (iv).
Finally, the fact that (v) implies (i) is, again, trivial. \(\square \)
Remark 4.23
For a given dimension \(d_1\) of \(A_1\), in Condition (iv), we can further reduce to considering only flags whose dimensions \((\dim V^{(1)}, \dim V^{(2)},\ldots )\) come from a finite list of integer sequences, but as we currently have no use for this fact, we will not prove it here.
Definition 4.24
A connected graded algebra, finitely generated in degree 1, is called q -stable, if any of the equivalent conditions in Proposition 4.22 is satisfied. It is called stable, if there exists and \(N>0\), such that it is q-stable for all \(q\ge N\).
4.5.1 Commutative case
Suppose that \((Y,{\mathscr {O}}_Y(1))\) is a connected projective \({\mathbb C}\)-scheme, such that \(H^i(Y,{\mathscr {O}}(1))=0\), for all \(i>0\). Let A be the homogeneous coordinate ring of \((Y,{\mathscr {O}}_Y(1))\). This is the image of \(\mathop {\mathrm{Sym}}\nolimits \Gamma (Y,{\mathscr {O}}(1))\rightarrow \bigoplus _{i\ge 0} \Gamma (Y,{\mathscr {O}}(n))\), and is a connected graded algebra, generated in degree 1.
Proposition 4.25
The polarized scheme \((Y,{\mathscr {O}}_Y(1))\) is Hilbert stable if and only if A is stable in the sense of Definition 4.24.
Proof
For the definition of Hilbert stability (more precisely, Hilbert stability with respect to \(r=1\)), see [12]. By definition, the Hilbert stability of \((Y,{\mathscr {O}}_Y(1))\) is tested against all filtrations of \(A_1=\Gamma (Y,{\mathscr {O}}_Y(1))\), exactly as in Proposition 4.22 (iv). This immediately implies the result.
4.5.2 Moduli
Return to the moduli stack
We have now defined open substacks \(\widetilde{X}^s_{\le q}\subset \widetilde{X}_{\le q}\) of stable algebras. We let \(\widetilde{X}^s_q\) be the preimage of \(\widetilde{X}^s_{\le q}\) in \(\widetilde{X}\). This is the substack of q-stable algebras. Hence we have in \(\widetilde{X}\) a family of open substacks \(\widetilde{X}^s_q\), parametrized by \(q\in {\mathbb N}\). A point in \(\widetilde{X}\) represents a stable algebra if and only if it is in almost all open substacks \(\widetilde{X}^s_q\subset \widetilde{X}\). The locus of stable algebras in \(\widetilde{X}\) is
We see no obvious reason why \(\widetilde{X}^s\) should be an open substack of \(\widetilde{X}\).
4.5.3 Discussion
We have, for every \(N\in {\mathbb N}\) a diagram
and we find it reasonable, that there should exist dimension vectors \(\mathbf {d}\) and integers N, for which all arrows in (15) are isomorphisms, so that \(\widetilde{X}^s=\widetilde{X}^s_{\le N}\), and \(\widetilde{X}^s\) is a finite type, separated, (in fact quasi-projective) Deligne–Mumford stack.
In the commutative case (where \(\mathbf {d}\) is a numerical polynomial), the category of graded algebras generated in degree 1, with fixed Hilbert polynomial, is bounded. This is due to results of Macaulay–Gotzmann–Gasharov (see [4, 6]) on persistence and the Macaulay bound. Furthermore, it can be shown that stability is also a bounded condition, namely it can be checked in the N-truncation, for a for sufficiently large N (depending on \(\mathbf {d}\)).
From this it follows that, in the commutative case, the corresponding claim \(\widetilde{X}^s=\widetilde{X}^s_{\le N}\), holds. This, in particular, implies that the commutative analogue of the stack \(\widetilde{X}^s\) can be realized as a moduli stack of projective polarized schemes (by taking \(\mathop {\mathbb {P}\mathrm {roj}}\nolimits \)).
Lack of suitable persistence theorems and flattening stratifications currently keep us from generalizing this result to the non-commutative case. But it stands to reason, by analogy with the commutative case, that for certain dimension vectors \(\mathbf {d}\), the stack \(\widetilde{X}^s\), or an open substack, is indeed a moduli stack for stable non-commutative projective schemes, where we propose the following definition for the latter.
Definition 4.26
Call a sufficiently ample (meaning that \(H^i\big ({\mathscr {C}},{\mathscr {O}}(n)\big )\) vanishes for \(i>0\) and \(n>0\)) non-commutative projective scheme \(({\mathscr {C}},{\mathscr {O}},s)\) stable, if \(\bigoplus _{n>0} \Gamma ({\mathscr {C}},{\mathscr {O}}(n))\) is a stable graded algebra.
Further evidence for this expectation is provided by the deformation theory arguments from Sect. 2, which indicate that the derived deformation theory of a non-commutative projective scheme coincides with that of its algebra of homogeneous coordinates.
References
Artin, M., Zhang, J.J.: Noncommutative projective schemes. Adv. Math. 109(2), 228–287 (1994)
Behrend, K., Ciocan-Fontanine, I., Hwang, J., Rose, M.: The derived moduli space of stable sheaves. Algebra Number Theory 8(4), 781–812 (2014)
K. Behrend and J. Hwang. Stability of non-commutative projective planes. arXiv:1603.00411 [math.AG]
Gasharov, V.: Extremal properties of Hilbert functions. Ill. J. Math. 41(4), 612–629 (1997)
Gerstenhaber, M.: The cohomology structure of an associative ring. Ann. Math. 2(78), 267–288 (1963)
Gotzmann, G.: Eine Bedingung für die Flachheit und das Hilbertpolynom eines graduierten Ringes. Math. Z. 158(1), 61–70 (1978)
Grothendieck, A.: Sur quelques points d’algèbre homologique. Tôhoku Math. J. 2(9), 119–221 (1957)
King, A.D.: Moduli of representations of finite-dimensional algebras. Q. J. Math. Oxford Ser. (2) 45(180), 515–530 (1994)
Lieblich, M.: Moduli of twisted sheaves. Duke Math. J. 138(1), 23–118 (2007)
Lowen, W.: A generalization of the Gabriel-Popescu theorem. J. Pure Appl. Algebra 190(1–3), 197–211 (2004)
Lowen, W., Van den Bergh, M.: Hochschild cohomology of abelian categories and ringed spaces. Adv. Math. 198(1), 172–221 (2005)
Ross, J., Thomas, R.: A study of the Hilbert–Mumford criterion for the stability of projective varieties. J. Algebraic Geom. 16(2), 201–255 (2007)
Swan, R.G.: Hochschild cohomology of quasiprojective schemes. J. Pure Appl. Algebra 110(1), 57–80 (1996)
Toën, B., Vaquié, M.: Moduli of objects in dg-categories. Ann. Sci. École Norm. Sup. (4) 40(3), 387–444 (2007)
Acknowledgements
We started this project at the 10th Lisbon Summer Lectures in Geometry, 2009. We thank Gustavo Granja for the hospitality during our visit. This work was supported by a Grant from the Royal Society under the International Exchange Scheme IE111640.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Jean-Yves Welschinger.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Behrend, K., Noohi, B. Moduli of non-commutative polarized schemes. Math. Ann. 371, 1375–1408 (2018). https://doi.org/10.1007/s00208-017-1624-1
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-017-1624-1