Variational motivic conjecture for local systems
Let be a separable algebraic closure of a finitely generated field , let be a smooth proper morphism of smooth -schemes, and let be a semisimple local system on . Suppose that for some , the restriction 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 , the restriction is of geometric origin. This is stated as a prediction of the relative Fontaine–Mazur conjecture and is described as completely out of reach.
References
Primary source
Yeuk Hay Joshua Lam and Daniel Litt, “Algebraicity and integrality of solutions to differential equations”, arXiv:2501.13175 (2025).
Progress summary
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.