Formal meta-conjecture for Picard–Fuchs equations

Let RCR\subset\mathbb{C} be a finitely generated Z\mathbb{Z}-algebra, let f:XSf:X\to S be a smooth proper morphism of smooth RR-schemes, fix sS(R)s\in S(R), and let S^\widehat{S} and S^K\widehat{S}_{\mathscr{K}} be the formal completions at ss and at sKs_{\mathscr{K}}, where K\mathscr{K} is the fraction field of RR. Let (E,)(\mathscr{E},\nabla) be a Picard–Fuchs equation and suppose it admits an ω(p)\omega(p)-integral formal isomonodromic deformation over S^\widehat{S}. Formal meta-conjecture. The formal isomonodromic deformation of (E,)(\mathscr{E},\nabla) to S^K\widehat{S}_{\mathscr{K}} has property PP, where PP is a property of flat bundles arising as a summand of algebraic de Rham cohomology of a smooth projective family. The source presents this as a consequence of the main conjecture together with the variational meta-conjecture; no general resolution is given.

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.