6
$\begingroup$

While reading about the structure of Clifford algebra, there were two facts listed as bullet points about the center of Clifford algebra based on the parity of the dimension of the underlying vector space that I'm now curious about.

Say you have a finite dimensional vector space $V$ over a field $K$, such that $\operatorname{char} K\neq 2$, and $G$ is a symmetric bilinear form. Let $\mathrm{Cl}_G(V)$ denote the corresponding Clifford algebra.

Apparently, if $\dim V$ is even, then the center of $\mathrm{Cl}_G(V)$ coincides with $K$. However, if $\dim V$ is odd, then the center is actually a $2$-dimensional vector space over $K$.

These seem like good interesting facts to know, but I couldn't find an authoritative reference containing a proof of either of them. Does anybody here have a nice proof of either one/both I could read over? I'd appreciate it very much, thanks.

  • 0
    Now I am curious which 6-dimensional Lie group one obtains if one considers the quotient of the multiplicative group of the (8-dimensional) Clifford algebra on $\mathbb{R}^3$ by its (2-dimensional) center!2015-03-16

1 Answers 1

9

If $e_1, e_2, \ldots, e_n$ are an orthogonal basis in $V$, then the relations $e_i e_j = - e_j e_i$ hold for $i \ne j$ in the corresponding Clifford algebra. From this, we can derive the relation $e_A e_B = e_B e_A (-1)^{|A| \cdot |B| - |A \cap B|}$ where $A$ and $B$ are subsets of $\{1,2,\ldots,n\}$ and $e_A = \prod_{i \in A} e_i$, the product taken in increasing order of indices. (To see this, note that every time you move an "element" $e_i$ of $e_B$ "past" all of $e_A$ you introduce a minus sign for each element of $A$ if $i \not \in A$, but one less minus sign than elements of $A$, if $i \in A$.)

From this, we can prove that if $n$ is even, the only element of the form $e_A$ in the center of the Clifford algebra is 1, and if $n$ is odd, we also have $e_1 e_2 \ldots e_n$. (To rule out all other elements, let $A$ be a nonempty proper subset of indices; let $B = \{i, j\}$ where $i \in A$, $j \not \in A$, then the above formula shows that $e_A e_B = -e_B e_A$. Then show that $e_1 e_2 \ldots e_n$ works precisely when $n$ is odd.)

Then, it's straightforward to consider the case of a general element $\sum c_A e_A$, since multiplying such a sum by a fixed $e_B$ acts "independently" on each $e_A$.

  • 0
    And in a similar vein, it can be shown that the supercenter of the Clifford algebra (i.e., the set of all elements whose supercommutator with everything is $0$) is spanned by all $e_A$ such that $e_i$ is singular for every $i\in A$.2014-04-11