Dirac structure

In mathematics a Dirac structure is a geometric construction generalizing both symplectic structures and Poisson structures, and having several applications to mechanics. It is based on the notion of the Dirac bracket constraint introduced by Paul Dirac and was first introduced by Ted Courant and Alan Weinstein.

In more detail, let V be a real vector space, and V* its dual. A (linear) Dirac structure on V is a linear subspace D of $$V\times V^*$$ satisfying In particular, if V is finite dimensional then the second criterion is satisfied if $$\dim D = \dim V$$. (Similar definitions can be made for vector spaces over other fields.)
 * for all $$(v,\alpha)\in D$$ one has $$\left\langle\alpha,\,v\right\rangle=0$$,
 * D is maximal with respect to this property.

An alternative (equivalent) definition often used is that $$D$$ satisfies $$D=D^\perp$$, where orthogonality is with respect to the symmetric bilinear form on $$V\times V^*$$ given by $$\bigl\langle(u,\alpha),\,(v,\beta)\bigr\rangle = \left\langle\alpha,v\right\rangle + \left\langle\beta,u\right\rangle.$$

Examples
If $$U\subset V$$ is a vector subspace, then $$D=U\times U^\circ$$ is a Dirac structure on $$V$$, where $$U^\circ$$ is the annihilator of $$U$$; that is, $$U^\circ=\left\{\alpha\in V^*\mid \alpha_{\vert U}=0\right\}$$.

Let $$\omega:V\to V^*$$ be a skew-symmetric linear map, then the graph of $$\omega$$ is a Dirac structure.  Similarly, if $$\Pi:V^*\to V$$ is a skew-symmetric linear map, then its graph is a Dirac structure. 

A Dirac structure $$\mathfrak{D}$$ on a manifold M is an assignment of a (linear) Dirac structure on the tangent space to M at m, for each $$m \in M$$. That is, Many authors, in particular in geometry rather than the mechanics applications, require a Dirac structure to satisfy an extra integrability condition as follows: \left\langle L_{X_1}(\alpha_2),\,X_3\right\rangle + \left\langle L_{X_2}(\alpha_3),\,X_1\right\rangle +\left\langle L_{X_3}(\alpha_1),\,X_2\right\rangle = 0. $$
 * for each $$m\in M$$, a Dirac subspace $$D_m$$ of the space $$T_mM\times T^*_mM$$.
 * suppose $$(X_i,\alpha_i)$$ are sections of the Dirac bundle ($$i=1,2,3$$) then $$

In the mechanics literature this would be called a closed or integrable Dirac structure.

Examples
 Let $$\Delta$$ be a smooth distribution of constant rank on a manifold M, and for each $$m\in M$$ let $$D_m=\{(u,\alpha)\in T_mM\times T_m^*M \mid u\in\Delta(m),\,\alpha\in \Delta(m)^\circ\}$$, then the union of these subspaces over m forms a Dirac structure on M.  Let $$\omega$$ be a symplectic form on a manifold $$M$$, then its graph is a (closed) Dirac structure. More generally this is true for any closed 2-form. If the 2-form is not closed then the resulting Dirac structure is not closed (integrable).  Let $$\Pi$$ be a Poisson structure on a manifold $$M$$, then its graph is a (closed) Dirac structure.  