History of tag 09YB
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2022-02-27 |
1e5ee86 |
Blowing ups and resolution property for spaces
Bunch of changes were necessary to make this work
1. Prove a refined version of there exists a surjective integral
morphism from a scheme to a given qcqs algebraic space
2. Prove a refined version of there exists a surjective finite and
finitely presented morphism from a scheme to a given qcqs algebraic space
3. Prove a "filtered" version of 2.
4. Prove a refined version for algebraic spaces of there exists a
blowing up which has the resolution property
5. Prove a "filtered" version of 4.
Most of these are annoying to prove but clearly true.
|
|
changed the proof
|
2020-06-17 |
7db3f1f |
Add missing argument
Thanks to Shiji Lyu
https://stacks.math.columbia.edu/tag/09YB#comment-5109
|
|
changed the proof
|
2019-08-30 |
43c109d |
Fix double use variable name in decent-spaces
Thanks to 羽山ç±ç
https://stacks.math.columbia.edu/tag/09YB#comment-4213
|
|
moved the statement to file decent-spaces.tex
|
2016-12-08 |
3ccb2fc |
Move a lemma earlier
|
|
changed the proof
|
2016-12-08 |
3ccb2fc |
Move a lemma earlier
|
|
moved the statement to file spaces-limits.tex
|
2014-05-23 |
ef0eb7e |
Move two lemmas earlier
This we can now do as we have a version of ZMT available.
|
|
changed the statement and the proof
|
2014-05-23 |
ef0eb7e |
Move two lemmas earlier
This we can now do as we have a version of ZMT available.
|
|
assigned tag 09YB
|
2014-01-17 |
3a13278
|
Tags: Added new tags
|
|
created statement with label lemma-there-is-a-scheme-integral-over in spaces-more-morphisms.tex
|
2014-01-14 |
3bbb18c |
Dominating \'etale covers by finite ones (Zar loc)
This commit does it for algebraic spaces.
Is there an essentially simpler proof for schemes? In the affine case we
already have a proof (Gabber's trick, which actually produces a syntomic
finite covering).
|