I’m trying to prove $SL_2(\mathbb{R}) \cong S^1 \times D^2$, but I don’t know how to construct.
Where $S^1$ is the circle, and $D^2$ is the disk.
Using the implicit function theorem, I could prove that $SL_2(\mathbb{R})$ is $3$-dimensions manifold.
Please tell me the construction of $SL_2(\mathbb{R}) \cong S^1 \times D^2$.