History of tag 07NA
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2019-12-10 |
867da1a |
Typo in algebra
Thanks to Andy
https://stacks.math.columbia.edu/tag/07NA#comment-4641
|
|
changed the statement and the proof
|
2019-09-02 |
0a7676c |
Improve a lemma
Thanks to Rankeya Datta
https://stacks.math.columbia.edu/tag/07NA#comment-4481
|
|
changed the proof
|
2017-10-05 |
0adaa52 |
Remove 'f.f.'
Sad IMHO.
Thanks to BCnrd, Dario Weissmann, and sdf
https://stacks.math.columbia.edu/tag/02JQ#comment-2762
https://stacks.math.columbia.edu/tag/02JQ#comment-2765
https://stacks.math.columbia.edu/tag/02JQ#comment-2766
https://stacks.math.columbia.edu/tag/02JQ#comment-2767
|
|
changed the statement
|
2017-06-03 |
9ef945f |
typo
|
|
changed the proof
|
2012-07-24 |
7835fb9 |
Flattening by blowing up
Still a bit rough, but the arguments are all there.
A fun lemma is that the problem is etale local on the base.
The rest is exactly as in Raynaud-Gruson (the lemma may
be there too, I'm not sure).
|
|
assigned tag 07NA
|
2012-04-27 |
0cd691b
|
Tags: Added new tags
|
|
created statement with label lemma-Noether-normalization-over-a-domain in algebra.tex
|
2012-04-25 |
854eec8 |
More results on formal smoothness
In particular the characterization of formally smooth maps
between Noetherian local rings in terms of flatness and fs
fibre. The proof is a bit long (about 2 pages) but it isn't
clear how to split it further without introducing substantially
more notation.
|