Compatibility conjecture for the Betti realization of perverse motives

Let XX be a smooth kk-variety. Let d4b3(X)d4b3(X) be the category of perverse motives constructed by Ivorra, and let

RLXN:DAct(X)Db(N(X))\mathsf{RL}^{\mathscr N}_X:\mathbf{DA}_{\mathsf{ct}}(X)\rightarrow\mathrm{D}^{\mathrm{b}}(\mathscr N(X))

be the triangulated functor constructed by Ivorra. Betti-realization compatibility conjecture. The Betti realization BtiX\mathrm{Bti}_X^* is isomorphic to the composition

DAct(X)Db(N(X))forgetfulDb(P(X))realDcb(X,Q).\mathbf{DA}_{\mathsf{ct}}(X)\rightarrow\mathrm{D}^{\mathrm{b}}(\mathscr N(X))\xrightarrow{\operatorname{forgetful}}\mathrm{D}^{\mathrm{b}}(\mathscr P(X))\xrightarrow{\operatorname{real}}\mathrm{D}^{\mathrm{b}}_{\mathrm{c}}(X,\mathbf{Q}).

The conjecture would imply, by the same universal-property argument used for the point, that the canonical functor from perverse Nori motives to the corresponding motivic category is an equivalence for every smooth kk-variety. It is presented as reasonable and reachable with current technology; no resolution is supplied.

Sources & referencesView supporting material

Primary source

Florian Ivorra and Sophie Morel, “The four operations on perverse motives”, arXiv:1901.02096 (2023).

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.