FoCM 2014 conference
Workshop B7 - Symbolic Analysis
December 16, 14:30 ~ 14:55 - Room C21
Fast algorithms for the p-curvature of differential operators
Alin Bostan
INRIA, France - alin.bostan@inria.fr
The p-curvature of a linear differential operator in characteristic p is a matrix that measures to what extent the solution space of the operator has dimension close to its order. We describe a recent algorithm for computing the characteristic polynomial of the p-curvature in time O˜ (p0.5). The new algorithm allows to test the nilpotency of the p-curvature for primes p of order 106, for which the p-curvature itself is impossible to compute using current algorithms.
Joint work with Xavier Caruso (Université Rennes 1, France) and Éric Schost (University of Western Ontario, Canada).