0
$\begingroup$

Let $G$ be a locally compact Hausdorff group with left modular character $\delta$. A discrete subgroup $\Gamma$ of $G$ is called a lattice if $\delta(x) = 1$ for all $x \in \Gamma$, and if the resulting left invariant measure on $G/\Gamma$ is finite.

If $G$ has a lattice, and I'm trying to understand why $G$ has to be unimodular. The proof comes down to showing that since $G/\Gamma$ has finite measure, so does $G/N$, where $N$ is the kernel of $\delta$. Here we have $\Gamma \subseteq N \subseteq G$, so this should have something to do with $G/N$ being a continuous image of $G/\Gamma$. Somehow we need to relate the measures on $G/N$ and on $G/\Gamma$.

Once we show that $G/N$ has finite measure, we use the result that if a topological group has finite Haar measure, then it is compact. Then $G/N$ surjects onto a compact subgroup of $(0,\infty)$, which must be trivial.

$\endgroup$
3
  • $\begingroup$ You should report me to the mods $\endgroup$
    – D_S
    Oct 25 '17 at 20:09
  • $\begingroup$ Btw what did you report me for exactly? You know when you ask a question there is a box you can check that says "Answer your own question - share your knowledge Q&A style," right? $\endgroup$
    – D_S
    Oct 26 '17 at 5:13
  • $\begingroup$ @ChrisApostol Self answers are not only okay but explicitly encouraged $\endgroup$
    – user223391
    Oct 27 '17 at 18:44
1
$\begingroup$

If $H$ is any locally compact Hausdorff group, the Riesz representation theorem gives a bijection between Radon measures on $H$ and positive linear functionals on $C_c(H)$, where a measure $\mu$ is sent to the linear functional $\Phi$ defined by

$$f \mapsto \int\limits_{H} f \space d\mu $$

It is a general result that $\mu$ is a left Haar measure if and only if $\Phi(L_x(f)) = \Phi(f)$ for all $f \in C_c(H)$, where $L_x(f)(g) = f(x^{-1}g)$.

Let $\pi: G/\Gamma \rightarrow G/N$ be the quotient map $g \Gamma \mapsto g N$. Let $\lambda$ be the $G$-invariant Radon measure on $G/\Gamma$. Define a positive linear functional $\Phi: C_c(G/N) \rightarrow \mathbb{C}$ by

$$\Phi(f) = \int\limits_{G/\Gamma}(f \circ \pi) \space d\lambda$$

To check that this is well defined, we just have to check that this integral converges. But this is obvious, because $f$ is bounded on $G/N$, hence $f \circ \pi$ is bounded on $G/\Gamma$, and $G/\Gamma$ has finite measure.

Let $\mu$ be the Radon measure on the locally compact Hausdorff space $G/N$ which corresponds to $\Phi$. Since $G/N$ is a topological group, and $\Phi(L_{xN}(f)) = \Phi(f)$ for all $f \in C_c(G/N)$ and $xN \in G/N$, we can conclude that $\mu$ is a left Haar measure on $G/N$. Then

$$\mu(G/N) = \int\limits_{G/N} \textrm{Char}(G/N) \space d\mu = \Phi(\textrm{Char}(G/N)) = \int\limits_{G/\Gamma} \textrm{Char}(G/\Gamma) \space d\lambda = \lambda(G/\Gamma) < \infty $$

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.