Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I am recently learning from Loring W. Tu's An Introduction to Manifolds the concept graded algebra, which is used for introducing exterior algebra. I don't understand the following definition:

An algebra $A$ over a field $K$ is said to be graded if it can be written as a direct sum $A=\bigoplus_{k=0}^{\infty}A^k$ of vector spaces over $K$ such that the multiplication map sends $A^k\times A^l$ to $A^{k+l}$.

Here are the questions:

  • What does $k$ in $A^k$ mean? Is it a superscript or the power of $A$? (If it is the power, what does $A^0$ mean?)
  • Since I don't know much but some very basic knowledge in abstract algebra, I am trying to understand the concept with some simple examples. (I don't quite understand the wiki article of graded algebra). Is there any example as simple as the linear space ${\mathbb R}^n$ for the graded algebra? And what does it look like concretely?
share|improve this question
    
If you know about (co)homology groups, these are an example of graded groups. –  gary Jul 7 '11 at 21:03
    
To complement the fine answers already provided, the tensor, exterior and symmetric algebras are three important examples that come up in many parts of mathematics. I learned these in Warner's book on manifolds and Lie groups, but there are lots of places to learn them. (A book on multilinear algebra, a good book on differential geometry, etc.) –  Michael Joyce Apr 23 '12 at 19:20
    
Also, to avoid confusion between superscripts and powers, you'll usually see the grading of the algebra $A$ written as $A = \oplus_{k=0}^{\infty} A_k$ in other sources. –  Michael Joyce Apr 23 '12 at 19:21

3 Answers 3

up vote 8 down vote accepted
  1. It's a superscript.

  2. The standard example is the polynomial ring $K[x_1, ... x_n]$, which is graded by total degree. That is, you can take $A^k$ to be the subspace of homogeneous polynomials of degree exactly $k$. In fact this is the free graded $K$-algebra on $n$ elements of degree $1$.

People who talk about graded algebras often don't bother to point out that specifying a grading is essentially the same thing as specifying a nice representation of the multiplicative group $K^{\times}$ on the algebra. An element $a \in K^{\times}$ acts on elements of degree $k$ by $x \mapsto a^k x$. The first axiom of a graded algebra says that the algebra splits up into a direct sum of irreducible representations, and the second axiom says that the action of $K^{\times}$ respects multiplication.

share|improve this answer
2  
Your second paragraph is true over nice fields... $(\mathbb Z_2)^\times$ is not an exciting group with respect to which one wants to decompose algebras... –  Mariano Suárez-Alvarez Jul 7 '11 at 23:36

The most "ordinary" object that you have seen that is graded is the polynomial ring $\mathbb{F}[x]$ over a field, where the decomposition is into $\bigoplus_{i=0}^{\infty}x^i\mathbb{F}$. (It's the simplest case of Qiaochu Yuan's suggestion above).

I wanted to also add what a grading does for you: if you have two elements from summands of grades m and n, say $3x^n$ and $-5x^m$, then the grading tells you where the product lands: in the $x^{m+n}\mathbb{F}$ summand. That's a little better than ordinary rings, because it can be hard to predict where products land, sometimes!

The polynomial example looks a little humdrum, but it gets interesting when your grading is over something other than the natural numbers. Gradings can also be over the integers, a group, and even semigroups. Semigroup algebras are all naturally graded by their associated semigroups. (In fact, the polynomial ring is the semigroup algebra for the semigroup $\{1,x,x^2\dots\}$

The tensor algebra of a vector space is naturally graded by "type", and that is probably what you are encountering when reading about manifolds. I suppose $\mathbb{Z_2}$ graded algebras are also showing up there.

share|improve this answer

To add to Qiaochu's answer, often one can "explain" the existence of a grading on a mathematical object by giving a representation of the "circle group" (analytically, $S^1$, algebraically, the multiplicative group). The idea is that a representation $V$ of the circle group (here I'll use the analytic language) canonically decomposes into Fourier modes: the irreducible representations of $S^1$ are parametrized by the characters $\chi_k: t \mapsto t^k, S^1 \to \mathbb{C}^*$, and any nice representation $V$ splits as $$V = \bigoplus_{k \in \mathbb{Z}} V[k]$$ where $V[k]$ denotes the subspace of vectors $v \in V$ such that $S^1$ acts on $v$ via the one-dimensional character $\chi_k$. Conversely, given a graded vector space $ V = \bigoplus_{k \in \mathbb{Z}} V_k$, one defines a circle action by letting $S^1$ act on the $k$th piece by $\chi_k$.

share|improve this answer
    
Very nice! I try to imagine that there's always Hodge theory hiding behind stuff like this. [It usually is.] –  Dylan Moreland Jun 2 '12 at 13:59

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.