In mathematical analysis, the characteristic variety of a microdifferential operator P is an algebraic variety that is the zero set of the principal symbol of P in the cotangent bundle.
It is invariant under a quantized contact transformation.
The notion is also defined more generally in commutative algebra.
A basic theorem says a characteristic variety is involutive.
This mathematical analysis–related article is a stub.