Associated graded rings of one-dimensional analytically irreducible rings. II. (Q657958)

This paper concerns equicharacteristic analytically irreducible and residually rational local one-dimensional domains. In the settings of this paper it can be assumed that we have a complete ring \((R,{\mathbf m})\subset (K[[t]],(t))\) and the semigroup \(S\) image of \(R\) by the canonical valution defined on \(K[[t]]\). Lance Bryant noticed in his thesis, that there was a flaw in the paper [\textit{V. Barucci} and \textit{R. Fröberg}, ``Associated graded rings of one-dimensional analytically irreducible rings'', J. Algebra 304, No. 1, 349--358 (2006; Zbl 1109.13002)]. He fixed it by adding a condition, called the BF condition. The aim of this paper is to discuss some equivalent conditions, and show that they are fulfilled for some classes of rings, in particular for the motivating example of semigroup rings. Furthermore they discuss the connection to a similar result, stated in more generality in [\textit{T. Cortadellas} and \textit{S. Zarzuela}, ``Apery and micro-invariants of a one-dimensional Cohen-Macaulay local ring and invariants of its tangent cone'', J. Algebra 328, No. 1, 94--113 (2011; Zbl 1219.13015)]. Finally they use their result to conclude when a semigroup ring in embedding dimension at most three has an associated graded which is a complete intersection. The paper is very technical.