Motives of some Fano varieties (Q1006815)

Let \(X\subset\mathbb{P}^{n+1}\) be a general smooth hypersurface over \(\mathbb{C}\) of degree \(d\geq 3\) and let \(\Omega_X\) be a smooth projective variety of dimension \(n- 2k\) parametrizing a family of \(k\)-planes in \(X\), for suitable values of the integer \(k\). Let's consider the correspondence \[ P(X)= \{(c,x)\in\Omega_X\times X\mid x\in\mathbb{P}^k_c\} \] then \(P(X)^t\circ P(X)\subset\Omega_X\times \Omega_X\) defines a projector for the motive \(M(\Omega_X)\) of \(\Omega_X\), in the category \({\mathcal M}_{\text{rat}}(\mathbb{C})\) of Chow motives, with rational coefficients. In \({\mathcal M}_{\text{rat}}(\mathbb{C})\) there is a Chow-Künneth decomposition \[ M(X)= \sum_{o\leq i\leq 2n} M_i(X)= \sum_{o\leq i\leq 2n} (X,\pi^X_i,0)\tag{1} \] for the motive \(M(X)\) given by projectors \(\pi^X_i\) with \(\pi^X_i= \deg(X)^{-1}(H^{n-i/2}(X,\mathbb{Q})\times H^{i/2}(X,\mathbb{Q}))\), if \(i\neq n\) and even, \(\pi^X_i= 0\) if \(i\neq n\) and odd, \(\pi^X_i= \Delta_X(n, n)\), if \(i= n\). Here \(H^*\) is singular cohomology and \(\Delta_X(p,q)\) are the Künneth components of the diagonal in \(H^p(X,\mathbb{Q})\times H^q(X,\mathbb{Q})\). The paper contains the proof of the following result showing that, under some restrictions for the values of \((k,n,d)\), the motive of \(X\) (twisted \(k\) times) is isomorphic to a submotive of \(\Omega_X\). Theorem. Assume that the integers \((k,n,d)\) satisfy the following conditions \[ k= \Biggl[{n+1\over d}\Biggr]\text{ and }k(n+2-k)+ 1-{d+k\choose k}\geq 0. \] Then \[ M(\Omega_X)\simeq (\Omega,\tau, 0)\oplus (\Omega_X- \Delta_{\Omega_X, 0}), \] where \[ (\Omega,\tau,0)\simeq (X,\widetilde\pi^X_n, -k) \] with \(\widetilde\pi^X_n\) and \[ h^X_n= \begin{cases} (\deg X)^{-1}(H^{n/2}(X, \mathbb{Q})\times X^{n/2}(X,\mathbb{Q})\quad &\text{if }n\text{ is even}\\ 0\quad &\text{if }n\text{ is odd}.\end{cases} \] Moreover the correspondence \(\sigma= P(X)^t\circ P(X)\) induces an isomorphism \[ \sigma(CH^{*-k}_{\text{hom}}(\Omega_X)_{\mathbb{Q}}\simeq CH^*_{\text{hom}}(X)_{\mathbb{Q}}, \] where \(CH^*_{\text{hom}}\) is the group of cycles (mod. rational equivalence) which are homologically trivial.