Partial Dirac Structures: Theory & Applications

• Partial Dirac structures are generalizations of classical Dirac geometry that retain maximal isotropy and bracket compatibility while restricting the ambient duality.
• They extend the finite-dimensional model to infinite-dimensional and constrained settings, enabling presymplectic and partial Poisson descriptions.
• Applications include constraint-induced mechanics, Dirac–Jacobi deformation theory, and dual-pair methods that decouple geometric constraints from energetic data.

Searching arXiv for papers on partial Dirac structures and closely related Dirac-geometry generalizations. A partial Dirac structure is a generalization of Dirac geometry in which the classical ambient bundle $TM\oplus T^*M$ is replaced, restricted, or supplemented so that only part of the cotangent, tangent, or integrability data is retained. In the finite-dimensional setting, Dirac structures are maximally isotropic subbundles of a Courant-type bundle that are closed under the Courant or Dorfman bracket; in the convenient infinite-dimensional setting, the notion is extended by replacing the full cotangent bundle with a weak dual bundle and imposing the same isotropy condition relative to a partial pairing (Pelletier et al., 2024). Closely related notions appear in several directions: almost Dirac and Dirac–Jacobi structures, pseudo-Dirac structures, constraint-induced Dirac structures in mechanics, and deformation theories in which one fixes an integrable Dirac-type object and varies a complementary almost Dirac structure (Tortorella, 2021, Li-Bland, 2014, Grabowska et al., 26 Apr 2025).

1. Classical Dirac geometry and the finite-dimensional prototype

In finite dimension, the standard ambient object is the Pontryagin bundle

$TP(M)=TM\oplus T^*M$

or, equivalently, the standard Courant algebroid $\mathbb{T}M=TM\oplus T^*M$, equipped with the canonical symmetric pairing

$$\langle (X_x,\alpha_x),(Y_x,\beta_x)\rangle = \beta_x(X_x)+\alpha_x(Y_x),$$

and a Courant or Dorfman bracket on sections (Pelletier et al., 2024, Frejlich et al., 2016). An almost Dirac structure is a subbundle $D\subset TM\oplus T^*M$ such that $D=D^\perp$; a Dirac structure is an almost Dirac structure whose sections are closed under the bracket, equivalently whose Courant tensor vanishes (Pelletier et al., 2024, Frejlich et al., 2016). In this setting, Dirac structures unify presymplectic and Poisson geometry: graphs of closed $2$-forms and graphs of Poisson bivectors are canonical examples (Pelletier et al., 2024, Gay-Balmaz et al., 2017).

The finite-dimensional model already contains the two ingredients that persist in later generalizations. The first is maximal isotropy, which identifies Dirac geometry as a Lagrangian condition inside a bundle with split-signature pairing. The second is integrability, expressed either by involutivity under the bracket or by vanishing of a Courant-type tensor. The finite-dimensional paper on convenient partial Dirac structures makes this explicit by defining the Courant tensor

$T_D(a_1,a_2,a_3):=\langle [a_1,a_2]_c,a_3\rangle$

and recalling that $D$ is Dirac exactly when $T_D=0$ (Pelletier et al., 2024).

A plausible implication is that the phrase “partial Dirac structure” is best understood not as a single replacement definition, but as a family of constructions in which one preserves the Dirac mechanism—maximal isotropy plus bracket compatibility—while weakening the ambient duality, the integrability requirement, or the class of admissible subbundles.

2. Explicit partial Dirac structures in infinite-dimensional convenient geometry

The explicit terminology “partial Dirac structure” is introduced in the convenient setting, where one works with a convenient vector bundle $TP(M)=TM\oplus T^*M$0 and a weak dual bundle $TP(M)=TM\oplus T^*M$1, or on a convenient manifold $TP(M)=TM\oplus T^*M$2 with a weak cotangent bundle $TP(M)=TM\oplus T^*M$3 and a chosen weak subbundle $TP(M)=TM\oplus T^*M$4 (Pelletier et al., 2024, Pelletier et al., 14 Aug 2025). The associated partial Pontryagin bundle is

$TP(M)=TM\oplus T^*M$5

with pairing

$TP(M)=TM\oplus T^*M$6

A linear partial Dirac structure is a closed subspace $TP(M)=TM\oplus T^*M$7 such that $TP(M)=TM\oplus T^*M$8, and a partial almost Dirac structure on a bundle is a weak closed subbundle whose fibers satisfy the same orthogonality relation (Pelletier et al., 2024).

For a convenient manifold, the weak Pontryagin bundle is

$TP(M)=TM\oplus T^*M$9

with symmetric pairing

$\mathbb{T}M=TM\oplus T^*M$0

and a Courant-type bracket

$\mathbb{T}M=TM\oplus T^*M$1

