Descent and ascent of perinormality in some ring extension settings (Q1655805)

In this very interesting paper, the authors study perinormal domains. Let \(A\) be a commutative integral domain and \(K\) its quotient field. The ring \(A\) is said to be \textit{perinormal} if each local ring extension \(B\) of \(A\), contained in \(K\) and satisfying the going down property, is flat over \(A\). To get another characterization of perinormality, the concept of \textit{spec-bijectivity} is introduced. This article is well summarized by its abstract: ``In this paper, we investigate some open questions regarding perinormal domains posed by \textit{N. Epstein} and \textit{J. Shapiro} [J. Algebra 451, 65--84 (2016; Zbl 1346.13039)]. More specifically, we focus on the ascent/descent property of perinormality between ``canonical'' integral domain extensions, in particular, \(A\subset A[X]\) and \(A\subset \widehat{A}\). We give special conditions under which perinormality ascends from \(A\) to the polynomial ring \(A[X]\) in the case of an universally catenary domain \(A\). Whereas we have a characterizing result for when perinormality descends from \(A[X]\) to \(A\), the sufficient condition for the descent is cumbersome to check. For this reason, we turn to special cases for which perinormality descends from \(A[X]\) to \(A\). In the case of an analytically irreducible local domain (\(A,\;{\mathbf m}\)) and its \({\mathbf m}\)-adic completion (\({\widehat A},\;{\widehat {\mathbf m}}\)), we refer to a technique for generating examples in which perinormality fails to ascend. When \(\widehat{A}\) is perinormal, we explore hypotheses under which \(A\) must be normal, perinormal, or weakly normal. Finally, we make connexions between the concepts of semi-normality, weak-normality, relative and global perinormality, and normality.''