Deformation of torsors under monogenic group schemes (Q284482): Difference between revisions

The following theorem is proved: Assume that \(\mathrm{Lie }G_k\) is of dimension \(\leq 1\) and that \(Y_k\) does not arise as the push-forward of a torsor over \(X_k\) under a proper subgroup scheme of \(G_k\). Then, there exist a smooth formal curve \(X\) over \(R\) and a \(G\)-torsor \(Y \to X\) whose special fiber is the \(G_k\)-torsor \(Y_k \to X_k\). Here \(R\) is a complete local ring with residue field \(k\) of positive characteristic \(p >0\), \(G\) is a finite, flat and of finite presentation, commutative group scheme over \(R\) and \(X_k\) is a smooth curve over \(k\). This article extends some earlier works of the authors [J. Algebra 318, No. 2, 1057--1067 (2007; Zbl 1135.14036)]. In the acknowledgements, the authors indicate that they `would like to thank M. Raynaud who suggested the problem to us and for his encouragement.' The interesting feature of the article is the use of the equivariant cotangent complex by \textit{L. Illusie} [Complexe cotangent et déformations. II. Berlin-Heidelberg-New York: Springer-Verlag (1972; Zbl 0238.13017)], results on algebraic spaces and schemes by \textit{M. Raynaud} and \textit{L. Gruson} [Invent. Math. 13, 1--89 (1971; Zbl 0227.14010)], the analogue of the stack by \textit{D. Abramovich} et al. [J. Algebr. Geom. 20, No. 3, 399--477 (2011; Zbl 1225.14020); corrigendum ibid. 24, No. 2, 399--400 (2015)] and moduli of Galois \(p\)-covers by \textit{D. Abramovich} and \textit{M. Romagny} [Algebra Number Theory 6, No. 4, 757--780 (2012; Zbl 1271.14032)]. In the last section of the paper under review, the authors show that these techniques can also be applied to the theory moduli of \(p\)-covering of curves. Several interesting examples are given, in particular on relation with Jacobians.