Related papers: The Orbit Space and Basic Forms of a Proper Lie Gr…

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.…

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…

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 show that the differential structure of the orbit space of a proper action of a Lie group on a smooth manifold is continuously reflexive. This implies that the orbit space is a differentiable space in the sense of Smith, which ensures…

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…

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…

We characterize Lie group actions for which there exists, at least locally, an evaluation map that defines a cochain map from the differential complex of invariant forms on a manifold to the De Rham complex for the quotient.

We show that proper Lie groupoids are locally linearizable. As a consequence, the orbit space of a proper Lie groupoid is a smooth orbispace (a Hausdorff space which locally looks like the quotient of a vector space by a linear compact Lie…

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…

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 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…

We introduce a de Rham model for stratified spaces arising from symplectic reduction. It turns out that the reduced symplectic form and its powers give rise to well-defined cohomology classes, even on a singular symplectic quotient.

It is widely understood that the quotient space of a topological group action can have a complicated combinatorial structure, indexed somehow by the sotropy groups of the action, but how best to record this structure seems unclear. This…

Let $(M,\mathcal{F})$ be a foliated manifold. We prove that there is a canonical isomorphism between the complex of base-like forms $\Omega^*_b(M,\mathcal{F})$ of the foliation and the "De Rham complex" of the space of leaves…

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…

Hector, Mac\'{\i}as-Virg\'os, and Sanmart\'{\i}n-Carb\'on identified the complex of diffeological differential forms on the leaf space of a foliation with the complex of basic forms on the foliated manifold, yielding a canonical isomorphism…

In this paper we construct a deformation quantization of the algebra of polynomials of an arbitrary (regular and non regular) coadjoint orbit of a compact semisimple Lie group. The deformed algebra is given as a quotient of the enveloping…

Orbits of coadjoint representations of classical compact Lie groups have a lot of applications. They appear in representation theory, geometrical quantization, theory of magnetism, quantum optics etc. As geometric objects the orbits were…

We study the action of the diffeomorphism group $\Diff(M)$ on the space of proper immersions $\Imm_{\text{prop}}(M,N)$ by composition from the right. We show that smooth transversal slices exist through each orbit, that the quotient space…

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…