Local forms of morphisms of colored supermanifolds (Q2049414)

The authors [J. Math. Phys. 57, No. 7, 073503, 16 p. (2016; Zbl 1345.58003); J. Geom. Phys. 62, No. 11, 2294--2319 (2012; Zbl 1308.15023); Banach Cent. Publ. 110, 201--217 (2016; Zbl 1416.58002)] introduced the category of colored supermanifolds or \(\mathbb{Z}_{2}^{n}\)-manifolds, explicitly describing the corresponding \(\mathbb{Z}_{2}^{n}\)-Berezian and giving first insights into \(\mathbb{Z}_{2}^{n}\)-integration theory. \(\mathbb{Z}_{2}^{n}\)-manifolds are manifolds for which the structure sheaf has \(\mathbb{Z}_{2}^{n}\)-grading with the commutation rules for the local coordinates coming from the standard scalar product of \(\mathbb{Z}_{2}^{n}\). One has to deal with formal coordinates anticommuting with other formal coordiantes, which are themselves not nilpotent. This forces one to use formal power series in the formal parameters in place of polynomials. This paper deals with parts of the \(\mathbb{Z}_{2}^{n}\)-differential calculus and the \(\mathbb{Z}_{2}^{n}\)-variants of the trilogy of local theorems (the inverse function theorem, the implicit function theorem and the constant rank theorem). These \(\mathbb{Z}_{2}^{n}\)-geometric results are formally similar to their super-geometric counterparts to all appearances, though their proofs are often subtler. On the other hand, integration on \(\mathbb{Z}_{2}^{n} \)-manifolds turns out to be fundamentally different from that on supermanifolds in the sense that the novel aspect of integraion on \(\mathbb{Z}_{2}^{n}\)-manifolds is integration with respect to the non-zero degree even parameters. The functor of points has been used informally in physics as from scratch, being of significance where there is no good notion of point as in supergeometry. As is well known, homotopical algebraic geometry (over differential operators) is completely based on the functor of points approach [\textit{B. Toën} and \textit{G. Vezzosi}, Adv. Math. 193, No. 2, 257--372 (2005; Zbl 1120.14012); Homotopical algebraic geometry. II: Geometric stacks and applications. Providence, RI: American Mathematical Society (AMS) (2008; Zbl 1145.14003); \textit{G. Di Brino} et al., J. Homotopy Relat. Struct. 14, No. 1, 293--347 (2019; Zbl 1499.14034); \textit{G. Di Brino} et al., ibid. 13, No. 4, 793--846 (2018; Zbl 1423.18056)]. In \(\mathbb{Z}_{2}^{n}\)-geometry, one is particularly interested in functors of \(\mathbf{\Lambda}\)-points, namely, functors of points from appropriate locally small categories \(\mathrm{C}\)\ to a functor category whose source is the category \(\mathrm{G}\)\ of \(\mathbb{Z}_{2}^{n}\)-Grassmann algebras \(\Lambda\). However, functors of points restricted to the very simple test category \(\mathrm{G}\)\ are fully faithful only if the target category of the functor category is replaced by a subcategory of the category of sets, as is the case for the categories of \(\mathbb{Z}_{2}^{n}\)-manifolds, linear \(\mathbb{Z} _{2}^{n}\)-manifolds, \(\mathbb{Z}_{2}^{n}\)-graded vector spaces (zero degree rules functor) and \(\mathbb{Z}_{2}^{n}\)-Lie groups [\textit{A. J. Bruce} et al., SIGMA, Symmetry Integrability Geom. Methods Appl. 16, Paper 002, 47 p. (2020; Zbl 1433.58011); \textit{A. J. Bruce} et al., ibid. 17, Paper 060, 58 p. (2021; Zbl 1477.58004)]. In the case of \(\mathbb{Z}_{2}^{n}\)-manifolds, by way of example, the target category of the functor category is the category of Fréchet manifolds over commutative Fréchet algebras.