Graded Objects
We’re about to talk about certain kinds of algebras that have the added structure of a “grading”. It’s not horribly important at the moment , but we might as well talk about it now so we don’t forget later.
Given a monoid 
so that the product of elements contained in two grades lands in the grade given by their product in the monoid. That is, we can write the algebra multiplication by
for each pair of grades 
By far the most common grading is by the natural numbers under addition, in which case we often just say “graded”. For example, the algebra of polynomials is graded, where the grading is given by the total degree. That is, if ![A=R[X_1,\dots,X_k]](http://s0.wp.com/latex.php?latex=A%3DR%5BX_1%2C%5Cdots%2CX_k%5D&bg=e6e6e6&fg=333333&s=0 "A=R[X_1,\dots,X_k]")
in grade 
Other common gradings include 
In the context of graded algebras we also have graded modules. A 
But now it’s the action of
We can even talk about grading in the absence of a multiplicative structure, like a graded vector space. Now we don’t even really need the grades to form a monoid. Indeed, for any index set 
This doesn’t seem to be very useful, but it can serve to recognize natural direct summands in a vector space and keep track of them. For instance, we may want to consider a linear map 
We’ll say that such a map is graded 
giving a grading on the space of linear maps.
15 Comments »
Leave a Reply
RSS Feeds
To be fair, superalgebras and
-graded algebras aren’t the same thing; I’m told the tensor product structure on the former is different.
Do you have a source to cite? I’ve never heard anything like that, and in fact common sources like Wikipedia start off by saying that the two are the same thing.
Most people who speak of (Z mod 2)-graded algebras actually intend the same thing as superalgebras. It’s all in the symmetry of course. If G is a commutative monoid, then there’s a symmetry isomorphism on G-graded abelian groups (or G-graded vector spaces) which just swaps the tensor factors of homogeneous components and does nothing else, and when specialized to G = Z mod 2, the monoids therein could be called (Z mod 2)-algebras as Qiaochu is using the term. But there’s another (much more commonly used) symmetry where a factor of (-1)^{pq} is introduced, where p and q are the homogeneous degrees. Monoids in that symmetric monoidal category are what Qiaochu is calling superalgebras.
(Naturally, the concept of monoid doesn’t involve the symmetry. However, many algebra constructions will involve the symmetry, and there the distinction is important.)
Second Z mod 2 in fourth line: should be “(Z mod 2)-graded”.
What Todd said, with the addition that the whole issue here is whether you ‘just’ want algebras that decompose into two parts, or whether you want the parts to commute/anti-commute dependent on degree.
In the latter case – which pops up all over the place – you really want the signed Z/2-action instead of the trivial one on your symmetric monoidal categories.
I haven’t remotely talked about the symmetries yet. At the level of just “graded algebras”, they’re the same thing. Complaining that I don’t talk about graded commutativity (of one particular sort) when I introduce graded algebras is like complaining I don’t talk about commutativity when I introduce algebras.
You’re right: no, you haven’t, and yes, they are. The distinction between just Z/2-graded and “super” that Qiaochu is referring to is still worth observing though.
For example, the statement that the algebra of differential forms (which you are coming to soon?) is supercommutative would no doubt be confusing unless the distinction were observed. So it’s good to talk about this in comments.
Well, exterior algebras are natural-graded (and graded-commutative, within that context). Yes, it’s possible to “roll” a natural-graded algebra into a
-graded one, but it loses information and isn’t the natural decomposition to work with here anyway.
On a different note, the grading on![A=R[x_1,\ldots,x_n]](http://s0.wp.com/latex.php?latex=A%3DR%5Bx_1%2C%5Cldots%2Cx_n%5D&bg=e6e6e6&fg=333333&s=0 "A=R[x_1,\ldots,x_n]")
in the group 
given by 
is very useful in computational algebraic geometry, and choosing a total ordering on 
is what’s needed to make division by an ideal work out, and many other important computations.
Oh, sure. If and when I ever get around to algebraic geometry, I’ll be talking about that grading.
[...] and Symmetric Algebras There are a few graded algebras we can construct with our symmetric and antisymmetric tensors, and at least one of them [...]
Pingback by Tensor and Symmetric Algebras « The Unapologetic Mathematician | October 26, 2009 |
[...] this multiplication is not commutative. Instead, it’s graded-commutative. If and are elements of the exterior algebra, then we [...]
Pingback by Exterior Algebras « The Unapologetic Mathematician | October 27, 2009 |
The piece at the end is incorrect, because an element of a direct sum must be a \emph{finite} sum of its components; as it is stated the identity map on a vector space graded of the natural numbers (or any infinite set) does not have a decomposition into graded components. Replacing the direct sum by a direct product will not do either, because then most collection of components would fail to combine to a linear map on the graded space at all. What one seems to need is that the image of every single graded component lives in finitely many graded components, but images of different graded components are unrelated.
“For instance, we may want to consider a linear map T between graded vector spaces V and W that only acts on one grade of V and with an image contained in only one grade of W:
\displaystyle\begin{aligned}T(V_i)&\subseteq W_j\\T(V_k)&=0\qquad k\neq i\end{aligned}
We’ll say that such a map is graded (i,j). Any linear map from V to W can be decomposed uniquely into such graded components
\displaystyle\hom(V,W)=\bigoplus\limits_{(i,j)\in I\otimes J}\hom(V_i,W_j)
giving a grading on the space of linear maps.”
[...] fact, this is a graded algebra, and the multiplication has degree [...]
Pingback by The Algebra of Differential Forms « The Unapologetic Mathematician | July 12, 2011 |
[...] of differential forms into a “differential graded algebra”. We had the structure of a graded algebra before, but now we have a degree-one derivation whose square is zero. And as long as we [...]
Pingback by De Rham Cohomology « The Unapologetic Mathematician | July 20, 2011 |