on local sections (Pelletier et al., 14 Aug 2025). A partial almost Dirac structure is a closed subbundle $\mathbb{T}M=TM\oplus T^*M$2 such that $\mathbb{T}M=TM\oplus T^*M$3; it is a partial Dirac structure when its sections are closed under the bracket (Pelletier et al., 14 Aug 2025).

The qualifier “partial” has a precise technical meaning here. One uses only a subbundle $\mathbb{T}M=TM\oplus T^*M$4, not the full cotangent bundle, and the induced Poisson or presymplectic data is correspondingly defined only on the partial bundle or on characteristic leaves (Pelletier et al., 14 Aug 2025). The 2024 convenient-setting paper further shows that such structures admit both “presymplectic” and “Poisson” descriptions on suitable subspaces. In particular, if $\mathbb{T}M=TM\oplus T^*M$5 is skew-symmetric, then

$\mathbb{T}M=TM\oplus T^*M$6

is a partial almost Dirac structure under the stated hypotheses; if $\mathbb{T}M=TM\oplus T^*M$7 is skew, then

$\mathbb{T}M=TM\oplus T^*M$8

is likewise a partial almost Dirac structure (Pelletier et al., 2024).

On characteristic leaves, the leafwise geometry generalizes the finite-dimensional Dirac theorem. Under the hypotheses recalled in the convenient framework, a leaf inherits a $\mathbb{T}M=TM\oplus T^*M$9-form $$\langle (X_x,\alpha_x),(Y_x,\beta_x)\rangle = \beta_x(X_x)+\alpha_x(Y_x),$$0 whose kernel is $$\langle (X_x,\alpha_x),(Y_x,\beta_x)\rangle = \beta_x(X_x)+\alpha_x(Y_x),$$1, and when $$\langle (X_x,\alpha_x),(Y_x,\beta_x)\rangle = \beta_x(X_x)+\alpha_x(Y_x),$$2 is involutive this form is closed; dually, the same data defines a partial Poisson structure on the leaf (Pelletier et al., 14 Aug 2025). This suggests that partial Dirac structures interpolate between weak presymplectic and partial Poisson geometries in settings where full reflexive cotangent duality is unavailable.

3. Related generalizations: almost, pseudo-, and Dirac–Jacobi structures

Several neighboring notions clarify what is being relaxed when one passes from Dirac to partial Dirac structures. In a Courant algebroid, an almost Dirac structure is a Lagrangian subbundle that need not be involutive. In the Dirac–Jacobi setting, a Courant–Jacobi algebroid carries an $$\langle (X_x,\alpha_x),(Y_x,\beta_x)\rangle = \beta_x(X_x)+\alpha_x(Y_x),$$3-valued pairing and a Loday bracket, and a Dirac–Jacobi structure is again a Lagrangian involutive subbundle, while an almost Dirac–Jacobi structure is only Lagrangian (Tortorella, 2021). Its failure of integrability is measured by the Courant–Jacobi tensor

$$\langle (X_x,\alpha_x),(Y_x,\beta_x)\rangle = \beta_x(X_x)+\alpha_x(Y_x),$$4

and $$\langle (X_x,\alpha_x),(Y_x,\beta_x)\rangle = \beta_x(X_x)+\alpha_x(Y_x),$$5 is Dirac–Jacobi exactly when $$\langle (X_x,\alpha_x),(Y_x,\beta_x)\rangle = \beta_x(X_x)+\alpha_x(Y_x),$$6 (Tortorella, 2021).

This Dirac–Jacobi perspective makes precise one important meaning of partiality: one fixes an integrable Dirac–Jacobi structure $$\langle (X_x,\alpha_x),(Y_x,\beta_x)\rangle = \beta_x(X_x)+\alpha_x(Y_x),$$7 and allows a complementary Lagrangian subbundle $$\langle (X_x,\alpha_x),(Y_x,\beta_x)\rangle = \beta_x(X_x)+\alpha_x(Y_x),$$8 to be only almost Dirac–Jacobi. The complement then contributes a cubic correction term in the deformation $$\langle (X_x,\alpha_x),(Y_x,\beta_x)\rangle = \beta_x(X_x)+\alpha_x(Y_x),$$9 algebra, and the failure of $D\subset TM\oplus T^*M$0 to be involutive is encoded by the ternary bracket through the Courant–Jacobi tensor $D\subset TM\oplus T^*M$1 (Tortorella, 2021). The paper states that the only nonzero brackets are $D\subset TM\oplus T^*M$2, and that all higher brackets vanish, so the deformation algebra is cubic (Tortorella, 2021).

A different relaxation is provided by pseudo-Dirac structures. Here one drops the isotropy or Lagrangian requirement entirely and compensates by adding a pseudo-connection

$D\subset TM\oplus T^*M$3

