Coherent sheaves on formal complete intersections via DG Lie algebras
arXiv:1202.5182
Abstract
We establish a criterion for sheaves on an adically complete DG scheme to be coherent. We deduce a description of coherent sheaves on an adically complete lci singularity in terms of modules for a DG Lie algebra.