Related papers: Differentiable spaces that are subcartesian

A classical result in differential geometry states that for a free and proper Lie group action, the quotient map to the orbit space induces an isomorphism between the de Rham complex of differential forms on the orbit space and the basic…

In this paper we study differential forms and vector fields on the orbit space of a proper action of a Lie group on a smooth manifold, defining them as multilinear maps on the generators of infinitesimal diffeomorphisms, respectively. This…

Let $G$ be a Lie group, and let $(M,\omega)$ be a symplectic manifold. If $G$ admits a Hamiltonian action on $(M,\omega)$ with momentum map $\mu$, then $M$, the zero-level set of $\mu$, the orbit space, and the corresponding symplectic…

We show that, if the family \cal{O} of orbits of all vector fields on a subcartesian space P is locally finite and each orbit in \cal{O} is locally closed, then \cal{O} defines a smooth Whitney A stratification of P. We also show that the…

We introduce the notions of a differentiable groupoid and a differentiable stratified groupoid, generalizations of Lie groupoids in which the spaces of objects and arrows have the structures of differentiable spaces, respectively…

We present some features of the smooth structure, and of the canonical stratification on the orbit space of a proper Lie groupoid. One of the main features is that of Morita invariance of these structures - it allows us to talk about the…

We study the topology of the inertia space of a smooth $G$-manifold $M$ where $G$ is a compact Lie group. We construct an explicit Whitney stratification of the inertia space, demonstrating that the inertia space is a triangulable…

In these lectures, we discuss two approaches to studying orbit spaces of algebraic Lie groups. Due to algebraic approach orbit space, or quotient, is an algebraic manifold, while from the differential viewpoint a quotient is a differential…

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…

In this paper we study a subclass of subcartesian space-the orbit space of a proper action of Lie group on smooth manifold. We show that continuous functions on orbit space can be approximated by smooth functions.

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…

A section of a Riemannian $G$-manifold $M$ is a closed submanifold $\Sigma$ which meets each orbit orthogonally. It is shown that the algebra of $G$-invariant differential forms on $M$ which are horizontal in the sense that they kill every…

It is proved that the orbit space of an irreducible representation of a simple connected compact Lie group of type B, C, or D can be a smooth manifold only in two cases.

Orbits of families of vector fields on a subcartesian space are shown to be smooth manifolds. This allows for a global description of a smooth geometric structure on a family of manifolds in terms of a single object defined on the…

We shall prove that a moduli space of flat irreducible Lie algebroid connections over a compact manifold has locally a natural structure of a smooth differentiable space. This is a generalization of some well known results for the moduli…

We define the notion of a submersion of subcartesian differential spaces and prove some of its properties, which are analogous to those of a submersion in the category of smooth manifolds and smooth mappings.

In this paper, we study geometric properties of quotient spaces of proper Lie groupoids. First, we construct a natural stratification on such spaces using an extension of the slice theorem for proper Lie groupoids of Weinstein and Zung.…

Any sufficiently often differentiable curve in the orbit space $V/G$ of a real finite-dimensional orthogonal representation $G \to O(V)$ of a finite group $G$ admits a differentiable lift into the representation space $V$ with locally…

We investigate the correspondence between the geometry of a smooth compact Lie group action on a manifold $\mathrm{M}$ and the intrinsic smooth structure of the orbit space $\mathrm{M}/\mathrm{G}$. While the action on $\mathrm{M}$ is…

Any sufficiently often differentiable curve in the orbit space of a compact Lie group representation can be lifted to a once differentiable curve into the representation space.