On differential operators of numerical semigroup rings (Q1946163)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On differential operators of numerical semigroup rings |
scientific article |
Statements
On differential operators of numerical semigroup rings (English)
0 references
18 April 2013
0 references
Let \(S=<d_{1}, \dots, d_{v}>\) be a numerical semigroup. By definition, \(S\) is a subsemigroup of \(\mathbb{N}\) such that \(0\in S\) and \(|\mathbb{N}\backslash S|\) is finite. Let \(\mathbb{C}[S]=\mathbb{C}[t^{d_{1}}, \dots, t^{d_{v}}]\) denote the corresponding semigroup ring; and let \(D(\mathbb{C}[S])\) be the ring of differential operators on \(\mathbb{C}[S]\). It is well known that \(D(\mathbb{C}[S])\) is a subring of \(D(\mathbb{C}[t, t^{-1}])\) and \(D(\mathbb{C}[S])\) has an inherited filtration from that of \(D(\mathbb{C}[S])\) such that the graded ring is a commutative noetherian subring of the polynomial ring \(\mathbb{C}[t, y]\). As a matter of fact, this associated graded ring can be regarded as the semigroup ring \(\mathbb{C}[\Sigma]\) for some subsemigroup \(\Sigma\) of \(\mathbb{N}^{2}\) such that \(|\mathbb{N}^{2}\backslash \Sigma|\) is finite. In this paper, the authors study the properties of the ring \(\mathbb{C}[\Sigma]\) in terms of the semigroup \(S\). They show that a minimal set of generators for the semigroup \(\Sigma\) can be predicted using the numerical semigroup \(S\); and the semigroup \(\Sigma\) behaves well with respect to the blowup of the maximal ideal when \(S\) is of maximal embedding dimension. Moreover, if \(S\) is an Arf semigroup, then \(\Sigma\) is completely determined by \(S\). In addition, they describe all irreducible monomial ideals of \(\mathbb{C}[\Sigma]\) and the number of components of a principal monomial ideal as an intersection of irreducible ideals. Finally, they prove that \(\mathrm{Der}(I,I)\) is isomorphic to the overring \(I: I\) as \(\mathbb{C}[S]-\)module when \(I\) is a monomial ideal of \(\mathbb{C}[S]\).
0 references