Why is the next subgroup of $\mathrm{GL}(2,\mathbb{R})$ is closed and its Lie algebra is this?

76 Views Asked by At

Why is the following subgroup of $\mathrm{GL}(2,\mathbb{R})$

$$\left\lbrace \begin{pmatrix} a & b \\ 0 & 1\end{pmatrix} : a\in\mathbb{R}\setminus\lbrace{0}\rbrace, b\in\mathbb{R} \right\rbrace$$

is closed and its Lie algebra is

$$\mathrm{span}\left\lbrace \begin{pmatrix} 1 & 0 \\ 0 & 0\end{pmatrix} , \begin{pmatrix} 0 & 1 \\ 0 & 0\end{pmatrix} \right\rbrace?$$

2

There are 2 best solutions below

0
On BEST ANSWER

$C=\left\lbrace \begin{pmatrix} a & b \\ 0 & 1\end{pmatrix} : a,b\in\mathbb{R} \right\rbrace$ is a closed subspace of the space of square matrices $M(2,\mathbb{R})$, to see this, consider the map defined by $f(\pmatrix{a&b\cr c&d})=(c,d)$, it is continuous and $f^{-1}(0,1)=C$. This implies that $G=C\cap Gl(2,\mathbb{R})$ is closed.

Remark that the dimesion of $G$ is $2$ since $f$ is a submersion, this implies that the dimension of the Lie algebra of $G$ is $2$, $exp(\pmatrix{t&0\cr 0&0})=\pmatrix{e^t&0\cr 0&1}$ and $exp(\pmatrix{0&t\cr 0&0})=\pmatrix{1&t\cr 0&1}$ are elements of $G$.

0
On

For the sake of the record, this subgroup is $\operatorname{Aff}(\mathbb{R})$, called the affine group of $\mathbb{R}$. Its Lie algebra, $\mathfrak{aff}(\mathbb{R})$, is up to isomorphism the unique non-abelian Lie algebra of dimension $2$. Furthermore, $\operatorname{Aff}^+(\mathbb{R})$ (one takes $a>0$) is up to isomorphism the unique simply-connected Lie group with Lie algebra $\mathfrak{aff}(\mathbb{R})$ and since $Z(\operatorname{Aff}^+(\mathbb{R}))$ is trivial, it is even, up to isomorphism, the unique connected Lie group with this Lie algebra.

If you are currently working on Lie groups and Lie algebras, it is a good exercise to make sense of all the affirmations above.

Notice that one has a natural parametrization of $\operatorname{Aff}(\mathbb{R})$ by $\mathbb{R}^*\times\mathbb{R}$ given by: $$(a,b)\mapsto\begin{pmatrix}a&b\\0&1\end{pmatrix},$$ the derivative of this map at the identity is given by: $$(a,b)\mapsto\begin{pmatrix}a&b\\0&0\end{pmatrix},$$ whence the result.