On the Cohen-Macaulay property for quadratic tangent cones (Q311516): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Dumitru Ioan Stamate / rank | |||
Property / review text | |||
Let \(K\) be a field and \(R=\bigoplus_{0\leq i} R_i\) be a standard-graded \(K\)-algebra (in other words, \(R_0=K\), \(R_1\) is a finite dimensional vector space over \(K\), and each \(R_i\) is equal to the \(i^{\mathrm{th}}\) power of \(R_1\)). This paper is concerned with three properties that \(R\) might possess: \[ \mathrm{G-quadratic }\implies\mathrm{Koszul }\implies\mathrm{quadratic}. \] The algebra \(R\) is ``quadratic'' if \(R\) is isomorphic to the quotient of a polynomial ring modulo an ideal which is generated by quadratic forms, ``Koszul'' if the resolution of \(K\) by free \(R\)-modules is a linear resolution, and ``\(G\)-quadratic'' if (after a possible change of coordinates) \(R\) is defined by an ideal whose Gröbner basis (with respect to some term order) consists of quadratic forms. The \(K\)-algebras studied in this paper all are of the form \(R_H\), where \(H\) is a numerical semigroup, \[ K[H]=K[\{t^h\mid h\in H\}] \] is the corresponding semigroup ring, \(\mathfrak m\) is the maximal ideal \((\{t^h\mid h\in H\})\) of \(K[H]\), and \(R_H\) is the associated graded ring \[ \mathrm{gr}_{\mathfrak m}K[H]=\bigoplus_{0\leq i}\mathfrak m^i/\mathfrak m^{i+1} \] of \(K[H]\). There are three main results in the paper. The first result states that if \(H\) is a numerical semigroup minimally generated by at most \(4\) elements, then \(R_H\) is quadratic if and only if \(R_H\) is \(G\)-quadratic; furthermore, if \(R_H\) is quadratic, then \(R_H\) is Cohen-Macaulay. The second result identifies all numerical semigroups \(H\) such that \(H\) has \(5\) minimal generators and \(R_H\) is a quadratic \(K\)-algebra which is not Cohen-Macaulay. The list of such algebras consists of two families and each family has three independent parameters. Each family on the list is in fact a \(G\)-quadratic \(K\)-algebra. The third result is that if \(H\) is a numerical semigroup minimally generated by \(5\) elements, and \(K\) is an algebraically closed field of characteristic not equal to \(2\), then \(R_H\) is Koszul if and only if it is \(G\)-quadratic. Furthermore, if the multiplicity of \(R_H\) is different from \(9\), \(10\), and \(11\), then \(R_H\) is quadratic if and only if it is \(G\)-quadratic. In this context, examples are provided with the multiplicity of \(R_H\) equal to \(9\) or \(11\) and \(R_H\) is quadratic but not Koszul. Some of the arguments rely on computer testing. | |||
Property / review text: Let \(K\) be a field and \(R=\bigoplus_{0\leq i} R_i\) be a standard-graded \(K\)-algebra (in other words, \(R_0=K\), \(R_1\) is a finite dimensional vector space over \(K\), and each \(R_i\) is equal to the \(i^{\mathrm{th}}\) power of \(R_1\)). This paper is concerned with three properties that \(R\) might possess: \[ \mathrm{G-quadratic }\implies\mathrm{Koszul }\implies\mathrm{quadratic}. \] The algebra \(R\) is ``quadratic'' if \(R\) is isomorphic to the quotient of a polynomial ring modulo an ideal which is generated by quadratic forms, ``Koszul'' if the resolution of \(K\) by free \(R\)-modules is a linear resolution, and ``\(G\)-quadratic'' if (after a possible change of coordinates) \(R\) is defined by an ideal whose Gröbner basis (with respect to some term order) consists of quadratic forms. The \(K\)-algebras studied in this paper all are of the form \(R_H\), where \(H\) is a numerical semigroup, \[ K[H]=K[\{t^h\mid h\in H\}] \] is the corresponding semigroup ring, \(\mathfrak m\) is the maximal ideal \((\{t^h\mid h\in H\})\) of \(K[H]\), and \(R_H\) is the associated graded ring \[ \mathrm{gr}_{\mathfrak m}K[H]=\bigoplus_{0\leq i}\mathfrak m^i/\mathfrak m^{i+1} \] of \(K[H]\). There are three main results in the paper. The first result states that if \(H\) is a numerical semigroup minimally generated by at most \(4\) elements, then \(R_H\) is quadratic if and only if \(R_H\) is \(G\)-quadratic; furthermore, if \(R_H\) is quadratic, then \(R_H\) is Cohen-Macaulay. The second result identifies all numerical semigroups \(H\) such that \(H\) has \(5\) minimal generators and \(R_H\) is a quadratic \(K\)-algebra which is not Cohen-Macaulay. The list of such algebras consists of two families and each family has three independent parameters. Each family on the list is in fact a \(G\)-quadratic \(K\)-algebra. The third result is that if \(H\) is a numerical semigroup minimally generated by \(5\) elements, and \(K\) is an algebraically closed field of characteristic not equal to \(2\), then \(R_H\) is Koszul if and only if it is \(G\)-quadratic. Furthermore, if the multiplicity of \(R_H\) is different from \(9\), \(10\), and \(11\), then \(R_H\) is quadratic if and only if it is \(G\)-quadratic. In this context, examples are provided with the multiplicity of \(R_H\) equal to \(9\) or \(11\) and \(R_H\) is quadratic but not Koszul. Some of the arguments rely on computer testing. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Andrew R. Kustin / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13A30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20M14 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6626784 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
numerical semigroup ring | |||
Property / zbMATH Keywords: numerical semigroup ring / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
tangent cone | |||
Property / zbMATH Keywords: tangent cone / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Cohen-Macaulay | |||
Property / zbMATH Keywords: Cohen-Macaulay / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Koszul | |||
Property / zbMATH Keywords: Koszul / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(G\)-quadratic | |||
Property / zbMATH Keywords: \(G\)-quadratic / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(h\)-vector | |||
Property / zbMATH Keywords: \(h\)-vector / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Dumitru Ioan Stamate / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: SINGULAR / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1512.04893 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Poincaré series of short Artinian rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Associated graded rings of one-dimensional analytically irreducible rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Gröbner bases for spaces of quadrics of low codimension. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2756168 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Gröbner bases for spaces of quadrics of codimension 3 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Koszul Algebras and Regularity / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Koszul property for points in projective spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: When the associated graded ring of a semigroup ring is complete intersection / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Hilbert function of the tangent cone of a monomial curve / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sous-monoïdes d'intersection complète de $N$ / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4317713 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4296925 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3108268 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cohen-macaulayness of the associated graded of a semigroup rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: When is a regular sequence super regular? / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quadratic numerical semigroups and the Koszul property / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Koszul incidence algebras, affine semigroups, and Stanley-Reisner ideals. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the equations defining tangent cones / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Multiplicity and<i>t</i>-isomultiple ideals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A toric ring with irrational Poincaré-Betti series / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the associated graded ring of a local Cohen-Macaulay ring / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 14:31, 12 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the Cohen-Macaulay property for quadratic tangent cones |
scientific article |
Statements
On the Cohen-Macaulay property for quadratic tangent cones (English)
0 references
13 September 2016
0 references
Let \(K\) be a field and \(R=\bigoplus_{0\leq i} R_i\) be a standard-graded \(K\)-algebra (in other words, \(R_0=K\), \(R_1\) is a finite dimensional vector space over \(K\), and each \(R_i\) is equal to the \(i^{\mathrm{th}}\) power of \(R_1\)). This paper is concerned with three properties that \(R\) might possess: \[ \mathrm{G-quadratic }\implies\mathrm{Koszul }\implies\mathrm{quadratic}. \] The algebra \(R\) is ``quadratic'' if \(R\) is isomorphic to the quotient of a polynomial ring modulo an ideal which is generated by quadratic forms, ``Koszul'' if the resolution of \(K\) by free \(R\)-modules is a linear resolution, and ``\(G\)-quadratic'' if (after a possible change of coordinates) \(R\) is defined by an ideal whose Gröbner basis (with respect to some term order) consists of quadratic forms. The \(K\)-algebras studied in this paper all are of the form \(R_H\), where \(H\) is a numerical semigroup, \[ K[H]=K[\{t^h\mid h\in H\}] \] is the corresponding semigroup ring, \(\mathfrak m\) is the maximal ideal \((\{t^h\mid h\in H\})\) of \(K[H]\), and \(R_H\) is the associated graded ring \[ \mathrm{gr}_{\mathfrak m}K[H]=\bigoplus_{0\leq i}\mathfrak m^i/\mathfrak m^{i+1} \] of \(K[H]\). There are three main results in the paper. The first result states that if \(H\) is a numerical semigroup minimally generated by at most \(4\) elements, then \(R_H\) is quadratic if and only if \(R_H\) is \(G\)-quadratic; furthermore, if \(R_H\) is quadratic, then \(R_H\) is Cohen-Macaulay. The second result identifies all numerical semigroups \(H\) such that \(H\) has \(5\) minimal generators and \(R_H\) is a quadratic \(K\)-algebra which is not Cohen-Macaulay. The list of such algebras consists of two families and each family has three independent parameters. Each family on the list is in fact a \(G\)-quadratic \(K\)-algebra. The third result is that if \(H\) is a numerical semigroup minimally generated by \(5\) elements, and \(K\) is an algebraically closed field of characteristic not equal to \(2\), then \(R_H\) is Koszul if and only if it is \(G\)-quadratic. Furthermore, if the multiplicity of \(R_H\) is different from \(9\), \(10\), and \(11\), then \(R_H\) is quadratic if and only if it is \(G\)-quadratic. In this context, examples are provided with the multiplicity of \(R_H\) equal to \(9\) or \(11\) and \(R_H\) is quadratic but not Koszul. Some of the arguments rely on computer testing.
0 references
numerical semigroup ring
0 references
tangent cone
0 references
Cohen-Macaulay
0 references
Koszul
0 references
\(G\)-quadratic
0 references
\(h\)-vector
0 references