ConceptComplete

Lie Groups and Matrix Groups - Examples and Constructions

The rich variety of Lie groups arises from numerous construction methods and important examples. Understanding these examples provides intuition for the general theory and demonstrates the ubiquity of Lie groups in mathematics and physics.

Example

The circle group S1={z∈C:∣z∣=1}S^1 = \{z \in \mathbb{C} : |z| = 1\} with multiplication is a 11-dimensional compact abelian Lie group. It can be parameterized as S1={eiΞΈ:θ∈[0,2Ο€)}S^1 = \{e^{i\theta} : \theta \in [0, 2\pi)\}, making the group structure explicit: eiΞΈ1β‹…eiΞΈ2=ei(ΞΈ1+ΞΈ2)e^{i\theta_1} \cdot e^{i\theta_2} = e^{i(\theta_1 + \theta_2)}.

The special linear group SLn(R)={A∈GLn(R):det⁑(A)=1}SL_n(\mathbb{R}) = \{A \in GL_n(\mathbb{R}) : \det(A) = 1\} is a closed subgroup of GLn(R)GL_n(\mathbb{R}). Since the determinant map det⁑:GLn(R)β†’Rβˆ—\det: GL_n(\mathbb{R}) \to \mathbb{R}^* is a smooth group homomorphism, SLn(R)SL_n(\mathbb{R}) is the kernel of a smooth map and hence a smooth submanifold of codimension 1.

Definition

The orthogonal group O(n)={A∈GLn(R):ATA=I}O(n) = \{A \in GL_n(\mathbb{R}) : A^T A = I\} consists of matrices preserving the standard inner product on Rn\mathbb{R}^n. The special orthogonal group SO(n)={A∈O(n):det⁑(A)=1}SO(n) = \{A \in O(n) : \det(A) = 1\} is the connected component of O(n)O(n) containing the identity.

For nβ‰₯3n \geq 3, SO(n)SO(n) is a compact, connected, non-abelian Lie group of dimension n(nβˆ’1)2\frac{n(n-1)}{2}. The case SO(3)SO(3) is particularly important in physics, representing rotations in three-dimensional space.

Example

The Heisenberg group consists of 3Γ—33 \times 3 upper triangular matrices: H={(1xz01y001):x,y,z∈R}H = \left\{\begin{pmatrix} 1 & x & z \\ 0 & 1 & y \\ 0 & 0 & 1 \end{pmatrix} : x, y, z \in \mathbb{R}\right\} This group is nilpotent and plays a crucial role in quantum mechanics (via the canonical commutation relations) and harmonic analysis.

Product constructions provide another source of examples. If GG and HH are Lie groups, their direct product GΓ—HG \times H with componentwise operations (g1,h1)(g2,h2)=(g1g2,h1h2)(g_1, h_1)(g_2, h_2) = (g_1 g_2, h_1 h_2) is also a Lie group. The torus Tn=S1Γ—β‹―Γ—S1⏟nΒ timesT^n = \underbrace{S^1 \times \cdots \times S^1}_{n \text{ times}} is the standard example.

Remark

The quotient construction also produces Lie groups. If GG is a Lie group and NN is a normal closed subgroup, then G/NG/N inherits a Lie group structure. For instance, SO(3)β‰…SU(2)/{Β±I}SO(3) \cong SU(2)/\{\pm I\}, revealing SU(2)SU(2) as the double cover of SO(3)SO(3).

The symplectic group Sp(2n,R)Sp(2n, \mathbb{R}) consists of 2nΓ—2n2n \times 2n matrices preserving a non-degenerate skew-symmetric bilinear form. These groups are fundamental in classical mechanics and geometric quantization.

Finally, exceptional Lie groups such as G2,F4,E6,E7,E8G_2, F_4, E_6, E_7, E_8 complete the classification of simple Lie groups. While less familiar than the classical groups, they appear in various areas including string theory, particle physics, and algebraic geometry. Each exceptional group has unique properties and rich geometric structure.