The new intersection theorem and descent of flatness for integral extensions

DOI10.1016/J.JALGEBRA.2008.05.005MaRDI QIDQ2654058zbMATH OpenOpenAlexFDO

Publication date 15 January 2010

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jalgebra.2008.05.005

flatness Galois theory of rings integral extensions lifting purity of branch locus

Extension theory of commutative rings (13B02) Étale and flat extensions; Henselization; Artin approximation (13B40) Projective and free modules and ideals in commutative rings (13C10)

Review text

The author applies the new intersection theorem in the context of integral ring extensions, showing that, in certain instances, such maps must be flat. He then applies this result in various cases, namely when the extension is module finite and (1) unramified in codimension one, or (2) is generically Galois and separable in codimension less than two. The main theorem states that if \(R \hookrightarrow A\) is an integral extension of Noetherian rings and \(M\) is a finitely-generated \(R\)-module such that \(R\), \(A\), and \(M\) all satisfy the Serre condition \(S_2\), \(M\) has finite projective dimension locally over Spec \(R\), and Hom\(_R(M, A)\) is projective over \(A\), then \(M\) is projective over \(R\). In the above mentioned two cases, assuming that \(A\) and \(R\) are normal domains and \(A\) has finite projective dimension over \(R\), one can conclude, respectively, that the extension is (1) étale, or (2) Galois, and \(A\) is \(R\)-projective. Of particular relevance in this section are the results and/or methods in \textit{M.~Kantorowitz} [Proc. Am. Math. Soc. 127, No. 1, 71--78 (1999; Zbl 0909.13003)] and \textit{M.~Auslander} and \textit{D.~Buchsbaum} [Am. J. Math. 81, 749--765 (1959; Zbl 0093.04104)]. In the second section, the author considers what conclusions can be made concerning a module finite extension of normal domains \(B \hookrightarrow A\), where \(B\) is a complete intersection, if one replaces the assumption that \(A\) has finite projective dimension over \(B\) with the assumption that End\(_BA\) is \(A\)-free. If the extension has the normal basis property in codimension less than four, \(B\) is complete, and \(A\) satisfies the Serre condition \(S_3\), then the author shows that \(A\) is free over \(B\). The proof uses liftings to modules over group algebras. Of particular relevance in this section is the paper by \textit{M.~Auslander, S.~Ding} and \textit{O.~Solberg} [J. Algebra 156, No. 2, 273-317 (1993; Zbl 0778.13007)].

Recommendations

Cites work

Cited in

(3)

This page was built for publication: The new intersection theorem and descent of flatness for integral extensions

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