相关论文: Lie groups over non-discrete topological fields

Let G be a Lie group which is the union of an ascending sequence of Lie groups G_n (all of which may be infinite-dimensional). We study the question when G is the direct limit of the G_n's in the category of Lie groups, topological groups,…

This paper describes a formal theory of smooth vector fields, Lie groups and the Lie algebra of a Lie group in the theorem prover Isabelle. Lie groups are abstract structures that are composable, invertible and differentiable. They are…

Endowing differentiable functions from a compact manifold to a Lie group with the pointwise group operations one obtains the so-called current groups and, as a special case, loop groups. These are prime examples of infinite-dimensional Lie…

We explain that general differential calculus and Lie theory have a common foundation: Lie Calculus is differential calculus, seen from the point of view of Lie theory, by making use of the groupoid concept as link between them. Higher…

We provide characterizations of Lie groups as compact-like groups in which all closed zero-dimensional metric (compact) subgroups are discrete. The "compact-like" properties we consider include (local) compactness, (local)…

The present paper links the representation theory of Lie groupoids and infinite-dimensional Lie groups. We show that smooth representations of Lie groupoids give rise to smooth representations of associated Lie groups. The groups envisaged…

Complete sets of bases of differential invariants, operators of invariant differentiation and Lie determinants of continuous transformation groups acting on the real plane are constructed. As a necessary preliminary, realizations of…

Let $M$ be a compact, real analytic manifold and $G$ be the Lie group of all real-analytic diffeomorphisms of $M$, which is modelled on the space ${\mathfrak g}$ of real-analytic vector fields on $M$. We study flows of time-dependent…

The purpose of this article is to give an exposition of topological properties of spaces of homomorphisms from certain finitely generated discrete groups to Lie groups $G$, and to describe their connections to classical representation…

We show that every countable direct system of finite-dimensional real or complex Lie groups has a direct limit in the category of Lie groups modelled on locally convex spaces. This enables us to push all basic constructions of…

We describe simply connected compact exceptional simple Lie groups in very elementary way. We first construct all simply connected compact exceptional Lie groups G concretely. Next, we find all involutive automorphisms of G, and determine…

Many infinite-dimensional Lie groups of interest can be expressed as a union of an ascending sequence of (finite- or infinite-dimensional) Lie groups. In this survey article, we compile general results concerning such ascending unions,…

By considering suitable Poisson groupoids, we develop an approach to obtain Lie group structures on (subgroups of) the Poisson diffeomorphism groups of various classes of Poisson manifolds. As applications, we show that the Poisson…

Lie systems form a class of systems of first-order ordinary differential equations whose general solutions can be described in terms of certain finite families of particular solutions and a set of constants, by means of a particular type of…

Regular Lie groups are infinite dimensional Lie groups with the property that smooth curves in the Lie algebra integrate to smooth curves in the group in a smooth way (an `evolution operator' exists). Up to now all known smooth Lie groups…

We proof some basic tools about spaces of H"older-continuous functions between (in general infinite dimensional) Banach spaces and use them to construct new examples of infinite dimensional (LB)-Lie groups.

We establish the exponential law for suitably topologies on spaces of vector-valued smooth functions on topological groups, where smoothness is defined by using differentiability along continuous one-parameter subgroups. As an application,…

We study the topology of orbits of dynamical systems defined by finite-dimensional representations of nilpotent Lie groups. Thus, the following dichotomy is established: either the interior of the set of regular points is dense in the…

A model of 3-dimensional topological quantum field theory is rigorously constructed. The results are applied to an explicit formula for deformation quantization of any finite-dimensional Lie bialgebra over the field of complex numbers. This…

Let G be a regular Lie group which is a directed union of regular Lie groups G_i (all modelled on possibly infinite-dimensional, locally convex spaces). We show that G is the direct limit of the G_i as a regular Lie group whenever G admits…