Bézivin's conjecture on integral power-series solutions

Let LQ[x][]L\in\mathbb{Q}[x][\partial] be a differential operator. A basis of solutions of Ly=0Ly=0 in Z[[x]]\mathbb{Z}[[x]] is a Q\mathbb{Q}-linearly independent basis when its elements are linearly independent over Q\mathbb{Q}.

Bézivin's conjecture. If Ly=0Ly=0 has a Q\mathbb{Q}-linearly independent basis of solutions in Z[[x]]\mathbb{Z}[[x]], then these solutions are algebraic over Q(x)\mathbb{Q}(x).

This is presented as an apparently weaker statement than the Grothendieck pp-curvature conjecture. The source does not report a resolution, so the conjecture remains open.

Sources & referencesView supporting material

Primary source

Florian Fürnsinn and Herwig Hauser, “Fuchs' theorem on linear differential equations in arbitrary characteristic”, arXiv:2307.01712 (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.