Abstract
To a dominant morphism X/S→Y/S of Nœtherian integral S-schemes one has the inclusion CX/Y⊂BX/Y of the critical locus in the branch locus of X/Y. Starting from the notion of locally complete intersection morphisms, we give conditions on the modules of relative differentials ΩX/Y, ΩX/S, and ΩY/S that imply bounds on the codimensions of CX/Y and BX/Y. These bounds generalise to a wider class of morphisms the classical purity results for finite morphisms by Zariski–Nagata–Auslander, and Faltings and Grothendieck, and van der Waerdenʼs purity for birational morphisms.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
