On the stability of the holonomicity without Frobenius structure: the case of curves

Abstract: By using Christol and Mebkhout's algebrization and finiteness theorem, we prove that in the case of smooth curves, Berthelot's strongest conjecture on the stability of holonomicity is still valid without Frobenius structure but under some non-Liouville type hypotheses.