Lie groups of 𝐶𝑘-maps on non-compact manifolds and the fundamental theorem for Lie group-valued mappings

We study the existence of Lie group structures on groups of the form C k ⁢ ( M , K ) C^{k}(M,K) , where 𝑀 is a non-compact smooth manifold with rough boundary and 𝐾 is a, possibly infinite-dimensional, Lie group. Motivated by introducing this new class of infinite-dimensional Lie groups, we obtain a new version of the fundamental theorem for Lie algebra-valued functions.

The Lie group of vertical bisections of a regular Lie groupoid

In this note we construct an infinite-dimensional Lie group structure on the group of vertical bisections of a regular Lie groupoid. We then identify the Lie algebra of this group and discuss regularity properties (in the sense of Milnor) for these Lie groups. If the groupoid is locally trivial, i.e., a gauge groupoid, the vertical bisections coincide with the gauge group of the underlying bundle. Hence, the construction recovers the well-known Lie group structure of the gauge groups. To establish the Lie theoretic properties of the vertical bisections of a Lie groupoid over a non-compact base, we need to generalise the Lie theoretic treatment of Lie groups of bisections for Lie groupoids over non-compact bases.

Smoothing operators and C∗-algebras for infinite dimensional Lie groups

A smoothing operator for a unitary representation [Formula: see text] of a (possibly infinite dimensional) Lie group [Formula: see text] is a bounded operator [Formula: see text] whose range is contained in the space [Formula: see text] of smooth vectors of [Formula: see text]. Our first main result characterizes smoothing operators for Fréchet–Lie groups as those for which the orbit map [Formula: see text] is smooth. For unitary representations [Formula: see text] which are semibounded, i.e. there exists an element [Formula: see text] such that all operators [Formula: see text] from the derived representation, for [Formula: see text] in a neighborhood of [Formula: see text], are uniformly bounded from above, we show that [Formula: see text] coincides with the space of smooth vectors for the one-parameter group [Formula: see text]. As the main application of our results on smoothing operators, we present a new approach to host [Formula: see text]-algebras for infinite dimensional Lie groups, i.e. [Formula: see text]-algebras whose representations are in one-to-one correspondence with certain continuous unitary representations of [Formula: see text]. We show that smoothing operators can be used to obtain host algebras and that the class of semibounded representations can be covered completely by host algebras. In particular, the latter class permits direct integral decompositions.

FUNCTORIAL ASPECTS OF THE RECONSTRUCTION OF LIE GROUPOIDS FROM THEIR BISECTIONS

To a Lie groupoid over a compact base $M$, 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 article we consider functorial aspects of these construction principles. The first observation is that this procedure is functorial (for morphisms fixing $M$). Moreover, it gives rise to an adjunction between the category of Lie groupoids over $M$ and the category of Lie groups acting on $M$. In the last section we then show how to promote this adjunction to almost an equivalence of categories.

The automorphism groups of foliations with transverse linear connection

The category of foliations is considered. In this category morphisms are differentiable maps sending leaves of one foliation into leaves of the other foliation. We prove that the automorphism group of a foliation with transverse linear connection is an infinite-dimensional Lie group modeled on LF-spaces. This result extends the corresponding result of Macias-Virgós and Sanmartín Carbón for Riemannian foliations. In particular, our result is valid for Lorentzian and pseudo-Riemannian foliations.

Lie Groups of Measurable Mappings

We describe new construction principles for infinite-dimensional Lie groups. In particular, given any measure space (X; Σ, μ) and (possibly infinite-dimensional) Lie group G, we construct a Lie group L∞(X; G), which is a Fréchet-Lie group if G is so. We also show that the weak direct product of an arbitrary family (Gi)i∈I of Lie groups can be made a Lie group, modelled on the locally convex direct sum .

STOCHASTIC EQUATIONS AND QUASI-INVARIANCE ON INFINITE PRODUCT GROUPS

A stochastic differential equation on an infinite-dimensional Lie group G constructed as the countable power of a compact Lie group G is considered. The existence and uniqueness of the solutions and quasi-invariance of their distribution are proved.