Weak subintegral closure of ideals (Q624318)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Weak subintegral closure of ideals
scientific article

    Statements

    Weak subintegral closure of ideals (English)
    0 references
    0 references
    0 references
    9 February 2011
    0 references
    The authors study weak subintegral closure of ideals introduced by \textit{M.~Vitulli} and \textit{J.~Leahy} [J.~Pure Appl.~Algebra 141, No. 2, 185--200 (1999; Zbl 0948.13006)] in the complex-analytic, as well as the algebraic, setting, often interpreting their results geometrically. Specifically, they give a new geometric interpretation of the Reid-Roberts-Singh criterion [\textit{L.~Reid, L.~Roberts} and \textit{B.~Singh}, J.~Pure Appl.~Algebra 114, No. 1, 93--109 (1996; Zbl 0898.13016)] for when an element in a ring extension of \(A\) is an element of the weak normalization of \(A\). In addition, they provide analogies and connections between their work and the integral closure of ideals, the operations of weak normalization and seminormalization, and weakly subintegral ring extensions. For example, they show that if \(I\) is an ideal in a reduced local ring \(A\) with maximal ideal \(\mathfrak m\), \(S\) the weak normalization of \(A[It]\), and \(a\) an element in \(A\), then \(a\) is in the weak subintegral closure of \(I\) if and only if \(a \in IS_{(\mathfrak q)}\) for all \(\mathfrak q \in\) Proj\((S)\) lying over \(\mathfrak m\). However, the main thrust of the paper is Sections 4 and 5, which associate a new ideal \(I_>\) to an ideal \(I\) in a Noetherian ring \(A\), and introduce a new closure operation, respectively. The ideal \(I_>\) consists of all elements of \(A\) such that \(v(a) > v(I)\) for all Rees valuations \(v\) of \(I\). Denoting the weak subintegral closure of \(I\) by \(^*I\), the authors establish the inclusions \(I_> \subseteq\) \(^*I\) and \(I_> \subseteq\) \(^*J\), for any reduction \(J\) of \(I\). Under the additional assumptions that \(I\) is an \(\mathfrak m\)-primary ideal for some maximal ideal \(\mathfrak m\) in \(A\) such that \(A/\mathfrak m\) is algebraically closed of characteristic 0, \(J+I_> =\) \(^*J\) for any minimal reduction. Moreover, when \(I\) is generated by the minimal number of generators, \(^*J = I\) for every reduction; otherwise, the set of all elements of \(A\) that are weakly subintegral over all reductions of \(I\) is precisely \(I_>\). Some examples are given to illustrate these phenomena. In Section 5, relative weak closure is defined in both the analytic and algebraic sense, and interpreted geometrically. It is a valuative theory for weak subintegral closure and provides another characterization of an element's inclusion in the weak subintegral closure of an ideal. Specifically, the authors prove that if \(\mathcal O_{X,0}\) is the local ring of a complex analytic space, \(I\) is an ideal of finite colength in \(\mathcal O_{X,0}\), and \(h \in \mathcal O_{X,0}\), then \(h\) is an element of \(^*I\) if and only if \(\Delta(h) \in \overline{\Delta(I)_{2I}}\). The algebraic analogue is also given.
    0 references
    weak subintegral closure
    0 references
    Rees valuation
    0 references
    weakly normal
    0 references
    seminormal
    0 references
    integral closure
    0 references

    Identifiers

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