This paper is a survey about recent progress on submersive morphisms of schemes combined with new results that we prove. They concern the class of quasicompact universally subtrusive morphisms that we introduced about 30 years ago. They are revisited in a recent paper by Rydh, with substantial complements and key results. We use them to show Artin-Tate-like results about the 14th problem of Hilbert, for a base scheme either Noetherian or the spectrum of a valuation domain. We look at faithfully flat morphisms and get “almost” Artin-Tate-like results by considering the Goldman (finite type) points of a scheme. Bjorn Poonen recently proved that universally closed morphisms are quasicompact. By introducing incomparable morphisms of schemes, we are able to characterize universally closed surjective morphisms that are either integral or finite. Next we consider pure morphisms of schemes introduced by Mesablishvili. In the quasicompact case, they are universally schematically dominant morphisms. This leads us to a characterization of universally subtrusive morphisms by purity. Some results on the schematically dominant property are given. The paper ends with properties of monomorphisms and topological immersions, a dual notion of submersions.
1. Introduction
Our aim is to give a survey on recent progress on submersions and new results that commutative algebraists may find useful. We also recall results that are needed. The paper is written in the language of schemes because it is sometimes necessary to enlarge the category of commutative rings to get proofs, but the results can be easily translated.
Submersive morphisms of schemes (or submersions) f:X→Y are surjective morphisms inducing the quotient topology on Y; that is, Z⊆Y is an open (closed) subset if and only if f-1(Z) is open (closed). They are also called topological epimorphisms by some authors like Voevodsky who defines and uses the h and qfh-(Grothendieck) topologies [1]. They appear naturally in many situations such as when studying quotients, homology, descent, and the fundamental group of schemes. A morphism of schemes f:X→Y is called universally submersive if X×YY′→Y′ is submersive for each morphism Y′→Y. The first proper treatment of submersive morphisms was settled by Grothendieck, with applications to the fundamental group of a scheme. We singled out a subclass of submersive morphisms in [2] and dubbed them subtrusive morphisms (or subtrusions). Submersive morphisms used in practice are subtrusive. Our study was established in the affine schemes context. But as Rydh showed, the theory can be extended to the arbitrary schemes context [3]. Over a locally Noetherian scheme, a universally submersive morphism is universally subtrusive, showing again that the class of subtrusive morphisms is natural. In this section, we give information about our aims, notational conventions, and definitions, recalling results that are needed in the other sections.
We recall the following facts.
The closed subsets of the constructible topology on a scheme (cf. [4, I.7.2]) (also termed the patch topology) are the proconstructible subsets (see [4, I, Section 7]).
The Zariski topology induces a partial ordering on the underlying set of points of a scheme X. We let x≤x′ if x∈{x′}¯, that is, if x is a specialization of x′, or equivalently, if {x}¯⊆{x′}¯. A maximal point of X is the generic point of an irreducible component of X. If X is quasicompact, for each x∈X, there is some closed point m, such that m≤x because the set of all closed subsets is inductive for the relation ⊇ [4, 0.2.1.2].
Definition 1 (see [3, Definition 2.2]).
Let f:X→Y be a morphism of schemes. Then f is called subtrusive if the following two conditions hold.
Every ordered pair y≤y′ of points in Y lifts to an ordered pair of points x≤x′ in X.
f is submersive in the constructible topology.
Then f is called universally subtrusive if X×YY′→Y′ is subtrusive for each morphism of schemes Y′→Y.
Clearly, a subtrusive morphism is surjective.
We will mainly consider quasicompact morphisms of schemes. In that case, a morphism of schemes is subtrusive if and only if the above condition (1) holds [3, Proposition 1.6]. As quasicompactness is a universal property, a quasicompact morphism f is universally subtrusive if the condition (1) universally holds for f.
Note that a quasicompact morphism of schemes f:X→Y is closed if and only if f is specializing; that is, f(E) is stable under specializations for each subset E⊆X, stable under specializations. To see this use [4, I. Proposition 7.2.12(iv)] which tells us that if f is quasicompact, then f is closed for the patch topology and [4, I, Corollaire 7.3.2] which states that F¯=∪[{x}¯;x∈F] for a proconstructible subset F.
Example 2 (see [3, Remark 2.5]).
Let f:X→Y be a quasicompact surjective morphism of schemes. Then f is universally subtrusive in the following cases.
f is universally specializing (closed).
f is proper.
f is integral.
f is universally generalizing.
f is faithfully flat.
f is universally open.
Our main results are Artin-Tate-like results, about the descent of the finite type property of morphisms by universally subtrusive morphisms of finite presentation. Artin-Tate's result may be read as follows and exhibits a solution to the 14th problem of Hilbert.
Proposition 3 (see [5, Lemma 3.14.1]).
Let f:X→Y be a finite and surjective morphism of schemes over a locally Noetherian scheme S. Then X is (locally) of finite type over S if and only if Y is (locally) of finite type.
The affine version of this result is quite easy to establish, once the Eakin-Nagata theorem is known. Let R→A→B be a composite of ring morphisms, such that R→B is of finite type, B is Noetherian, and A→B is injective integral (equivalently, finite), then R→A is of finite type and A is Noetherian. To see this, let {b1,…,bn} be a system of generators of B over R and let C⊆A be the R-algebra generated by the coefficients of unitary polynomials pi(X)∈A[X], such that pi(bi)=0. Then C→B is injective and finite, so that C is Noetherian by the Eakin-Nagata theorem. It follows that C→A is finite and the proof is complete. In passing we note that the Eakin-Nagata theorem is not valid for integral extensions by [6, 2.3]: there exists a non-Noetherian domain R such that RP is Noetherian for every prime ideal P of R and such that there exists an integral extension R↪R′, where R′ is a Noetherian domain.
The results offered are consequences of a result of Rydh about the structure of universally subtrusive morphisms of finite presentation. Among a lot of nice results, Rydh proved the following.
Theorem 4 (see [3, Theorem 3.10]).
Let Y be an affine or Noetherian scheme. Let f:X→Y be a universally subtrusive morphism of finite presentation. Then there is a refinement f′:X′→Y of f and a factorization of f′ into a faithfully flat morphism X′→Y′ of finite presentation followed by a proper surjective morphism Y′→Y of finite presentation. If in addition f is universally open, then one may choose f′ such that X′→X×YY′ is a nil-immersion.
Theorem 4 allows us to reduce our study to proper surjective morphisms. It may be asked whether there is a ring-theoretic version of the preceding result. The answer is no, as the following personal communication of Rydh shows. As a consequence, we cannot reduce the proof to finite morphisms, at least if we wish to use Rydh's above result.
Example 5.
Let Y be the affine plane and let Z→Y be the blow-up in a point y, which is proper. Choose an affine covering X=Z1∐Z2 of Z and let f:X→Y be the natural map. Then f is affine and universally subtrusive but does not admit a refinement of the form f′:X′→Y′→Y where the first map is faithfully flat and the second is finite and surjective. Indeed, let I be the ideal sheaf defining the point y. Since f′ factors as X′→X→Z→Y, the ideal sheaf IOX′ is principal. Since X′→Y′ is faithfully flat, this means that the ideal sheaf IOY′ is principal. But as Y′→Y is finite, the inverse image of y has codimension 2 and we have a contradiction.
Thus even in the ring context, we cannot provide a ring theoretic proof of the main theorem of this paper and have to consider morphisms of schemes.
The following results [2, Proposition 16] were extended to schemes by Rydh in [3, Proposition 2.7, Theorem 2.8].
Proposition 6.
Let V be a valuation ring and f:X→Spec(V) a morphism of schemes. The following statements are equivalent.
fis universally subtrusive.
fis subtrusive.
The pair m≤(0) in Spec(V) lifts to x≤x0 in X.
Any chain of points in Spec(V) lifts to a chain of points in X.
There is a closed subscheme Z⊆X such that f|Z is faithfully flat.
It follows that a universally subtrusive morphism f:X→Y lifts to X chains of points of Y [3, Proposition 2.11], a generalization to schemes of [7, Theorem 3.26]. Actually, the statement of [3, Proposition 2.11] is established for chains that have a lower bound in Y, a superfluous condition. To see this, let Z be a subset of a scheme X such that each pair of elements of Z has a lower bound in Z. Then the closure of Z is irreducible, and whence has a generic element.
Then we have the following valuative criterion.
Theorem 7.
Let f:X→Y be a quasicompact morphism.
f is universally subtrusive (resp., submersive) if and only if, for any valuation ring V and morphism Y′→Y with Y′:=Spec(V), the pull-back f′:X′→Y′ is subtrusive (resp., submersive).
If Y is locally Noetherian, then it is enough to consider discrete valuation rings in (1), and f is universally subtrusive if and only if f is universally submersive.
Corollary 8.
Let f:X→Y be a quasicompact morphism of schemes. Then the following statements are equivalent.
f is universally subtrusive.
For every valuation ring V and diagram of solid arrows
(1)
there is a valuation ring V′ and morphisms such that the diagram becomes commutative and such that the left vertical morphism is surjective.
The above condition (2) is the Nagata’s definition of a strongly submersive morphism [8, 9]. He proved our main theorem for a B-algebra, where B is a Nagata ring (pseudo-geometric for Nagata).
In order to ease reading, we introduce the following definition.
Definition 9.
Let f:X→Y be a morphism of schemes. We say that f descends the property 𝒜 (resp., property 𝒫) if for each morphism g:Y→S, such that g∘f is of finite type (resp., of finite presentation), then g is of finite type (resp., of finite presentation). We say that f belongs to the class 𝔄 (resp., 𝔓) if f descends 𝒜 and is of finite type (resp., descends 𝒫 and is of finite presentation).
Now we give some comments about the terminology used in this paper. In the literature, a morphism of schemes X→S is usually said to descend a property 𝒬 of morphisms of schemes if for each morphism Y→S such that Y×SX→X has 𝒬, then Y→S has 𝒬. In order to avoid confusions in this paper, we say that such a morphism X→S D-descends the property 𝒬 (D for diagram).
Remark 10.
(1) In case g∘f is of finite type and g is either quasiseparated or X is Noetherian, then f is of finite type (see [4, I, Proposition 6.3.4]).
(2) If f descends 𝒫, g∘f is of finite presentation and g is quasiseparated, then f is of finite presentation (see [4, I, Proposition 6.3.8]).
(3) The classes 𝔄 and 𝔓 are stable under right division and composition. In particular, if f:A→B is a ring morphism, A→A/I descends 𝒜 (𝒫) for each ideal I⊆kerf of A if f does.
(4) We examine a converse. Suppose that A/kerf→B descends 𝒜 and that kerf is a nilpotent ideal. Then A→B descends 𝒜 by [10, Lemma 4]. The nilpotent condition on kerf is verified in two cases.
If A→B is of finite presentation, surjective on the spectra and A→A/kerf descends the property 𝒫, then kerf is a nilpotent ideal, because kerf=0 and kerf is an ideal of A of finite type by [4, I, Remarque 6.2.7.2], since A→A/kerf is of finite presentation.
A ring morphism f:A→B is called a strong Nakayama morphism if M⊗AB≠0 for each nonzero A-module M. A strong Nakayama morphism D-descends the finite type and finite properties of ring morphisms [11, Proposition 2.6, page 30]. Morphisms f that D-descend the finite presentation property of ring morphisms are Nakayama morphisms such that kerf is a Noetherian A-module contained in 0, by the two lemmas of [11, page 31] and since A→A/kerf D-descends the finite presentation property.
Suppose that a morphism X→S of schemes universally descends the property 𝒜 and is of finite type, then X→S universally D-descends the property 𝒜. To see this consider the pull-back defined by the maps X→S and Y→S. An example is given by a faithfully flat morphism of finite presentation by Theorem 11.
Some results about immersions and monomorphisms are involved. They will be recalled when needed, especially in Section 2. Section 6 is concerned with topological immersions of schemes, a notion “dual” of submersions. They are considered because immersions of schemes are topological immersions. Moreover, the results we get have their own interest. A morphism of schemes f:X→Y is called a topological immersion if f is injective and if the topology of X coincides with the inverse image topology on X, with respect to f. In case f is quasicompact, the topological immersion property can be characterized with ordered pair of points of X, similarly to the definition of subtrusive morphisms. We also consider topological essentiality, which in the affine case is linked to essential morphisms of rings.
Section 2 deals with faithfully flat morphisms of schemes, of finite presentation, that are known to descend 𝒜 and 𝒫. We derive some results from this case. In particular, we prove our main result for universally subtrusive S-morphisms of schemes X→Spec(V), where V is a valuation domain. In the affine context, the hypothesis that V is a valuation domain can be replaced by V is a Prüfer domain. As an easy consequence of the theorem of generic flatness for a surjective S-morphism of schemes X→Y, where Y is concentrated and reduced, we get that if X→S is of finite type (of finite presentation), there is a dense open subset O of Y, such that O→Y→S is of finite type (of finite presentation). This will be useful in Section 3, where the Noetherian case is studied. We introduce absolutely flat schemes and recall their main properties, in order to get “essentially” Artin-Tate-like results. Absolutely flat schemes are also used in Section 4. For instance, consider ring morphisms S→A→B, where S→B is of finite type and A→B is of finite type and spectrally surjective. Then for each finite type point (Goldman point) P of A (i.e., A→κ(P) is of finite type), S→A→κ(P) is of finite type. In particular, S→A/M is of finite type for each maximal ideal M of A. This is established in the scheme context.
In Section 3, we consider the Noetherian case and exhibit an Artin-Tate-like result. A result established by Onoda is crucial: if R is a Noetherian domain and A an overdomain of R, then the ring morphism R→A is of finite type provided that RP→AP is of finite type for each P∈Spec(A) and there is a nonzero element x of A such that R→Ax is of finite type. The second condition is gotten as a consequence of the Theorem of generic flatness. The local condition is deduced by faithfully flat descent from a result by Hashimoto, when the base ring is excellent.
Section 4 examines properties of universally closed morphisms of schemes. We thank Bjorn Poonen for his kind authorization to reproduce his proof of the following result, electronically published in [12]. A universally closed morphism is quasicompact. A version of the proof also appears in the Stacks Project [13, Lemma 39.9]. Within the category of affine schemes, universally closed morphisms and integral morphisms coincide. Recall that a morphism of schemes f:X→Y is called a Stein morphism if 𝒪Y→f⋆𝒪X is an isomorphism. We give Stein factorization results published in [13] for concentrated universally closed morphisms f:X→S. In that case, there is a factorization X→S′→S, where the first morphism is Stein and the second is integral. We define incomparable morphism of schemes in the same way as in Commutative Algebra. If a universally closed (proper) separated morphism f is incomparable, then f is integral (finite). As a consequence, we give a short proof of a Raynaud's result: if g∘f is integral, f surjective, and g separated, then g is integral.
In Section 5, we introduce pure morphisms of schemes defined and characterized by Mesablishvili, an extension to schemes of pure morphisms of rings. We consider only the quasicompact context, in which case pure morphisms are nothing but universally schematically dominant morphisms of schemes. We show that they are universally subtrusive when concentrated. Moreover, quasicompact universally subtrusive morphisms are shown to be quasicompact morphisms that become pure after each base change with respect to a valuation domain. We also establish a criterion for a flat morphism to be schematically dominant by using the set of all (weak Bourbaki) associated primes of a scheme.
Section 6 is concerned with monomorphisms of schemes and (topological) immersions. We are mainly interested in quasicompact flat monomorphisms. We look at relations with strict monomorphisms and quasiaffine morphisms. For a quasicompact morphism, the topological immersion property is equivalent to some property of pairs of comparable elements of schemes. We define topologically essential and schematically essential morphisms of schemes. We examine their properties linked to topologically minimal continuous maps.
2. Faithfully Flat Morphisms
Considering Theorem 4, we see that faithfully flat morphisms of finite presentation are involved. In this case the main theorem is already known.
Theorem 11 (see [14–17]).
A faithfully flat morphism of schemes of finite presentation descends 𝒜 and 𝒫.
We next derive some consequences of this result. Some authors say that a scheme (resp., a morphism) is concentrated if it is quasicompact and quasiseparated. Let f:X→Y be a morphism of schemes, such that Y is concentrated. Then X is concentrated if and only if f is concentrated (see [4, I, Section 6] for proofs). Noetherian schemes and affine schemes are concentrated. Note that a quasicompact U subset of a concentrated scheme X is such that U→X is quasicompact because X is quasiseparated. Actually, if X is concentrated, U→X is concentrated for each quasicompact open subset U of X, and so is U. For a concentrated morphism of schemes, the finite type (finite presentation) property is equivalent to the locally finite type (locally finite presentation) property by the very definition of these properties.
We need some considerations about monomorphisms of schemes. Note that monomorphisms between affine schemes correspond to epimorphisms of the category of commutative rings.
Proposition 12 (see [18, Proposition 1.1]).
Let f:X→Y be a scheme morphism. The following statements are equivalent.
fis a flat monomorphism.
f is injective and 𝒪Y,f(x)→𝒪X,x is an isomorphism for each x∈X.
Proposition 13.
Properties of monomorphisms are as follows.
A monomorphism is separated because its diagonal morphism is an isomorphism.
in [19, page 100], an immersion is a monomorphism. A quasicompact flat monomorphism f is an isomorphism if and only if f is surjective. A finite monomorphism is a closed immersion.
in [ 14, 15, 16, 17, Proposition 17.9.1], an open immersion f is a flat monomorphism locally of finite presentation. In case f is quasicompact, then f is of finite presentation.
Let X be a scheme and x∈X, then the natural map 𝒪X,x→X is a flat monomorphism with image g(x), the set of all generalizations of x.
The following lemma is useful to reduce proofs to affine schemes.
Lemma 14.
Let X be a concentrated scheme and {U1,…,Un} be an affine open covering of X. Set Z:=∐i=1,…,nUi, the following statements hold.
Each morphism Ui→X is concentrated and a flat monomorphism of finite presentation.
The canonical morphism g:Z→X is concentrated, of finite presentation, faithfully flat and Z is an affine scheme.
Proof.
(1) We can use the above remark on concentrated schemes. We give a direct proof. Each Ui→X is an open immersion, whence a flat monomorphism locally of finite presentation by Proposition 13. Moreover, Ui is proconstructible, whence retrocompact [4, I, Proposition 7.2.3(ix),(v)]. It follows that Ui→X is quasicompact and therefore of finite presentation.
(2) Clearly, g is faithfully flat and of finite presentation by [4, I, Proposition 6.3.11]. Now g is concentrated because of [4, I, Proposition 6.1.15].
Proposition 15.
Let V be a valuation domain, S→V a ring morphism, X a quasiseparated scheme, and f:X→Spec(V) a universally subtrusive morphism of schemes of finite type, such that X→Spec(V)→Spec(S) is of finite type (of finite presentation). Then S→V is of finite type (of finite presentation).
Proof.
In view of [3, Proposition 2.7(vii)], there is a closed subscheme Z of X such that Z→X→Spec(V) is faithfully flat. Then Z→X is of finite type and so is Z→Spec(V). Moreover, a closed immersion is quasicompact and separated, whence Z→X→Spec(V) is concentrated because f is concentrated. Since Z is concentrated, we can suppose that Z is affine by Lemma 14. We are now in position to apply [20, I, Corollaire 3.4.7] which tells us that a flat ring morphism of finite type, whose domain is an integral domain, is of finite presentation. Then Z→Spec(V) is faithfully flat of finite presentation and therefore S→V is of finite type (resp., of finite presentation) by Theorem 11.
In the affine context, we can give a simpler proof. We introduce the following definition.
Definition 16.
A universally injective ring morphism is called pure. A pure ring morphism is universally subtrusive [2, page 535]. A faithfully flat ring morphism is pure.
Results about pure ring morphisms used in this paper come from the work of Olivier [11]. Pure morphisms of schemes are introduced in Section 5.
Proposition 17.
Let A be a Prüfer domain, S→A a ring morphism, and f:A→B a universally subtrusive ring morphism of finite type, such that S→B is of finite type, then so is S→A.
Proof.
Since each AP for P∈Spec(A) is a valuation domain, we get that AP→Bp is pure by [2, Théorème 37(a)] and then A→B is pure. Let K be the quotient field of A and I:=ker(B→B⊗AK) the torsion ideal of f. Then by [11, Corollaire 1.5], A→B/I is pure and flat because A is Prüfer and A→B/I is torsion-free. Therefore, A→B/I is faithfully flat and A→B/I of finite type. It follows from [20, I, Corollaire 3.4.7] that A→B/I is of finite presentation and S→B/I of finite type. Therefore, S→A is of finite type.
The following result is well known. A proof may be found in the Columbia Stack project [13, Proposition 25.2] included in a stronger result.
Proposition 18 (Theorem of generic flatness).
Let f:X→Y be a morphism of schemes of finite type, such that Y is reduced. Then there exists a dense open subscheme U of Y such that XU:=X×YU→U is flat and of finite presentation.
Corollary 19.
Let f:X→Y be an S-morphism of schemes of finite type, surjective, and such that Y is reduced and concentrated. If X→S is of finite type (resp., of finite presentation), there is a nonempty affine open subset O of Y such that O→Y→S is of finite type (resp., of finite presentation).
In case S=Spec(A) and Y=Spec(B) are affine schemes where Y is reduced, one gets that there is some regular element b∈B such that A→Bb is of finite type (resp., of finite presentation), with Bb⊆
Tot
(B).
Proof.
Use the base change U→Y defined in Proposition 18, pick some nonempty affine open subset O⊆U and observe that O→Y is a quasicompact open immersion by Lemma 14, whence of finite presentation and so is XO→X.
In case S=Spec(A) and Y=Spec(B) are affine schemes where Y is reduced in Proposition 18, we see that U=D(I) is such that 0:I=0; that is, I is dense.
We recall that a scheme is called absolutely flat if each of its stalks is a field. Olivier and Hochster proved independently in [21, 22] the existence of a universal absolutely flat scheme Xcons (or T(X)) associated with an arbitrary scheme X, a construction announced by Grothendieck in [4, I, 7.2.14]. Actually, T(X) is the final object of the category of absolutely flat X-schemes. The structural morphism tX:T(X)→X is an affine surjective monomorphism, and the canonical map tX:T(X)→X is a homeomorphism when X is endowed with the constructible topology. In particular for a ring A, there is a ring epimorphism A→T(A) which gives for S=Spec(A), the structural morphism T(S)→S. Since an affine morphism is quasicompact and separated, we see that tX is concentrated for an arbitrary scheme X.
Proposition 20 (see [23, Lemma 8.4, Proposition 8.5]).
Let (X,𝒪X) be a ringed space, such that 𝒪X,x is a field for each x∈X.
𝒪X(X)is absolutely flat.
Xis an affine scheme if and only if X is a concentrated scheme. If the preceding condition is verified, then X is an absolutely flat scheme.
Corollary 21.
Let X be a concentrated scheme, then T(X) is an affine scheme.
Proposition 22 (see [23, Lemme 8.6]).
Let f:X→S be a quasicompact monomorphism of schemes. If S is absolutely flat, then f is a flat closed immersion.
Proposition 23.
Let X→Y→S be scheme morphisms and Y′→Y a scheme morphism of finite type, where Y′ is absolutely flat. If X→Y is surjective and of finite presentation and X→S of finite type, then Y′→Y→S is of finite type.
Proof.
Observe that X×YY′→Y′ is faithfully flat of finite presentation and that X×YY′→S is of finite type.
We intend to apply the above result in order to obtain “almost” Artin-Tate-like results.
Remark 24.
Let A be a reduced G-ring (that is, A→Tot(A) is of finite type or, equivalently Tot(A)=As for some regular s∈A) and suppose that Tot(A) is absolutely flat, then for a composite of ring morphisms which is of finite type S→A→B, with f:A→B of finite presentation and such that fa is surjective, then S→A→Tot(A) is of finite type because Tot(A)→Tot(A)⊗AB is faithfully flat and of finite presentation. In particular, if A is a G-domain, we get that there is some nonzero f∈A such that S→Af is of finite type.
Note that a reduced ring A is such that Tot(A) is absolutely flat if and only if Min(A) is compact (Hausdorff) and A is a McCoy ring; that is, each finitely generated ideal contained in Z(A) has a nonzero annihilator. Such rings are called decent in [24, page 259]. In particular a ring with few zero divisors is decent, like a Noetherian reduced ring.
The above letter G refers to some Goldman property of a ring. We can also define Goldman points of a scheme S. A finite type point s of S is a point such that Spec(κ(s))→Spec(𝒪S,s)→S is of finite type (see [13, Section 15]). In Commutative Algebra, such points are called Goldman points, a terminology we keep. A point s∈S is Goldman if and only if {s} is a locally closed subset of S, that is, of the form {x}¯∩U, where U is an affine open subset. We denote by Gold(X) the set of all Goldman points of X. Observe that Gold(X) is strongly dense in X by [13, Lemma 15.6] and [4, Section 0.2.6]. It contains the set of all closed points and the set of all isolated points, the so-called g-points.
Proposition 25.
Let f:X→S be a surjective morphism of schemes of finite type and g:S→T a morphism of schemes such that g∘f is of finite type (resp., of finite presentation). Let s∈
Gold
(S), then
Spec
(κ(s))→S→T is of finite type (resp., of finite presentation).
Proof.
Similar to the proof of Remark 24.
We can factorize Spec(κ(s))→S as Spec(κ(s))→Spec(𝒪S,s)→S if s∈S, where the first morphism is a closed immersion and the second is a quasicompact flat monomorphism. In case Spec(𝒪S,s) is Artinian and the above hypotheses hold, Spec(𝒪S,s)→S→T is of finite type, by [13, Lemma 15.2].
Corollary 26.
Let f:X→Spec(B) be a surjective morphism of schemes of finite type and φ:A→B a ring morphism, such that X→Spec(A) is of finite type (resp., of finite presentation). Then A→B→B/M is of finite type (resp., of finite presentation) for each maximal ideal M of B.
In view of [13, Lemma 15.2], if A→B→B/M is of finite type and (B,M) is Artinian local, then A→B is of finite type.
Remark 27.
Note that if S is a subring of A and S[X1,…,Xn]=A[X1,…,Xn], then S→A is of finite presentation because A→A[X1,…,Xn] is faithfully flat of finite presentation. This is an application to the nonunicity of the coefficient ring of a polynomial ring.
3. The Noetherian Context
We will prove an Artin-Tate-like result under Noetherian hypotheses. We need a result proved by Onoda [25, Lemma 2.14, Theorem 2.20] in a more general setting.
Theorem 28.
Let R be a Noetherian domain and A an overdomain of R such that Ax is finitely generated over R for some nonzero x∈A. Then the following statements hold.
If S is a multiplicative subset of R such that RS→AS verifies 𝒜, then there is some s∈S such that R→As verifies 𝒜.
R→A verifies 𝒜 if and only if RM→AM verifies 𝒜 for each maximal ideal (resp., prime ideal ) M of R.
Corollary 29.
Let R be a Noetherian domain and A an R-subalgebra of a finitely generated overdomain of R. Then the statements (1) and (2) of Theorem 28 hold.
Proof.
In view of [26, Proposition 2.1(b)], there is some f∈A such that R→Bf is of finite type.
Another results proved by Fogarty will be useful [27, page 169]. They are developed by Alper in unpublished notes [28, Lemma 3.1].
Lemma 30.
Let A→B be a ring morphism between Noetherian rings.
B is finitely generated over A if and only if Bred is finitely generated over A.
Let Spec(B)=∪iSpecBi be the irreducible decomposition. Then B is finitely generated over A if and only if each Bi is finitely generated over A.
Next result is decisive.
Proposition 31 (see [29, Theorem 4.2]).
Let S be an excellent ring, and f:X→Y a surjective proper morphism of S-schemes. If X is of finite type over S and Y is a Noetherian affine scheme, then Y is of finite type over S.
It deserves to be compared with the following Alper's result.
Proposition 32 (see [28, Proposition 1.3]).
Let R be an excellent ring and f:X→Y a morphism of R-schemes. Suppose the following:
fis surjective.
Xis of finite type over R.
Each irreducible component of X dominates Y.
Y is normal and Noetherian.
Then Y is of finite type over R.
We recall the following descent result by base changes.
Proposition 33 (see [11, Proposition 5.3, page 22]).
Let f:A→B be a ring morphism. Then f is pure if and only if f universally D-descends the property 𝒫.
Corollary 34.
Let S be a Noetherian ring and f:X→Y a surjective proper morphism of S-schemes, where Y:=Spec(R) is an affine Noetherian scheme. If X is of finite type over S, so is SP→RP for each prime ideal P of S.
Proof.
For each P∈Spec(S), consider the base change S→SP→SP^, where SP^ is the PSP-adic completion of the local ring SP and is excellent. It follows by Proposition 31 and the descent of the finite type property by the faithfully flat morphism SP→SP^ that SP→RP is of finite type.
We can now state the main result of the section.
Theorem 35.
Let f:X→Y be a universally subtrusive morphism of S-schemes and suppose that Y and S are Noetherian. If X→S is of finite type, so is Y→S.
Proof.
First observe that X→Y is of finite presentation because of finite type and Y is Noetherian [4, I, 6.3]. In view of [3, Theorem 3.10] there is a morphism of schemes X′→X such that f′:X′→Y can be factored into a faithfully flat morphism of finite presentation X′→Y′ followed by a proper surjective morphism Y′→Y. Clearly, X′→S is of finite type and by Theorem 11, Y′→S is of finite type. Therefore, we can assume that X→Y is a proper surjective morphism. We can also assume that S:=Spec(R) and Y:=Spec(B) are affine schemes with a ring morphism φ:R→B. Using the base changes B→Bred and B→B/M for each minimal prime ideal M of B for X→Y, we can assume that B is integral by [27, page 169] or by Lemma 30(2). Furthermore, we can suppose that R is integral by changing R with R/kerφ because X→Y→Spec(R/kerφ) is of finite type. The proof is completed by combining Theorem 28, Corollaries 29 and 19.
Remark 36.
Let f:A→B be a finite ring morphism of S-algebras such that the canonical map Spec(B)→Spec(A) is surjective and suppose that S→B verifies 𝒜. In view of [30, Corollary 1] there is some affine S-subalgebra A′ of A, such that A′→B is a finite morphism and the module generators of B over A and A′ are the same. To see this it is enough to reduce the proof to an injective ring morphism A→B.
Remark 37.
Some known results are not a consequence of Theorem 35 and Proposition 17. They concern the so-called strongly affine pairs of rings A⊆B (such that A is a subring of B and such that each A-subalgebra of B is of finite type). For instance, if A is a field and B=A[x] an A-algebra with a single generator, A⊆B is a strongly affine pair [31]. The reader will find much more examples in a paper by Papick [32]. Note also that in case A⊆C is a pair of rings sharing an ideal I, then an A-subalgebra B of C is of finite type if and only if so is A/I→B/I.
4. Universally Closed Morphisms
In this section, we give a survey about new results on universally closed morphisms and add some commentaries.
We thank Bjorn Poonen for his kind authorization to reproduce his proof of the next result, published electronically in [12]. A version of the solution appears also in the Stacks Project [13, Lemma 21.39.9].
Theorem 38.
A universally closed morphism of schemes f:X→S is quasicompact. If, in addition, f is also surjective, then it is universally subtrusive.
Proof.
Without loss of generality, we may assume that S=Spec(A) for some ring A and that f is surjective. Suppose that f is not quasicompact. We need to show that f is not universally closed.
Write X=∪i∈IXi where the Xi are affine open subschemes of X. Let T:=Spec(A[{ti:i∈I}]), where the ti are distinct indeterminates. Let Ti:=D(ti)⊆T. Let Z be the closed set (X×ST)∖∪i∈I(Xi×STi). It suffices to prove that the image fT(Z) of Z under fT:X×ST→T is not closed. There exists a point P∈Spec(A) such that there is no neighborhood U of P in S such that XU is quasicompact, since otherwise we could cover S with finitely many such U and prove that X itself was quasicompact. Fix such P, and let k be its residue field. First we check that fT(Zk)≠Tk. Let τ∈T(k) be the point such that ti(τ)=1 for all i. Then τ∈Ti for all i, and the fiber of Zk→Tk above τ is isomorphic to (X∖∪i∈IXi)k, which is empty. Thus, τ∈Tk∖fT(Zk). If fT(Z) were closed in T, there would exist a polynomial g∈A[{ti:i∈I}] vanishing on fT(Z) but not at τ. Since g(τ)≠0, some coefficient of g would have nonzero image in k, and hence be invertible on some neighborhood U of P. Let J be the finite set of j∈I such that tj appears in g. Since XU is not quasicompact, we may choose a point x∈X∖∪j∈JXj lying above some u∈U. Since g has a coefficient that is invertible on U, we can find a point Q∈T lying above u such that g(Q)≠0 and ti(Q)=0 for all i∉J. Then Q∉Ti for each i∉J. A point z of X×ST mapping to x∈X and to Q∈T then belongs to Z. But g(fT(z))=g(Q)≠0, so this contradicts the fact that g vanishes on fT(Z).
If f is surjective and universally closed, then f is universally subtrusive by the first part of the proof and Example 2.
Rydh observed in the same item of [12] that Bjorn Poonen's argument can be somewhat simplified by using the simple (topological) fact that a closed morphism with quasicompact fibers is quasicompact (this is implicit in his argument). In the above proof we can thus assume that S is a point and that X is not quasicompact. Another comment by Rydh is Proposition 41(1), which shows that a separated and universally closed morphism is “almost proper.” We will need the following results.
Let f:X→S be a concentrated morphism, so that f⋆𝒪X is a quasicoherent 𝒪S-algebra. We consider below its relative spectrum Spec_S(f*𝒪X) over S (see [4, I, Section 9]).
Proposition 39 (Stein Factorization [33, Lemmas 29.1 and 29.5]).
Let S be a scheme. Let f:X→S be a universally closed (whence quasicompact) and quasiseparated morphism of schemes. There exists a factorization π∘f′ of f where π:S′→S and f′:X→S′ with the following properties:
the morphism f′ is universally closed, quasicompact, quasiseparated, and surjective,
the morphism π:S′→S is integral whence affine,
one has f*′𝒪X=𝒪S′; that is, f′ is a Stein morphism,
one has S′=Spec_S(f*𝒪X),
S′ is the normalization of S in X,
if X→S is locally of finite type, then S′→S is finite.
In case f is proper then f′ is proper with geometrically connected fibers.
The following result generalizes [34, Proposition 3.18].
Corollary 40.
Let f:X→S be a universally closed and quasiseparated morphism of schemes, where S=Spec(A) is an affine scheme. Then φ:A→𝒪X(X) is an integral ring morphism.
Proof.
By the above proposition, f can be factored π∘f′, where π is integral and f′ is a Stein morphism. In view of [35, Proposition 6.1.4], A→𝒪S′(S′) is integral and then the proof is complete since 𝒪X(X)=𝒪S′(S′).
Proposition 41.
Let f:X→S be a separated and universally closed morphism of schemes. Let Y:=Xs be the fiber of f for some s∈S, R:=𝒪Y(Y) and φ:Y→Spec(R) the canonical morphism.
Y has finite dimension.
R is integral over κ(s), whence is zero-dimensional.
Y is concentrated and the canonical map Rf→𝒪Y(Yf) is an isomorphism, where each φ-1(D(f))=Yf for f∈R is open and closed.
Proof.
(1) It is enough to use [36, Corollary 8.4] because a closed immersion is finite and the diagonal of f is a closed immersion.
(2) Use Corollary 40.
(3) By [4, Corollaire 6.1.10], Y is quasiseparated. The proof of the isomorphism is [37, Lemma 14.2]. Now the reduced ring of R is absolutely flat so that each element of Rred is of the form eu where e is an idempotent and u is a unit. It follows that Xf is open and closed because so is D(e) in Spec(Rred).
We have defined a preorder ≤ on the underlying set of a scheme X by x≤x′⇔x∈{x′}¯. A morphism of schemes f:X→Y is called incomparable if for any pair x≤x′ of elements of X, then f(x)=f(x′)⇒x=x′, or equivalently, each of the points of Xy is maximal for each y∈Y; that is, each fiber is zero-dimensional. Clearly, an integral morphism of schemes is incomparable and so is an injective morphism. A composite of incomparable morphisms is incomparable. If g∘f is incomparable and f is subtrusive, then g is incomparable. Note that the morphism g of Lemma 14 is incomparable.
Olivier defined absolutely flat morphisms as flat morphisms, whose diagonal morphisms are flat [38]. We may find in [19, (1.4)] that a morphism of schemes Z→S, where S is the spectrum of a field k, is absolutely flat if and only if Lz:=𝒪Z,z is a field and k→Lz is a separable algebraic extension for each z∈Z. In this case, Z is an absolutely flat scheme. It follows that an absolutely flat morphism of schemes is universally incomparable. Recall that a morphism is étale if and only if it is absolutely flat and locally of finite presentation.
Proposition 42 (see [39, Corollary 12.90, page 359]).
Let f:X→Y be a proper morphism of schemes and let V be the set of y∈Y such that f-1(y) is a finite set. Then V is open in Y and the restriction f-1(V)→V of f is a finite morphism.
Corollary 43.
A proper, incomparable, and surjective morphism of schemes f:X→Y is finite.
Proof.
Let y be a point of Y. Then Xy:=f-1(y) is nonempty, quasicompact, and Noetherian and each of its points is closed. By [4, I, Proposition 2.8.1] Xy is finite. It follows that V=Y.
The equivalence (1) ⇔ (2) in the following theorem is an answer by Rydh to a question of Grothendieck [14–17].
Theorem 44.
Let f:X→Y be a separated morphism of schemes. The following statements are equivalent:
f is integral,
f is universally closed and has affine fibers [36, Theorem 8.5],
f is universally closed and incomparable.
Proof.
(1) ⇔ (3). Clearly an integral morphism verifies (3). Let f:X→Y be a separated, universally closed, and incomparable morphism. Let F be a fiber, then F is quasicompact because f is quasicompact in view of Theorem 38. It follows that F is concentrated. As in the preceding corollary, each point of F is closed. Set G:=Fred and let x be a point of G, then Gx is a zero-dimensional reduced local ring, whence a field. By Proposition 20, G is an affine scheme. Now F is also an affine scheme by [36, Corollary 8.2]. The conclusion is a consequence of (1) ⇔ (2).
We recover the result: if X→Y is universally closed and injective, then X→Y is integral [14–17], because such a morphism is affine, whence separated.
Consider two morphisms of schemes f:X→Y, g:Y→S, such that g∘f is universally closed and f is surjective. Then g is clearly universally closed. Moreover, if g is separated, it is well known that f is universally closed, whence quasicompact. We deduce from these observations the following result of Raynaud, obtained after a long proof [18, Lemme 3.2].
Proposition 45.
Let f:X→Y, g:Y→S be morphisms of schemes, such that g∘f is integral, f is surjective, and g is separated. Then g is integral.
Proof.
Use Theorem 44(1) ⇔ (3) and the fact that f is quasicompact and then universally subtrusive.
Replace the integral hypothesis on g∘f with g∘f is finite in the setting of the above proposition and suppose in addition that Y and S are Noetherian. As the integral and the finite type properties are equivalent to the finite property, we see that g is finite by Theorem 35.
We end with descent results.
Proposition 46.
Let f:X→Y be a universally closed surjective morphism of S-schemes. If X/S is quasiseparated (separated), then so is Y/S.
Proof.
The morphism f×Sf is universally closed by [4, I, Proposition 3.8.2], whence quasicompact. From the equation (f×Sf)∘ΔX/S=ΔY/S∘f, where the ΔX/S and ΔY/S are the diagonal morphisms of X/S and Y/S, we deduce easily that the quasicompactness of ΔX/S implies the quasicompactness of ΔY/S because f is surjective. So the quasiseparated case is proved. The proof of the separated case is similar, since X/S is separated if and only if ΔX/S is closed.
Note that the quasiseparated case needs only that f be surjective and quasicompact.
Corollary 47.
A universally closed morphism f:X→Y is concentrated if Y is quasiseparated.
Proof.
Use [4, I, Corollaire 6.1.10].
5. Pure Morphisms
Hashimoto proved the following result [40, Theorem 1] on pure ring morphisms, that is, universally injective ring morphisms. This result is also a consequence of Theorem 35.
Proposition 48.
Let S be a Noetherian ring, then a pure morphism A→B of S-algebras and of finite (presentation) type descends the property 𝒜 of S-algebras.
Proof.
We note here that B is Noetherian and so is A because I=IB∩A for each ideal I of A. It follows that all the involved algebras are of finite presentation.
We are thus led to consider a class of scheme morphisms introduced by Mesablishvili, that is, a generalization to schemes of the class of pure ring morphisms [41, 42]. We refer the reader to [41, 42] for a definition of arbitrary pure morphisms of schemes. We will only consider quasicompact morphisms.
Schematically dominant morphisms of schemes f:X→Y are involved. They are defined by 𝒪Y→f⋆𝒪X is injective [4, I, Section 5.4] and generalize the injective property of ring morphisms. A Stein morphism f:X→Y (such that 𝒪Y→f⋆𝒪X is an isomorphism) is schematically dominant.
Let f:X→S be a concentrated morphism (quasicompact and quasiseparated). For such a morphism, it is well known that 𝒪S→f⋆𝒪X defines a quasicoherent algebra. In view of [4, I, 9.1.21], there is an S-morphism of schemes iX:X→Xo, where Xo:=Spec(f⋆𝒪X) is the relative spectrum of f and Xo→S is an affine morphism. We can add that iX is Stein, whence schematically dominant.
A schematically dominant morphism is dominant. If Y is reduced, then f is schematically dominant if and only if f is dominant [4, I, Proposition 5.4.3]. The main problem is that the schematically dominant property does not need to be universal. Actually, universally dominant morphisms define pure morphisms, at least for quasicompact morphisms.
Recall that a morphism of schemes is a regular epimorphism if f is a co-equalizer for the projections p1,p2:X×YX→X.
Proposition 49.
Let f:X→S be a quasicompact morphism of schemes. The following statements are equivalent:
f:X→S is pure;
there is an open affine covering (Ui)i∈I of S such that 𝒪S(Ui)→𝒪X(f-1(Ui)) is a pure ring morphism for each i;
fis universally schematically dominant;
fis universally a regular epimorphism.
Proof.
We first show that (1) is equivalent to (2). A first step is done by considering [41, Proposition 3.12], which tells us that an arbitrary f is pure if and only if there is an affine open cover (Ui)i∈I of S such that f-1(Ui)→Ui is pure. As f is quasicompact, so are each f-1(Ui)→Ui and then the result is a consequence of [41, Theorem 5.12 (xi) ⇔ (xii)]. The rest is [42, Theorem 6.5].
We observe that a composite of quasicompact pure morphisms is pure by Proposition 49(3). If a composite g∘f of quasicompact morphisms of schemes is pure, so is g [42, Corollary 6.2, Theorem 6.5]. A quasicompact faithfully flat morphism of schemes is pure [41, Remark 3.13]. A quasicompact pure morphism of schemes f:X→S is surjective. To see this, use a base change κ(s)→S for s∈S and Proposition 49(3).
The following result extends to schemes [2, Théorème 37] and add a result to Example 2.
Theorem 50.
A quasicompact f:X→Y morphism of schemes is universally subtrusive if and only if X×YSpec(V)→Spec(V) is a pure morphism of schemes, for each morphism of schemes Spec(V)→Y, where V is a valuation domain. In particular, a quasicompact pure morphism of schemes is universally subtrusive.
Proof.
Assume that f is universally subtrusive. By Corollary 8, for each morphism Spec(V)→Y, where V is a valuation domain, there is a surjective affine morphism of schemes g:Spec(V′)→Spec(V) inducing f, where V′ is a valuation domain. We deduce from [2, Proposition 16((1) ⇔ (3))] that g:Spec(V′)→Spec(V) is pure and so is X×YSpec(V)→Spec(V) that factorizes g.
The converse is clear.
We give some examples of descent of the property 𝒜, by special pure morphisms that do not involve Noetherian properties
Example 51.
(1) We proved that if the S-algebra A is a retract of the S-algebra B then A→B descends 𝒫 [43, Lemma 2.3]. Note that in that case A→B is a pure ring morphism.
(2) Let f:A→B be a pure finite morphism of finite presentation. Then A→B descends 𝒜. To prove this, first observe that the trace ideal TA(B) of the A-module B is A by [44, Lemme 5.5]. Then it is enough to apply [30, Corollary 2].
In particular, if A is a normal ring containing ℚ, then a finite morphism A→B of finite presentation descends 𝒜 by [44, Proposition 5.7]. The same result is valid if either A is Prüfer or A is an integrally closed domain [44, (2), (3) page 307].
(3) Let f:S→S′ be a pure ring morphism and f:A→B a morphism of S-algebras. Then f descends 𝒜, (𝒫) if f⊗SS′ descends 𝒜, (𝒫). The proof is a consequence of [11, Chapitre I, Proposition 5.3] and a remark of [11, page 22].
(4) Let A→B be a universally subtrusive ring morphism, where A is a quasi-Prüfer domain; that is, its integral closure A′ is Prüfer. By using Theorem 50, we get that A′→B⊗AA′ is pure and then a composite A→A′→B⊗AA′ of A→B→B⊗AA′, where the first morphism is integral injective and the second is pure. This result is similar to Theorem 4.
We conclude this section by a criterion for a flat morphism of schemes to be schematically dominant, as suggested in [45, Chapter II, Remarques 3.4]. It generalizes the fact that a quasicompact faithfully flat morphism is schematically dominant. We say that a point x of a scheme X is associated with X if the maximal ideal 𝔪x of 𝒪X,x is the radical of some annihilator 0:a, where a∈𝒪X,x. This means that 𝔪x is a weak Bourbaki associated prime ideal of 𝒪X,x (see for instance, [45, Chapter II]), or equivalently, 𝒪X,x is an auto-associated quasi-local ring. We denote by Ass(X) the set of all associated elements of X.
Proposition 52.
Let f:X→Y be a flat morphism of schemes. Then f is schematically dominant if
Ass
(Y)⊆f(X). The converse holds if in addition f is concentrated.
Proof.
Clearly, if U is an open subscheme of X, then Ass(U)=U∩Ass(X). As the ring morphism ℱ(U)→∏x∈Uℱx is injective for every open subset U of a space X and sheaf ℱ on X, we claim that 𝒪X(U)→∏x∈Ass(U)𝒪X,x is injective. Indeed, for an A-module M over a ring A, we have that M→∏P∈Ass(M)MP is injective. It follows then that a flat morphism of schemes f:X→Y is schematically dominant if Ass(Y)⊆f(X), because 𝒪Y,f(x)→𝒪X,x is faithfully flat.
We prove the converse when f is concentrated. For y∈Ass(Y), consider the flat base change Z:=Spec(𝒪Y,y)→Y. Then Z×YX→Z is concentrated, flat, and schematically dense. We thus can assume that X and Y are affine by using Lemma 14, in which case the result follows from [45, Chapter II, Proposition 3.3].
We end by recalling a result of Rydh, which is similar to Proposition 49. Note also that schematically dominant morphisms of S-schemes are epimorphisms in the subcategory of separated S-schemes, with a converse for concentrated morphisms (see [4, I, 5.4.6]).
Proposition 53 (see [3, Proposition 7.2]).
Let f:X→Y be a schematically dominant universally submersive morphism of schemes. Then f is an epimorphism in the category of schemes.
It follows that a universally submersive morphism f:X→Y, with Y reduced is an epimorphism by [4, I, Proposition 5.4.3].
6. Monomorphisms of Schemes
The Nagata compactification theorem for schemes says that if S is a concentrated scheme (e.g., any Noetherian scheme) and if f:X→S is a separated morphism of finite type of schemes, then f fits into a factorization f=f¯∘j, where j:X→X¯ is an open immersion and f¯ is proper (see [46]). Then X¯ is called an S-compactification of X. Hence, surjective morphisms as above can be factored into an open immersion followed by a universally subtrusive morphism. This justifies that we look at immersions and monomorphisms beyond the fact that they are involved in proofs.
Recall the following result on monomorphisms, bearing in mind that a morphism of affine schemes is a monomorphism of schemes if and only if its associated ring morphism is an epimorphism of the category of rings. The case of a flat monomorphism is [18, Proposition 1.1].
Lemma 54.
Let f:X→Y be a morphism of schemes. Then f is a monomorphism of schemes (resp., a flat monomorphism) if and only if f is injective and the ring morphism 𝒪Y,f(x)→𝒪X,x is a ring epimorphism (resp., isomorphism) for each x∈X.
Let f:X→Y be a morphism of schemes and denote by Λf the class of all pairs of morphisms u1,u2:Y→Z equalizing f. Then f is called a strict monomorphism if any morphism g:T→X such that Λf⊆Λg can be uniquely factored g=f∘g′. Note that the monomorphism property and the strict monomorphism property are universal.
For instance, let j:U→X be an open immersion of schemes X, then j is a strict monomorphism; actually j is an equalizer (a kernel) of the double arrow X→X∪UX, where X∪UX is the standard gluing of X and X along U [47, Example 3.1].
Olivier calls immersive a morphism of schemes which is a composite of strict monomorphisms [48]. We have the following results.
Proposition 55 (see [48, Lemme, page 2, Lemme, page 4]).
Let f:X→Y be a morphism of schemes.
If f is a quasicompact flat monomorphism of schemes, then f is a strict monomorphism, which is quasi-finite and of finite presentation.
If Y is (affine) quasi-local with closed point y such that f-1(y)≠∅, then the following statements are equivalent:
fis immersive;
fis affine and 𝒪Y(Y)→𝒪X(X) is surjective;
fis a strict monomorphism of schemes.
Lemma 56 (see [45, Lemme 1.6]).
Let g:Z→Y and f:Y→X be two morphisms of schemes such that f is separated, f∘g is a quasicompact flat monomorphism of schemes and g is schematically dominant, then g is a quasicompact flat monomorphism.
Definition 57.
Let φ:A→B be a ring morphism. Then φ is called essential if one of the following equivalent conditions is verified.
For each b≠0 in B, there is some b′∈B such that bb′=f(a) with a∈A∖{0}.
f-1(J)=0⇒J=0, for each ideal J of B.
For each ring morphism B→C such that A→C is injective, then B→C is injective.
An injective integral ring morphism whose target is an integral domain is essential. A flat epimorphism is essential by [45, IV, Proposition 2.1].
Definition 58.
Let f:X→Y be a morphism of schemes. We say the following.
f is topologically essential if for each nonempty open subset U of X, there is an open subset V of Y such that ∅≠f-1(V)⊆U.
f is a topological immersion if f is injective and if the inverse image topology on X with respect to f coincide with the topology of X, or equivalently, f defines a homeomorphism X→f(X).
Clearly, a topological immersion is topologically essential. We also note that the notion of topological immersion is dual to the notion of submersive morphism.
Proposition 59.
Let f:X→Y be a morphism of schemes. The following statements are equivalent.
fis a topological immersion.
fis injective and f-1(f(Z¯)¯)=Z¯ for each subset Z of X.
If, in addition, f is quasicompact, then (1) is equivalent to
if x,x′∈X, then f(x)≤f(x′)⇒x≤x′.
If f is a topological immersion then 𝒪Y,f(x)→(f⋆𝒪X)f(x) identifies to 𝒪Y,f(x)→𝒪X,x for each x∈X.
Proof.
It is enough to rework the proof of [7, Proposition 3.20], taking into account that f(F) is proconstructible whenever F is a proconstructible subset of X and f is quasicompact. The end of the proof follows from [4, 0, 3.4.5].
An immersion of schemes f:X→Y is a topological immersion by [4, Section I, 4.2], with f(X) locally closed, open, or closed according to whether f is an immersion, an open immersion, or a closed immersion. A quasicompact flat monomorphism is also a topological immersion by [3, Proposition 1.2].
Remark 60.
Let f:Spec(B)→Spec(A) be a morphism of affine schemes, corresponding to a ring morphism φ:A→B.
Then f is topologically essential if and only if for each b∈B∖Nil(B), there is some element a∈A∖φ-1(Nil(B)) such that f(a)∈Bb. Assume that f is topologically essential, then so is fred and we see that Ared→Bred is essential. The converse holds if f is dominant.
in [2, Proposition 20, page 545], φ is called universally essential if and only if φ can be factored e∘s, where e is a flat epimorphism and s is surjective, or also if and only if AP→BP is surjective for each P∈Spec(A), such that f-1(P)≠∅, or also, if and only if f is immersive.
A continuous map of topological spaces f:X→Y is called minimal if f(F)⊂f(X) for each closed subset F⊂X. This definition is a weakening of injectiveness.
Proposition 61.
Let f:X→Y be a dominant morphism of schemes.
If fis topologically essential, then f is a minimal map.
If fis closed and minimal, then f is topologically essential.
Proof.
We show (1). Let F be a closed subset of X, with F≠X. Then O:=X∖F is a nonempty open subset. Since f is topologically essential, let V be an open subset of Y such that ∅≠f-1(V)⊆O. We get that V∩f(F)=∅ with V≠∅, so that f(F)¯⊂Y. This shows that f is minimal. Next we prove (2). Let O≠∅ be an open subset of X, then F:=X∖O is a closed subset that we can suppose different from X. It follows that f(F) is a closed subset of Y, different from Y. There exists an open subset V≠∅ of Y such that V∩f(F)=∅, so that f-1(V)⊂O. As f is surjective, V=f(f-1(V)) shows that f-1(V)≠∅.
If f∘g is schematically dominant, then f is clearly schematically dominant. We define a schematically essential morphism of schemes as a morphism of schemes f:Y→S such that for each morphism of schemes g:X→Y with f∘g schematically dominant, then g is schematically dominant. Recall that a morphism f:X→Y is dominant if maximal points of Y can be lifted up to X. The converse holds if f is quasicompact.
Proposition 62.
Let f:Y→S be a quasicompact morphism of reduced schemes which is a topological immersion, then f is schematically essential.
Proof.
We can replace the schematically dominant hypothesis by dominant. Then the result follows from Proposition 59(3). To see this, consider a morphism of schemes X→Y, such that f∘g is dominant. Let y∈Y be a maximal point and let s∈S be a maximal point such that f(y)≤s. There is some x∈X such that f(g(x))=s, so that f(y)≤f(g(x)). Since f is a topological immersion, we get that y≤g(x) and finally, y=g(x).
We address the following question. Is the reduced hypothesis necessary in the above proposition? By the way, we have the following result.
Proposition 63.
A quasicompact flat monomorphism f:Y→S is schematically essential on concentrated flat morphism and on closed immersions.
Proof.
First observe that under the hypotheses on f, the quasi-local ring A:=𝒪S,f(y) is auto-associated if B:=𝒪Y,y is auto-associated. Indeed, by Lemma 54, A and B are isomorphic. To conclude, use the fact that a flat concentrated morphism h:Z→S is schematically dominant if and only if Ass(S)⊆h(Z) by Proposition 52. The case of closed immersions is [19, Lemme 1.5].
We suspect that the above proposition has a more general version because flat epimorphisms of rings are essential on concentrated morphisms. To see this, suppose that X→Y→S is schematically dominant, with g:X→Y concentrated and f:Y→S a flat monomorphism of affine schemes. We can reduce to the affine case by using a Stein factorization X→X′→Y of f, with X′→Y affine. In that case the result holds [45, IV, Proposition 2.1].
We end by some considerations on quasiaffine schemes. A scheme is called quasiaffine if it is isomorphic to a quasicompact open subscheme of an affine scheme. A morphism f:X→Y is called quasiaffine if there exists a covering of Y by affine open subsets Uα such that f-1(Uα) is quasiaffine [35, Section 5]. If X is a concentrated scheme with ring of global sections A, then X is quasiaffine if and only if X→Spec(A) is an open immersion. In that case, X→Spec(A) is dominant and quasicompact, whence a flat monomorphism of finite presentation.
The following may be useful.
Remark 64.
Let f:X→Y be a morphism between quasiaffine schemes and set B:=𝒪X(X), A:=𝒪Y(Y). Then f is of finite type if A→B is a ring morphism of finite type. Indeed, consider the commutative diagram:
(2)
We observe that X→Spec(B) is of finite type, Y→Spec(A) is quasiseparated, and B→A is of finite type. Then X→Y is of finite type. To see this, consider the composite X→Y×BA→Y in the above diagram.
We intend to apply the following result [14–17].
Theorem 65.
Let f:X→Y be a morphism of schemes locally of finite presentation. If f is quasi-finite and separated, then f is quasiaffine. In particular, a quasicompact flat monomorphism is quasiaffine.
Proposition 66.
Let f:X→Y be a morphism of schemes.
If f is a monomorphism of finite presentation, then f is quasiaffine.
If f is a morphism of S-schemes where Y is locally of finite type over S and quasiseparated, then the graph morphism Γf:X→X×SY is a quasiaffine monomorphism.
If f is locally of finite type and quasiseparated, then the diagonal morphism Δf:X→X×YX is quasiaffine.
Proof.
(1) It is enough to observe that a monomorphism is separated and use the above result.
(2)Γf is a monomorphism since it factors 1X. Then pX:X×SY→X is locally of finite type and quasiseparated. In view of [4, Proposition 1.6.3.8(v)], we get that Γf is of finite presentation because 1X=pX∘Γf. Hence, Γf is a quasiaffine monomorphism by (1). And (3) follows from (2).
VoevodskyV.Homology of schemes19962111115310.1007/BF01587941MR1403354ZBL0871.14016PicavetG.Submersion et descente1986103252759110.1016/0021-8693(86)90152-3MR864429ZBL0626.14014RydhD.Submersions and effective descent of étale morphisms20101382181230MR2679038ZBL1215.14004GrothendieckA.19711662ndSpringerDie Grundlehren der Mathematischen WissenschaftenKollárJ.Quotient spaces modulo algebraic groups19971451337910.2307/2951823MR1432036ZBL0881.14017HeinzerW.OhmJ.Locally Noetherian commutative rings1971158273284MR028047210.1090/S0002-9947-1971-0280472-2ZBL0223.13017DobbsD. E.FontanaM.PicavetG.Generalized going-down homomorphisms of commutative rings2003231New York, NY, USADekker143163Lecture Notes in Pure and Applied MathematicsMR2029824ZBL1069.13007NagataM.A theorem on finite generation of a ring196627193205MR0194460ZBL0139.26503NagataM.OtsukaK.Some remarks on the 14th problem of Hilbert1965516166MR0190176ZBL0152.02901ConstantinescuA.Schemes dominated by algebraic varieties and some classes of scheme morphisms. I2008163751MR2445938OlivierJ. P.Descente de quelques propriétés élémentaires par morphismes purs1973451733MR0335495ZBL0275.13009http://mathoverflow.net/questions/23337/is-a-universally-closed-morphism-of-schemes-quasi-compactChapter: Morphisms of schemes, http://stacks.math.columbia.eduGrothendieckA.Éléments de géométrie algébrique. IV. Étude locale des schémas et des morphismes de schémas. I196420MR0173675GrothendieckA.Éléments de géométrie algébrique. IV. Étude locale des schémas et des morphismes de schémas. II196524MR0199181ZBL0135.39701GrothendieckA.Éléments de géométrie algébrique. IV. Étude locale des schémas et des morphismes de schémas. III196628MR0217086ZBL0144.19904GrothendieckA.Éléments de géométrie algébrique. IV. Étude locale des schémas et des morphismes de schémas IV196732MR0238860ZBL0153.22301RaynaudM.Un critère d'effectivité de descente1968exposé no 5Secrétariat MathématiqueFerrandD.Monomorphismes et morphismes absolument plats197210097128MR0318138ZBL0241.14001RaynaudM.GrusonL.Critères de platitude et de projectivité197113189MR030810410.1007/BF01390094ZBL0227.14010OlivierJ. P.Anneaux absolument plats universels et épimorphismes à buts réduits1968exposé no 6Secrétariat MathématiqueHochsterM.Prime ideal structure in commutative rings19691424360MR025102610.1090/S0002-9947-1969-0251026-XZBL0184.29401FerrandD.Conducteur, descente et pincement20031314553585MR2044495ZBL1058.14003PicavetG.Seminormal or t-closed schemes and Rees rings19981325530910.1023/A:1009921701627MR1683262OnodaN.Subrings of finitely generated rings over a pseudogeometric ring19841012953MR884429GiralJ. M.Krull dimension, transcendence degree and subalgebras of finitely generated algebras198136430531210.1007/BF01223706MR623141ZBL0457.13008FogartyJ.Geometric quotients are algebraic schemes198348216617110.1016/0001-8708(83)90086-5MR700982ZBL0556.14023AlperJ.Fogarthy's proof of the finite generation of certain subringsExpository paper, http://maths-people.anu.edu.au/~alperj/HashimotoM.‘Geometric quotients are algebraic schemes’ based on Fogarty's idea2003434807814MR2030799ZBL1129.14066LorenzM.On affine algebras19861197Berlin, GermanySpringer121126Lecture Notes in Mathematics10.1007/BFb0076319MR859390ZBL0601.16013GaleD.Subalgebras of an algebra with a single generator are finitely generated19578929930MR009127310.1090/S0002-9939-1957-0091273-0ZBL0080.25804PapickI. J.Affine pairs2004236New York, NY, USADekker437448Lecture Notes in Pure and Applied MathematicsMR2050731ZBL1093.13504Chapter: More on morphisms, http://stacks.math.columbia.eduLiuQ.20026Oxford, UKOxford Science Publications, Oxford University PressOxford Graduate Texts in MathematicsMR1917232GrothendieckA.Éléments de géométrie algébrique. II. Étude globale élémentaire de quelques classes de morphismes19618MR0217084RydhD.Noetherian approximation of algebraic spaces and stackshttp://arxiv.org/abs/0904.0227v2Chapter: Properties of schemes, http://stacks.math.columbia.eduOlivierJ. P.Montée des propriétés par morphismes absolument plats1971Montpellier, FranceUniversité des Sciences et Techniques du Languedoc86109MR0342509GörtzU.WedhornT.2010Wiesbaden, GermanyVieweg and TeubnerAdvanced Lectures in Mathematics10.1007/978-3-8348-9722-0MR2675155HashimotoM.A pure subalgebra of a finitely generated algebra is finitely generated200513382233223510.1090/S0002-9939-05-07967-0MR2138864ZBL1098.13021MesablishviliB.Descent theory for schemes2004125-648551210.1023/B:APCS.0000049314.33172.0dMR2107399ZBL1084.14003MesablishviliB.More on descent theory for schemes2004114783800MR2110373ZBL1084.14002PicavetG.Algebraically flat or projective algebras2002174216318510.1016/S0022-4049(02)00048-8MR1921819ZBL1076.13508PicavetG.Pureté, rigidité et morphismes entiers1991323128331310.2307/2001627MR1013336ZBL0747.13006LazardD.Autour de la platitude19699781128MR0254100ZBL0174.33301ConradB.LieblichM.OlsonM.Nagata compactication for algebraic spaces201211747814SchwedeK.Gluing schemes and a scheme without closed points2005386Providence, RI, USAAmerican Mathematical Society157172Contemporary Mathematics10.1090/conm/386/07222MR2182775ZBL1216.14003OlivierJ. P.1971Publication No 106Montpellier, FranceUniversité des Sciences et Techniques du LanguedocSecrétariat des Mathématiques