The global extension problem, co-flag and metabelian Leibniz algebras
Let L be a Leibniz algebra, E a vector space and π:E→L an epimorphism of vector spaces with g=Ker(π). The global extension problem asks for the classification of all Leibniz algebra structures that can be defined on E such that π:E→L is a morphism of Leibniz algebras: from a geometrical viewpoint this means to give the decomposition of the groupoid of all such structures in its connected components and to indicate a point in each component. All such Leibniz algebra structures on E are classified by a global cohomological object GHL2(L,g) which is explicitly constructed. It is shown that GHL2(L,g) is the coproduct of all local cohomological objects HL2(L,(g,[−,−]g)) that are classifying sets for all extensions of L by all Leibniz algebra structures (g,[−,−]g) on g. The second cohomology group HL2(L,g) of Loday and Pirashvili appears as the most elementary piece among all components of GHL2(L,g). Several examples are worked out in details for co-flag Leibniz algebras over L, i.e. Leibniz algebras h that have a finite chain of epimorphisms of Leibniz algebras Ln:=h⟶πnLn−1⋯L1⟶π1L0:=L such that dim(Ker(πi))=1, for all i=1,⋯,n.