Splitting theorem for Z2n-supermanifolds

Smooth Z(2)(n)-supermanifolds have been introduced and studied recently. The corresponding sign rule is given by the 'scalar product' of the involved Z(2)(n)-degrees. It exhibits interesting changes in comparison with the sign rule using the parity of the total degree. With the new rule, nonzero degree even coordinates are not nilpotent, and even (resp., odd) coordinates do not necessarily commute (resp., anticommute) pairwise. The classical Batchelor-Gawedzki theorem says that any smooth supermanifold is diffeomorphic to the 'superization' Pi E of a vector bundle E. It is also known that this result fails in the complex analytic category. Hence, it is natural to ask whether an analogous statement goes through in the category of Z(2)(n)-supermanifolds with its local model made of formal power series. We give a positive answer to this question. (C) 2016 Elsevier B.V. All rights reserved.