2026/07/16 by Tom Ariel, Roberto Rubio, Marco Zambon · 1 voice
#math.SG #math.DG
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 \mathfrakg endowed with a definite form, the diagonal in \mathfrakg ⊕ \mathfrakg does not admit a complement unless \mathfrakg is abelian. This includes real compact semisimple Lie algebras with their Killing form.