Skip to main content
1 of 3
Charles
  • 193
  • 2
  • 6

Here the word "motive" will stand for Grothendieck pure motives modulo rational equivalence. Your point 1. is also true for Grassmann bundles. More precisely the following result holds :

Let $E\longrightarrow X$ be a vector bundle of rank $n$, $k\leq n$ and $Gr_k(E)\longrightarrow X$ the associated Grassmann bundle. Then $M(Gr_k(E))\simeq \coprod_{\lambda}M(X)[k(n-k)-\lambda]$, where $\lambda$ runs through all partitions $\lambda=(\lambda_1,...,\lambda_k)$ satisfying $n-k\geq \lambda_1\geq...\geq \lambda_k\geq 0$.

You can prove it in the same fashion as for the projective bundle theorem, as an application Yoneda type lemma for Chow groups.

We now know many things on the motives of quadrics. For example if a quadratic form $q$ is isotropic, the motive of the associated quadric $Q$ has a decomposition $\mathbb{Z} \oplus M(Q_1) \oplus \mathbb{Z}[\dim(Q)]$, where $Q_1$ is a quadric of dimension $\dim(Q)-2$ associated to a quadratic form $q_1$ Witt equivalent to $q$. Using it inductively you get the motivic decomposition of split quadrics and for example if $\dim(q)$ is odd and $q$ is split the motive of $Q$ is $\mathbb{Z}\oplus \mathbb{Z}[1]\oplus ... \oplus \mathbb{Z}[\dim(Q)]$. Another very important result is the Rost nilpotence theorem, which asserts that the kernel of the change of field functor on Chow groups of quadrics consists of nilpotents. This result is very fruitfull because it implies that the study of the motive of quadrics can be done over a field which splits the quadric, working with rational cycles in stead of cycles over the base field. Even though these motivic results give severe restrictions on the higher Witt indices of quadrics and have very important applications, the motive does not contain "everything" about the associated quadratic forms (even in terms of higher Witt indices).

Another interesting class of varieties to motivic computations are the cellular spaces, i.e. schemes $X$ endowed with a filtration by closed subschemes $\emptyset \subset X_0\subset ... \subset X_n= X$ and affine bundles $X_i\setminus X_{i-1}\rightarrow Y_i$. In this situation the motive of $X$ is isomorphic to the direct sum of (shifts) of the motives of the $Y_i$. For example the filtration of $\mathbb{P}^n$ given by $X_i=\mathbb{P}^i$ and those affine bundles are given by the structural morphism of $\mathbb{A}^{i}$ imply the motivic decomposition $M(\mathbb{P}^n)=\mathbb{Z}\oplus ... \oplus \mathbb{Z}[n]$, and as you can see this is the same motive as odd dimensional split quadrics, so you certainely loose information.

The situation is much more complicated replacing quadratic forms by projective homogeneous varieties, but still under some assumption you can recover some results such as Rost nilpotence theorem, and we now begin to have a good description of their motive. Under these assumption the motive of projective homogeneous varieties encodes informations about the underlying variety, such as the canonical dimension, with the example of the computation of those of generalized Severi-Brauer varieties. Some works have also been done to link motives in this case with the higher Tits indices of the underlying algebraic groups.

Just to cite a few mathematicians from who we owe these great results : V. Chernousov, N. Karpenko, A. Merkurjev, V.Petrov, M. Rost, N.Semenov, A. Vishik and probably many other that i forgot to mention.

Charles
  • 193
  • 2
  • 6