Differential operators on Stanley-Reisner rings

Author:
J. R. Tripp

Journal:
Trans. Amer. Math. Soc. **349** (1997), 2507-2523

MSC (1991):
Primary 13N10, 16D25, 16P40

MathSciNet review:
1376559

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Let be an algebraically closed field of characteristic zero, and let be a polynomial ring. Suppose that is an ideal in that may be generated by monomials. We investigate the ring of differential operators on the ring , and , the idealiser of in . We show that and are always right Noetherian rings. If is a square-free monomial ideal then we also identify all the two-sided ideals of . To each simplicial complex on there is a corresponding square-free monomial ideal , and the Stanley-Reisner ring associated to is defined to be . We find necessary and sufficient conditions on for to be left Noetherian.

**[1]**William C. Brown,*A note on higher derivations and ordinary points of curves*, Rocky Mountain J. Math.**14**(1984), no. 2, 397–402. MR**747286**, 10.1216/RMJ-1984-14-2-397**[2]**I. N. Bernšteĭn, I. M. Gel′fand, and S. I. Gel′fand,*Differential operators on a cubic cone*, Uspehi Mat. Nauk**27**(1972), no. 1(163), 185–190 (Russian). MR**0385159****[3]**Paulo Brumatti and Aron Simis,*The module of derivations of a Stanley-Reisner ring*, Proc. Amer. Math. Soc.**123**(1995), no. 5, 1309–1318. MR**1243162**, 10.1090/S0002-9939-1995-1243162-7**[4]**Winfried Bruns and Jürgen Herzog,*Cohen-Macaulay rings*, Cambridge Studies in Advanced Mathematics, vol. 39, Cambridge University Press, Cambridge, 1993. MR**1251956****[5]**S. C. Coutinho and M. P. Holland,*Noetherian 𝒟-bimodules*, J. Algebra**168**(1994), no. 2, 443–454. MR**1292774**, 10.1006/jabr.1994.1238**[6]**J. C. McConnell and J. C. Robson,*Noncommutative Noetherian rings*, Pure and Applied Mathematics (New York), John Wiley & Sons, Ltd., Chichester, 1987. With the cooperation of L. W. Small; A Wiley-Interscience Publication. MR**934572****[7]**G. Müller,*Lie Algebras Attached to Simplicial Complexes*, J. Alg.**177**(1995), 132-141. CMP**1996:3**.**[8]**Jerry L. Muhasky,*The differential operator ring of an affine curve*, Trans. Amer. Math. Soc.**307**(1988), no. 2, 705–723. MR**940223**, 10.1090/S0002-9947-1988-0940223-5**[9]**Ian M. Musson,*Rings of differential operators and zero divisors*, J. Algebra**125**(1989), no. 2, 489–501. MR**1018959**, 10.1016/0021-8693(89)90178-6**[10]**Gerald Allen Reisner,*Cohen-Macaulay quotients of polynomial rings*, Advances in Math.**21**(1976), no. 1, 30–49. MR**0407036****[11]**Richard Resco,*Affine domains of finite Gel′fand-Kirillov dimension which are right, but not left, Noetherian*, Bull. London Math. Soc.**16**(1984), no. 6, 590–594. MR**758129**, 10.1112/blms/16.6.590**[12]**J. C. Robson,*Idealizers and hereditary Noetherian prime rings*, J. Algebra**22**(1972), 45–81. MR**0299639****[13]**J. C. Robson and L. W. Small,*Orders equivalent to the first Weyl algebra*, Quart. J. Math. Oxford Ser. (2)**37**(1986), no. 148, 475–482. MR**868622**, 10.1093/qmath/37.4.475**[14]**S. P. Smith and J. T. Stafford,*Differential operators on an affine curve*, Proc. London Math. Soc. (3)**56**(1988), no. 2, 229–259. MR**922654**, 10.1112/plms/s3-56.2.229

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC (1991):
13N10,
16D25,
16P40

Retrieve articles in all journals with MSC (1991): 13N10, 16D25, 16P40

Additional Information

**J. R. Tripp**

Affiliation:
Pure Math Section, Hicks Building, University of Sheffield, Sheffield S3 7RH, England

Email:
J.R.Tripp@Sheffield.ac.uk

DOI:
http://dx.doi.org/10.1090/S0002-9947-97-01749-2

Received by editor(s):
May 9, 1995

Received by editor(s) in revised form:
January 5, 1996

Additional Notes:
I should like to thank Martin Holland for numerous helpful discussions, the referee for constructive comments, and the EPSRC for their funding while this work was completed.

Article copyright:
© Copyright 1997
American Mathematical Society