  We construct a quasi-coherent sheaf of associative algebras which controls a
category of $AV$-modules over a smooth quasi-projective variety. We establish a
local structure theorem, proving that in \'etale charts these associative
algebras decompose into a tensor product of the algebra of differential
operators and the universal enveloping algebra of the Lie algebra of power
series vector fields vanishing at the origin.
