Variational motivic conjecture for local systems

Let k\overline{k} be a separable algebraic closure of a finitely generated field kk, let f:XSf:X\to S be a smooth proper morphism of smooth k\overline{k}-schemes, and let V\mathbb{V} be a semisimple local system on XX. Suppose that for some sS(k)s\in S(\overline{k}), the restriction VXs\mathbb{V}|_{X_s} is of geometric origin, meaning it occurs as a subquotient of the cohomology local system of a smooth projective family. Variational motivic conjecture. For every tS(k)t\in S(\overline{k}), the restriction VXt\mathbb{V}|_{X_t} is of geometric origin. This is stated as a prediction of the relative Fontaine–Mazur conjecture and is described as completely out of reach.

Sources & referencesView supporting material

Primary source

Yeuk Hay Joshua Lam and Daniel Litt, “Algebraicity and integrality of solutions to differential equations”, arXiv:2501.13175 (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.