Серия математических постингов в ЖЖ от 2-5 апреля 2013 года (копии в Дримвидс):
https://posic.dreamwidth.org/928574.html
https://posic.dreamwidth.org/929015.html
https://posic.dreamwidth.org/929115.html
https://posic.dreamwidth.org/929888.html
https://posic.dreamwidth.org/930301.html
***
Постинг в Фейсбуке от 5 апреля 2013 -- https://www.facebook.com/posic/posts/pfbid0uKPDNDQbWfVUDojNXK5tCZJfMmu59YQfp78vttDwCK5faZnctDq2iYSSM6AmLC5Rl :
Proving theorems about very flat morphisms of schemes. The much needed "something implies very flatness" kind of results are still riduculously weak, but better than nothing. All flat morphisms of finite type between Noetherian schemes being very flat seems to be the reasonable conjecture, but it is far away.
Вопрос в комменте и ответ на него:
Roman Fedorov
What is "very flat"?
Леонид Посицельский
Very flat modules (over a commutative ring R) are whatever can be built up from the localizations of R with respect to its elements, using reasonable operations. Like in functions on the principal affine subschemes of affine schemes. Very flat morphisms of schemes are those for which the rings of functions on open affine subschemes upstairs are very flat modules over those downstairs.
***
Итак, оказывается, эта история началась в апреле 2013 года. В Москве, естественно. Новая версия препринта про контрагерентные копучки, содержащая результаты из этих ЖЖ-постингов, была выложена в Архив в феврале 2014, тоже из Москвы. А потом мы доказали очень плоскую гипотезу в Праге в июне 2017.
https://posic.dreamwidth.org/928574.html
https://posic.dreamwidth.org/929015.html
https://posic.dreamwidth.org/929115.html
https://posic.dreamwidth.org/929888.html
https://posic.dreamwidth.org/930301.html
***
Постинг в Фейсбуке от 5 апреля 2013 -- https://www.facebook.com/posic/posts/pfbid0uKPDNDQbWfVUDojNXK5tCZJfMmu59YQfp78vttDwCK5faZnctDq2iYSSM6AmLC5Rl :
Proving theorems about very flat morphisms of schemes. The much needed "something implies very flatness" kind of results are still riduculously weak, but better than nothing. All flat morphisms of finite type between Noetherian schemes being very flat seems to be the reasonable conjecture, but it is far away.
Вопрос в комменте и ответ на него:
Roman Fedorov
What is "very flat"?
Леонид Посицельский
Very flat modules (over a commutative ring R) are whatever can be built up from the localizations of R with respect to its elements, using reasonable operations. Like in functions on the principal affine subschemes of affine schemes. Very flat morphisms of schemes are those for which the rings of functions on open affine subschemes upstairs are very flat modules over those downstairs.
***
Итак, оказывается, эта история началась в апреле 2013 года. В Москве, естественно. Новая версия препринта про контрагерентные копучки, содержащая результаты из этих ЖЖ-постингов, была выложена в Архив в феврале 2014, тоже из Москвы. А потом мы доказали очень плоскую гипотезу в Праге в июне 2017.