Related papers: A Lie algebra for Fr\"olicher groups

We construct an algebra of smooth functions over the tangent groupoid associated to any Lie groupoid. This algebra is a field of algebras over the closed interval [0, 1] which fiber at zero is the algebra of Schwartz functions over the Lie…

In this paper we introduce the notion of tangent space TG of a (not necessary smooth) subgroup G of the diffeomorphism group Diff(M) of a compact manifold M. We prove that TG is a Lie subalgebra of the Lie algebra of smooth vector fields on…

We give conditions on a diffeological group $G$ and a normal subgroup $H$ under which the quotient group $G/H$ differentiates to a Lie algebra for which $\operatorname{Lie}(G/H) \cong \operatorname{Lie}(G)/\operatorname{Lie}(H)$. Our Lie…

The space of vector-valued forms on any manifold is a graded Lie algebra with respect to the Frolicher-Nijenhuis bracket. In this paper we consider multiplicative vector-valued forms on Lie groupoids and show that they naturally form a…

Frolicher spaces and smooth mappings form a cartesian closed category. It was shown in our previous paper [Far East Journal of Mathematical Sciences, 35 (2009), 211-233] that its full subcategory of Weil exponentiable Frolicher spaces is…

The infinitesimal counterpart of a Lie groupoid is its Lie algebroid. As a vector bundle, it is given by the source vertical tangent bundle restricted to the identity bisection. Its sections can be identified with the invariant vector…

Given a Lie groupoid, we can form its orbit space, which carries a natural diffeology. More generally, we have a quotient functor from the Hilsum-Skandalis category of Lie groupoids to the category of diffeological spaces. We introduce the…

It is known that the category of Lie algebras over a ring admits algebraic exponents. The aim of this paper is to show that the same is true for the category of internal Lie algebras in an additive, cocomplete, symmetric, closed, monoidal…

We investigate the theory of affine group schemes over a symmetric tensor category, with particular attention to the tangent space at the identity. We show that this carries the structure of a restricted Lie algebra, and can be viewed as…

We construct classifying spaces for discrete and compact Lie groups, with the property that they are topological groups and complete metric spaces in a natural way. We sketch a program in view of extending these constructions.

This survey is about the fundamentals of the theory of finite dimensional Lie groups over the field of real numbers. The notion of the tangent space of a manifold at a point is considered to be defined via the well known chart and vector…

Principal bundles have at least three different definitions, depending on the category of geometric objects studied. In Differential Geometry, they are defined as locally trivial projection map of smooth manifolds with an atlas whose…

We endow the diffeomorphism group of a paracompact (reduced) orbifold with the structure of an infinite dimensional Lie group modelled on the space of compactly supported sections of the tangent orbibundle. For a second countable orbifold,…

A pro-Lie group is a projective limit of a family of finite-dimensional Lie groups. In this note we show that a pro-Lie group $G$ is a Lie group in the sense that its topology is compatible with a smooth manifold structure for which the…

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…

Diffeological and differential spaces are generalisations of smooth structures on manifolds. We show that the "intersection" of these two categories is isomorphic to Fr\"olicher spaces, another generalisation of smooth structures. We then…

In this paper we generalize a result in [1], showing that an arbitrary Riemannian symmetric space can be realized as a closed submanifold of a covering group of the Lie group defining the symmetric space. Some properties of the subgroups of…

We study Lie group structures on groups of the form C^\infty(M,K)}, where M is a non-compact smooth manifold and K is a, possibly infinite-dimensional, Lie group. First we prove that there is at most one Lie group structure with Lie algebra…

An algebra $L$ over a field $\Bbb F$, in which product is denoted by $[\,,\,]$, is said to be \textit{ Lie type algebra} if for all elements $a,b,c\in L$ there exist $\alpha, \beta\in \Bbb F$ such that $\alpha\neq 0$ and $[[a,b],c]=\alpha…

A topological group is called a pro-Lie group if it is isomorphic to a closed subgroup of a product of finite-dimensional real Lie groups. This class of groups is closed under the formation of arbitrary products and closed subgroups and…