On the structure of the fiber cone of ideals with analytic spread one

From MaRDI portal
Publication:2466944



Abstract: Foa a given local ring, we study the fiber cone of ideals with analytic spread one. In this case, the fiber cone has a strucure as a module over its Noether normalization which is a polynomial ring in one variable over the residue field. One may then apply the structure theorem for graded modules over a graded principal domain to get a complete descriptionof the fiber cone as a module. We analyze this structure in order to study and characterize in terms of the ideal itself the aritmetical properties and other numerical invariants of the fiber cone as multiplicity, reduction number or Castelnuovo-Mumford regularity.


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.



Cites work









This page was built for publication: On the structure of the fiber cone of ideals with analytic spread one

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2466944)