\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{Clifford algebra}

\hypertarget{context}{}\subsubsection*{{Context}}\label{context}

\hypertarget{superalgebra_and_supergeometry}{}\paragraph*{{Super-Algebra and Super-Geometry}}\label{superalgebra_and_supergeometry}

[[!include supergeometry - contents]]

\hypertarget{higher_spin_geometry}{}\paragraph*{{Higher spin geometry}}\label{higher_spin_geometry}

[[!include higher spin geometry - contents]]

\hypertarget{contents}{}\section*{{Contents}}\label{contents}

\noindent\hyperlink{definition}{Definition}\dotfill \pageref*{definition} \linebreak
\noindent\hyperlink{examples}{Examples}\dotfill \pageref*{examples} \linebreak
\noindent\hyperlink{properties}{Properties}\dotfill \pageref*{properties} \linebreak
\noindent\hyperlink{Classification}{Classification and Relation to matrix algebras}\dotfill \pageref*{Classification} \linebreak
\noindent\hyperlink{ClassificationOverTheComplexNumbers}{Over the complex numbers}\dotfill \pageref*{ClassificationOverTheComplexNumbers} \linebreak
\noindent\hyperlink{ClassificationOverTheRealNumbers}{Over the real numbers}\dotfill \pageref*{ClassificationOverTheRealNumbers} \linebreak
\noindent\hyperlink{as_a_superalgebra}{As a superalgebra}\dotfill \pageref*{as_a_superalgebra} \linebreak
\noindent\hyperlink{AsQuantizedExteriorAlgebra}{Relation to exterior algebra (quantization)}\dotfill \pageref*{AsQuantizedExteriorAlgebra} \linebreak
\noindent\hyperlink{relation_to__groups}{Relation to $Spin$ groups}\dotfill \pageref*{relation_to__groups} \linebreak
\noindent\hyperlink{spinors}{Spinors}\dotfill \pageref*{spinors} \linebreak
\noindent\hyperlink{warnings}{Warnings}\dotfill \pageref*{warnings} \linebreak
\noindent\hyperlink{related_concepts}{Related concepts}\dotfill \pageref*{related_concepts} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak


\hypertarget{definition}{}\subsection*{{Definition}}\label{definition}

Given a [[commutative ring]] $R$ and $R$-[[module]]s $M$ and $N$, an \textbf{$R$-[[quadratic function]]} on $M$ with values in $N$ is a map $q: M \to N$ such that the following properties hold:

\begin{itemize}%
\item (cube relation) For any $x,y,z \in M$, we have $q(x+y+z) - q(x+y) - q(x+z) - q(y+z) + q(x) + q(y) + q(z) = 0$.
\item (homogeneous of degree 2) For any $x \in M$ and any $r \in R$, we have $q(r x) = r^2q(x)$.

\end{itemize}
A \textbf{quadratic $R$-module} is an $R$-module $M$ equipped with a \textbf{[[quadratic form]]}: an $R$-quadratic function on $M$ with values in $R$.

The \textbf{Clifford algebra} $Cl(M,q)$ of a quadratic $R$-module $(M,q)$ can be defined as the [[quotient]] of the [[tensor algebra]] $T_R(M)$ by the [[ideal]] generated by the relations $x \otimes x - q(x)$ for all $x \in M$.

Equivalently, it is the [[initial object]] in the [[category]] whose [[object]]s are pairs $(A,\phi)$ where $A$ is an associative unital $R$-[[associative algebra|algebra]], and $\phi: M \to A$ is an $R$-[[linear map]] satisfying $\phi(x)^2 = q(x) 1_A$ for all $x \in M$, and whose morphisms $(A,\phi)\to (A',\phi')$ are the associative $R$-algebra maps $\chi: A\to A'$ such that $\chi\circ\phi=\phi'$.

\hypertarget{examples}{}\subsection*{{Examples}}\label{examples}

