Ayoub's conservativity conjecture for Betti realization of geometric motives

Let DMgm(C;Q)\mathbf{DM}_{\mathrm{gm}}(\mathbb{C};\mathbb{Q}) be the category of geometric motives over C\mathbb{C} with rational coefficients, and let D(Q)\mathbf{D}(\mathbb{Q}) be the derived category of rational vector spaces. The Betti realization functor

HB:DMgm(C;Q)D(Q)H_B:\mathbf{DM}_{\mathrm{gm}}(\mathbb{C};\mathbb{Q})\to\mathbf{D}(\mathbb{Q})

sends a motive M(X)M(X) to the singular chain complex of XanX^{\mathrm{an}}. Ayoub's conservativity conjecture. The functor HBH_B is conservative: for any morphism f:MNf:M\to N in DMgm(C;Q)\mathbf{DM}_{\mathrm{gm}}(\mathbb{C};\mathbb{Q}), if HB(f)H_B(f) is an isomorphism, then ff is an isomorphism.

This conjecture would say that Betti realization detects isomorphisms between geometric motives. In the paper it is used as a general conjectural input for conditional results, and no resolution is supplied.

Sources & referencesView supporting material

Primary source

Ken Sato, “Notes on symplectic action on (2,1)-cycles on K3 surfaces”, arXiv:2509.13491 (2025).

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.