Related papers: Smooth Lie group actions are parametrized diffeolo…

If a Lie group acts on a manifold freely and properly, pulling back by the quotient map gives an isomorphism between the differential forms on the quotient manifold and the basic differential forms upstairs. We show that this result remains…

This self-contained paper is part of a series \cite{FF2,FF3} on actions by diffeomorphisms of infinite groups on compact manifolds. The two main results presented here are: 1) Any homomorphism of (almost any) mapping class group or…

Diffeomorphism groups $G$ of manifolds $M$ on locally $\bf F$-convex spaces over non-Archimedean fields $\bf F$ are investigated. It is shown that their structure has many differences with the diffeomorphism groups of real and complex…

Let Phi : M --> g^* be a proper moment map associated to an action of a compact connected Lie group, G, on a connected symplectic manifold, (M,\omega). A collective function is a pullback via \Phi of a smooth function on g^*. In this paper…

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…

Given a smooth free action of a compact connected Lie group $G$ on a smooth compact manifold $M$, we show that the space of $G$-invariant Riemannian metrics on $M$ whose automorphism group is precisely $G$ is open dense in the space of all…

In a previous article, analytic 1-submanifolds had been classified w.r.t. their symmetry under a given regular and separately analytic Lie group action on an analytic manifold. It was shown that such an analytic 1-submanifold is either free…

Given any real-analytic CR manifold M, we provide general conditions on M guaranteeing that the group of all its global real-analytic CR automorphisms is a Lie group (in an appropriate topology). Our conditions are in particular satisfied…

A particularly easy, even if for long overlooked way is presented for defining globally arbitrary Lie group actions on smooth functions on Euclidean domains. This way is based on the appropriate use of the usual parametric representation of…

For a manifold M we define a structure on the group action of Diff(M) on the smooth functions on M which reduces to the usual differential geometry upon differentiation at zero along the one-parameter groups of Diff(M). This ``integrated…

Proper group actions are ubiquitous in mathematics and have many of the attractive features of actions of compact groups. In this survey, we discuss proper actions of Lie groups on smooth manifolds. If the group dimension is sufficiently…

Let $(M, \omega)$ be a connected, compact symplectic manifold equipped with a Hamiltonian $G$ action, where $G$ is a connected compact Lie group. Let $\phi$ be the moment map. In \cite{L}, we proved the following result for $G=S^1$ action:…

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…

We give general classification and structure theorems for actions of groups of homeomorphisms and diffeomorphisms on manifolds, reminiscent of classical results for actions of (locally) compact groups. This gives a negative answer to Ghys'…

We will have a deep look at the set of all $G$-equivariant maps from the factor Lie group $G$ to the under the action manifold $M$, both from "computational" and "observability" viewpoint. We will also be looking for the existence of…

In this article, we describe all the group morphisms from the group of compactly-supported homeomorphisms isotopic to the identity of a manifold to the group of homeomorphisms of the real line or of the circle.

Let $f $ be a Morse function on a smooth compact surface $M$ and $\mathcal{S}'(f)$ be a group of $f$-preserving diffeomorphisms of $M$ which are isotopic to the identity map. Let also $G(f)$ be a group of automorphisms of the graph of $f$…

Let $\varphi$ and $\varphi'$ be two homotopic actions of the topological group $G$ on the topological space $X$. To an object $A$ in the $G$-equivariant derived category $D_{\varphi}(X)$ of $X$ relative to the action $\varphi$ we associate…

For a compact smooth manifold $M$ (with boundary) we prove that the topological rank of the diffeomorphism group Diff$_0^k(M)$ is finite for all $k\geq 1$. This extends a result from [2] where the same claim is proved in the special case of…

We study the action of Hamiltonian diffeomorphisms of a compact symplectic manifold ($X,\omega$) on $C^\infty(X)$ and on functions $C^\infty(X)\to \mathbb R$. We describe various properties of invariant convex functions on $C^\infty(X)$.…