Artin's theorems in supergeometry (Q6141339)

Artin's theorems on approximation [\textit{M. Artin}, Publ. Math., Inst. Hautes Étud. Sci. 36, 23--58 (1969; Zbl 0181.48802); Matematika, Moskva 14, No. 3, 3--39 (1970; Zbl 0211.53303)], algebraization of formal deformations [\textit{M. Artin}, in: Global analysis. Papers in Honor of K. Kodaira. 21--71 (1969; Zbl 0205.50402); Ann. Math. (2) 91, 88--135 (1970; Zbl 0177.49003); Matematika, Moskva 14, No. 4, 3--47 (1970; Zbl 0213.47203)] and algebraization of stacks [\textit{M. Artin}, Invent. Math. 27, 165--189 (1974; Zbl 0317.14001)] give general criteria for functors to be, in various senses, described by algebraic objects. This paper establishes the supergeometric analogues of Artin' theorems. The synopsis of the paper goes as follows. \begin{itemize} \item[1.] Artin approximation is established as Theorem 5.3 by using the observation in [\textit{S. F. Moosavian} and \textit{Y. Zhou}, ``On the existence of heterotic-string and type-II-superstring field theory vertices'', Preprint, \url{arXiv:1911.04343}] that the Néron-Popescu theorem [\textit{A. Néron}, Publ. Math., Inst. Hautes Étud. Sci. 21, 361--484 (1964; Zbl 0132.41403); \textit{D. Popescu}, Nagoya Math. J. 104, 85--115 (1986; Zbl 0592.14014] can be extended to super commutative algebra by a simple argument. \item[2.] Artin algebraization is proven as Theorem 6.2 by adapting some ideas from [\textit{B. Conrad} and \textit{A. J. de Jong}, J. Algebra 255, No. 2, 489--515 (2002; Zbl 1087.14004)] while reducing to the bosonic case so as to avoid many difficult convergence arguments. \item[3.] The proof of Schlessinger's theorem [\textit{M. Schlessinger}, Trans. Am. Math. Soc. 130, 208--222 (1968; Zbl 0167.49503); \textit{M. Schlessinger}, Matematika, Moskva 15, No. 4, 115--129 (1971; Zbl 0214.19701)] is identical to the bosonic case, being relegated to Appendix A. \item[4.] Openness of versality is established as Theorem 7.7 along the lines of \textit{H. Flenner} [Math. Z. 178, 449--473 (1981; Zbl 0453.14002], except that the proof of the key lemma about half-exact functors is done by reduction to the bosonic case. \item[5.] The author shows in Theorem 8.2 that, under appropriate hypotheses, formal versality implies versality, along the lines of Artin's original proof, except avoiding a convergence question by reduction to the bosonic case. \item[6.] The relationship between formal versality and formal smoothness is established as Theorem 8.5, along the lines of Artin's original proof. \end{itemize}