On the André motive of certain irreducible symplectic varieties (Q658528)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the André motive of certain irreducible symplectic varieties
scientific article

    Statements

    On the André motive of certain irreducible symplectic varieties (English)
    0 references
    0 references
    12 January 2012
    0 references
    \textit{Y. André} [Pour une théorie inconditionelle des motives, Publ. Math., Inst. Hautes Étud. Sci. 83, 5--49 (1996; Zbl 0874.14010)] has defined a category \({\mathcal M}_{\text{mot}}(\mathbb{C})\) of motivated motives which is Tannakian and semisimple over \(\mathbb{Q}\) and has shown that the motive of a \(K3\) surface \(X\) is isomorphic to the motive of an abelian variety in this category. Under the standard conjecture \(B(X)\) André's category coincides with the category \({\mathcal M}_{\hom}(\mathbb{C})\) of homological motives. Note that, due to the existence of a Chow-Künneth decomposition of the motive of any surface in the category of Chow motives \({\mathcal M}_{\text{rat}}(\mathbb{C})\), the motive \(M(X)=\sum_{0\leq i\leq 4} M_i(X)\) lies in the subcategory of \({\mathcal M}_{\text{rat}}(\mathbb{C})\) generated by abelian varieties iff the motive \(M_2(X)\) does. In this paper the author considers a variety \(Y\) which is deformation equivalent to the Hilbert scheme of points on a \(K3\) surface or equivalently which is the deformation of a smooth compact moduli space of stable sheaves on a \(K3\) surface. Let \(h(Y)\) be the motive of \(Y\) in \({\mathcal M}_{\text{mot}}(\mathbb{C})\) and let \(h^2(Y)\) the its truncation in degree 2. Let \((h^2(Y))\) be the category generated by \(h^2(Y)\), i.e. the smallest Tannakian subcategory of \({\mathcal M}_{\text{mot}}(\mathbb{C})\) which contains \(h^2(Y)\). Then the author proves the following result: Theorem 1. (i) The motive \(h(Y)\) belongs to \((h^2(Y))\) and it is an object of the category generated by abelian varieties. All Hodge classes of \(Y\) are motivated, hence absolute in the sense of Deligne. A cohomology class \(\alpha\in H^*(Y,\mathbb{Q})\) is motivated if there exists a smooth projective variety \(Z\), algebraic cycles \(T_1\) and \(T_2\) on \(Y\times Z\) such that \(\alpha= (p_1)_*(T_1)\cup L_{H\times G}T_2\), where \(L_{H\times G}\) is the Lefschetz involution with respect to some product polarization \(p^*_1 H+ p^*_2G\). A Hodge class a is absolute if and only if for all or \(\sigma\in\Aut(\mathbb{C})\) the class \(\sigma(\alpha)\) is a Hodge class on \(\sigma(Y)\). Algebraic classes are motivated and, by a result of André, motivated cohomology classes are absolute.
    0 references
    motive
    0 references
    compact hyper-Kähler manifold
    0 references
    moduli space
    0 references

    Identifiers

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