The decomposition theorem for smooth projective morphisms says that decomposes as . We describe simple examples where it is not possible to have such a decomposition compatible with cup-product, even after restriction to Zariski dense open sets of . We prove however that this is always possible for families of surfaces (after shrinking the base), and show how this result relates to a result by Beauville and the author on the Chow ring of surfaces . We give two proofs of this result, the second one involving a certain decomposition of the small diagonal in also proved by Beauville and the author}. We prove an analogue of such a decomposition of the small diagonal in for Calabi-Yau hypersurfaces in , which in turn provides strong restrictions on their Chow ring.

生成讲解博客的中文版本

生成AI智能校验的中文版本