Derived categories and scalar extensions (Q2863517)

From MaRDI portal





scientific article; zbMATH DE number 6231913
Language Label Description Also known as
English
Derived categories and scalar extensions
scientific article; zbMATH DE number 6231913

    Statements

    0 references
    22 November 2013
    0 references
    derived categories
    0 references
    scalar extensions
    0 references
    \(K3\) surfaces
    0 references
    derived equivalence
    0 references
    stability conditions
    0 references
    Derived categories and scalar extensions (English)
    0 references
    In this text, which is his PhD thesis, the author deals with the following question: how does the bounded derived category \(D^b(X)\) of coherent sheaves on a smooth projective \(k\)-variety \(X\) behave under scalar extension of the base field \(k\)?NEWLINENEWLINEGiven a \(k\)-linear dg-enhanced triangulated category \(T\), the author defines its scalar extension \(T_l\). On the other hand, one can consider the variety \(X\) and its scalar extension \(X_l\), and then its bounded derived category \(D^b(X_l)\), which is canonically dg-enhanced. In Section 3, the author shows that these two procedures give equivalent (dg-enhanced) \(l\)-linear triangulated categories. A similar result holds if one replaces the category of coherent sheaves on \(X\) by an abelian category with enough injectives and considers its derived category. The dimension of the triangulated category is preserved by base-change.NEWLINENEWLINEIn the first section, the author considers \(K3\) surfaces over the complex numbers and the action of \(\mathrm{Aut}(\mathbb{C})\) on them. In particular, if \(\sigma\) is such an automorphism and \(X^{\sigma}\) is obtained by the base change of a complex \(K3\) surface \(X\), then \(X\) and \(X^\sigma\) are in general not isomorphic over the complex numbers, but are isomorphic over \(\mathbb{Q}\). The author establishes a complex equivalence \(D^b(X) \simeq D^b(X^\sigma)\) by base change from the rational one. Section two is dedicated to stability conditions, and it is shown, in particular, that if \(l/k\) is finite and separable, then the stability manifold \(\mathrm{Stab}(X)\) is a closed submanifold of \(\mathrm{Stab}(X_l)\), and that they are homeomorphic in the case where the complexified numerical Grothendieck groups of \(X\) and \(X_l\) are isomorphic, assuming connectedness of \(\mathrm{Stab}(X_l)\) and nonemptyness of \(\mathrm{Stab}(X)\).
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references