Deformation of a smooth Deligne-Mumford stack via differential graded Lie algebra (Q958635)

It is a common opinion that a deformation theory over a field of characteristic \(0\) should be controlled by a differential graded Lie algebra (DGLA). One prototype example is the deformation theory of compact complex manifold via Maurer-Cartan equation on the vector field valued \((0,1)\)-forms -- the Newlander-Nirenberg theorem. Restricted to infinitesimal deformations, the situation is described as a bijection between \[ \frac {\text{Maurer-Cartan solutions in }KS^1_X\otimes\mathfrak m_A}{\text{gauge equivalence}}\cong \frac{\begin{matrix} \text{deformations of a compact}\\\text{complex manifold \(X\) over \(A\)}\end{matrix}}{\text{isomorphisms}} \] where \(A\) is a local artinian \(\mathbb{C}\)-algebra and \(KS_X^\bullet=(A^{0,\bullet}_X(\Theta_X),\bar{\partial},[-,-])\) the \textit{Kodaira-Spencer algebra} on \(X\). The left hand side is the deformation functor associated to the Kodaira-Spencer DGLA \(KS_X^\bullet\), denoted \(\text{Def}_{KS_X},\) and the right-hand side is the usual deformation functor \(\text{Def}_X\) of \(X\). It is quite reasonable to expect that the correspondence above can be generalized to the case of smooth Deligne-Mumford stacks. Assume that \(\mathfrak X\) is given by a global quotient \([X/G]\) of proper smooth algebraic variety \(X\) by an action of a finite group \(G\). Giving a deformation of of \(\mathfrak X=[X/G]\) should be equivalent to giving a deformation of \(X\) on which the \(G\)-action lifts Therefore, the deformations of \(\mathfrak X\) are given by the \(G\)-invariant part \(\text{Def}_X(A)^G\) of the deformations of \(X\). This gives a functorial bijection \[ \text{Def}_{(KS_X)^G}\overset\sim\rightarrow\text{Def}_X(A)^G. \] The main result of the artice is the following: Let \(\mathfrak X\) be a smooth separated analytic Deligne-Mumford stack. Then there is a natural isomorphism of deformation functors \(\Gamma:\text{Def}_{KS_{\mathfrak X}}\rightarrow\text{Def}_{\mathfrak X}\) where \(KS_{\mathfrak X}^\bullet\) is the Kodaira-Spencer DGLA. By a standard GAGA type argument there is a corresponding statement for a proper smooth (algebraic) Deligne-Mumford stack over \(\mathbb C.\) One obvious application of the main theorem is the deformation of a proper algebraic variety with only isolated quotient singularities, and more generally, the theorem describes the locus of equisingular deformations in the deformation space of a proper normal variety with only quotient singularities, i.e. a complex \(V\)-manifold. The authors start by reviewing some general results on deformation functors and DGLA fixing notation. Then they treat the deformation of stacks, review \textit{M. Aoki}'s result [Compos. Math. 141, No. 1, 19--34 (2005; Zbl 1071.14004)] on the equivalence and deduce some consequences in the case of DM stacks. Also some GAGA type arguments for DM stacks are treated. The authors define the Kodaira-Spencer algebra on a smooth DM stack, and finally completes the proof of the main result. The article is very well written, elementary on the deformation theory level, but not so elementary on the DM stack level. The article contains proofs and understanding of a nice theory.