
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.

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 proofreading on this topic, brought much
confusion about the precise statement of StefanSussmann'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.

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.

We disclose the mathematical structure underlying the gauge field sector of
the recently constructed nonabelian superconformal models in six spacetime
dimensions. This is a coupled system of 1form, 2form, and 3form gauge
fields. We show that the algebraic consistency constraints governing this
system permit to define a Lie 3algebra, generalizing the structural Lie
algebra of a standard YangMills theory to the setting of a higher bundle.
Reformulating the Lie 3algebra in terms of a nilpotent degree 1 BRSTtype
operator Q, this higher bundle can be compactly described by means of a
Qbundle; its fiber is the shifted tangent of the Qmanifold corresponding to
the Lie 3algebra 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 Qderived
bracket.