Gorenstein algebras of Veronese type (Q1364307): Difference between revisions

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)\).