-Modules on Smooth Toric Varieties

Let X be a smooth toric variety. Cox introduced the homogeneous coordinate ring S of X and its irrelevant ideal . Let A denote the ring of differential operators on Spec(S). We show that the category of -modules on X is equivalent to a subcategory of graded A-modules modulo -torsion. Additionally, we prove that the characteristic variety of a -module is a geometric quotient of an open subset of the characteristic variety of the associated A-module and that holonomic -modules correspond to holonomic A-modules.