Nagata compactification for algebraic spaces
arXiv:0910.5008
Abstract
We prove the Nagata compactification theorem for any separated map of finite type between quasi-compact and quasi-separated algebraic spaces, generalizing earlier results of Raoult. Along the way we also prove (and use) absolute noetherian approximation for such algebraic spaces, generalizing earlier results in the case of schemes.
49 pages, various clarifications and bugfixes