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
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
0 references