Table of Contents
- Construction of \(SO(n)\)
- If we just care about \(SO(n)\), why go through the effort to define \(GL(n)?\)
This exposition is distilled from a series of office visits to Victor Dorobantu, after which Lie Groups and Lie Aglebras made sense to me for the first time.
Construction of \(SO(n)\)
Consider the set of invertible \(n\times n\) matrices as \[ GL(n) = \{A\in\mathbb{R}^{n\times n} | \text{det}(A) \ne 0\} \] known as the general linear group (hence \(GL(n)\)). Now consider matrices \(A\in GL(n)\) such that \(A^\top A = \mathbf{I}_n\), and more specifically a function \(f:GL(n)\to\mathbb{R}^{n\times n}\) defined as: \[ f(A) = A^\top A. \] Since \(f\) is a smooth function, we know via the inverse function theorem that the pre-image of any regular value of \(f\) defines a submanifold of the space. As such, consider the identity level set of our function \(f\), which defines the orthogonal group: \[ O(n) = \{A\in\mathbb{R}^{n\times n} | A\in GL(n), A^\top A = \mathbf{I}_n\}. \] Noting also that the determinant operation is smooth in the space of matrices, we can make a similar argument to define the special orthogonal group: \[ SO(n) = \{A\in\mathbb{R}^{n\times n} | A\in GL(n), A^\top A = \mathbf{I}_n, \text{det}(A) = 1\}. \]
If we just care about \(SO(n)\), why go through the effort to define \(GL(n)?\)
With the goal of doing calculus on manifolds, we must be especially careful to understand what space the tangent vectors exist in. Specifically, we will consider perturbations of tangent vectors, but in doing so we have to ensure that the constructions that we make have a mathematical consistency, i.e. perturbations of our vectors do not exit the domain of definition of the objects we create.
We can now think of what it means to take the differential of \(f\) at \(A\) in the direction of a tangent “vector” \(V\) as: \[ [Df(A)](V) = \lim_{\varepsilon\to 0}\frac{(A+\varepsilon V)^\top(A+\varepsilon V) - A^\top A}{\varepsilon} \]
As such, we know that tangent “vectors” \(V\) to \(SO(n)\) (these objects can naturally be though of as matrices) must satisfy the following equation: \[ A^\top V + V^\top A = \mathbf{0}_{n\times n} \] as these are the directions in the null space of the differential of \(f\).
If we want to associate a Lie Algebra to the Lie Group \(SO(n)\), then we need to consider the tangent space at identity. In other words, \[ [Df(\mathbf{I}_n)](V) = 0 \iff V+V^\top = 0_{n\times n}, \] or more canonically, the set of skew symmetric matrices.
Taking the canonical Lie bracket as the binary operation (which satisfies bilinearity, anticommutativity, etc…), we observe that the set of skew symmetric matrices is closed under the Lie bracket operator (as skew symmetric matrices commute). Noting also that that the set of skew symmetric matrices is a vector space, we have all the ingredients to define a Lie Algebra.