关于派生商quotients上模组提升的高代数方法

We show a certain existence of a lifting of modules under the self-\mathrm{Ext}^2-vanishing condition over the "derived quotient" by using the notion of higher algebra. This refines a work of Auslander-Ding-Solberg's solution of the Auslander-Reiten conjecture for complete interesections. Together with Auslander's zero-divisor theorem, we show that the existence of such \mathrm{Ext}-vanishing module over derived quotients is equivalent to being local complete intersections.