Moduli of objects in finite length abelian categories (Q6907272)

This article explores the applicability of the Beyond GIT program [\textit{J. Alper} et al., Invent. Math. 234, No. 3, 949--1038 (2023; Zbl 1541.14018)] to a variety of linear moduli problems following [\textit{M. Artin} et al., J. Algebra 221, No. 2, 579--610 (1999; Zbl 0958.16024)].\N\NThe authors construct moduli spaces of objects in certain abelian categories \(\mathcal{C}\) with an additional finiteness condition (c.f. Definition 1.1 of nearly finite). The stack of objects \(\mathcal{M}_{\mathcal{C}}\) satisfies the conditions in [AHLH23] (Lemma 3.10), then for a stability condition \(\alpha\) encoded in terms of \(G\)-theory (see section 2.2) Lemma 4.1 shows that \((\mathcal{M}_{\mathcal{C}})_{\alpha}\) admits a good proper moduli space. Since the stack \(\mathcal{M}_{\mathcal{C}}\) is the disjoint union of its connected components (Proposition 3.11), Theorem 4.2 shows that \(\mathcal{M}_{\mathcal{C}}\) admits a good moduli space which is a disjoint union of local artinian \(k\)-schemes. Theorem 4.15 shows that elements \(\beta\) of \(K\)-theorm give rise to a notion of slope \(\mu_{\beta}\) which produce a \(\Theta\)-stratification on the stack \((\mathcal{M}_{\mathcal{C}})_{\alpha}\) whose semistable locus admits a projective good moduli space. Applications to some nearly finite categories are given in section 5 as examples.