×

Differential operators on Stanley-Reisner rings. (English) Zbl 0872.16016

Summary: Let \(k\) be an algebraically closed field of characteristic zero, and let \(R=k[x_1,\dots,x_n]\) be a polynomial ring. Suppose that \(I\) is an ideal in \(R\) that may be generated by monomials. We investigate the ring of differential operators \({\mathcal D}(R/I)\) on the ring \(R/I\), and \({\mathcal I}_R(I)\), the idealiser of \(I\) in \(R\). We show that \({\mathcal D}(R/I)\) and \({\mathcal I}_R(I)\) are always right Noetherian rings. If \(I\) is a square-free monomial ideal then we also identify all the two-sided ideals of \({\mathcal I}_R(I)\). To each simplicial complex \(\Delta\) on \(V=\{v_1,\dots,v_n\}\) there is a corresponding square-free monomial ideal \(I_\Delta\), and the Stanley-Reisner ring associated to \(\Delta\) is defined to be \(k[\Delta]=R/I_\Delta\). We find necessary and sufficient conditions on \(\Delta\) for \({\mathcal D}(k[\Delta])\) to be left Noetherian.

MSC:

16S32 Rings of differential operators (associative algebraic aspects)
16P40 Noetherian rings and modules (associative rings and algebras)
16D25 Ideals in associative algebras
13N10 Commutative rings of differential operators and their modules
13P10 Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases)
55U05 Abstract complexes in algebraic topology
Full Text: DOI

References:

[1] William C. Brown, A note on higher derivations and ordinary points of curves, Rocky Mountain J. Math. 14 (1984), no. 2, 397 – 402. · Zbl 0537.13004 · doi:10.1216/RMJ-1984-14-2-397
[2] I. N. Bernšteĭn, I. M. Gel\(^{\prime}\)fand, and S. I. Gel\(^{\prime}\)fand, Differential operators on a cubic cone, Uspehi Mat. Nauk 27 (1972), no. 1(163), 185 – 190 (Russian).
[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. · Zbl 0826.13006
[4] Winfried Bruns and Jürgen Herzog, Cohen-Macaulay rings, Cambridge Studies in Advanced Mathematics, vol. 39, Cambridge University Press, Cambridge, 1993. · Zbl 0788.13005
[5] S. C. Coutinho and M. P. Holland, Noetherian \?-bimodules, J. Algebra 168 (1994), no. 2, 443 – 454. · Zbl 0824.16023 · doi: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. · Zbl 0644.16008
[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. · Zbl 0668.16007
[9] Ian M. Musson, Rings of differential operators and zero divisors, J. Algebra 125 (1989), no. 2, 489 – 501. · Zbl 0679.16002 · doi: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. · Zbl 0345.13017 · doi:10.1016/0001-8708(76)90114-6
[11] Richard Resco, Affine domains of finite Gel\(^{\prime}\)fand-Kirillov dimension which are right, but not left, Noetherian, Bull. London Math. Soc. 16 (1984), no. 6, 590 – 594. · Zbl 0547.16007 · doi:10.1112/blms/16.6.590
[12] J. C. Robson, Idealizers and hereditary Noetherian prime rings, J. Algebra 22 (1972), 45 – 81. · Zbl 0239.16003 · doi:10.1016/0021-8693(72)90104-4
[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. · Zbl 0618.16003 · doi: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. · Zbl 0672.14017 · doi:10.1112/plms/s3-56.2.229
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.