Reconstruction and finiteness results for Fourier-Mukai partners (Q436133)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Reconstruction and finiteness results for Fourier-Mukai partners
scientific article

    Statements

    Reconstruction and finiteness results for Fourier-Mukai partners (English)
    0 references
    0 references
    30 July 2012
    0 references
    Let \(X\) be a smooth projective variety and denote by \(D(X)\) the bounded derived category of coherent sheaves on \(X\). A smooth projective variety \(Y\) is a Fourier-Mukai partner of \(X\) if there is an equivalence of triangulated categories \(D(X) \simeq D(Y)\). \textit{Y. Kawamata} [J. Differ. Geom. 61, No. 1, 147--171 (2002; Zbl 1056.14021)] has conjectured that, for any given \(X\), there is only a finite number of Fourier-Mukai partners (up to isomorphism). Notice that, if \(X\) has ample (anti)-canonical bundle, then the only Fourier-Mukai partner of \(X\) is, up to isomorphism, \(X\) itself (see \textit{A. Bondal} and \textit{D. Orlov} [Compos. Math. 125, No. 3, 327--344 (2001; Zbl 0994.18007)]) so that \(X\) is reconstructed from \(D(X)\). Moreover the conjecture is known for curves and surfaces (see [Kawamata, loc. cit.]), and for abelian varieties once one restricts to abelian Fourier-Mukai partners (see \textit{D. Orlov} [Izv. Math. 66, No. 3, 569--594 (2002; Zbl 1031.18007)]). In this paper, the author considers the representation \(\rho\) of the group of autoequivalences of \(D(X)\) on the de Rham cohomology of a complex smooth projective \(X\). If the kernel of \(\rho\) is minimal, the number of non-equivalent Fourier-Mukai partner is shown to be bounded the number of conjugacy classes of maximal unipontent subgroups of the image of \(\rho\). This gives the finiteness of Fourier-Mukai partners of a complex abelian variety. The second main result of the paper is the reconstruction of a smooth variety \(X\) from \(D(X)\) under the assumption that that the restriction of the canonical bundle of \(X\) to any proper subvariety is (anti)-ample.
    0 references
    Fourier-Mukai transform
    0 references
    derived category
    0 references
    coherent sheaves
    0 references

    Identifiers