4
$\begingroup$

I remember to have seen a big list in the EGA of properties $(P)$ such that: if $f : X \to Y$ has $(P)$ then, $f_{(S')} : X_{(S')}\to Y_{(S')}$ has $(P)$, where $f_{(S')}$ is the morphism $f$ after a base change $S'\to S$., etc. but I can't find it now...

Does anyone know where I can find such a list ?

(I am interested by $(P)$ = "to be a closed map")

$\endgroup$
3
  • 5
    $\begingroup$ The property of being a closed map (in the sense of the image of closed sets being closed) is not stable under base change. Hence one introduces the stronger notion of "universally closed", which is a map all of whose base-changes are closed, and which is the key condition in the definition of proper morphisms (which are morphisms that are finite type, separated, and universally closed). $\endgroup$
    – Emerton
    Apr 8, 2010 at 16:08
  • $\begingroup$ Thanks for your comment Emerton. Fortunately, in my case, $f$ is a closed immersion ! $\endgroup$
    – user2330
    Apr 8, 2010 at 16:12
  • $\begingroup$ You're in good shape then! As you no doubt know by now, these are stable under base change. $\endgroup$
    – Emerton
    Apr 8, 2010 at 17:34

3 Answers 3

15
$\begingroup$

One list I've seen is in Appendix C from a course 'Rational Points on Varieties' taught by Bjorn Poonen. Here's the link:

http://math.mit.edu/~poonen/papers/Qpoints.pdf

Also, the appendix to the book of Gortz and Wedhorn 'Algebraic Geometry 1: Schemes With Examples and Exercises' is a great reference.

$\endgroup$
3
  • $\begingroup$ Thanks for this reference ! However, a reference to EGA should be better for me. $\endgroup$
    – user2330
    Apr 8, 2010 at 16:11
  • $\begingroup$ I don't understand what you're looking for. Poonen's notes contain references to EGA proofs, including the case of a closed immersion. Professor Emerton's comment settles the closed map case, more information for which you could find in Hartshorne; for example where he defined proper maps somewhere in II.4. $\endgroup$
    – Frank
    Apr 8, 2010 at 16:16
  • $\begingroup$ OK, sorry... Indeed, Poonen's notes contains references to EGA. $\endgroup$
    – user2330
    Apr 8, 2010 at 16:54
2
$\begingroup$

The "cheat sheets" on the bottom of this page might be helpful http://www.math.ucdavis.edu/~osserman/classes/256B/

$\endgroup$
1
$\begingroup$

There are some lists like this in Section Tag 02WE.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.