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

\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.