Clifford bundle

In mathematics, a Clifford bundle is an algebra bundle whose fibers have the structure of a Clifford algebra and whose local trivializations respect the algebra structure. There is a natural Clifford bundle associated to any (pseudo) Riemannian manifold M which is called the Clifford bundle of M.

General construction

Let V be a (real or complex) vector space together with a symmetric bilinear form <·,·>. The Clifford algebra Cℓ(V) is a natural (unital associative) algebra generated by V subject only to the relation

v^{2}=\langle v,v\rangle

for all v in V.^[1] One can construct Cℓ(V) as a quotient of the tensor algebra of V by the ideal generated by the above relation.

Like other tensor operations, this construction can be carried out fiberwise on a smooth vector bundle. Let E be a smooth vector bundle over a smooth manifold M, and let g be a smooth symmetric bilinear form on E. The Clifford bundle of E is the fiber bundle whose fibers are the Clifford algebras generated by the fibers of E:

C\ell (E)=\coprod _{x\in M}C\ell (E_{x},g_{x})

The topology of Cℓ(E) is determined by that of E via an associated bundle construction.

One is most often interested in the case where g is positive-definite or at least nondegenerate; that is, when (E, g) is a Riemannian or pseudo-Riemannian vector bundle. For concreteness, suppose that (E, g) is a Riemannian vector bundle. The Clifford bundle of E can be constructed as follows. Let Cℓ_nR be the Clifford algebra generated by Rⁿ with the Euclidean metric. The standard action of the orthogonal group O(n) on Rⁿ induces a graded automorphism of Cℓ_nR. The homomorphism

\rho :\mathrm {O} (n)\to \mathrm {Aut} (C\ell _{n}\mathbb {R} )

is determined by

\rho (A)(v_{1}v_{2}\cdots v_{k})=(Av_{1})(Av_{2})\cdots (Av_{k})

where v_i are all vectors in Rⁿ. The Clifford bundle of E is then given by

C\ell (E)=F(E)\times _{\rho }C\ell _{n}\mathbb {R}

where F(E) is the orthonormal frame bundle of E. It is clear from this construction that the structure group of Cℓ(E) is O(n). Since O(n) acts by graded automorphisms on Cℓ_nR it follows that Cℓ(E) is a bundle of Z₂-graded algebras over M. The Clifford bundle Cℓ(E) can then be decomposed into even and odd subbundles:

C\ell (E)=C\ell ^{0}(E)\oplus C\ell ^{1}(E).

If the vector bundle E is orientable then one can reduce the structure group of Cℓ(E) from O(n) to SO(n) in the natural manner.

Clifford bundle of a Riemannian manifold

If M is a Riemannian manifold with metric g, then the Clifford bundle of M is the Clifford bundle generated by the tangent bundle TM. One can also build a Clifford bundle out of the cotangent bundle T*M. The metric induces a natural isomorphism TM = T*M and therefore an isomorphism Cℓ(TM) = Cℓ(T*M).

There is a natural vector bundle isomorphism between the Clifford bundle of M and the exterior bundle of M:

C\ell (T^{*}M)\cong \Lambda (T^{*}M).

This is an isomorphism of vector bundles not algebra bundles. The isomorphism is induced from the corresponding isomorphism on each fiber. In this way one can think of sections of the Clifford bundle as differential forms on M equipped with Clifford multiplication rather than the wedge product (which is independent of the metric).

The above isomorphism respects the grading in the sense that

{\begin{aligned}C\ell ^{0}(T^{*}M)&=\Lambda ^{\mathrm {even} }(T^{*}M)\\C\ell ^{1}(T^{*}M)&=\Lambda ^{\mathrm {odd} }(T^{*}M).\end{aligned}}

Local description

For a vector $v\in T_{x}M$ at $x\in M$ , and a form $\psi \in \Lambda (T_{x}M)$ the Clifford multiplication^[2] is defined as

$v\psi =v\wedge \psi +v\lrcorner \psi$ ,

where the metric duality to change vector to the one form is used in the first term.

Then the exterior derivative $d$ and coderivative $\delta$ can be related to the metric connection $\nabla$ using the choice of an orthonormal base $\{e_{a}\}$ by

$d=e^{a}\wedge \nabla _{e_{a}},\quad \delta =-e^{a}\lrcorner \nabla _{e_{a}}$ .

Using these definitions, the Dirac-Kähler operator^[3]^[2] is defined by

$D=e^{a}\nabla _{e_{a}}=d-\delta$ .

On a star domain the operator can be inverted using Poincaré lemma for exterior derivative and its Hodge star dual for coderivative.^[4] Practical way of doing this is by homotopy and cohomotopy operators.^[4]^[5]

Notes

^ There is an arbitrary choice of sign in the definition of a Clifford algebra. In general, one can take v² = ±<v,v>. In differential geometry, it is common to use the (−) sign convention.
^ ^a ^b Benn, Ian M.; Tucker, Robin W. (1987). An Introduction to Spinors and Geometry with Applications in Physics. A. Hilger. ISBN 978-0-85274-169-6.
^ Graf, Wolfgang (1978). "Differential forms as spinors". Annales de l'Institut Henri Poincaré A. 29 (1): 85–109. ISSN 2400-4863.
^ ^a ^b Kycia, Radosław Antoni (2022). "The Poincare Lemma for Codifferential, Anticoexact Forms, and Applications to Physics". Results in Mathematics. 77 (5): 182. arXiv:2009.08542. doi:10.1007/s00025-022-01646-z. ISSN 1422-6383. S2CID 221802588.
^ Kycia, Radosław Antoni (2020). "The Poincare Lemma, Antiexact Forms, and Fermionic Quantum Harmonic Oscillator". Results in Mathematics. 75 (3): 122. arXiv:1908.02349. doi:10.1007/s00025-020-01247-8. ISSN 1422-6383. S2CID 253586364.

References

Berline, Nicole; Getzler, Ezra; Vergne, Michèle (2004). Heat kernels and Dirac operators. Grundlehren Text Editions (Paperback ed.). Berlin, New York: Springer-Verlag. ISBN 3-540-20062-2. Zbl 1037.58015.
Lawson, H. Blaine; Michelsohn, Marie-Louise (1989). Spin Geometry. Princeton Mathematical Series. Vol. 38. Princeton University Press. ISBN 978-0-691-08542-5. Zbl 0688.57001.

[1] There is an arbitrary choice of sign in the definition of a Clifford algebra. In general, one can take v² = ±<v,v>. In differential geometry, it is common to use the (−) sign convention.

[:0-2] Benn, Ian M.; Tucker, Robin W. (1987). An Introduction to Spinors and Geometry with Applications in Physics. A. Hilger. ISBN 978-0-85274-169-6.

[3] Graf, Wolfgang (1978). "Differential forms as spinors". Annales de l'Institut Henri Poincaré A. 29 (1): 85–109. ISSN 2400-4863.

[:1-4] Kycia, Radosław Antoni (2022). "The Poincare Lemma for Codifferential, Anticoexact Forms, and Applications to Physics". Results in Mathematics. 77 (5): 182. arXiv:2009.08542. doi:10.1007/s00025-022-01646-z. ISSN 1422-6383. S2CID 221802588.

[5] Kycia, Radosław Antoni (2020). "The Poincare Lemma, Antiexact Forms, and Fermionic Quantum Harmonic Oscillator". Results in Mathematics. 75 (3): 122. arXiv:1908.02349. doi:10.1007/s00025-020-01247-8. ISSN 1422-6383. S2CID 253586364.

[1]

[2]

[3]

[4]

[5]