Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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 http://user.math.uzh.ch/ayoub/PDF-Files/Leiden.pdf.

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|improve this question
See the proof of lemma 5.1 of arxiv.org/abs/0710.4002 (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.