Cycles of algebraic D-modules in positive characteristic I: Background.