There are two different things that one might mean by a “complex supermanifold”, and the term is in fact used for two different notions in the literature (the terminology is a mess!):
In the first sense, a complex supermanifold generalizes the notion of a smooth manifold with its sheaf of smooth complex-valued functions, just as an ordinary supermanifold is a generalization of an ordinary manifold with its sheaf of smooth real-valued functions. However, considering ordinary smooth manifolds as ringed spaces with either their sheaves of real or complex smooth functions gives two equivalent categories, whereas this is not true in the case of real and complex supermanifolds; the corresponding functor is neither essentially surjective nor fully faithful. (For a complex supermanifold in this sense, the underlying reduced manifold is not a complex manifold but just a smooth manifold regarded as a ringed space with structure sheaf taken to be the sheaf of -valued smooth functions on the ordinary real manifold.)
In the second sense, a complex supermanifold is a super(complex manifold), a super-version of complex manifold.
A complex supermanifold is a ringed space such that
Example The functor has a complex analogue .
Let be a complex vector bundle of rank . This gives rise to the complex supermanifold , in the same way as a real vector bundle gives rise to a real supermanifold: the structure sheaf is given by sections of the exterior algebra of the dual of .
does not in general have a -antilinear involution but there does exist a canonical complex conjugation on the quotient by the ideal of nilpotent sections, which is . So on a complex supermanifold we have complex conjugation only on the reduced manifold.
As for ordinary supermanifolds (and with same proof as in the real case) we have the following two statements:
Every complex supermanifold is isomorphic to one of the form .
Remark It turns out that a -super algebra homomorphism automatically satisfies .
Define the complex supermanifold as with structure sheaf .
Then for an arbitrary complex supermanifold we have
we shall write