FoCM

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).

View abstract PDF