I am a physicist, and I have the following problem. Consider a locally compact group G acting over a measure space $(X, {\cal B}, \mu)$, and assume that $\mu$ is G-invariant. My problem is how to "quotient" the measure $\mu$ for obtaining a measure $\mu/G$ on the quotient space $X/G$, i.e., the space wose elements are the orbits of G. The simple answer consisiting of defining $\mu/G(\Delta):=\mu(\Delta)$ for $\Delta \in X/G$ is not appropriate, as one can see from the following example.


Let $X:=\mathbb{R}^2$ be the configuration space of two one-dimensional particles, let $\mu$ be the Lebesgue measure, and let $G:=\mathbb{R}$ be the group of translations: $a(x, y)=(x + a, y + a)$ for $a \in G$ and $(x, y) \in X$. The orbit of a point $(x, y)$ is the line at $45^°$ passing for $(x, y)$. It is easy to see that the Lebesgue measure of any set of orbits is either $0$ or $\infty$ .


My tentative answer is the following. Let S be a section of the partition of the orbits, i.e., a subset of X composed by an element for every orbit. Let the map $h\_S:G \times X/G \to X$ be defined as follows: $h\_S(g, \xi)=g s\_\xi$, where $s\_\xi$ is the element of the section $S$ belonging to the orbit $\xi$. It is easy to see that $h\_S$ is a bijection between $G \times X/G$ and $X$. It is also easy to see that a measure $\nu\_S$ on $X/G$ exists such that $\mu=h\_S(\alpha \times \nu\_S)$, where $\alpha$ is the Haar measure on G. The measure $\nu\_S$ is the measure I am looking for. The problem is to prove rigorously that it does not depend on the chosen section S.


I guess that this problem has already been addressed. Can anybody give me some reference?



How to define the quotient of a measure which is invariant under group action?
There is a fair amount of work on this. Since measures are roughly the same as cohomology, the standard approach in quantum field theory (one situation where such integrals are needed) roughly boils down to computing equivariant cohomology. The physics buzzword for this is "BRST".


For the case of finite-dimensional manifolds, I think the best mathematical analysis is:


* A. Weinstein, 2009. The volume of a differentiable stack. *Lett. Math. Phys.* 90(1-3) pp.353--371.


In particular, he explains what are the correct type of smooth measures when a Lie group acts on a manifold with compact stabilizers (the group itself need not be compact).


It is important to keep in mind that the search for invariant measures is simply the wrong way to go about defining measures on the quotient in general. In particular, if you consider a group $G$ acting on a space $M$, then if $G$ is *unimodular* (left Haar measure equals right Haar measure), then the smooth measures on the stacky quotient $M/G$ are in bijection with the invariant measures on $M$ (a choice of bijection corresponds to a choice of Haar measure), but if $G$ is not unimodular (e.g. the two-dimensional nonabelian Lie group) then the correct thing to do is pick a measure on $M$ that fails to be invariant in precisely a way that cancels the failure of unimodularity.


More generally, the Weinstein point of view is that you should not think about a space and a group separately — that's too much data — but just think about the *groupoid* that encodes the action. Then there is a well-developed theory of "equivalence" of groupoids, and Weinstein measures push and pull well across equivalences.


A particular example of an equivalence is given by a "full open neighborhood": let $U \subseteq M$ be any open set that intersects every orbit of $M/G$, and restrict your groupoid to it. (Note: $G$ does not act on $U$, but we define a "partial action" in which two points in $U$ are equivalent iff they're equivalent in $M$, and with the same stabilizers.) Then the restricted groupoid is equivalent to the original one.


So, let's take $M = \mathbb R^2$ and $G = \mathbb R$ as in your example. Then we can restrict to the full subset $U = \{(x,y) \text{ s.t. } |x+y|<1$.


Now it is clear that we can pick an invariant Lebesgue measure with lots of finite-sized orbits. We should divide the volume of any region — this is part of the definition, and in general see [ibid.] — by the length of the orbits: each orbit pulls back to some open subset of $G = \mathbb R$, and measure its length there against Haar measure. You do get well-defined groupoid measure doing this. At the end of the day, it's what you want it to be: the measure of a cylinder over a subset of the line $\{x+y = 0\}$ is just the length of the subset (up to your choice of normalizations).


