• Tensor hierarchies and Leibniz algebras(1708.07068)

June 13, 2019 hep-th, math-ph, math.MP
Tensor hierarchies are algebraic objects that emerge in gauging procedures in supergravity models, and that present a very deep and intricate relationship with Leibniz (or Loday) algebras. In this paper, we show that one can canonically associate a tensor hierarchy to any Loday algebra. By formalizing the construction that is performed in supergravity, we build this tensor hierarchy explicitly. We show that this tensor hierarchy can be canonically equipped with a differential graded Lie algebra structure that coincides with the one that is found in supergravity theories.
• A short guide through integration theorems of generalized distributions(1710.01627)

Aug. 27, 2018 math.DG
The generalization of Frobenius' theorem to foliations with singularities is usually attributed to Stefan and Sussmann, for their simultaneous discovery around 1973. However, their result is often referred to without caring much on the precise statement, as some sort of magic spell. This may be explained by the fact that the literature is not consensual on a unique formulation of the theorem, and because the history of the research leading to this result has been flawed by many claims that turned to be refuted some years later. This, together with the difficulty of doing proof-reading on this topic, brought much confusion about the precise statement of Stefan-Sussmann's theorem. This paper is dedicated to bring some light on this subject, by investigating the different statements and arguments that were put forward in geometric control theory between 1962 and 1994 regarding the problem of integrability of generalized distributions. We will present the genealogy of the main ideas and show that many mathematicians that were involved in this field made some mistakes that were successfully refuted. Moreover, we want to address the prominent influence of Hermann on this topic, as well as the fact that some statements of Stefan and Sussmann turned to be wrong. In this paper, we intend to provide the reader with a deeper understanding of the problem of integrability of generalized distributions, and to reduce the confusion surrounding these difficult questions.
• Lie $\infty$-algebroids and singular foliations(1703.07404)

July 19, 2018 math.DG
A singular (or Hermann) foliation on a smooth manifold $M$ can be seen as a subsheaf of the sheaf $\mathfrak{X}$ of vector fields on $M$. We show that if this singular foliation admits a resolution (in the sense of sheaves) consisting of sections of a graded vector bundle of finite type, then one can lift the Lie bracket of vector fields to a Lie $\infty$-algebroid structure on this resolution, that we call a universal Lie $\infty$-algebroid associated to the foliation. The name is justified because it is isomorphic (up to homotopy) to any other Lie $\infty$-algebroid structure built on any other resolution of the given singular foliation.
• Hidden Q-structure and Lie 3-algebra for non-abelian superconformal models in six dimensions(1403.7114)

Jan. 10, 2015 hep-th, math-ph, math.MP
We disclose the mathematical structure underlying the gauge field sector of the recently constructed non-abelian superconformal models in six spacetime dimensions. This is a coupled system of 1-form, 2-form, and 3-form gauge fields. We show that the algebraic consistency constraints governing this system permit to define a Lie 3-algebra, generalizing the structural Lie algebra of a standard Yang-Mills theory to the setting of a higher bundle. Reformulating the Lie 3-algebra in terms of a nilpotent degree 1 BRST-type operator Q, this higher bundle can be compactly described by means of a Q-bundle; its fiber is the shifted tangent of the Q-manifold corresponding to the Lie 3-algebra and its base the odd tangent bundle of spacetime equipped with the de Rham differential. The generalized Bianchi identities can then be retrieved concisely from Q^2=0, which encode all the essence of the structural identities. Gauge transformations are identified as vertical inner automorphisms of such a bundle, their algebra being determined from a Q-derived bracket.