The category of $\mathbb{Z}$-graded manifolds: what happens if you do not stay positive

Abstract

In this paper we discuss the categorical properties of $\mathbb{Z}$-graded manifolds. We start by describing the local model paying special attention to the differences in comparison to the $\mathbb{N}$-graded case. In particular we explain the origin of formality for the functional space and spell-out the structure of the power series. Then we make this construction intrinsic using filtrations. This sums up to proper definitions of objects and morphisms in the category. We also formulate the analogue of Batchelor's theorem for the global structure of $\mathbb{Z}$-graded manifolds.