Related papers: Lie groups over non-discrete topological fields

Lie algebras are an important class of algebras which arise throughout mathematics and physics. We report on the formalisation of Lie algebras in Lean's Mathlib library. Although basic knowledge of Lie theory will benefit the reader, none…

We present a simple remark that assures that the invariant theory of certain real Lie groups coincides with that of the underlying affine, real algebraic groups. In particular, this result applies to the non-compact orthogonal or symplectic…

Let M be a real analytic manifold modeled on a locally convex space and K be a non-empty compact subset of M. We show that if an open neighborhood of K in M admits a complexification which is a regular topological space, then the germ of…

We initiate the study of some pro-p-groups arising from infinite-dimensional Lie theory. These groups are completions of some subgroups of incomplete Kac-Moody groups over finite fields, with respect to various completions of algebraic or…

In noncommutative geometry a `Lie algebra' or bidirectional bicovariant differential calculus on a finite group is provided by a choice of an ad-stable generating subset C stable under inversion. We study the associated Killing form. For…

In this paper we describe how one can obtain Lie group structures on the group of (vertical) bundle automorphisms for a locally convex principal bundle P over the compact manifold M. This is done by first considering Lie group structures on…

We establish a fixed point property for a certain class of locally compact groups, including almost connected Lie groups and compact groups of finite abelian width, which act by simplicial isometries on finite rank buildings with measurable…

To a Lie groupoid over a compact base, the associated group of bisection is an (infinite-dimensional) Lie group. Moreover, under certain circumstances one can reconstruct the Lie groupoid from its Lie group of bisections. In the present…

We propose the method for obtaining invariants of arbitrary representations of Lie groups that reduces this problem to known problems of linear algebra. The basis of this method is the idea of a special extension of the representation…

String structures have played an important role in algebraic topology, via elliptic genera and elliptic cohomology, in differential geometry, via the study of higher geometric structures, and in physics, via partition functions. We extend…

We develop a pseudo-differential Weyl calculus on nilpotent Lie groups which allows one to deal with magnetic perturbations of right invariant vector fields. For this purpose we investigate an infinite-dimensional Lie group constructed as…

Lie groups over local fields furnish prime examples of totally disconnected, locally compact groups. We discuss the scale, tidy subgroups and further subgroups (like contraction subgroups) for analytic endomorphisms of such groups. The text…

A theorem of Lurie and Pridham establishes a correspondence between formal moduli problems and differential graded Lie algebras in characteristic zero, thereby formalising a well-known principle in deformation theory. We introduce a variant…

We construct explicitly a class of coboundary Poisson-Lie structures on the group of formal diffeomorphisms of ${\Bbb R}^n$. Equivalently, these give rise to a class of coboundary triangular Lie bialgebra structures on the Lie algebra $W_n$…

We describe the structure of the Lie groups endowed with a left-invariant symplectic form, called symplectic Lie groups, in terms of semi-direct products of Lie groups, symplectic reduction and principal bundles with affine fiber. This…

This paper examines the geometry of left-invariant vector fields on five-dimensional, simply connected, nilpotent Lie groups equipped with left-invariant Riemannian metrics. Using the canonical identification between the Lie algebra and the…

The connections between Euler's equations on central extensions of Lie algebras and Euler's equations on the original, extended algebras are described. A special infinite sequence of central extensions of nilpotent Lie algebras constructed…

In this article character groups of Hopf algebras are studied from the perspective of infinite-dimensional Lie theory. For a graded and connected Hopf algebra we construct an infinite-dimensional Lie group structure on the character group…

The expansion method of Lie algebras by a semigroup or S-expansion is generalized to act directly on the group manifold, and not only at the level of its Lie algebra. The consistency of this generalization with the dual formulation of the…

This is the first paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In this paper, we lay the foundations for this study by introducing the…