Dmitri Alekseevsky, Peter W. Michor, Wolfgang Ruppert
备注：
AmSTeX + diag.tex, 9 pages In the new version references added: Most of the results are known. The last (wrong) statement omitted. So this paper will not be submitted to a journal, it can be regarded as a review paper
We review (non-abelian) extensions of a given Lie algebra, identify a 3-dimensional cohomological obstruction to the existence of extensions. A striking analogy to the setting of covariant exterior derivatives, curvature, and the Bianchi identity in differential geometry is spelled out. In the new version references added: Most of the results are known. So this paper will not be submitted to a journal, it can be regarded as a review paper.
Motivated by positive energy representations, we classify those continuous central extensions of the compactly supported gauge Lie algebra that are covariant under a 1-parameter group of transformations of the base manifold.
The present paper contains a systematic study of the structure of metric Lie algebras, i.e., finite-dimensional real Lie algebras equipped with a non-degenerate invariant symmetric bilinear form. We show that any metric Lie algebra without simple ideals has the structure of a so called balanced quadratic extension of an auxiliary Lie algebra l by an orthogonal l-module A in a canonical way. Identifying equivalence classes of quadratic extensions of l by A with a certain cohomology set H^2_Q(l,A) we obtain a classification scheme for general metric Lie algebras and a complete classification of …
We study the extension of a Lie algebroid by a representation up to homotopy, including semidirect products of a Lie algebroid with such representations. The extension results in a higher Lie algebroid. We give exact Courant algebroids and string Lie 2-algebras as examples of such extensions. We then apply this to obtain a Lie 2-groupoid integration of an exact Courant algebroid.
The purpose of this paper is to show that any extension of a minimal Lie foliation on a compact manifold is a transversaly Riemannian g\h- foliation with trivial normal bundle. This result permits to classify the extensions of a minimal Lie foliation on a compact manifold from the Lie subgroups of its Lie group.
We establish a criterion for when an abelian extension of infinite-dimensional Lie algebras integrates to a corresponding Lie group extension $\hat{G}$ of $G$ by $A$, where $G$ is a connected, simply connected Lie group and $A$ is a quotient of its Lie algebra by some discrete subgroup. When $G$ is non-simply connected, the kernel $A$ is replaced by a central extension $\hat{A}$ of $π_1(G)$ by $A$.
The purpose of this paper is to show how central extensions of (possibly infinite-dimensional) Lie algebras integrate to central extensions of étale Lie 2-groups. In finite dimensions, central extensions of Lie algebras integrate to central extensions of Lie groups, a fact which is due to the vanishing of π_2 for each finite-dimensional Lie group. This fact was used by Cartan (in a slightly other guise) to construct the simply connected Lie group associated to each finite-dimensional Lie algebra. In infinite dimensions, there is an obstruction for a central extension of Lie algebras to integra…
In this paper, we introduce a notion of a central $U(1)$-extension of a double Lie groupoid and show that it defines a cocycle in the certain triple complex.
We provide a framework for extensions of Lie algebroids, including non-abelian extensions and Lie algebroids over different bases. Our approach involves Ehresmann connections, which allows straight generalizations of classical constructions. We exhibit a filtration in cohomology and explain the associated spectral sequence. We also give a description of the groupoid integrating an extension in case a complete connection can be fixed. The problem of integrability is also studied.
A Lie algebra is called nonsoliton if it does not admit a soliton inner product. We demonstrate that the subset of nonsoliton Lie algebras in the moduli space of indecomposable n-dimensional N-graded nilpotent Lie algebras is discrete if and only if n <= 7.
If a Lie algebra structures $\gG$ on a vector space is the sum of a family of mutually compatible Lie algebra structures $\gG_i$, we say that $\gG$ is \emph{simply assembled} from $\gG_s$'s. By repeating this procedure several times one gets a family of Lie algebras \emph{assembled} from $\gG_s$'s. The central result of this paper is that any finite dimensional Lie algebra over $\R$ or $\C$ can be assembled from two constituents, called $\between$- and $\pitchfork$-\emph{lieons}. A lieon is the direct sum of an abelian Lie algebra with a 2-dmensional nonabelian Lie algebra or with the 3-dimens…
We determine the universal central extension of the Lie algebra of hamiltonian vector fields, thereby classifying its central extensions. Furthermore, we classify the central extensions of the Lie algebra of symplectic vector fields, of the Poisson Lie algebra, and of its compactly supported version.
We show that a statistical manifold manifold of a constant non-zero curvature can be realised as a level line of Hessian potential on a Hessian cone. We construct a Sasakian structure on $TM\times\R$ by a statistical manifold manifold of a constant non-zero curvature on $M$. By a statistical Lie algebra of a constant non-zero Lie algebra we construct a l.c.K Lie algebra.
In this paper, we present a study on the prolongations of representations of Lie algebras. We show that a tangent bundle of a given Lie algebra attains a Lie algebra structure. Then, we prove that this tangent bundle is algebraically isomorphic to the Lie algebra of a tangent bundle of a Lie group. Using these, we define prolongations of representations of Lie algebras. We show that if a Lie algebra representation corresponds to a Lie group representation, then prolongation of Lie algebra representation corresponds to the prolonged Lie group representation.
We study possible cases of complex simple graded Lie algebras of depth 2, which are the Tanaka prolongations of pseudo $H$-type Lie algebras arising through representation of Clifford algebras. We show that the complex simple Lie algebras of type $B_n$ with $|2|$-grading do not contain non-Heisenberg pseudo $H$-type Lie algebras as their negative nilpotent part, while the complex simple Lie algebras of types $A_n$, $C_n$ and $D_n$ provide such a possibility. Among exceptional algebras only $F_4$ and $E_6$ contain non-Heisenberg pseudo $H$-type Lie algebras as their negative part of $|2|$-gradi…
In this paper, we introduce the notion of a (regular) Hom-Lie group. We associate a Hom-Lie algebra to a Hom-Lie group and show that every regular Hom-Lie algebra is integrable. Then, we define a Hom-exponential (Hexp) map from the Hom-Lie algebra of a Hom-Lie group to the Hom-Lie group and discuss the universality of this Hexp map. We also describe a Hom-Lie group action on a smooth manifold. Subsequently, we give the notion of an adjoint representation of a Hom-Lie group on its Hom-Lie algebra. At last, we integrate the Hom-Lie algebra $(\mathfrak{gl}(V),[\cdot,\cdot],\mathsf{Ad})$, and the …
We present a geometric construction of central extensions of covering groups of the group of volume preserving diffeomorphisms, integrating central extensions of the Lie algebra of divergence free vector fields defined by Lichnerowicz cocycles. Certain covering spaces of non-linear Grassmannians can be realized as prequantizable coadjoint orbits in these Lie group extensions.
In this review paper, we present several results on central extensions of the Lie algebra of symplectic (Hamiltonian) vector fields, and compare them to similar results for the Lie algebra of (exact) divergence free vector fields. In particular, we comment on universal central extensions and integrability to the group level.
A Chern-Weil construction for extensions of Lie-Rinehart algebras is introduced. This generalizes the classical Chern-Weil construction in differential geometry and yields characteristic classes for arbitrary extensions of Lie-Rinehart algebras. Some examples arising from spaces with singularities and from foliations are given that cannot be treated by means of the classical Chern-Weil construction.
$k$-Para-Kähler Lie algebras are a generalization of para-Kähler Lie algebras $(k=1)$ and constitute a subclass of $k$-symplectic Lie algebras. In this paper, we show that the characterization of para-Kähler Lie algebras as left symmetric bialgebras can be generalized to $k$-para-Kähler Lie algebras leading to the introduction of two new structures which are different but both generalize the notion of left symmetric algebra. This permits also the introduction of generalized $S$-matrices. We determine then all the $k$-symplectic Lie algebras of dimension $(k+1)$ and all the six dimensional 2-pa…
We study post-Lie algebra structures on pairs of Lie algebras (g,n), and prove existence results for the case that one of the Lie algebras is semisimple. For semisimple g and solvable n we show that there exist no post-Lie algebra structures on (g,n). For semisimple n and certain solvable g we construct canonical post-Lie algebra structures. On the other hand we prove that there are no post-Lie algebra structures for semisimple n and solvable, unimodular g. We also determine the generalized $(\al,\be,\ga)$-derivations of n in the semisimple case. As an application we classify post-Lie algebra …
We present an explicit realization of abelian extensions of infinite dimensional Lie groups using abelian extensions of path groups, by generalizing Mickelsson's approach to loop groups and the approach of Losev-Moore-Nekrasov-Shatashvili to current groups. We apply our method to coupled cocycles on current Lie algebras and to Lichnerowicz cocycles on the Lie algebra of divergence free vector fields.
We introduce post-Lie algebra structures on pairs of Lie algebras $(\Lg,\Ln)$ defined on a fixed vector space $V$. Special cases are LR-structures and pre-Lie algebra structures on Lie algebras. We show that post-Lie algebra structures naturally arise in the study of NIL-affine actions on nilpotent Lie groups. We obtain several results on the existence of post-Lie algebra structures, in terms of the algebraic structure of the two Lie algebras $\Lg$ and $\Ln$. One result is, for example, that if there exists a post-Lie algebra structure on $(\Lg,\Ln)$, where $\Lg$ is nilpotent, then $\Ln$ must …
Lie's Third Theorem, asserting that each finite-dimensional Lie algebra is the Lie algebra of a Lie group, fails in infinite dimensions. The modern account on this phenomenon is the integration problem for central extensions of infinite-dimensional Lie algebras, which in turn is phrased in terms of an integration procedure for Lie algebra cocycles. This paper remedies the obstructions for integrating cocycles and central extensions from Lie algebras to Lie groups by generalising the integrating objects. Those objects obey the maximal coherence that one can expect. Moreover, we show that they a…
A Lie-admissible algebra gives by anticommutativity a Lie algebra. In this work we study remarkable classes of Lie-admissible algebras such as Vinberg, PreLie algebras. We compute the corresponding binary quadratic operads and study their Koszul duality. Considering Lie algebras as Lie-admissible algebras we can define for each Lie algebra a cohomology with values in a Lie-admissible module. This permits to study some deformations of Lie algebras in the category of Lie-admissible algebras. Lastly we study the tensor product between these operads and their dual operads. As application we constr…
We characterise Lie groups with bi-invariant bargmannian, galilean or carrollian structures. Localising at the identity, we show that Lie algebras with ad-invariant bargmannian, carrollian or galilean structures are actually determined by the same data: a metric Lie algebra with a skew-symmetric derivation. This is the same data defining a one-dimensional double extension of the metric Lie algebra and, indeed, bargmannian Lie algebras coincide with such double extensions, containing carrollian Lie algebras as an ideal and projecting to galilean Lie algebras. This sets up a canonical correspond…