Examples in low [[rank]] can be calculated easily. If $M$ is freely generated by a single element $e$, with quadratic form $q(e) = 1$, then $Cl(M,q) = R[e]/(e^2-1)$. Note that the opposite sign convention is often used in the differential geometry literature, so one may see the assertion that the Clifford algebra of the real line with a positive definite metric is isomorphic to the complex numbers $\mathbb{R}[e]/(e^2+1)$. Similarly, the Clifford algebra of a negative definite two dimensional real vector space is isomorphic to the (non-split) quaternions in our convention, but one may see the assertion that it is isomorphic to $M_2(\mathbb{R})$. Complexification removes the difference between positive definite and negative definite, and the two complexified algebras are isomorphic.

Let $M = L \oplus L^\vee$ for $L$ projective of rank $d$ over $R$, and $L^\vee = Hom_R(L,R)$ the dual module. One can define the canonical quadratic form $q(f+x) = f(x)$ for $f \in L^\vee$ and $x \in L$. In this case, $Cl(M,q) \cong M_{2^d}(R)$. In general, the Clifford algebra arising from a nondegenerate form is flat-locally (on $\operatorname{Spec} R$) isomorphic to a matrix algebra (when rank is even) or a direct sum of two matrix algebras (when rank is odd).

If $M$ is a projective $R$-module of rank $d$, then independently of $q$, the Clifford algebra $Cl(M,q)$ is projective of rank $2^d$, and is (noncanonically) isomorphic to $\bigwedge M$ as an $R$-module equipped with a map from $M$. The Clifford algebra is isomorphic to the exterior algebra (as algebras equipped with $R$-module maps from $M$) if and only if $q = 0$.

If $R$ is the ring of smooth functions on a pseudo-Riemannian manifold $X$, and $M$ is the $R$-module of sections of the tangent bundle, then the metric endows $M$ with a quadratic structure, and one can form the Clifford algebra of the tangent bundle.

\hypertarget{properties}{}\subsection*{{Properties}}\label{properties}

\hypertarget{Classification}{}\subsubsection*{{Classification and Relation to matrix algebras}}\label{Classification}

\hypertarget{ClassificationOverTheComplexNumbers}{}\paragraph*{{Over the complex numbers}}\label{ClassificationOverTheComplexNumbers}

\begin{theorem}
\label{}\hypertarget{}{}
Let $V$ be the [[vector space]] over the [[complex numbers]] of complex [[dimension]] $d$, equipped with non-degenerate [[bilinear form]], unique up to [[isomorphism]]. The Clifford algebra

\begin{displaymath}
Cl_{d}(\mathbb{C}) \coloneqq Cl(V)
\end{displaymath}
is [[isomorphism|isomorphic]], as a complex [[associative algebra]] to a [[matrix algebra]] as follows:

