Perinormality in pullbacks (Q2011276)

In [J. Algebra 451, 65--84 (2016; Zbl 1346.13039)], \textit{N. Epstein} and \textit{J. Shapiro} introduced and studied the notion of perinormality. In this paper under review, they continue their work on perinormality with focusing on pullbacks: Let \(f: R \hookrightarrow S\), \(g: A \hookrightarrow B\), \(\alpha: R \twoheadrightarrow A\), and \(\beta: S \twoheadrightarrow B\) be ring homomorphisms such that \(f,g\) are injective, \(\alpha, \beta\) are surjective, and ker\(\alpha =\) ker\(\beta\) is an ideal of \(R\); in this case, \(R\) is called the pullback of \(A \rightarrow B \leftarrow S\). Let \(A \subseteq B\) be an extension of commutative rings with identity. In this paper, the authors say that \(A\) is perinormal in \(B\), if given any prime ideal \(p\) of \(A\), \(A_p\) is the only local ring between \(A_p\) and \(B_p\) that is centered on \(pA_p\) and satisfies going-down over \(A_p\). Hence, an integral domain is perinormal if and only if it is perinormal in its quotient field. The authors also introduce three types of integral extensions of commutative rings -- apparently fragile, fragile, and globally fragile. Then, among other things, they prove the following results: \begin{itemize} \item[(i)] Let \(J\) be an ideal of \(B\) that is contained in \(A\). If \(A/J\) is perinormal in \(B/J\), then \(A\) is perinormal in \(B\). \item[(ii)] Let \(D\) be an integral domain with quotient field \(k\), \(V\) be a valuation domain with residue field \(k\), and \(R\) be the pullback of \(D \rightarrow k \leftarrow V\). Then \(R\) is perinormal if and only if \(D\) is perinormal. \item[(iii)] Let \(S\) be a generalized Krull domain, \(J\) be an ideal of \(S\) such that \(J\) has \(n\) minimal primes with \(n \geq 2\) and \(J\) has height at least two, and \(A\) be an integral fragile subring of \(S/J\). If R is the pullback of \(A \rightarrow S/J \leftarrow S\), then \(R\) is perinormal. \item[(iv)] Suppose that \(B\) is finitely generated over a field, or \(B\) is a complete Noetherian local ring such that either \(B\) is equicharacteristic or the residual characteristic of \(B\) generates a height one ideal. Then there is a subring \(A\) of \(B\) such that \(B\) is integral over \(A\) and the extension \(A \subseteq B\) is globally fragile. \item[(v)] Let \(S\) be a generalized Krull domain, \(J\) be an ideal of height at least two such that dim\(S/J = 0\) and \(J\) has only finitely many minimal primes over it, \(A \subseteq S/J\) be an integral subring, and \(R\) be the pullback of \(A \rightarrow S/J \leftarrow S\). Then \(R\) is perinormal if and only if \(A\) is a fragile subring of \(S/J\). \item[(vi)] Algebraically contracting a hypersurface to a point typically results in a perinormal domain. \end{itemize} The authors also discuss two interesting examples. One of them shows that (iii) is sharp, in that the height condition can not be omitted. The other shows that there exist integral domains that are not perinormal, but are the intersection of (finitely many) perinormal domains with the same quotient field.