5 citations · 7 across the 4 of their papers we have counts for
5 papers · 1 filter
Formalization in Lean of faithfully flat descent of projectivity
Liran Shaul
We formalize in Lean the following foundational result in commutative algebra: Let be a faithfully flat map of (not necessarily noetherian) commutative rings, and let …
Openness with respect to levels in triangulated categories
Souvik Dey, Jian Liu, Liran Shaul
Given a compactly generated triangulated category equipped with an action of a graded-commutative Noetherian ring , generalizing results of Letz, we prove a genera…
The Cohen-Macaulay property in derived commutative algebra
Liran Shaul
By extending some basic results of Grothendieck and Foxby about local cohomology to commutative DG-rings, we prove new amplitude inequalities about finite DG-modules of finite inje…
Errata: On the Homology of Completion and Torsion
Marco Porta, Liran Shaul, Amnon Yekutieli
In this note we correct two errors in our paper "On the Homology of Completion and Torsion", arXiv:1010.4386, that appeared in Algebras and Representation Theory (2014).
Completion by Derived Double Centralizer
Marco Porta, Liran Shaul, Amnon Yekutieli
Let A be a commutative ring, and let \a be a weakly proregular ideal in A. (If A is noetherian then any ideal in it is weakly proregular.) Suppose M is a compact generator of the c…