On the Dirac complement problem

The existence of a Dirac complement for a given Dirac structure is a central question in the structure theory of Courant algebroids and the deformation theory of Dirac structures.

We study this problem in detail, proving the unobstructedness of lagrangian or local Dirac complements and providing examples that show the complexity of this question.

We introduce a cohomology class whose nonvanishing prevents the existence of a Dirac complement and apply it to several families of examples.

On the other hand, by using Lie-theoretical techniques, we prove that, for a Lie algebra $\mathfrak{g}$ endowed with a definite form, the diagonal in $\mathfrak{g} \oplus \bar{\mathfrak{g}}$ does not admit a complement unless $\mathfrak{g}$ is abelian.

This includes real compact semisimple Lie algebras with their Killing form.