Bourbaki

Lemma 5

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

Integration, VII, p. 60, § 3. Applications and examples

The continuous representations of GL(n,K)\mathbf{GL}(n, K) in C∗\mathbf{C}^* are the mappings of the form X↦χ(det⁡X)X \mapsto \chi(\det X), where χ\chi is a continuous representation of K∗K^* in C∗\mathbf{C}^*.

Such a mapping is obviously a continuous representation of GL(n,K)\mathbf{GL}(n, K) in C∗\mathbf{C}^*. Conversely, suppose that ψ\psi is a continuous representation of GL(n,K)\mathbf{GL}(n, K) in C∗\mathbf{C}^*. For x∈K∗x \in K^*, set

x~=(x1010⋯1) \tilde{x} = \begin{pmatrix} x & & \\ & 1 & 0 \\ & & 1 \\ 0 & \cdots & 1 \end{pmatrix}

and χ(x)=ψ(x~)\chi(x) = \psi(\widetilde{x}). Then, for every matrix X∈GL(n,K)X \in \mathbf{GL}(n, K), we have (det⁡X−1)∼⋅X∈SL(n,K)(\det X^{-1}) \sim \cdot X \in \mathbf{SL}(n, K). Since SL(n,K)\mathbf{SL}(n, K) is the commutator subgroup of GL(n,K)\mathbf{GL}(n, K) (A, III, §8, No. 9, Cor. of Prop. 17), ψ((det⁡X−1)∼⋅X)=1\psi((\det X^{-1}) \sim \cdot X) = 1, whence

ψ(X)=ψ((det⁡X)∼)=χ(det⁡X). \psi(X) = \psi((\det X) \sim) = \chi(\det X).
This established, Cor. 1 of Prop. 10 of §1, No. 8 proves that the relatively invariant measures on GL(n,K)\mathbf{GL}(n, K) are, up to a constant factor, the measures of the form
(4)χ(det⁡X)⋅⨂ijdxij(X=(xij)), (4) \quad \chi(\det X) \cdot \bigotimes_{ij} dx_{ij} \qquad (X = (x_{ij})),
where χ\chi is a continuous representation of K∗K^* in C∗\mathbf{C}^*.

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.