MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Short version: is the Chow-K√ľnneth motivic decomposition known for $X \hookrightarrow \mathbb{P}^n_k$ a hypersurface over a field $k$?

Long version: let $M(X)$ be the Chow motive of $X$ with rational coefficients. A standard conjecture predicts the existence of projectors $\pi_k$ in $CH^{\dim X}(X \times X)_\mathbb{Q}$, the Chow group with respect to rational equivalence, such that the submotive of $M(X)$ cut off by $\pi_k$ realizes into $H^k(X)$. This is know for very few varieties: essentially projective spaces, curves and surfaces. What about hypersurfaces? I've never seen that written down, but Ayoub uses it in p. 38 of

I guess the idea is to play with the induced morphism $M(\mathbb{P}^n) \to M(X)$ and the decomposition of $M(\mathbb{P}^n)$. Is there a motivic hyperplane Lefschetz theorem allowing us to say that this is injective?

If anyone has references or knows how to fill in the details I will be very grateful.

share|cite|improve this question
See the proof of lemma 5.1 of (Iyer-Mueller-Stach, "Chow-Kuenneth decomposition for special varieties"). – user31960 Mar 21 '13 at 21:29
Thanks for the reference Sophie! – chowkun Mar 21 '13 at 21:55

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.