Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0CB7

Go back to the tag's page.

type time link
changed the proof 2016-08-30 443225c
Corrected some typos in spaces.tex
assigned tag 0CB7 2016-05-05 967ff45
Tags: Added new tags
created statement with label lemma-transformation-diagonal-properties in spaces.tex 2016-05-03 f320e94
Work out Brian's suggestion properties diagonals

Thanks to Brian Conrad
http://stacks.math.columbia.edu/tag/0AIP#comment-1944

If you can prove a property P for the maps

U \times_X V ---> U \times V

and P is preserved by base change, then P follows for
the diagonal X ---> X \times X. Applying this to
formal algebraic spaces we get a shorter proof of the
basic properties of their diagonals