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")

Improve this question
$\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
    Commented Apr 8, 2010 at 16:08
  • $\begingroup$ Thanks for your comment Emerton. Fortunately, in my case, $f$ is a closed immersion ! $\endgroup$
    – user2330
    Commented 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
    Commented Apr 8, 2010 at 17:34

3 Answers 3

Reset to default
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.

Improve this answer
$\endgroup$
3
  • $\begingroup$ Thanks for this reference ! However, a reference to EGA should be better for me. $\endgroup$
    – user2330
    Commented 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
    Commented Apr 8, 2010 at 16:16
  • $\begingroup$ OK, sorry... Indeed, Poonen's notes contains references to EGA. $\endgroup$
    – user2330
    Commented 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/

Improve this answer
$\endgroup$
1
$\begingroup$

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

Improve this answer
$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .