Bloch–Beilinson co-generation conjecture for birational motives

Let XX be a smooth projective variety and let ii be a positive integer. Assume that Htr(X)\mathrm{H}^{*}_{\mathrm{tr}}(X) is generated by Htri(X)\mathrm{H}^i_{\mathrm{tr}}(X). Bloch–Beilinson co-generation conjecture. There exists a birational idempotent ϖiXEnd(h(X))\varpi_i^X\in\operatorname{End}(\mathfrak{h}^{\circ}(X)) with (ϖiX)Htr(X)=Htri(X)(\varpi_i^X)^*\mathrm{H}^{*}_{\mathrm{tr}}(X)=\mathrm{H}^{i}_{\mathrm{tr}}(X), and for every such idempotent the co-algebra object h(X)\mathfrak{h}^{\circ}(X) is co-generated by hi(X):=(X,ϖiX)\mathfrak{h}^{\circ}_i(X):=(X,\varpi_i^X), meaning that the co-induced morphism

h(X)Symhi(X)\mathfrak{h}^{\circ}(X)\longrightarrow\operatorname{Sym}^*\mathfrak{h}^{\circ}_i(X)

is split injective. This is presented as a general expectation from Bloch–Beilinson philosophy and is open in general.

Sources & referencesView supporting material

Primary source

Charles Vial, “On the birational motive of hyper-Kähler varieties”, arXiv:2010.00099 (2022).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.