# Metaplectic structure

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,\omega )$ is an equivariant lift of the symplectic frame bundle $\pi _{\mathbf {R} }\colon {\mathbf {R} }\to M\,$ with respect to the double covering $\rho \colon {\mathrm {Mp} }(n,{\mathbb {R} })\to {\mathrm {Sp} }(n,{\mathbb {R} }).\,$ In other words, a pair $({\mathbf {P} },F_{\mathbf {P} })$ is a metaplectic structure on the principal bundle $\pi _{\mathbf {R} }\colon {\mathbf {R} }\to M\,$ when
    a) $\pi _{\mathbf {P} }\colon {\mathbf {P} }\to M\,$ is a principal ${\mathrm {Mp} }(n,{\mathbb {R} })$-bundle over $M$,
    b) $F_{\mathbf {P} }\colon {\mathbf {P} }\to {\mathbf {R} }\,$ is an equivariant $2$-fold covering map such that
    $\pi _{\mathbf {R} }\circ F_{\mathbf {P} }=\pi _{\mathbf {P} }$ and $F_{\mathbf {P} }({\mathbf {p} }q)=F_{\mathbf {P} }({\mathbf {p} })\rho (q)$ for all ${\mathbf {p} }\in {\mathbf {P} }$ and $q\in {\mathrm {Mp} }(n,{\mathbb {R} }).$
The principal bundle $\pi _{\mathbf {P} }\colon {\mathbf {P} }\to M\,$ is also called the bundle of metaplectic frames over $M$.
Two metaplectic structures $({\mathbf {P} _{1}},F_{\mathbf {P} _{1}})$ and $({\mathbf {P} _{2}},F_{\mathbf {P} _{2}})$ on the same symplectic manifold $(M,\omega )$ are called equivalent if there exists a ${\mathrm {Mp} }(n,{\mathbb {R} })$-equivariant map $f\colon {\mathbf {P} _{1}}\to {\mathbf {P} _{2}}$ such that
    $F_{\mathbf {P} _{2}}\circ f=F_{\mathbf {P} _{1}}$ and $f({\mathbf {p} }q)=f({\mathbf {p} })q$ for all ${\mathbf {p} }\in {\mathbf {P} _{1}}$ and $q\in {\mathrm {Mp} }(n,{\mathbb {R} }).$
Of course, in this case $F_{\mathbf {P} _{1}}$ and $F_{\mathbf {P} _{2}}$ are two equivalent double coverings of the symplectic frame ${\mathrm {Sp} }(n,{\mathbb {R} })$-bundle $\pi _{\mathbf {R} }\colon {\mathbf {R} }\to M\,$ of the given symplectic manifold $(M,\omega )$.

### Obstruction

Since every symplectic manifold $M$ is necessarily of even dimension and orientable, one can prove that the topological obstruction to the existence of metaplectic structures is precisely the same as in Riemannian spin geometry. In other words, a symplectic manifold $(M,\omega )$ admits a metaplectic structures if and only if the second Stiefel-Whitney class $w_{2}(M)\in H^{2}(M,{\mathbb {Z} _{2}})$ of $M$ vanishes. In fact, the modulo $_{2}$ reduction of the first Chern class $c_{1}(M)\in H^{2}(M,{\mathbb {Z} })$ is the second Stiefel-Whitney class $w_{2}(M)$. Hence, $(M,\omega )$ admits metaplectic structures if and only if $c_{1}(M)$ is even, i.e., if and only if $w_{2}(M)$ is zero.
If this is the case, the isomorphy classes of metaplectic structures on $(M,\omega )$ are classified by the first cohomology group $H^{1}(M,{\mathbb {Z} _{2}})$ of $M$ with ${\mathbb {Z} _{2}}$-coefficients.
As the manifold $M$ is assumed to be oriented, the first Stiefel-Whitney class $w_{1}(M)\in H^{1}(M,{\mathbb {Z} _{2}})$ of $M$ vanishes too.

## Examples
### Manifolds admitting a metaplectic structure

* Phase spaces $(T^{\ast }N,\theta )\,,$ $N$ any orientable manifold.
* Complex projective spaces ${\mathbb {P} }^{2k+1}{\mathbb {C} }\,,$ $\,k\in {\mathbb {N} }_{0}\,.$ Since ${\mathbb {P} }^{2k+1}{\mathbb {C} }\,$ is simply connected, such a structure has to be unique.
* Grassmannian $Gr(2,4)\,,$ etc.