Dice Question Streamline Icon: https://streamlinehq.com

Algebraicity of Künneth projectors (Grothendieck’s standard conjecture)

Determine whether, for every smooth projective variety X over a field F, the Chow motive M(X) decomposes as a direct sum ⊕_n M^n(X) that lifts the individual cohomology groups H^n_?(X); equivalently, prove that the Künneth projectors H^•_?(X) → H^n_?(X) → H^•_?(X) are induced by algebraic correspondences in CH^{dim X}(X × X)_Q.

Information Square Streamline Icon: https://streamlinehq.com

Background

Grothendieck’s category of Chow motives CHM(F) encodes correspondences as morphisms of motives. A fundamental open issue is whether motives admit a canonical splitting mirroring the cohomological Künneth decomposition.

This is one of Grothendieck’s standard conjectures, asserting that Künneth projectors are algebraic (i.e., represented by cycles). Its resolution would provide functorial pieces Mn(X) lifting cohomology and would clarify the structure of pure motives.

References

One of the drawbacks of this construction is that it is not known whether a Chow motive M(X) splits as a direct sum of objects Mn(X) which lift the individual cohomology groups H_?n(X), i.e., whether the “Künneth projectors” H\bullet_?(X)\twoheadrightarrow Hn_?(X) \hookrightarrow H\bullet_?(X) are induced by a correspondence as in eq: linear map from correspondence. This is one of Grothendieck's standard conjectures on algebraic cycles .

eq: linear map from correspondence:

$cm{ H_?^\bullet(X) \ar[r]^-{(\operatorname{pr}_X)^*} & H_?^\bullet(X\times Y) \ar[r]^-{\cdot [Z]} & H_?^{\bullet+2r}(X\times Y)\ar[r]^-{(\operatorname{pr}_Y)_*} & H_?^{\bullet+2r-2\dim(X)}(Y), } $

An introduction to mixed Tate motives (2404.03770 - Dupont, 4 Apr 2024) in Section 4.2 (Grothendieck’s category of Chow motives)