On the structure of the fiber cone of ideals with analytic spread one (Q2466944)

Let \((A,{\mathfrak m})\) be a noetherian local ring and let \(I\) be an ideal of \(A\). The fiber cone of \(I\) is the ring \(F(I):= \bigoplus_{n\geq 0}I^n/mI^n\), its Krull dimension is called the analytic spread of \(I\). In this paper the authors assume that the field \(A/{\mathfrak m}\) is infinite and the analytic spread of \(I\) is one, so considering \(F(I)\) as a module over its Noether normalization (which is a polynomial ring in one variable), they study its structure. This gives rise to a set of numerical invariants and the authors related it to the well known numerical invariants: reduction numbers, minimal number of generators of \(I\), multiplicity, regularity of the fiber cone. The authors also consider Buchsbaum, Cohen-Macaulay, and Gorenstein properties of the fiber cone, proving for example that the fiber cone of any regular ideal(that is containing a regular element) with analytic spread one and reduction number two is Buchsbaum. They also use some induction to deduce some results on the fiber cone of dimension bigger than one.