The characteristic variety is defined to be the subvariety of the cotangent bundle cut out by the radical of the annihilator of gr M, where again M is equipped with a suitable filtration (with respect to the order filtration on DX). As usual, the affine construction then glues to arbitrary varieties.
