Compactly generated tensor t-structures on the derived categories of Noetherian schemes (Q2697527)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Compactly generated tensor t-structures on the derived categories of Noetherian schemes |
scientific article |
Statements
Compactly generated tensor t-structures on the derived categories of Noetherian schemes (English)
0 references
12 April 2023
0 references
In this paper, the authors study the relationship between \(t\)-structures on the derived category of a Noetherian scheme \(X\) and its geometry; namely, in Theorem \(5.11\) they provide a bijective correspondence between the set of compactly generated \(t\)-structures on \(\mathbf{D}_{\mathrm{qc}}(X)\) which are compatible with the tensor structure, and the set of Thomason filtrations on \(X\). This result is close in spirit to past work by \textit{L. Alonso Tarrío} et al. [J. Algebra 324, No. 3, 313--346 (2010; Zbl 1237.14011)] and \textit{M. Hrbek} [Math. Z. 295, No. 1--2, 47--72 (2020; Zbl 1442.13045)], which investigated the deep connection between certain filtrations on Noetherian schemes and \(t\)-structures on their derived categories, following the groundbreaking research on the topic first carried out by \textit{M. J. Hopkins} [Lond. Math. Soc. Lect. Note Ser. 117, 73--96 (1987; Zbl 0657.55008)], \textit{A. Neeman} [Topology 31, No. 3, 519--532 (1992; Zbl 0793.18008)] and \textit{R. W. Thomason} [Compos. Math. 105, No. 1, 1--27 (1997; Zbl 0873.18003)]. As an application, the authors deduce that for a separated and Noetherian scheme \(X\) a tensor variant of the \textit{telescope conjecture} proposed in [\textit{D. C. Ravenel}, Am. J. Math. 106, 351--414 (1984; Zbl 0586.55003)] holds (Theorem \(6.5\)). That is, for any \(t\)-structure \((\mathcal{T}^{\leq 0}, \mathcal{T}^{\geq 0})\) on \(\mathbf{D}(X)\) which is compatible with the tensor structure and such that \(\mathcal{T}^{\geq -1}\) is closed under homotopy colimits, then \(\mathcal{T}^{\leq 0}\) is proved to be compactly generated.
0 references
derived categories
0 references
t-structures
0 references
perfect complexes
0 references
telescope conjecture
0 references
0 references
0 references