Discrete derived categories. II: The silting pairs CW complex and the stability manifold. (Q2801733)

Let \(k\) be an algebraically closed ground field. A \(k\)-linear triangulated category \(\mathcal{T}\) with finite-dimensional Hom-sets and a bounded \(t\)-structure is said to be \textit{discrete} if for every map \(v: \mathbb{Z}\to K_0(\mathcal{T})\), there is only a finite number of isomorphism classes of objects \(X\) of \(\mathcal{T}\) such that \([H^i(X)]=v(i)\) for each \(i\in\mathbb{Z}\) -- this notion was introduced in [\textit{D. Vossieck}, J. Algebra 243, No. 1, 168--176 (2001; Zbl 1038.16010)] and classified (for derived categories) in [\textit{G. Bobiński} et al., Cent. Eur. J. Math. 2, No. 1, 19--49 (2004; Zbl 1036.18007)].NEWLINENEWLINEGoing on the work begun in their first part [Math. Z. 285, No. 1--2, 39--89 (2017; Zbl 1409.18012)], the authors use the notion of \textit{silting pair} in a triangulated category \(\mathcal{T}\) (see \S1.5 and Definition 3.1 of the paper under review; this notion, which extends the one of \textit{tilting}, comes back to [\textit{B. Keller} and \textit{D. Vossieck}, Bull. Soc. Math. Belg., Sér. A 40, No. 2, 239--253 (1988; Zbl 0671.18003)]) and define two posets \(\mathbb{P}_1(\mathcal{T})\) and \(\mathbb{P}_2(\mathcal{T})\) from it (see \S3). Theorem 6.1 of the article states that the poset \(\mathbb{P}_2(\mathcal{T})\) is a CW poset when \(\mathcal{T}\) is a Hom-finite triangulated category satisfying Krull-Schmidt, having a silting object and such that the poset \(\mathbb{P}_1(\mathcal{T})\) fulfills an extra simple condition (the finiteness of some intervals). In \S6.1, the article recalls the definition of a CW poset and how to associate to it a CW complex; the one associated to \(\mathbb{P}_2(\mathcal{T})\) (when it is a CW poset) is denoted by \(\mathbf{silt}_2(\mathcal{T})\). Theorem 6.1 applies to a fundamental family of discrete derived categories; the main Theorem (7.1) of the article asserts that the CW complex \(\mathbf{silt}_2\) of these derived categories is contractible. At the end, the authors study the stability manifold (introduced in [\textit{T. Bridgeland}, Ann. Math. (2) 166, No. 2, 317--345 (2007; Zbl 1137.18008)]) associated to these derived categories and show that they are contractible (Theorem 8.10) by using their main Theorem.