A characterization of two-dimensional rational singularities via core of ideals (Q1703106): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q1113916
RedirectionBot (talk | contribs)
Changed an Item
Property / author
 
Property / author: Kei- ichi Watanabe / rank
 
Normal rank

Revision as of 09:44, 22 February 2024

scientific article
Language Label Description Also known as
English
A characterization of two-dimensional rational singularities via core of ideals
scientific article

    Statements

    A characterization of two-dimensional rational singularities via core of ideals (English)
    0 references
    0 references
    0 references
    0 references
    1 March 2018
    0 references
    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.
    0 references
    core of ideals
    0 references
    good ideal
    0 references
    \(p_g\)-cycle
    0 references
    \(p_g\)-ideal
    0 references
    surface singularity
    0 references
    rational singularity
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references