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
    0 references
    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
    0 references
    0 references
    0 references

    Identifiers