Weak subintegral closure of ideals

DOI10.1016/J.AIM.2010.09.020MaRDI QIDQ624318zbMATH OpenOpenAlexFDO

Authors Terence Gaffney, Marie A. Vitulli

Publication date 9 February 2011

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0708.3105

integral closure Rees valuation seminormal weak subintegral closure weakly normal

Associated graded rings of ideals (Rees ring, form ring), analytic spread and related topics (13A30) Integral closure of commutative rings and ideals (13B22) Seminormal rings (13F45) Varieties defined by ring conditions (factorial, Cohen-Macaulay, seminormal) (14M05) Normal analytic spaces (32C20)

Abstract: We describe some basic facts about the weak subintegral closure of ideals in both the algebraic and complex-analytic settings. We focus on the analogy between results on the integral closure of ideals and modules and the weak subintegral closure of an ideal. We start by giving a geometric interpretation of the Reid-Roberts-Singh criterion for when an element is weakly subintegral over a subring. We give new characterizations of the weak subintegral closure of an ideal. We associate with an ideal

I

of a ring

A

an ideal

I_{>}

, which consists of all elements of

A

such that

v (a) > v (I)

, for all Rees valuations

v

of

I

. The ideal

I_{>}

plays an important role in conditions from stratification theory such as Whitney's condition A and Thom's condition

A_{f}

and is contained in every reduction of

I

. We close with a valuative criterion for when an element is in the weak subintegral closure of an ideal. For this, we introduce a new closure operation for a pair of modules, which we call relative closure.

Review text

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.

Recommendations

Cites work

Cited in

(6)

This page was built for publication: Weak subintegral closure of ideals

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