On a multiplicative version of Bloch's conjecture (Q330636)

One says that the Chow group of \(0\)-cycles of a smooth complete complex variety \(X\) of dimension \(n\) decomposes according to a partition \(\sum n_i = n \) if the following statement holds: (P1) There exists a Zariski open \(V\subset X\), such that intersection product induces a surjection \(A^{n_1}V_{\mathbb{Q}}\otimes A^{n_2}V_{\mathbb{Q}}\otimes\cdots\otimes A^{n_r}V_{\mathbb{Q}}\;\to\;A^nV_{\mathbb{Q}}\;.\) The author explains that his aim is to study the problem of finding a certain converse to a theorem of \textit{H. Esnault} et al. [in: Journées de géométrie algébrique d'Orsay, France, juillet 20-26, 1992. Paris: Société Mathématique de France. 227--241 (1993; Zbl 0815.14003)] which states that (P1) implies that the top--degree coherent cohomology group decomposes similarly. The converse hypothesis he has in mind is this: (P2) There exists a Zariski open \(V\subset X\), such that cup product induces a surjection \([ H^{n_1}(V,\mathbb{Q})\otimes H^{n_2}(V,\mathbb{Q})\otimes\cdots\otimes H^{n_r}(V,\mathbb{Q})\;\to\;H^n(V,\mathbb{Q})/N^1\;\) \(N^1\) denotes the part of cohomology which dies in the complement of some divisor. The strategy of the paper is to employ: (i) the theory of finite-dimensional motives of \textit{S.-I. Kimura} [Math. Ann. 331, No. 1, 173--201 (2005; Zbl 1067.14006)] and \textit{P. O'Sullivan } [J. Reine Angew. Math. 654, 1--81 (2011; Zbl 1258.14006)] and (ii) Vial's results on the refined Chow-Künneth decomposition of the diagonal associated to the niveau filtration, [\textit{C. Vial}, Proc. Lond. Math. Soc. (3) 106, No. 2, 410--444 (2013; Zbl 1271.14010)]. The technique is to see that (P2) gives a certain correspondence which is homologically trivial. By use of nilpotence it can be shown that it produces then a related correspondence, which is trivial for rational equivalence. An explicit computation yields the wished conclusion, i.e. (P1) holds. This work can be performed without the use of conjectures for the case of smooth varieties of dimension \(n \leq 3\) which are rationally dominated by products of curves, while it is done also for \(n \leq 5\) if one allows some of the usual conjectures.