satisfying a Leibniz rule and metric compatibility (Li-Bland, 2014). The modified bracket

$D\subset TM\oplus T^*M$4

becomes skew-symmetric, and a tensor $D\subset TM\oplus T^*M$5 measures the Jacobi defect; a pseudo-Dirac structure is a pair $D\subset TM\oplus T^*M$6 for which the modified bracket closes on $D\subset TM\oplus T^*M$7 and $D\subset TM\oplus T^*M$8 (Li-Bland, 2014). The outcome is again a Lie algebroid structure on $D\subset TM\oplus T^*M$9, even though $D=D^\perp$0 need not be isotropic (Li-Bland, 2014).

These constructions address different deficiencies. Almost Dirac and almost Dirac–Jacobi structures keep maximal isotropy but relax involutivity. Pseudo-Dirac structures relax isotropy and introduce extra connection data. Convenient partial Dirac structures retain maximal isotropy, but only relative to a weak dual bundle (Pelletier et al., 2024, Pelletier et al., 14 Aug 2025). A common misconception is that “partial” always means “nonintegrable”; the convenient definition does not require this, since an involutive partial almost Dirac structure is explicitly called a partial Dirac structure (Pelletier et al., 14 Aug 2025).

4. Constraint-induced and universal partial Dirac structures in mechanics

Constraint geometry is one of the principal sources of partial Dirac structures. In nonequilibrium thermodynamics, Dirac structures are induced from a $D=D^\perp$1-form together with a distribution $D=D^\perp$2: $D=D^\perp$3 and the dynamics is written as

$D=D^\perp$4

(Gay-Balmaz et al., 2017). In that framework, structures on bundles such as $D=D^\perp$5 and $D=D^\perp$6 use only the mechanical symplectic form while entropy enters through constraints, which the paper explicitly interprets as a “partial” use of the full thermodynamic phase space (Gay-Balmaz et al., 2017).

The 2025 paper on nonholonomic mechanics formulates this idea in terms of Dirac algebroids, defined as linear almost Dirac structures on vector bundles (Grabowska et al., 26 Apr 2025). For a vector bundle $D=D^\perp$7, a Dirac algebroid is a linear maximally isotropic subbundle

$D=D^\perp$8

and skew algebroids provide examples via graphs of linear bivectors (Grabowska et al., 26 Apr 2025). When a constraint distribution $D=D^\perp$9 is imposed, one constructs a constraint-induced Dirac algebroid $2$0 adapted only to the constrained directions. The paper interprets this precisely as a “partial Dirac structure”: it governs the degrees of freedom compatible with $2$1, and it is universal in the sense that it depends only on the constraints and canonical geometry, not on the particular Hamiltonian or Lagrangian (Grabowska et al., 26 Apr 2025).

That universality is one of the main contrasts with almost Poisson descriptions. The paper states that almost Poisson structures used previously in the presence of magnetic or gyroscopic terms depend on constraints, metrics, and information about the potential present in the Hamiltonian, whereas the Dirac algebroid is constructed out of constraints and canonical geometric structures and is independent of the particular Hamiltonian or Lagrangian (Grabowska et al., 26 Apr 2025). A plausible implication is that the Dirac-algebroid viewpoint isolates the geometric constraint mechanism from model-dependent energetic data more cleanly than the corresponding almost Poisson bracket.

In the convenient infinite-dimensional extension, induced partial Dirac structures from constraints are defined on $2$2 by pulling back the weak canonical symplectic form and imposing a distribution $2$3 or even a singular distribution $2$4 arising from an anchored Banach bundle (Pelletier et al., 14 Aug 2025). These induced structures support implicit Hamiltonian and implicit Lagrangian systems and are applied to sub-Riemannian, LC-circuit, heavy-rope, and conic Finsler problems (Pelletier et al., 14 Aug 2025).

5. Deformation, dual-pair, and transversal viewpoints

A second major line of development studies partiality through deformations and correspondences rather than through weak duals or constraints. In the deformation theory of Dirac–Jacobi structures, a Dirac–Jacobi structure $2$5 inside a fixed Courant–Jacobi algebroid is paired with a complementary almost Dirac–Jacobi structure $2$6, allowing one to identify the ambient algebroid with a split Courant–Jacobi algebroid $2$7 (Tortorella, 2021). The associated cubic $2$8 algebra governs small deformations of $2$9: Maurer–Cartan elements correspond one-to-one with small deformations of the Dirac–Jacobi structure (Tortorella, 2021). In this picture, partiality enters because the complement need not itself be integrable; its defect produces the ternary bracket.

Dual-pair methods show another aspect of partiality. In Dirac geometry, a weak dual pair consists of forward Dirac submersions

$T_D(a_1,a_2,a_3):=\langle [a_1,a_2]_c,a_3\rangle$0

