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

About 3 years old · traced to

Let L∈Q[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.

References

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.