Some Morita equivalences of rings of differential operators (Q1891734): Difference between revisions

Let \(N\) be a free \(\mathbb{Z}\)-module of rank \(r\) and \(M\) its dual \(\mathbb{Z}\)-module. Let \(\sigma \subset N \otimes_\mathbb{Z} \mathbb{Q}\) be a simplicial cone and \(\sigma^\vee\) its dual cone in \(M \otimes_\mathbb{Z} \mathbb{Q} = M_\mathbb{Q}\). Then \(\sigma^\vee\) is the intersection of halfspaces \(H_1, \dots, H_t\) in \(M_\mathbb{Q}\). Let \(\Lambda\) be a subsemigroup of the additive semigroup \(\sigma^\vee \cap M\) such that \(\widetilde \Lambda = \sigma^\vee \cap M\) where \(\widetilde \Lambda\) is the normalization of \(\Lambda\). \(\Lambda\) is called a hyperplane deleted subsemigroup if \(\Lambda = (\sigma^\vee \cap M) \backslash \bigcup_{F \in {\mathcal F}} (F \cap M)\) where \({\mathcal F}\) is a finite set of hyperplanes such that each is parallel but not equal to some \(\partial H_i\). The main result of this paper is the following: Let \(\Lambda\) be a finitely generated subsemigroup, \(k\) an algebraically closed field of characteristic zero, \({\mathcal X} = \text{Spec} (k [\sigma^\vee \cap M])\) and \({\mathcal Y} = \text{Spec} (k [\Lambda])\). Then \(\Lambda\) is a hyperplane deleted subsemigroup iff the ring of differential operators on \(k [\Lambda]\) and \(k [\widetilde \Lambda]\) are Morita-equivalent. Moreover, the condition on \(\Lambda\) is also equivalent to the following: \({\mathcal Y}\) is \(S_2\) and the normalization morphism \({\mathcal X} \to {\mathcal Y}\) is injective. For the proof the author uses the description of differential operators on toric varieties given by \textit{I. M. Musson} [Trans. Am. Math. Soc. 303, 805-827 (1987; Zbl 0628.13019)]. This result generalizes results of the same author for subsemigroups of the natural integers [cf. Proc. Am. Math. Soc. 98, 29-30 (1986; Zbl 0599.16001)], of \textit{S. P. Smith} and \textit{J. T. Stafford} [Proc. Lond. Math. Soc., III. Ser. 56, No. 2, 229-259 (1988; Zbl 0672.14017)] and of \textit{M. Chamarie} and \textit{J. T. Stafford} [Math. Proc. Camb. Philos. Soc. 102, 399-410 (1987; Zbl 0657.16003)]; in the last paper it is shown that the ring of differential operators on the ring of regular functions on an affine variety \({\mathcal X}\) is a maximal order iff \({\mathcal X}\) is \(S_2\) and the normalization morphism \(\widetilde {\mathcal X} \to {\mathcal X}\) is injective.