"No Small Subgroups" Argument

Question

What is the "no small subgroups" argument for $GL(n,\mathbb R)$? That is, how do we show that in $GL(n,\mathbb R)$ there exists a neighborhood of the identity which contains no subgroup other than the trivial one? I had some scribbling (for the $n=2$ case) but could not arrive at a clean proof.

Answer 1

Here is Asaf's agrument expanded a bit. It has the advantage of working for all Lie groups simultaneously.

Given a Lie group $G$ with Lie algebra $\mathfrak{g}$, consider the exponential map $\exp:\mathfrak{g}\rightarrow G$. It is known that it is a diffeomorphism on a small enough open set $U\subseteq\mathfrak{g}$.

Choosing an inner product on $\mathfrak{g}$, we may assume wlog that $U$ has the form $U = \{v\in \mathfrak{g} : \; |v| < \epsilon\}$ for some $\epsilon > 0$. Let $V\subseteq U$ with $V = \{v\in\mathfrak{g} : \; |v| < \epsilon/2\}$.

I claim that $\exp(V)$ contains no nontrivial subgroups. Indeed, suppose $H\subseteq \exp(V)$ is a subgroup and choose $g\in H$ so $g = \exp(v)$ for some $v\in V$. I claim that $2v \in V$ as well. To see this, notice that since $g^2 \in H\subseteq \exp(V)$, we must have $g^2 = \exp(w)$ for some $w\in V$. Then $\exp(w) = g^2 = \exp(v)^2 = \exp(2v)$ which implies $w=2v$ since $\exp|_U$ is a diffeomorphism. Thus, $2v \in V$.

But now can iterate this argument showing $2^n v \in V$ for all $n$. Since $|2^n v| = 2^n |v|$, this implies $v=0$, i.e. that $g =e$ so $H$ is trivial.

Answer 2

It suffices to show that the powers of some non-identity element $g \in \text{GL}_n(\mathbb{R})$ near the identity "escape from the identity." If $g$ has an eigenvalue not equal to $1$ then this follows by examining eigenvalues (we should take a neighborhood of the identity containing only elements with eigenvalues very close to $1$), so we reduce to the case that $g$ is unipotent. But now we can just compute that $|1 - g^k|$ tends to $\infty$ in, say, Hilbert-Schmidt norm by writing $g$ as an upper-triangular matrix.

Edit: To show that a neighborhood containing elements with eigenvalues very close to $1$ exists, consider the neighborhood of elements whose characteristic polynomial is close to $(\lambda - 1)^n$ (we will be more precise about this). Write $z = \lambda - 1$, so we are trying to show that a polynomial of the form

$$z^n = a_{n-1} z^{n-1} + ... + a_0$$

has small roots if the $a_i$ are chosen to be small. Writing this as $1 = \frac{a_{n-1}}{z} + ... + \frac{a_0}{z^n}$ we have

$$1 \le (|a_{n-1}| + ... + |a_0|) \text{max} \left( \frac{1}{|z|}, \frac{1}{|z|^n} \right)$$

by the triangle inequality. We conclude that if we stipulate $|a_{n-1}| + ... + |a_0| < \text{min}(\epsilon, \epsilon^n)$ then $|z| < \epsilon$.