Künneth transversality conjecture for motives
Let f1:X1→Y1f_1:X_1\to Y_1f1:X1→Y1 and f2:X2→Y2f_2:X_2\to Y_2f2:X2→Y2 be morphisms of schemes, and let … be their product. For i=1,2i=1,2i=1,2, let Fi∈T(Xi)F_i\in\mathbf{T}(X_i)Fi∈T(Xi), and let F1⊠F2F_1\boxtimes F_2F1⊠F2 denote their ext…