Abstract
We continue investigating the interaction between flatness and \({\frak{a}} \)-adic completion for infinitely generated A-modules. Here A is a commutative ring and \({\frak{a}} \) is a finitely generated ideal in it. We introduce the concept of \({\frak{a}} \)-adic flatness, which is weaker than flatness. We prove that \({\frak{a}} \)-adic flatness is preserved under completion when the ideal \({\frak{a}} \) is weakly proregular. We also prove that when A is noetherian, \({\frak{a}} \)-adic flatness coincides with flatness (for complete modules). An example is worked out of a non-noetherian ring A, with a weakly proregular ideal \({\frak{a}} \), for which the completion \(\widehat {A}\) is not flat. We also study \({\frak{a}} \)-adic systems, and prove that if the ideal \({\frak{a}} \) is finitely generated, then the limit of every \({\frak{a}} \)-adic system is a complete module.
Similar content being viewed by others
References
Alonso, L., Jeremias, A., Lipman, J.: Local homology and cohomology on schemes. Ann. Sci. ENS 30, 1–39 (1997). Correction, availabe online at http://www.math.purdue.edu/lipman/papers/homologyfix.pdf
Atiyah, M.F., Macdonald, I.G.: Introduction to Commutative Algebra. Addison-Wesley, Boston (1969)
Bartijn, J., Strooker, J.R.: Modifications monomiales. In: Sémin. Dubreil-Malliavin 1982. Lect. Notes Math, vol. 1029, pp. 192–217. Springer, Berlin (1983)
Bourbaki: Commutative Algebra Chapters 1–7. Springer, Berlin (1989)
Enochs, E.E.: Complete flat modules. Comm. Algebra 13, 4821–4831 (1995)
Gabber, O., Ramero, L.: Almost Ring Theory. Lect. Notes Math. Springer, Berlin (2003)
Kashiwara, M., Schapira, P.: Sheaves on Manifolds. Springer, Berlin (1990)
Hartshorne, R.: Local cohomology: a seminar given by A. Grothendieck, Lect. Notes Math., vol. 41. Springer, Berlin (1967)
Matsumura, H.: Commutative Algebra, 2nd edn. Benjamin/Cummings, San Francisco (1980)
MacLane, S., Schilling, O.F.G.: Zero-dimensional branches of rank one on algebraic varieties. Ann. Math. 40(3), 507–520 (1939)
Positselski, L.: Contraherent cosheaves, eprint arXiv:1209.2995
Positselski, L.: Abelian right perpendicular subcategories in module categories, eprint arXiv:1705.04960
Positselski, L., Rosicky, J.: Covers, envelopes, and cotorsion theories in locally presentable abelian categories and contramodule categories. J. Algebra 483, 83–128 (2017)
Porta, M., Shaul, L., Yekutieli, A.: On the homology of completion and torsion. Algebras Repesent. Theory 17, 31–67 (2014). Erratum: Algebras and Representation Theory, 18, 1401–1405 (2015)
Porta, M., Shaul, L., Yekutieli, A.: Completion by derived double centralizer. Algebras Represent. Theory 17, 481–494 (2014)
Schoutens, H.: A local flatness criterion for complete modules. Comm. Algebra 35, 289–311 (2007)
Schenzel, P.: Proregular sequences, local cohomology, and completion. Math. Scand. 92, 181–180 (2003)
The Stacks Project, J.A. de Jong (Editor). http://stacks.math.columbia.edu
Yekutieli, A.: On flatness and completion for infinitely generated modules over noetherian rings. Comm. Algebra 39(11), 4221–4245 (2011)
Yekutieli, A.: Twisted deformation quantization of algebraic varieties. Adv. Mathamatics 268, 241–305 (2015)
Yekutieli, A.: Derived categories book to be published by Cambridge University Press, prepublication version available at arXiv:1610.09640
Acknowledgments
Thanks to Liran Shaul, Sean Sather-Wagstaff, Asaf Yekutieli, Steven Kleiman, Brian Conrad, Ofer Gabber, Lorenzo Ramero, Pierre Deligne, Johan de Jong, Ilya Tyomkin and Leonid Positselski for helpful discussions. We also wish to thank the anonymous referee, for reading the paper carefully and suggesting several improvements.
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by Paul Smith.
Rights and permissions
About this article
Cite this article
Yekutieli, A. Flatness and Completion Revisited. Algebr Represent Theor 21, 717–736 (2018). https://doi.org/10.1007/s10468-017-9735-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10468-017-9735-7