定义
1, $\forall x\in M$ , $r\in R$ , 都有 $q(rx)=r^2q(x)$ ;
2, $\forall a,b,c\in M$ , 都有 $q(a+b+c)-q(a+b)-q(b+c)-q(c+a)+q(a)+q(b)+q(c)=0$ ;
3, $\forall a,b\in M$ , $r\in R$ , 都有 $q(ra+b)-r^2q(a)-q(b)=rq(a+b)-rq(a)-rq(b)$ .
条件中等价于说 $B(x,y)=q(x+y)-q(x)-q(y)$ 是一个 $R$ -对称双线性型, 事实上, 如果 $R$ 的特征不为 $2$ 时, 所有的二次型与所有的对称双线性型一一对应, 反向的对应由 $q(x)=\frac{1}{2}B(x,x)$ 给出.
克利福德代数的唯一性由泛性质给出, 现说明其存在性.
设 $T^n(M)=\bigotimes_{k=1}^n M$ , $n>0$ , $T^0(M)=R$ , 则 $M$ 的张量代数为
\[\displaylines{T(M)=\bigoplus_{n=0}^\infty T^n(M),}\]设 $I(M)$ 为 $\{ x\otimes x-q(x)\cdot1\mid x\in M\}$ 生成的理想, 定义
\[\displaylines{\mathrm{Cl}(M,q)=T(M)/I(M),}\]若设自然的嵌入映射 $i\colon M\to T(M)$ 和商映射 $\pi\colon T(M)\to \mathrm{Cl}(M,q)$ , 则 $j=\pi\circ i$ 即为定义中的 $j$ . 如果 $R$ 是域, 则 $j$ 是单射, 此时将 $x$ 和 $j(x)$ 看做相同, 并且有$\dim\mathrm{Cl}(M,q)=2^{\dim M}$ .
设 $R$ 的特征不为 $2$ , 定义 $R$ -模 $M$ 上的自同构 $a\colon M\to M$ , $a(x)=-x$ , 记 $j’=j\circ a$ , 于是 $j’(x)^2=(-x)^2=x^2=j(x)^2$ , 因此 $(\mathrm{Cl}(M,q),j’)$ 满足泛性质的条件, 故存在自同构 $\mathrm{Cl}(M,q)\to\mathrm{Cl}(M,q)$ , 仍记为 $a$ , 满足 $a\mid_{j(M)}(x)=-x$ . 定义
\[\displaylines{\mathrm{Cl}^+(M,q)=\{x\mid x\in\mathrm{Cl}(M,q),a(x)=x\},}\] \[\displaylines{\mathrm{Cl}^-(M,q)=\{x\mid x\in\mathrm{Cl}(M,q),a(x)=-x\},}\]由于 $a$ 满足 $a^2=\mathrm{id}$ , 其特征值即为 $\pm1$ , 于是有直和分解
\[\displaylines{\mathrm{Cl}(M,q)=\mathrm{Cl}^+(M,q)\oplus\mathrm{Cl}^-(M,q),}\]显然这给出一个 $\mathbb{Z}_2$ -分次结构, 若 $R$ 是域, 则 $\dim \mathrm{Cl}^+(M,q)=\dim \mathrm{Cl}^+(M,q)=2^{\dim M-1}$ .
实情形
以下均设 $R=\mathbb{R}$ 为实数域, $V$ 是实向量空间.
通常的复数也叫圆复数.
现取 $V=\mathbb{R}^n$ , $n$ 为正整数, 则由惯性定理, 在选取适当的基后, $V$ 上的二次型一定有
\[\displaylines{q(x_1e_1+\cdots+x_ne_n) = x_1^2 + \dots + x_p^2 - x_{p+1}^2 - \dots - x_{p+q}^2 + 0 \cdot (x_{p+q+1}^2 + \dots + x_{p+q+r}^2)}\]的形状, 其中 $p+q+r=n$ 为正惯性指数, 负惯性指数和退化项的个数, 此时我们将克利福德代数记为 $\mathrm{Cl}_{p,q,r}(\mathbb{R})$ .
如果 $r=0$ , 则简记为 $\mathrm{Cl}{p,q}(\mathbb{R})$ , 而符号 $\mathrm{Cl}{n}(\mathbb{R})$ 通常指代 $\mathrm{Cl}{n,0}(\mathbb{R})$ 或 $\mathrm{Cl}{0,n}(\mathbb{R})$ , 我们不使用这种可能引起混淆的符号. 按照这种记号, 则 $\mathrm{Cl}{0,1}(\mathbb{R})$ 即为复数集, $\mathrm{Cl}{1,0}(\mathbb{R})$ 为双曲复数.
从克利福德代数的角度来看, 二维实克利福德代数一定是一维空间 $V=\mathbb{R}$ 的克利福德代数, 即 $\mathrm{Cl}{p,q,r}(\mathbb{R})$ , 其中 $p+q+r=1$ , 所以可能只有三种情况, $\mathrm{Cl}{1,0,0}(\mathbb{R})$ , $\mathrm{Cl}{0,1,0}(\mathbb{R})$ 和 $\mathrm{Cl}{0,0,1}(\mathbb{R})$ .
该定理的证明比较复杂且深刻, 顺带一提, 若放弃结合性, 有如下定理.
若放弃有限维的条件, 则需要添加其他更强的条件.
克利福德代数有以下关系. 我们使用 $M_n(\mathbb{R})$ 表示元素均为实数的 $n$ 阶方阵代数.
2, $\mathrm{Cl}_{p+1,q+1}(\mathbb{R})\cong \mathrm{Cl}_{p,q}(\mathbb{R})\otimes_{\mathbb{R}}\mathrm{Cl}_{1,1}(\mathbb{R})$ ;
3, $M_n(\mathbb{R})\otimes_{\mathbb{R}} M_m(\mathbb{R})\cong M_{nm}(\mathbb{R})$ ;
4, $\mathrm{Cl}_{n,n}(\mathbb{R})\cong M_{2^n}(\mathbb{R})$ ;
5, $\mathrm{Cl}_{q,p+2}(\mathbb{R})\cong\mathrm{Cl}_{p, q}(\mathbb{R}) \otimes_{\mathbb{R}} \mathrm{Cl}_{0, 2}(\mathbb{R})$ ;
6, $\mathrm{Cl}_{q+2,p}(\mathbb{R})\cong\mathrm{Cl}_{p, q}(\mathbb{R}) \otimes_{\mathbb{R}} \mathrm{Cl}_{2,0}(\mathbb{R})$ .
由以上递推公式可以推出实克利福德代数的结构, 它只与 $p-q$ 有关.
| $p - q\mod 8$ | $\mathrm{Cl}_{p, q}(\mathbb{R})$ | $d$ |
|---|---|---|
| $0$ | $\mathrm{M}_d(\mathbb{R})$ | $2^{\frac{p+q}{2}}$ |
| $1$ | $\mathrm{M}_d(\mathbb{C})$ | $2^{\frac{p+q-1}{2}}$ |
| $2$ | $\mathrm{M}_d(\mathbb{H})$ | $2^{\frac{p+q-2}{2}}$ |
| $3$ | $\mathrm{M}_d(\mathbb{H}) \times \mathrm{M}_d(\mathbb{H})$ | $2^{\frac{p+q-3}{2}}$ |
| $4$ | $\mathrm{M}_d(\mathbb{H})$ | $2^{\frac{p+q-2}{2}}$ |
| $5$ | $\mathrm{M}_d(\mathbb{C})$ | $2^{\frac{p+q-1}{2}}$ |
| $6$ | $\mathrm{M}_d(\mathbb{R})$ | $2^{\frac{p+q}{2}}$ |
| $7$ | $\mathrm{M}_d(\mathbb{R}) \times \mathrm{M}_d(\mathbb{R})$ | $2^{\frac{p+q-1}{2}}$ |
该定理与拓扑K理论中的Bott周期律相关.
复情形
复数情形比较简单, 由于复数域上的所有二次型都能通过选取基底成为
\[\displaylines{q(x_1e_1+\cdots+x_ne_n)=x_1^2+\cdots+x_n^n}\]的形状, 我们记 $\mathrm{Cl}_n(\mathbb{C})=\mathrm{Cl}(\mathbb{C},q)$ .