Moduli of stable objects in a triangulated category (Q978494)

The author presents the construction of a moduli space of stable objects in a triangulated category. In the paper of the same author [J. Math. Kyoto Univ. 42, No. 2, 317--329 (2002; Zbl 1063.14013)] it is proved that if \(f:X\longrightarrow S\) is a projective, flat morphism of noetherian schemes, then the functor Splcpx\(^{\text{ét}}_{X/S}\) is an algebraic space over \(S\), where Splcpx\(^{\text{ét}}_{X/S}\) is the étale sheafification of the functor Splcpx\(_{X/S}\) which associates to any \(S-\)scheme \(T\) the set of equivalence classes of complexes \(E\in D^{b}(\mathrm{Coh}(X\times_{S} T))\) such that \(E(t):=E\otimes^{L}k(t)\) is bounded and simple. This result was generalized by \textit{M. Lieblich} [J. Algebr. Geom. 15, No. 1, 175--206 (2006; Zbl 1085.14015)] to any proper, flat morphism of algebraic spaces. The aim of the paper is to construct a projective moduli space as a Zariski open subset of Splcpx\(^{\text{ét}}_{X/S}\). The construction is presented in the general setting of fibered triangulated categories \(p:\mathcal{D}\longrightarrow (Sch/S)\) with base change property (see Definitions 2.1 and 2.2). An important example is the following: let \(f:X\longrightarrow S\) be a flat, projective morphism, and for every \(U\in(Sch/S)\) let \(X_{U}:=X\times_{S} U\). The category \(\mathcal{D}=\{D^{b}(\mathrm{Coh}(X_{U}/U))\}_{U\in Sch/S}\) is a fibered triangulated category with base change property, where \(D^{b}(\mathrm{Coh}(X_{U}/U))\) is the full subcategory of \(D^{b}(\mathrm{Coh}(X_{U}))\) of complexes of finite Tor-dimension over \(U\). In this general setting, the author introduces the notion of strict ample sequence, which is a family \(\mathcal{L}=\{L_{n}\}_{n\geq 0}\) such that \(L_{n}\) is an object in the fiber \(\mathcal{D}_{S}\) of \(\mathcal{D}\) over \(S\), verifying a list of axioms (see Definition 3.1) generalizing the notion of ample sequence introduced by \textit{A. Bondal} and \textit{D. Orlov} in [Compos. Math. 125, No.3, 327--344 (2001; Zbl 0994.18007)]. If \(\mathcal{L}\) is a strict ample sequence, the author defines a notion of \(\mathcal{L}-\)stability of objects in \(\mathcal{D}_{k}\) for every geometric point \(\mathrm{Spec}(k)\longrightarrow S\). This notion of \(\mathcal{L}-\)stabilty is different from the notion of stability condition introduced by \textit{T. Bridgeland} in [Ann. Math. (2) 166, No. 2, 317--345 (2007; Zbl 1137.18008)], and the relation between these two notions is still an open problem. Fixing a numerical polynomial \(P\in\mathbb{Q}[t]\) one has then the moduli functor \(\mathcal{M}_{\mathcal{D}}^{P,\mathcal{L}}:(Sch/S)\longrightarrow(Sets)\) which associates to any \(S-\)scheme \(T\) the set of equivalence classes of objects \(E\in\mathcal{D}_{T}\) such that for every \(s\in T\) we have that \(E_{s}\) is \(\mathcal{L}-\)stable and \(\Hom((L_{n})_{s},E_{s})\) has dimension \(P(n)\). Similarily, one defines the moduli functor \(\overline{\mathcal{M}_{\mathcal{D}}^{P,\mathcal{L}}}\) of \(\mathcal{L}-\)semistable objects. In section 4, the author proves that \(\mathcal{M}_{\mathcal{D}}^{P,\mathcal{L}}\) and \(\overline{\mathcal{M}_{\mathcal{D}}^{P,\mathcal{L}}}\) admit a coarse moduli space \(M_{\mathcal{D}}^{P,\mathcal{L}}\) and \(\overline{M_{\mathcal{D}}^{P,\mathcal{L}}}\). Moreover, if \(S\) is of finite type over a universally Japanese ring, then \(\overline{M_{\mathcal{D}}^{P,\mathcal{L}}}\) is projective over \(S\). In section 5 several examples are presented. A first example shows that the classical moduli space of semistable sheaves with fixed Hilbert polynomial on a smooth projective scheme \(X\) (ore, more generally, the relative moduli space) is a particular case of this construction. More general examples are described as particular cases of this construction, like the moduli space of \(G-\)twisted semistable sheaves (where \(G\) is any vector bundle), or the moduli space of \(G-\)twisted semistable \(\alpha-\)twisted sheaves (where \(G\) is any vector bundle and \(\alpha\) is an element in the cohomological Brauer group of \(X\)).