Wikipedia
P-curvature
In algebraic geometry, -curvature is an invariant of a connection on a coherent sheaf for schemes of characteristic . It is a construction similar to a usual curvature, but only exists in finite characteristic.