Jump to content

PlanetPhysics/C Clifford Algebra

From Wikiversity

Preliminary data for the definition of a C*-Clifford algebra

[edit | edit source]

Given a general Hilbert space , one can define an associated -Clifford algebra , Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikiversity.org/v1/":): {\displaystyle \Cl[\mathcal{H}]} , which admits a canonical representation on Failed to parse (unknown function "\bF"): {\displaystyle \mathcal L(\bF (\mathcal{H}))} the bounded linear operators on the Fock space Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikiversity.org/v1/":): {\displaystyle \bF (\mathcal{H})} of , (as in Plymen and Robinson, 1994), and hence one has a natural sequence of maps Failed to parse (unknown function "\lra"): {\displaystyle \mathcal{H} \lra \Cl[\mathcal{H}] \lra \mathcal L(\bF (\mathcal{H}))~. }

The details and notation related to the definition of a -Clifford algebra , are presented in the following brief paragraph and diagram.

A non--commutative quantum observable algebra (QOA) is a Clifford algebra.

[edit | edit source]

Let us briefly recall the notion of a Clifford algebra with the above notations and auxiliary concepts. Consider first a pair , where denotes a real vector space and is a quadratic form on ~. Then, the Clifford algebra associated to , denoted here as Failed to parse (unknown function "\Cl"): {\displaystyle \Cl(V) = \Cl(V, Q)} , is the algebra over Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikiversity.org/v1/":): {\displaystyle \bR} generated by , where for all , the relations: are satisfied; in particular, ~.

If is an algebra and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikiversity.org/v1/":): {\displaystyle c : V \lra W} is a linear map satisfying then there exists a unique algebra homomorphism Failed to parse (unknown function "\Cl"): {\displaystyle \phi : \Cl(V) \lra W} such that the diagram

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikiversity.org/v1/":): {\displaystyle \xymatrix{&&\hspace*{-1mm}\Cl(V)\ar[ddrr]^{\phi}&&\\&&&&\\ V \ar[uurr]^{\Cl} \ar[rrrr]_&&&& W}}

Commutes. (It is in this sense that Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikiversity.org/v1/":): {\displaystyle \Cl(V)} is considered to be `universal').

Then, with the above notation, one has the precise definition of the -Clifford algebra as Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikiversity.org/v1/":): {\displaystyle \Cl[\mathcal{H}]} when where is a real vector space, as specified above.

Also note that the Clifford algebra is sometimes denoted as .