Castelnuovo-Mumford regularity, postulation numbers and relation types (Q406592)

Let \((A,\mathfrak m)\) be a Noetherian local ring. Huneke asked whether there exists a uniform bound for the relation type of parameter ideals in a complete equidimensional Noetherian local ring. Recall that the relation type of an ideal is the maximum degree of a minimal generator of the defining ideal of its Rees algebra. \textit{I. M. Aberbach} et al. [Pac. J. Math. 226, No. 1, 1--39 (2006; Zbl 1115.13005)] showed that the uniform bounds might not exist for local rings with two dimensional non-Cohen Macaulay locus. They further showed the uniform bounds for formally unmixed Noetherian local rings whose formal homology-multiplier ideal is a prime of dimension one. \textit{H.-J. Wang} [J. Algebra 188, No. 1, 1--15, Art. No. JA966825 (1997; Zbl 0889.13003)] proved the Huneke's conjecture in the case of two dimensional local rings. \textit{C. H. Linh} and \textit{N. V. Trung} [J. Algebra 304, No. 2, 1147--1159 (2006; Zbl 1120.13024)] showed that regularity of associated graded rings of parameter ideals in generalized Cohen-Macaulay rings are uniformly bounded. The authors in the paper under review show that the existence of uniform bounds for relation type is equivalent to the existence of uniform bounds for the regularity of associated graded rings of parameter ideals in Noetherian local rings. The proof uses \textit{A. Ooishi}'s result [Hiroshima Math. J. 17, 47--66 (1987; Zbl 0625.13015)] saying that the regularity of the associated graded ring of a parameter ideal is equal to that of the Rees algebra. Furthermore, \textit{M. Chardin} et al. [Math. Z. 258, No. 1, 69--80 (2008; Zbl 1138.13007)] bounded the regularity of an ideal in term of its highest degree of generators and dimension. From that, the authors deduce a bound of the regularity in term of the relation type and dimension. The equivalence follows. The authors also consider the postulation number (the last index where the Hilbert function and the Hilbert polynomial are different) and its relations to regularity and relation type. In certain cases, exact formula are given.