There are several variations on the definition of “graded manifold”, and it can be a bit confusing for a newcomer. The goal of this post is to describe one definition that rules them all. This definition hopefully sheds some light on the relationships between the various types of graded manifolds.
I thought I had seen the definition in Kostant’s early treatise “Graded manifolds, graded Lie theory, and prequantization,” but, looking back at the paper now, I can’t find the definition there. In any case, I don’t claim any originality here. If anyone can remind me of the correct reference, I would appreciate it.
Let be a commutative monoid equipped with a homomorphism . We may say that an element is even if or odd if . Note that the homomorphism requirement simply means that the odd and even elements of behave the way we would expect them to: odd plus odd is even, odd plus even is odd, etc. (and also 0 is even).
An -graded vector space is a vector space (I’m going to assume we’re working over , but any field not of characteristic 2 will do) equipped with a decomposition into subspaces labeled by elements of . If a vector is in , then we may say that is homogeneous of degree . Some authors also use the term weight.
An -graded algebra is an algebra which is -graded as a vector space, and for which . An -graded algebra is graded-commutative if for all , .
For each function with finite support, we define the -dimensional graded coordinate space to be the sheaf over , defined by
for any open set This might look a bit intimidating, but it just means that you take and you add variables for each nonzero element of , where the variables associated to odd elements of anticommute with each other, and the variables associated to even elements commute.
We view as a sheaf of graded-commutative -graded algebras, where the variables associated to are of degree (and the elements of are of degree 0).
We’re finally ready to state the definition: An -graded manifold of dimension is a topological space equipped with a sheaf of -graded algebras which are locally isomorphic to . It may not be obvious, but the underlying space automatically becomes a manifold.
For different choices of and the homomorphism , we can obtain various types of graded manifolds.
- If and is the identity map, then you get supermanifolds.
- If and is the “mod 2” map, then you get the -graded manifolds that I studied in my thesis.
- If and projects onto the -component, then you get Ted Voronov’s graded manifolds. The key point here is that the -component of the grading is completely unrelated to the property of begin even or odd.
- If and is the “mod 2” map, then you get the N-manifolds that were emphasized by Severa and Roytenberg.
Of course, these are only a few of the many possibilities; for example, this paper by Grabowski and Rotkiewicz considers -gradings.
Let and be commutative monoids as above. Then any homomorphism , respecting the maps to , induces a functor from the category of -graded manifolds to that of -graded manifolds.
If you’re willing to ignore technical details, the idea is that induces a functor at the level of graded algebras, which may then be applied to the sheaves. The technical issue is that the underlying topological spaces change when there are coordinates whose degree is in the kernel of . But everything can be made to work nonetheless.
For example, we have that for any , there is a functor from the category of -graded manifolds to that of supermanifolds, induced by itself.
But, for my purposes, the main example is the functor taking -graded manifolds to Voronov’s graded manifolds, induced by the map , . It can be shown that, if is injective, then the induced functor is injective and fully faithful. So, in this example, we see that -graded manifolds form a full subcategory of Voronov’s graded manifolds.
I hope this brief introduction was helpful. Please comment if there are any details or further issues you’d like me to clarify in a future post.