Equivalence functors in graded supergeometry

Abstract

It has recently been proved that the category of N-manifolds of degree $n$, that is, $\mathbb N$-graded supermanifolds of degree $n$ for which the parity agrees with the gradation, is equivalent to the category of purely even $n$-tuple vector superbundles equipped with a suitable action of the symmetric group $S_n$ permuting the vector bundle structures. This equivalence may be interpreted as a `desuperization' of N-manifolds. In the present paper, we place this result within a broader framework of graded structures on supermanifolds and explicitly describe several canonical equivalences between the corresponding categories in a purely geometric, constructive manner. The desuperization equivalence functor appears as a composition of some of these canonical equivalences. Our constructions are entirely canonical and rely on standard tools of supergeometry, including iterated tangent functors, parity reversion in vector superbundles, and the interpretation of $n$-tuple vector bundles in terms of commuting Euler vector fields associated with the underlying vector bundle structures.