Bourbaki

Lemma 6

Tag 09FU, permanent. Cite it as [Bourbaki, Tag 09FU].

Integration, VII, p. 43, § 2. Quotient of a space by a group; homogeneous spaces

Let λ\lambda be a measure on G/HG/H, χ\chi a continuous representation of G in C∗\mathbf{C}^*. The following properties are equivalent: a) λ\lambda is relatively invariant on G/HG/H with multiplier χ\chi; b) λ#\lambda^\# is relatively invariant on G with left multiplier χ\chi; c) λ#\lambda^\# is of the form aχ⋅μa \chi \cdot \mu (a∈Ca \in \mathbf{C}).

The condition a) means that, for every s∈Gs \in G,

γG/H(s)λ=χ(s)−1λ; \gamma_{G/H}(s)\lambda = \chi(s)^{-1}\lambda;

this is equivalent to (γG/H(s)λ)#=χ(s)−1λ#(\gamma_{G/H}(s)\lambda)^\# = \chi(s)^{-1}\lambda^\#, that is, to

γG(s)λ#=χ(s)−1λ#. \gamma_G(s)\lambda^\# = \chi(s)^{-1}\lambda^\#.

Whence the equivalence of a) and b). The equivalence of b) and c) follows from §1, No. 8, Cor. 1 of Prop. 10.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Cites

Transcribed from the printed volume. Not translated.