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   -

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\tilde{~}}(p^{0.5})$. The new algorithm allows to test the nilpotency of the $p$-curvature for primes $p$ of order $10^6$, 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