\begin{displaymath}
Cl_d(\mathbb{C})
  \simeq
  \left\{
    \itexarray{
       Mat_{2^{\tfrac{d}{2}}}(\mathbb{C}) & for \, d \, even
       \\
       Mat_{2^{\tfrac{d-1}{2}}}(\mathbb{C}) \oplus Mat_{2^{\tfrac{d-1}{2}}}(\mathbb{C}) 
       & for \, d \, odd
    }
  \right.
\end{displaymath}
\end{theorem}
\begin{remark}
\label{}\hypertarget{}{}
This is one of the incarnations of [[Bott periodicity]].

\end{remark}
\hypertarget{ClassificationOverTheRealNumbers}{}\paragraph*{{Over the real numbers}}\label{ClassificationOverTheRealNumbers}

We discuss the classification of Clifford algebras over the [[real numbers]] and their relation to [[matrix algebras]] over the real numbers. A key statement is that of the mod-8 [[Bott periodicity]] of this classification (prop. \ref{RealBottPeriodicity} below).

In the following we write

\begin{itemize}%
\item $\Cl_{s,t}$ for the real Clifford algebra with

\begin{itemize}%
\item $s$ generators squaring to -1


\item $t$ generators squaring to +1



\end{itemize}

\item $\mathbb{C}$ for the [[complex numbers]] regarded as an [[associative algebra]] over $\mathbb{R}$;


\item $\mathbb{H}$ for the [[quaternions]] regarded as an [[associative algebra]] over $\mathbb{R}$;


\item $\mathbb{K}[n] \coloneqq Mat_{n \times n}(\mathbb{K})$ for the [[matrix algebra]] of $n \times n$ matrices with [[coefficients]] in $\mathbb{K}$.



\end{itemize}
\begin{prop}
\label{}\hypertarget{}{}
For low dimensions of real Clifford algebras, there are the following isomorphisms of [[associative algebras]] over $\mathbb{R}$

\begin{displaymath}
Cl_{0,1}
  \simeq
  \mathbb{R} \oplus \mathbb{R}
\end{displaymath}
\begin{displaymath}
Cl_{1,1}
   \simeq
  \mathbb{R}[2]
\end{displaymath}
\begin{displaymath}
Cl_{1,0}
    \simeq
   \mathbb{C}
\end{displaymath}
\begin{displaymath}
Cl_{2,0} \simeq \mathbb{H}
\end{displaymath}
\end{prop}
(e. g. \hyperlink{FigueroaOFarrill}{Figueroa-O'Farrill, lemma32})

\begin{prop}
\label{Smooth0TypeIsSheavesOnSmoothMfd}\hypertarget{Smooth0TypeIsSheavesOnSmoothMfd}{}
For $n,s,t \in \mathbb{N}$ then there are the following [[isomorphisms]] of [[associative algebras]] over $\mathbb{R}$:

\begin{displaymath}
Cl_{n+2,0} \simeq Cl_{0,n} \otimes_{\mathbb{R}} Cl_{2,0}
\end{displaymath}
\begin{displaymath}
Cl_{0,n+2} \simeq Cl_{n,0} \otimes_{\mathbb{R}} Cl_{0,2}
\end{displaymath}
\begin{displaymath}
Cl_{s+1.t+1} \simeq Cl_{s,t} \otimes_{\mathbb{R}} Cl_{1,1}
\end{displaymath}
\end{prop}
(e.g. \hyperlink{LawsonMichelsohn89}{Lawson-Michelsohn 89, theorem 4.1}, \hyperlink{FigueroaOFarrill}{Figueroa-O'Farrill, lemma 2})

\begin{prop}
\label{Smooth0TypeIsSheavesOnSmoothMfd}\hypertarget{Smooth0TypeIsSheavesOnSmoothMfd}{}
For $n,n_1, n_2 \in \mathbb{N}$ there are the following [[isomorphisms]] of [[associative algebras]] over $\mathbb{R}$:

\begin{itemize}%
\item $\mathbb{R}[n_1] \otimes_{\mathbb{R}} \mathbb{R}[n_2] \simeq \mathbb{R}[n_1 n_2]$;


\item $\mathbb{R}[n] \otimes_{\mathbb{R}} \mathbb{K} \simeq \mathbb{K}[n]$;


\item $\mathbb{C} \otimes_{\mathbb{R}} \mathbb{C} \simeq \mathbb{C} \oplus \mathbb{C}$.


\item $\mathbb{C} \otimes_{\mathbb{R}} \mathbb{H} \simeq \mathbb{C}[2]$;


\item $\mathbb{H} \otimes_{\mathbb{R}} \mathbb{H} \simeq \mathbb{R}[4]$



\end{itemize}
\end{prop}
(e.g. \hyperlink{LawsonMichelsohn89}{Lawson-Michelsohn 89, proposition 4.2})

Now the incarnation in Clifford algebras of [[Bott periodicity]] over the [[real numbers]] is the following:

\begin{prop}
\label{RealBottPeriodicity}\hypertarget{RealBottPeriodicity}{}
For all $n \in \mathbb{N}$ there are [[isomorphisms]] of [[associative algebras]] over $\mathbb{R}$ as follows:

\begin{itemize}%
\item $Cl_{n+8,0} \simeq Cl_{n,0} \otimes_{\mathbb{R}} Cl_{8,0}$;


\item $Cl_{0,n+8} \simeq Cl_{0,n} \otimes_{\mathbb{R}} Cl_{0,8}$.



\end{itemize}
where

\begin{itemize}%
\item $Cl_{8,0} \simeq Cl_{0,8} \simeq \mathbb{R}[16]$.

\end{itemize}
\end{prop}
(e.g. \hyperlink{LawsonMichelsohn89}{Lawson-Michelsohn 89, theorem 4.3})

\hypertarget{as_a_superalgebra}{}\subsubsection*{{As a superalgebra}}\label{as_a_superalgebra}

While the [[tensor algebra]] of an $R$-module $M$ has a natural [[integer]] grading, the quadratic relation collapses this to a natural $\mathbb{Z}/2\mathbb{Z}$-grading on $Cl(M,q)$.

\begin{displaymath}
Cl(M,q) = Cl(M,q)^{ev} \oplus Cl(M,q)^{odd}
\end{displaymath}
When $M$ is projective of rank $d$, each homogeneous piece is projective of rank $2^{d-1}$. When $q$ is nondegenerate, the even part of the Clifford algebra is also flat-locally isomorphic to a matrix ring or a sum of two matrix rings.

One can view the Clifford algebra multiplication as a quantization of the commutative [[super algebra]] $\bigwedge_R M$.

\hypertarget{AsQuantizedExteriorAlgebra}{}\subsubsection*{{Relation to exterior algebra (quantization)}}\label{AsQuantizedExteriorAlgebra}

For $V$ an [[inner product space]], the [[symbol map]] (see there) constitutes an [[isomorphism]] of the underlying [[super vector space]]s of the Clifford algebra with the [[exterior algebra]] on $V$.

One can understand the Clifford algebra as the [[quantization]] [[Grassmann algebra]] induced from the [[inner product]] regarded as an odd [[symplectic form]].

\hypertarget{relation_to__groups}{}\subsubsection*{{Relation to $Spin$ groups}}\label{relation_to__groups}

Let $M$ be a projective $R$-module of finite [[rank]], and let $q$ be nondegenerate. Write $Cl(M,q)^\times$ for the [[group of units]] of the Clifford algebra $Cl(M,q)$.

The \textbf{Clifford group} $\Gamma_{M,q}(R)$ is the subgroup of elements $x$ for which twisted conjugation stabilizes the submodule $M \subset Cl(M,q)$. Here, twisted conjugation is defined by $y \mapsto x y\alpha(x)^{-1}$, where $\alpha$ is the automorphism of $CL(M,q)$ induced by the $-1$ map on $M$. Since twisted conjugation by $M$-stabilizing elements amounts to reflection $y \mapsto y - 2\frac{(x,y)}{q(x)}x$, there is a canonical map $\Gamma_{M,q}(R) \to O(M,q)$, and the Clifford group is in fact a central extension of the orthogonal group by $R^\times$.

The Clifford group is made of homogeneous elements in the $\mathbb{Z}/2\mathbb{Z}$-grading, and the subgroup of even elements is a normal subgroup of index two. One also has a [[spinor]] norm $Q: \Gamma_{M,q}(R) \to R^\times$ on the Clifford group, defined by $Q(x) = x^t x$, where $x \mapsto x^t$ is the anti-involution of the Clifford algebra defined by opposite multiplication in the tensor algebra.

The [[Pin group]] $Pin_{M,q}(R)$ is the group elements of the Clifford group with [[spinor]] norm 1. The [[Spin group]] $Spin_{M,q}(R)$ is the group of elements in the even subgroup of the Clifford group with [[spinor]] norm 1.

The restriction of the map $\Gamma_{M,q}(R) \to O(M,q)$ to the Pin group may not be surjective, but it is for positive definite real vector spaces. The kernel is the group $\mu_2(R)$ of elements of $R$ that square to 1. Similarly, the [[Spin group]] has a map to the special orthogonal group with kernel $\mu_2(R)$, but it may not be surjective in general.

One can use base change to define the groups given above as functors on commutative $R$-algebras.

\hypertarget{spinors}{}\subsection*{{Spinors}}\label{spinors}

For nondegenerate [[quadratic forms]] on real vector spaces, [[spinors]]/[[spin representations]] are distinguished linear representations of [[Spin groups]] that are not pulled back from the corresponding special orthogonal groups. In other words, the central element $-1$ acts nontrivially. They can be realized as restrictions of representations of the even parts of Clifford algebras. Since even parts of Clifford algebras are (up to complexification) the sum of one or two matrix rings, their representation theory is quite simple.

The specific nature of spinor representations possible depends on the signature of the vector space modulo 8. This is a manifestation of Bott periodicity. One always has a Dirac spinor - the fundamental (spin) representation of the complexified Clifford algebra. In even dimensions, this splits into two Weyl spinors (called half-spin representations). One may also have real representations called Majorana spinors, and these may decompose into Majorana-Weyl spinors.

There are infinite dimensional Clifford algebra constructions that appear in conformal field theory. One may extend the above discussion to topological $R$-modules and continuous quadratic forms, and one obtains canonical central extensions of infinite dimensional groups and algebras by a relative determinant construction. Semi-infinite wedge spaces are spinor modules for Clifford algebras of quadratic Tate $R$-modules.

\hypertarget{warnings}{}\subsection*{{Warnings}}\label{warnings}

There is a difference of sign convention between differential geometers (following Atiyah) and everyone else.

Clifford algebras are often defined using bilinear forms instead of quadratic forms (and one often sees incorrect definitions of quadratic forms in terms of bilinear forms). Such definitions will yield wrong (or boring) objects when 2 is not invertible.

Special orthogonal groups are often defined as the kernel of the determinant map on the corresponding orthogonal groups, but in characteristic 2, the determinant is trivial, while the Clifford grading (called the Dickson invariant) is not.

The Clifford group is sometimes defined without the twist in the conjugation, and this means the map to the orthogonal group may not be a surjection, and the action on $M$ is by negative reflections.

The spinor norm is sometimes defined with the opposite sign.

Special orthogonal groups over the reals are sometimes defined to be the connected component of the identity in the orthogonal group. In indefinite signature, this defines an index two subgroup of the special orthogonal group.

Spin groups in signature $(m,n)$ for $m,n \geq 2$ have fundamental groups of order two. They are simply connected when $m$ or $n$ is at most one.

\hypertarget{related_concepts}{}\subsection*{{Related concepts}}\label{related_concepts}

\begin{itemize}%
\item [[geometric algebra]]


\item [[Clifford module]],


\item [[Clifford bundle]]


\item [[Clifford module bundle]]


\item [[Fierz identity]]


\item [[spin geometry]], [[spin group]]


\item [[2-Clifford algebra]]


\item [[Feynman slash notation]]



\end{itemize}
\hypertarget{references}{}\subsection*{{References}}\label{references}

Original work includes

\begin{itemize}%
\item [[William Clifford]], \emph{Applications of Grassmann's extensive algebra}. American Journal of Mathematics 1 (4): 350--358. (1878)doi:10.2307/2369379.


\item [[Élie Cartan]], \emph{Theory of Spinors}, Dover, first edition 1966



\end{itemize}
For some standard material see for instance

\begin{itemize}%
\item [[H. Blaine Lawson]], [[Marie-Louise Michelsohn]], \emph{[[Spin geometry]]}, Princeton University Press (1989) ISBN 0-691-08542-0


\item [[Eckhard Meinrenken]], \emph{Clifford algebras and Lie groups} (\href{http://www.math.toronto.edu/mein/teaching/clif_main.pdf}{pdf})


\item [[Pertti Lounesto]], \emph{Clifford Algebras and Spinors}, London Mathematical Society No. 286. Cambridge University Press, second edition, 2001.


\item [[Jean Gallier]], \emph{Clifford Algebras, Clifford Groups, and a Generalization of the Quaternions} (\href{https://arxiv.org/abs/0805.0311}{arXiv:0805.0311})



\end{itemize}
For a program that promotes the use of Clifford algebra as a good expositional tool in introductory [[mechanics]] see \emph{[[Geometric Algebra]]}.

See also the discussion of [[Majorana spinors]]

\begin{itemize}%
\item [[José Figueroa-O'Farrill]], \emph{Majorana spinors} (\href{http://www.maths.ed.ac.uk/~jmf/Teaching/Lectures/Majorana.pdf}{pdf})

\end{itemize}
[[!redirects Clifford algebras]]



\end{document}