Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0AGK

Go back to the tag's page.

type time link
changed the statement and the proof 2021-04-04 bfac02f
Additional explanation

The previous edit changed the meaning of the lemma and we changed it
back. Then we added some remarks to make sure the proof works.
changed the proof 2017-04-11 6027715
Unimportant changes to improve LaTeX
changed the proof 2014-09-08 8cef7bb
Final in series nuerotic edits
moved the statement to file spaces-pushouts.tex 2014-07-15 d8e00c5
Move material on formal glueing to spaces-pushouts.tex
assigned tag 0AGK 2014-06-27 d3f2e91
Tags: Added new tags

Also fixed a few references
changed the statement 2014-06-25 bfddc28
Equivalence of modifications for G-rings

Finally! As Jason pointed out in

http://math.columbia.edu/~dejong/wordpress/?p=3692&cpage=1#comment-1120289

you can deduce this result from Artin's results on modifications of
algebraic spaces. In fact, it seems likely that his arguments are very
close to those given here, but I haven't checked this.
created statement with label lemma-essentially-constant in resolve.tex 2014-06-25 9f4531d
Coequalizers of some natural equivalence relations

The first result is that if Y ---> X is surjective proper, then
the coequalizer of the two maps Y x_X Y ---> Y exists, is finite over X
and is in fact universally homeomorphic to X.

The second result says something more if Y consists of a blowing up in a
closed disjoint union the closed.