By Brian Hall
This textbook treats Lie teams, Lie algebras and their representations in an hassle-free yet totally rigorous type requiring minimum necessities. specifically, the speculation of matrix Lie teams and their Lie algebras is constructed utilizing purely linear algebra, and extra motivation and instinct for proofs is supplied than in such a lot vintage texts at the subject.
In addition to its obtainable remedy of the elemental conception of Lie teams and Lie algebras, the ebook is usually noteworthy for including:
- a remedy of the Baker–Campbell–Hausdorff formulation and its use in preference to the Frobenius theorem to set up deeper effects in regards to the courting among Lie teams and Lie algebras
- motivation for the equipment of roots, weights and the Weyl crew through a concrete and designated exposition of the illustration thought of sl(3;C)
- an unconventional definition of semisimplicity that permits for a speedy improvement of the constitution concept of semisimple Lie algebras
- a self-contained building of the representations of compact teams, self sustaining of Lie-algebraic arguments
The moment variation of Lie teams, Lie Algebras, and Representations comprises many sizeable advancements and additions, between them: a completely new half dedicated to the constitution and illustration thought of compact Lie teams; an entire derivation of the most homes of root structures; the development of finite-dimensional representations of semisimple Lie algebras has been elaborated; a remedy of common enveloping algebras, together with an evidence of the Poincaré–Birkhoff–Witt theorem and the life of Verma modules; entire proofs of the Weyl personality formulation, the Weyl measurement formulation and the Kostant multiplicity formula.
Review of the 1st edition:
This is a superb booklet. It merits to, and unquestionably will, turn into the traditional textual content for early graduate classes in Lie staff thought ... a major addition to the textbook literature ... it's hugely recommended.
― The Mathematical Gazette
Read Online or Download An Elementary Introduction to Groups and Representations PDF
Similar symmetry and group books
Ebook via Dicks, W.
The concept that of symmetry is inherent to trendy technological know-how, and its evolution has a fancy historical past that richly exemplifies the dynamics of medical swap. This examine relies on basic assets, offered in context: the authors research heavily the trajectory of the idea that within the mathematical and medical disciplines in addition to its trajectory in paintings and structure.
Additional info for An Elementary Introduction to Groups and Representations
Well, A can be written as eX for a unique X ∈ h and B can be written as eY for a unique Y ∈ h. 1 1 φ (AB) = φ eX eY = φ eX+Y + 2 [X,Y ] . Using the definition of φ and the fact that φ is a Lie algebra homomorphism: φ (AB) = exp φ (X) + φ (Y ) + 1 φ (X) , φ (Y ) 2 . 1 again we have φ (AB) = eφ(X) eφ(Y ) = φ (A) φ (B) . Thus φ is a group homomorphism. It is easy to check that φ is continuous (by checking that log, exp, and φ are all continuous), and so φ is a Lie group homomorphism. Moreover, φ by definition has the right relationship to φ.
7. The symplectic groups. These are denoted sp (n; R) , sp(n; C) , and sp (n) . The calculation of these Lie algebras is similar to that of the generalized orthogonal groups, and I will just record the result here. Let J be the matrix in the definition of the symplectic groups. Then sp (n; R) is the space of 2n × 2n real matrices X such that JX tr J = X, sp(n; C) is the space of 2n×2n complex matrices satisfying the same condition, and sp (n) =sp(n; C) ∩ u (2n) . 5. 8. The Heisenberg group. 13) X= 0 0 computed the exponential of a matrix of α β 0 γ 0 0 and saw that eX was in H.
9) 2 2 for a unique pair (α, β) satisfying |α| + |β| = 1. (Thus SU(2) can be thought of as the three-dimensional sphere S 3 sitting inside C2 = R4 . ) 9. The groups Sp (1; R), Sp (1; C), and Sp (1). Show that Sp (1; R) = SL (2; R), Sp (1; C) = SL (2; C), and Sp(1) = SU(2). 10. The Heisenberg group. Determine the center Z(H) of the Heisenberg group H. Show that the quotient group H/Z(H) is abelian. 11. Connectedness of SO(n). Show that SO(n) is connected, following the outline below. For the case n = 1, there is not much to show, since a 1 × 1 matrix with determinant one must be .