satisfying

$T_D(a_1,a_2,a_3):=\langle [a_1,a_2]_c,a_3\rangle$1

where $T_D(a_1,a_2,a_3):=\langle [a_1,a_2]_c,a_3\rangle$2, $T_D(a_1,a_2,a_3):=\langle [a_1,a_2]_c,a_3\rangle$3, and $T_D(a_1,a_2,a_3):=\langle [a_1,a_2]_c,a_3\rangle$4 (Frejlich et al., 2016). The kernel intersection $T_D(a_1,a_2,a_3):=\langle [a_1,a_2]_c,a_3\rangle$5 is precisely the residual part that prevents a weak dual pair from being a genuine dual pair. The same paper proves a Dirac-theoretic version of Libermann’s theorem: a Dirac structure on the total space of a surjective submersion can be pushed forward exactly when the associated Lagrangian family $T_D(a_1,a_2,a_3):=\langle [a_1,a_2]_c,a_3\rangle$6 is a smooth involutive subbundle (Frejlich et al., 2016). This Lagrangian family is not always a Dirac structure, so it can be viewed as Dirac-type data that is only partially projectable.

The paper also constructs strong self-dual pairs for arbitrary Dirac structures by means of sprays on the Dirac bundle and a $T_D(a_1,a_2,a_3):=\langle [a_1,a_2]_c,a_3\rangle$7-form obtained from integrating the pulled-back canonical form along the spray flow (Frejlich et al., 2016). As an application, it gives a normal form theorem around Dirac transversals: near a Dirac transversal $T_D(a_1,a_2,a_3):=\langle [a_1,a_2]_c,a_3\rangle$8, the ambient Dirac structure is gauge-equivalent to the pullback of the induced Dirac structure on $T_D(a_1,a_2,a_3):=\langle [a_1,a_2]_c,a_3\rangle$9 along the normal bundle projection (Frejlich et al., 2016). This suggests that, locally around a transversal, the ambient geometry is controlled by Dirac data living on only part of the manifold.

6. Applications, scope, and conceptual synthesis

The explicit infinite-dimensional theory emphasizes that partial Dirac structures are intended to recover classical geometrical results as far as possible in the convenient setting and to study projective and direct limits of such structures (Pelletier et al., 2024). The 2025 continuation extends variational techniques to constraint Lagrangians on subbundles of a Banach manifold and to singular distributions, and applies the resulting singular partial Dirac structures to the characterization of normal geodesics for a conical Finsler metric on a Banach manifold (Pelletier et al., 14 Aug 2025). In that setting, a curve is a normal geodesic exactly when its cotangent lift is an integral curve of the Hamiltonian vector field of $D$0, equivalently of the restricted Hamiltonian on the graph of the Legendre transform (Pelletier et al., 14 Aug 2025).

Other applications remain within finite-dimensional or generalized settings. Twisted Dirac structures on spaces of connections are constructed using Cartan $D$1-forms on infinite-dimensional manifolds of irreducible connections; on flat-connection subspaces, the twist vanishes and one obtains ordinary Dirac structures (Hirota et al., 2021). Pseudo-Dirac structures behave well under composition with Courant relations and arise in quasi-Poisson geometry, Lie theory, generalized Kähler geometry, and Dirac Lie groups (Li-Bland, 2014). Constraint-induced Dirac structures in nonequilibrium thermodynamics encode entropy production and recover canonical symplectic Dirac structures when irreversible terms vanish (Gay-Balmaz et al., 2017). Constraint-induced Dirac algebroids in nonholonomic mechanics describe systems with different magnetic or mechanical potentials using the same Dirac structure (Grabowska et al., 26 Apr 2025).

Across these settings, the central conceptual point is stable. A partial Dirac structure preserves the Dirac paradigm—Lagrangian-type compatibility between tangent and cotangent data, together with an integrability or dynamical condition—but only after restricting the ambient dual bundle, the admissible directions, the complementary subbundle, or the projected geometry. In the convenient theory this restriction is literal, through the weak dual bundle $D$2 (Pelletier et al., 14 Aug 2025). In pseudo-Dirac geometry it is mediated by a pseudo-connection on a possibly nonisotropic bundle (Li-Bland, 2014). In Dirac–Jacobi deformation theory it appears through a fixed Dirac structure and an almost complementary one (Tortorella, 2021). In constrained mechanics it is the geometry of the allowed directions themselves (Gay-Balmaz et al., 2017, Grabowska et al., 26 Apr 2025).

A plausible synthesis is that “partial Dirac structure” names a robust strategy rather than a single formula: retain the Lie-algebroid, presymplectic, Poisson, or variational consequences of Dirac geometry on the portion of the bundle or state space where the relevant pairing and bracket remain meaningful.