Quasi-one-fibered ideals of order one in dimension two (Q2453632): Difference between revisions

The paper is a continuation of the author's work in [J. Algebra 344, No. 1, 14--46 (2011; Zbl 1271.13019)] and in [J. Pure Appl. Algebra 213, No. 6, 1140--1151 (2009; Zbl 1163.13004)] extending the Zariski-Lipman theory of complete ideals in a two-dimensional regular local ring. Let \((R,\mathfrak{m})\) denote a two-dimensional normal domain with algebraically closed residue field and the associated graded ring is an integrally closed domain. Let \(I\) denote a complete \(\mathfrak{m}\)-primary ideal. Let \(T(I)\) denote the set Rees valuations of \(I\). A complete \(\mathfrak{m}\)-primary ideal is called quasi-one-fibred if \(T(I) \subseteq \{v_{\mathfrak{m}}, w\}\) and \(w \in T(I)\) for some divisor \(w \not= v_{\mathfrak{m}}\) of \(R\). Then as in the regular case \(I\) has precisely one immediate base point \((R',\mathfrak{m}')\). But in contrast to the regular case the transform \(I^{R'}\) does not have order one. In the paper under review, the author studies -- among others -- when \(\text{ord}_R(I) = 1\) implies \(\text{ord}_{R'}(I^{R'}) = 1\) and under what conditions the converse holds. Moreover there is a discussion whether any complete quasi-one-fibred \(\mathfrak{m}\)-primary ideal of order one has the form \((x_1^n,x_2,\dots,x_d)\) for a suitable minimal basis \(x_1,\dots,x_d\) of \(\mathfrak{m}\).