Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS

Remote Access
Green Open Access
Transactions of the American Mathematical Society
Transactions of the American Mathematical Society
ISSN 1088-6850(online) ISSN 0002-9947(print)


Rings of differential operators on invariant rings of tori

Author: Ian M. Musson
Journal: Trans. Amer. Math. Soc. 303 (1987), 805-827
MSC: Primary 32C38; Secondary 14L30, 16A45, 16A62, 58G99
MathSciNet review: 902799
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Let $ k$ be an algebraically closed field of characteristic zero and $ G$ a torus acting diagonally on $ {k^s}$. For a subset $ \beta $ of $ {\mathbf{s}} = \{ 1,\,2, \ldots ,\,s\} $, set $ {U_\beta } = \{ u \in {k^s}\vert{u_j} \ne 0\;{\text{if}}\;j \in \beta \} $. Then $ G$ acts on $ \mathcal{O}({U_\beta })$, the ring of regular functions on $ {U_\beta }$, and we study the ring $ D(\mathcal{O}{({U_\beta })^G})$ of all differential operators on the invariant ring.

More generally suppose that $ \Delta $ is a set of subsets of s, such that each invariant ring $ \mathcal{O}{({U_\beta })^G}$, $ \beta \in \Delta $, has the same quotient field. We prove that $ { \cap _{\beta \in \Delta }}D(\mathcal{O}{({U_\beta })^G})$ is Noetherian and finitely generated as a $ k$-algebra.

Now $ G$ acts on each $ D(\mathcal{O}({U_\beta }))$ and there is a natural map

$\displaystyle \theta :\bigcap\limits_{\beta \in \Delta } {D{{(\mathcal{O}({U_\b... ..._{\beta \in \Delta } {D(\mathcal{O}{{({U_\beta })}^G}) = D({Y_\Delta } / G)} } $

obtained by restriction of the differential operators. We find necessary and sufficient conditions for $ \theta $ to be surjective and describe the kernel of $ \theta $.

The algebras $ { \cap _{\beta \in \Delta }}D{(\mathcal{O}({U_\beta }))^G}$ and $ { \cap _{\beta \in \Delta }}D(\mathcal{O}{({U_\beta })^G})$ carry a natural filtration given by the order of the differential operators. We show that the associated graded rings are finitely generated commutative algebras and are Gorensetin rings. We also determine the centers of $ { \cap _{\beta \in \Delta }}D{(\mathcal{O}({U_\beta }))^G}$ and $ { \cap _{\beta \in \Delta }}D(\mathcal{O}{({U_\beta })^G})$.

References [Enhancements On Off] (What's this?)

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 32C38, 14L30, 16A45, 16A62, 58G99

Retrieve articles in all journals with MSC: 32C38, 14L30, 16A45, 16A62, 58G99

Additional Information

PII: S 0002-9947(1987)0902799-2
Article copyright: © Copyright 1987 American Mathematical Society

Comments: Email Webmaster

© Copyright , American Mathematical Society
Contact Us · Sitemap · Privacy Statement

Connect with us Facebook Twitter Google+ LinkedIn Instagram RSS feeds Blogs YouTube Podcasts Wikipedia