2024/03/11 by Raphaël Pagès, Pagès, Raphaël
Computer Science · Engineering · Mathematics · #Advanced Numerical Analysis Techniques #Algebraic Geometry and Number Theory #FOS: Computer and information sciences #FOS: Mathematics #Number Theory (math.NT) #Operator Algebras (math.OA) #Polynomial and algebraic computation #Symbolic Computation (cs.SC)
paper · pdf · doi:10.48550/arxiv.2403.06542
openalex created_date 2024/03/11 · openalex publication_date 2024/03/11 · openalex updated_date 2026/08/01
The solutions of the equation f(p-1) + fp = hp in the unknown function f over an algebraic function field of characteristic p are very closely linked to the structure and factorisations of linear differential operators with coefficients in function fields of characteristic p. However, while being able to solve this equation over general algebraic function fields is necessary even for operators with rational coefficients, no general resolution method has been developed. We present an algorithm for testing the existence of solutions in polynomial time in the ``size'' of h and an algorithm based on the computation of Riemann-Roch spaces and the selection of elements in the divisor class group, for computing solutions of size polynomial in the ``size'' of h in polynomial time in the size of h and linear in the characteristic p, and discuss its applications to the factorisation of linear differential operators in positive characteristic p.