Submersion et descente. (Submersion and descent) (Q580447): Difference between revisions

This paper is an algebraic study of the submersions of affine schemes, i.e. of the surjective morphisms Spec(A')\(\to Spec(A)\) such that the topology of Spec(A) is a quotient of that Spec(A'). The author establishes some general properties of the submersions and a classification of them. He introduces a class of morphisms that he calls ``subtrusive''. A subtrusive morphism is a morphism from Spec(A') to Spec(A) such that every couple \(P\subset Q\) of prime ideals of A lifts to a couple P'\(\subset Q'\) of prime ideals of A'. It is proved that the pure morphisms are subtrusive. Universally subtrusive morphisms are defined and characterized and many examples are dicussed. The author also studies the stability of the submersions at a change of basis and at inductive limits. From the applications we mention the examples of morphisms that descends the flatness and the results about the complete faithful modules.