Inverse limit of locally compact groups

204 Views Asked by At

If $(G_i,\varphi_i)$ is a inverse system of Hausdorff locally compact groups, then $\varprojlim G_i $ is locally compact?

I have looked for information about it, or any additional condition for the conclusion holds.

I don't know if I added the condition that $G_i$ are compact for almost everywhere it's enough.

Thanks you all for any suggestion or any counterexample

1

There are 1 best solutions below

3
On BEST ANSWER

This is unfortunately false.

We can write an infinite dimensional $\mathbb{R}$ vector space as an inverse limit of finite dimensional $\mathbb{R}$ vector spaces (see here, or PaulFrost's comment below). Now since finite dimensional vector spaces are locally compact, but infinite dimensional spaces aren't (see here, for instance), we see inverse limits cannot preserve local compactness.

You ask about additional conditions to make the conclusion hold, such as the condition that the $G_n$s are "compact almost everywhere":

If we replace local compactness by compactness, then the theorem becomes true (because of Tychonoff's theorem). In fact, if all but finitely many of the $G_n$s are compact, and the remaining finitely many are merely locally compact, then the inverse limit is locally compact (so a version of your "almost everywhere" criterion works!).

To see why, recall $\varprojlim G_n$ is a certain (closed) subgroup of $\prod G_n$. Since the product of finitely many locally compact spaces is locally compact (see here, say), we see $\prod G_n$ is still locally compact, and thus $\varprojlim G_n$, which is a closed subspace, is locally compact too (see here).


I hope this helps ^_^