Gorenstein algebras of Veronese type (Q1364307): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 04:04, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Gorenstein algebras of Veronese type |
scientific article |
Statements
Gorenstein algebras of Veronese type (English)
0 references
22 March 1998
0 references
The purpose of the paper is to determine the class of Gorenstein algebras of Veronese type. Let \(n\geq 2\) and \(K[t_1,\ldots,t_n]\) the polynomial ring in \(n\) indeterminates over a field \(K\). Fix a sequence of integers \(\mathbf a =(a_1,\ldots,a_n)\) and an integer \(d\) with \(1\leq a_1\leq\cdots\leq a_n\leq d\) and \(d<\sum_{i=1}^na_i\). Let \(A(\mathbf a ;d)\) denote the \(K\)-subalgebra of \(K[t_1,\ldots,t_n]\) generated by all monomials of the form \(t_1^{x_1}\cdots t_n^{x_n}\) with \(x_1+\cdots+x_n=d\) and with \(x_i\leq a_i\) for each \(1\leq i\leq n\). The algebra \(A(\mathbf a ;d)\) is called an algebra of Veronese type. The result is as follows: The algebra \(A(\mathbf a ;d)\) is Gorenstein if and only if one of the following conditions is satisfied: (a) \(d\) divides \(n\), and \(a_i=d\) for every \(i=1,\ldots,n\); (b) \(n=d\), and \(a_i=2\) or \(d\) for every \(i=1,\ldots,n\); (c) \(n=2d\), and \(a_i=1\;or\;d\) for every \(i=1,\ldots,n\); (d) \(a_1+\cdots +a_n-d\) divides \(n\), and \(d\geq a_2+\cdots+a_n\); (e) \(d<a_2+\cdots+a_n\), \(n=a_1+\cdots +a_n-d\), and \(a_i=2\) if \(d<\sum_{j\neq i}a_j\); (f) \(d<a_2+\cdots+a_n\), \(n=2(a_1+\cdots +a_n-d)\), and \(a_i=1\) if \(d<\sum_{j\neq i}a_j\); (g) \(a_1=\cdots=a_{n-1}=1\), \(a_n=d\), and \(d\geq n-1\); (h) \(a_1=\cdots=a_{n-1}=2\), \(a_n=d\), and \(d\geq 2(n-1)\).
0 references
Gorenstein algebra
0 references
algebra of Veronese type
0 references
convex polytope
0 references
Ehrhart ring
0 references
Gorensteinness
0 references