In differential geometry, a metaplectic structure is the symplectic analog of spin structure on orientable Riemannian manifolds. A metaplectic structure on a symplectic manifold allows one to define the symplectic spinor bundle, which is the Hilbert space bundle associated to the metaplectic structure via the metaplectic representation, giving rise to the notion of a symplectic spinor field in differential geometry. Symplectic spin structures have wide applications to mathematical physics, in particular to quantum field theory where they are an essential ingredient in establishing the idea that symplectic spin geometry and symplectic Dirac operators may give valuable tools in symplectic geometry and symplectic topology. They are also of purely mathematical interest in differential geometry, algebraic topology, and K theory. They form the foundation for symplectic spin geometry.
Formal definition A metaplectic structure on a symplectic manifold ( M , ω ) {\displaystyle (M,\omega )} is an equivariant lift of the symplectic frame bundle π R : R → M {\displaystyle \pi _{\mathbf {R} }\colon {\mathbf {R} }\to M\,} with respect to the double covering ρ : M p ( n , R ) → S p ( n , R ) . {\displaystyle \rho \colon {\mathrm {Mp} }(n,{\mathbb {R} })\to {\mathrm {Sp} }(n,{\mathbb {R} }).\,} In other words, a pair ( P , F P ) {\displaystyle ({\mathbf {P} },F_{\mathbf {P} })} is a metaplectic structure on the principal bundle π R : R → M {\displaystyle \pi _{\mathbf {R} }\colon {\mathbf {R} }\to M\,} when
a) π P : P → M {\displaystyle \pi _{\mathbf {P} }\colon {\mathbf {P} }\to M\,} is a principal M p ( n , R ) {\displaystyle {\mathrm {Mp} }(n,{\mathbb {R} })} -bundle over M {\displaystyle M} , b) F P : P → R {\displaystyle F_{\mathbf {P} }\colon {\mathbf {P} }\to {\mathbf {R} }\,} is an equivariant 2 {\displaystyle 2} -fold covering map such that
π R ∘ F P = π P {\displaystyle \pi _{\mathbf {R} }\circ F_{\mathbf {P} }=\pi _{\mathbf {P} }} and F P ( p q ) = F P ( p ) ρ ( q ) {\displaystyle F_{\mathbf {P} }({\mathbf {p} }q)=F_{\mathbf {P} }({\mathbf {p} })\rho (q)} for all p ∈ P {\displaystyle {\mathbf {p} }\in {\mathbf {P} }} and q ∈ M p ( n , R ) . {\displaystyle q\in {\mathrm {Mp} }(n,{\mathbb {R} }).}
… excerpt ends here. Continue reading the full article.
