Related papers: Tangent Lie algebra of a diffeomorphism group and …
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…
Fr\"olicher spaces form a cartesian closed category which contains the category of smooth manifolds as a full subcategory. Therefore, mapping groups such as C^\infty(M,G) or \Diff(M), but also projective limits of Lie groups are in a…
Our goal in this paper is to make an attempt to find the largest Lie algebra of vector fields on the indicatrix such that all its elements are tangent to the holonomy group of a Finsler manifold. First, we introduce the notion of the…
As a step toward proving an index theorem for hypoelliptic operators Heisenberg manifolds, including those on CR and contact manifolds, we construct an analogue for Heisenberg manifolds of Connes' tangent groupoid of a manifold $M$. As it…
Given a compact Lie group $G$ with Lie algebra $\mathfrak{g}$, we consider its tangent Lie group $TG\cong G\ltimes_{\mathrm{Ad}} \mathfrak{g}$. In this short note, we prove that $TG$ admits a left-invariant naturally reductive Riemannian…
A diffeological space is a set equipped with a smooth structure, known as a diffeology, which allows us to extend certain notions from manifolds to these more general spaces. We study a generalized notion of tangent space to a point of a…
Our paper is devoted to the study of the holonomy groups of Finsler surfaces using the methods of infinite dimensional Lie theory. The notion of infinitesimal holonomy algebra will be introduced, by the smallest Lie algebra of vector fields…
We define a subcategory of the category of diffeological spaces, which contains smooth manifolds, the diffeomorphism subgroups and its coadjoint orbits. In these spaces we construct a tangent bundle, vector fields and a de Rham cohomology.
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…
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…
For a connected Lie group G, we show that a complex structure on the total space TG of the tangent bundle of G that is left invariant and has the property that each left translation G-orbit is a totally real submanifold is induced from a…
We survey several mathematical developments in the holonomy approach to gauge theory. A cornerstone of this approach is the introduction of group structures on spaces of based loops on a smooth manifold, relying on certain homotopy…
We show that every effective smooth action of a Lie group G on a manifold M is a diffeomorphism from G onto its image in Diff(M), where the image is equipped with the subset diffeology of the functional diffeology.
The aim of this work is to lay the foundations of differential geometry and Lie theory over the general class of topological base fields and -rings for which a differential calculus has been developed in recent work (collaboration with H.…
It is shown that for any compact Lie group $G$ (odd or even dimensional), the tangent bundle $TG$ admits a left-invariant integrable almost complex structure, where the Lie group structure on $TG$ is the natural one induced from $G$. The…
In this work we relate the known results about the homotopy type of classifying spaces for smooth foliations, with the homology and cohomology of the discrete group of diffeomorphisms of a smooth compact connected oriented manifold. The…
We equip the whole tangent space $TM$ to a hyperbolic manifold $M$ (of constant sectional curvature -1) with a natural metric in an intrinsic way, so that the isometries of $M$ extend to isometries of $TM$ by holomorphic continuation. The…
Let G be a Lie group, $T^*G$ its cotangent bundle with its natural Lie group structure obtained by performing a left trivialization of T^*G and endowing the resulting trivial bundle with the semi-direct product, using the coadjoint action…
A construction of the tangent dg Lie algebra of a sheaf of operad algebras on a site is presented. The requirements on the site are very mild; the requirements on the algebra are more substantial. A few applications including the…
We classify the holonomy algebras of manifolds admitting an indecomposable torsion free $G_2^*$-structure, i.e. for which the holonomy representation does not leave invariant any proper non-degenerate subspace. We realize some of these Lie…