Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0CTK

Go back to the tag's page.

type time link
assigned tag 0CTK 2016-10-19 d9096d4
Tags: Added new tags
created statement with label theorem-existence in flat.tex 2016-10-19 cc6df36
Grothendieck existence revisited

Thanks to Bhargav Bhatt for suggestion to use the Rlim

The proof uses almost all of the Raynaud-Gruson tricks
in the guise of the existence of universal flattenings.