Reid, Les ; Roberts, Leslie G. ; Singh, Balwant (1995) The structure of generic subintegrality Proceedings of the Indian Academy of Sciences  Mathematical Sciences, 105 (1). pp. 122. ISSN 02534142

PDF
 Publisher Version
3MB 
Official URL: http://www.ias.ac.in/j_archive/mathsci/105/1/122/...
Related URL: http://dx.doi.org/10.1007/BF02840585
Abstract
In order to give an elementwise characterization of a subintegral extension of Qalgebras, a family of generic Qalgebras was introduced in [3]. This family is parametrized by two integral parameters p ≥ 0,N ≥ 1, the member corresponding to p, N being the subalgebra R = Q [{γ_{n} n ≥ N}] of the polynomial algebra Q[x_{1},...,x_{p}, z] in p + 1 variables, where γ_{n} = z^{n} + Σ^{p}_{i = 1}(_{i}^{n} ) x_{i} z^{n  i}. This is graded by weight (z) = 1, weight (x_{i}) =i, and it is shown in [2] to be finitely generated. So these algebras provide examples of geometric objects. In this paper we study the structure of these algebras. It is shown first that the ideal of relations among all the γ_{n}'s is generated by quadratic relations. This is used to determine an explicit monomial basis for each homogeneous component of R, thereby obtaining an expression for the Poincaré series of R. It is then proved that R has Krull dimension p+1 and embedding dimension N + 2p, and that in a presentation of R as a graded quotient of the polynomial algebra in N + 2p variables the ideal of relations is generated minimally by (^{N + p}_{2}) elements. Such a minimal presentation is found explicitly. As corollaries, it is shown that R is always CohenMacaulay and that it is Gorenstein if and only if it is a complete intersection if and only if N + p ≤ 2. It is also shown that R is Hilbertian in the sense that for every n ≥ 0 the value of its Hilbert function at n coincides with the value of the Hilbert polynomial corresponding to the congruence class of n.
Item Type:  Article 

Source:  Copyright of this article belongs to Indian Academy of Sciences. 
Keywords:  Subintegral Extensions; Subrings of Polynomial Rings 
ID Code:  53476 
Deposited On:  10 Aug 2011 09:53 
Last Modified:  18 May 2016 06:35 
Repository Staff Only: item control page