A characterization of two-dimensional rational singularities via core of ideals

Ideals and multiplicative ideal theory in commutative rings (13A15) Integral closure of commutative rings and ideals (13B22) Multiplicity theory and related topics (13H15) Singularities in algebraic geometry (14B05) Singularities of surfaces or higher-dimensional varieties (14J17)

Abstract: The notion of

p_{g}

-ideals for normal surface singularities has been proved to be very useful. On the other hand, the core of ideals has been proved to be very important concept and also very mysterious one. However, the computation of the core of an ideal seems to be given only for very special cases. In this paper, we will give an explicit description of the core of

p_{g}

-ideals of normal surface singularities. As a consequence, we give a characterization of rational singularities using the inclusion of the core of integrally closed ideals.

Review text

Let \((A,\mathfrak{m})\) be a two--dimensional excellent normal local domain containing an algebraically closed field \(K\). Let \(f:X\to \mathrm{Spec} (A)\) be a resolution of singularity, then \(p_g(A)=l_A(H^1(X, \mathcal{O}_X))\), the geometric genus of \(A\), is independent on the resolution. Let \(I\subset A\) be an integrally closed \(\mathfrak{m}\)-primary ideal and assume that \(Z\) is an anti-nef cycle on \(X\) such that \(I\mathcal{O}_X=\mathcal{O}_X (-Z)\) and \(I=I_Z:= H^0(X, \mathcal{O}_X(-Z))\). If \(l_A(H^1(X, \mathcal{O}_X(-Z)))=p_g(A)\) then \(Z\) is called a \(p_g\)-cycle and \(I\) is called a \(p_g\)-ideal. The core of \(I\) is the intersection of all reductions of \(I\). It is proved that in case of \(\mathrm{char}(K)\neq 2\) \(A\) is a rational singularity, i.e. \(p_g(A)=0\), if and only if for any integrally closed \(\mathfrak{m}\)-primary ideals \(I'\subset I\), we have core \((I')\subset \mathrm{core } (I)\). An \(\mathfrak{m}\)-primary ideal \(I\) is said to be good if \(I^2=QI\) and \(I=Q:I\) for some minimal reduction \(Q\) of \(I\). It is proved that \(A\) admits a good \(p_g\)-ideal.

Recommendations

Cites work

Cited in

(19)

This page was built for publication: A characterization of two-dimensional rational singularities via core of ideals

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