Dirac structure

This article may require cleanup to meet Wikipedia's quality standards. The specific problem is: section reorganization needed. Please help improve this article if you can. (May 2025) (Learn how and when to remove this message)

This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. Please help improve this article by introducing more precise citations. (April 2023) (Learn how and when to remove this message)

In mathematics a Dirac structure is a geometric structure 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.

Let ${\displaystyle V}$ be a real vector space, and ${\displaystyle V^{*}}$ its dual. A (linear) Dirac structure on ${\displaystyle V}$ is a linear subspace ${\displaystyle D}$ of ${\displaystyle V\times V^{*}}$ satisfying

• for all ${\displaystyle (v,\alpha )\in D}$ one has ${\displaystyle \left\langle \alpha ,\,v\right\rangle =0}$,
• ${\displaystyle D}$ is maximal with respect to this property.

In particular, if ${\displaystyle V}$ is finite dimensional, then the second criterion is satisfied if ${\displaystyle \dim D=\dim V}$. Similar definitions can be made for vector spaces over other fields.

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

1. If ${\displaystyle U\subset V}$ is a vector subspace, then ${\displaystyle D=U\times U^{\circ }}$ is a Dirac structure on ${\displaystyle V}$, where ${\displaystyle U^{\circ }}$ is the annihilator of ${\displaystyle U}$; that is, ${\displaystyle U^{\circ }=\left\{\alpha \in V^{*}\mid \alpha _{\vert U}=0\right\}}$.
2. Let ${\displaystyle \omega :V\to V^{*}}$ be a skew-symmetric linear map, then the graph of ${\displaystyle \omega }$ is a Dirac structure.
3. Similarly, if ${\displaystyle \Pi :V^{*}\to V}$ is a skew-symmetric linear map, then its graph is a Dirac structure.

A Dirac structure ${\displaystyle {\mathfrak {D}}}$ on a smooth manifold ${\displaystyle M}$ is an assignment of a (linear) Dirac structure on the tangent space to ${\displaystyle M}$ at ${\displaystyle m}$, for each ${\displaystyle m\in M}$. That is,

• for each ${\displaystyle m\in M}$, a Dirac subspace ${\displaystyle D_{m}}$ of the space ${\displaystyle T_{m}M\times T_{m}^{*}M}$.

Many authors, in particular in geometry rather than the mechanics applications, require a Dirac structure to satisfy an extra integrability condition as follows:

• suppose ${\displaystyle (X_{i},\alpha _{i})}$ are sections of the Dirac bundle ${\displaystyle {\mathfrak {D}}\to M}$ (${\displaystyle i=1,2,3}$) then ${\displaystyle \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.}$

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

1. Let ${\displaystyle \Delta }$ be a smooth distribution of constant rank on a manifold ${\displaystyle M}$, and for each ${\displaystyle m\in M}$ let ${\displaystyle D_{m}=\{(u,\alpha )\in T_{m}M\times T_{m}^{*}M\mid u\in \Delta (m),\,\alpha \in \Delta (m)^{\circ }\}}$, then the union of these subspaces over ${\displaystyle m}$ forms a Dirac structure on ${\displaystyle M}$.
2. Let ${\displaystyle \omega }$ be a symplectic form on a manifold ${\displaystyle 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.
3. Let ${\displaystyle \Pi }$ be a Poisson structure on a manifold ${\displaystyle M}$, then its graph is a (closed) Dirac structure.

• H. Bursztyn, A brief introduction to Dirac manifolds. Geometric and topological methods for quantum field theory, 4–38, Cambridge Univ. Press, Cambridge, 2013.

• Bursztyn, Henrique; Crainic, Marius (2005). "Dirac structures, momentum maps, and quasi-Poisson manifolds". The Breadth of Symplectic and Poisson Geometry. Progress in Mathematics. Vol. 232. Birkhauser-Verlag. pp. 1–40.

• Courant, Theodore (1990). "Dirac manifolds". Transactions of the American Mathematical Society. 319 (2): 631–661. doi:10.1090/S0002-9947-1990-0998124-1.

• Courant, Theodore; Weinstein, Alan (1988). "Beyond Poisson structures". Séminaire sud-rhodanien de géométrie VIII. Travaux en Cours. Vol. 27. Paris: Hermann.

• Dorfman, Irène (1993). Dirac structures and integrability of nonlinear evolution equations. Wiley.

• Gay-Balmaz, François; Yoshimura, Hiroaki (2020). "Dirac structures in nonequilibrium thermodynamics for simple open systems". Journal of Mathematical Physics. 61 (9): 092701 (45 pp). arXiv:1907.13211. Bibcode:2020JMP....61i2701G. doi:10.1063/1.5120390. S2CID 199001204.

• van der Schaft, Arjan; Maschke, Bernhard M. (2002). "Hamiltonian formulation of distributed-parameter systems with boundary energy flow" (PDF). Journal of Geometry and Physics. 42 (1–2): 166–194. Bibcode:2002JGP....42..166V. doi:10.1016/S0393-0440(01)00083-3.

• Yoshimura, Hiroaki; Marsden, Jerrold E. (2006). "Dirac structures in Lagrangian mechanics. I. Implicit Lagrangian systems". Journal of Geometry and Physics. 57: 133–156. doi:10.1016/j.geomphys.2006.02.009.

• Yoshimura, Hiroaki; Marsden, Jerrold E. (2006). "Dirac structures in Lagrangian mechanics. II. Variational structures". Journal of Geometry and Physics. 57: 209–250. CiteSeerX 10.1.1.570.4792. doi:10.1016/j.geomphys.2006.02.012.