Effective descent for differential operators

Elie Compoint, Marius van der Put, Jacques-Arthur Weil

A theorem of N. Katz \cite{Ka} p.45, states that an irreducible differential operator $L$ over a suitable differential field $k$, which has an isotypical decomposition over the alg…