Related papers: Direct limits of infinite-dimensional Lie groups
We produce a connected real Lie group that, as a first order structure in the group language, interprets the real field expanded with a predicate for the integers. Moreover, the domain of our interpretation is definable in the group.
A classification up to automorphism of the inner ideals of the real finite-dimensional simple Lie algebras is given, jointly with precise descriptions in the case of the exceptional Lie algebras.
We discuss the basic properties of Lie groupoids, Lie algebroids and Lie pseudo-groups in view of applying these techniques to the analysis of Jordan-H\"older resolutions and, subsequently, to the integration of partial differential…
The equivariant Gromov--Hausdorff convergence of metric spaces is studied. Where all isometry groups under consideration are compact Lie, it is shown that an upper bound on the dimension of the group guarantees that the convergence is by…
We give infinite dimensional and finite dimensional examples of $F-$fold Lie superalgebras. The finite dimensional examples are obtained by an inductive procedure from Lie algebras and Lie superalgebras.
A local classification of all Poisson-Lie structures on an infinite-dimensional group $G_{\infty}$ of formal power series is given. All Lie bialgebra structures on the Lie algebra ${\Cal G}_{\infty}$ of $G_{\infty}$ are also classified.
Let $G$ be an infinite-dimensional real classical group containing the complete unitary group (or complete orthogonal group) as a subgroup. Then $G$ generates a category of double cosets (train) and any unitary representation of $G$ can be…
We obtain upper bounds on the composition length of a finite permutation group in terms of the degree and the number of orbits, and analogous bounds for primitive, quasiprimitive and semiprimitive groups. Similarly, we obtain upper bounds…
An almost Abelian Lie group is a non-Abelian Lie group with a codimension 1 Abelian subgroup. We show that all discrete subgroups of complex simply connected almost Abelian groups are finitely generated. The topology of connected almost…
The Butcher group is a powerful tool to analyse integration methods for ordinary differential equations, in particular Runge--Kutta methods. In the present paper, we complement the algebraic treatment of the Butcher group with a natural…
A classic result of Milnor shows that any 3-dimensional unimodular metric Lie algebra admits an orthonormal frame with at most three nontrivial structure constants. These frames are referred to as Milnor frames. We define extensions of…
Crystals which have a uniform distribution of defects are endowed with a Lie group description which allows one to construct an associated discrete structure. These structures are in fact the discrete subgroups of the ambient Lie group. The…
We give a description of non-growing subsets in linear groups, which extends the Product theorem for simple groups of Lie type. We also give an account of various related aspects of growth in linear groups.
The Lie point symmetries of a coupled system of two nonlinear differential-difference equations are investigated. It is shown that in special cases the symmetry group can be infinite dimensional, in other cases up to 10 dimensional. The…
In the present paper we study abelian extensions of connected Lie groups $G$ modeled on locally convex spaces by smooth $G$-modules $A$. We parametrize the extension classes by a suitable cohomology group $H^2_s(G,A)$ defined by locally…
We introduce a notion of a length function exponentially distorted on a (compactly generated) subgroup of a locally compact group. We prove that for a connected linear complex Lie group there is a maximum equivalence class of length…
The semidirect product of a Lie algebra and a 2-term representation up to homotopy is a Lie 2-algebra. Such Lie 2-algebras include many examples arising from the Courant algebroid appearing in generalized complex geometry. In this paper, we…
In a previous paper, we introduce and study formal manifolds, which generalize smooth manifolds. In this paper, we establish the basic theory of formal Lie groups, which are group objects in the category of formal manifolds. In particular,…
In the representation theory of real reductive Lie groups, many objects have finiteness properties. For example, the lengths of Verma modules and principal series representations are finite, and more precisely, they are bounded. In this…
We give a complete description of Lie algebras graded by an infinite irreducible locally finite root system.