• Aucun résultat trouvé

Exercise 1: Lie Algebra

N/A
N/A
Protected

Academic year: 2022

Partager "Exercise 1: Lie Algebra"

Copied!
2
0
0

Texte intégral

(1)

Quantum Field Theory

Set 5

Exercise 1: Lie Algebra

Consider a Lie groupGparametrized by (α1, ..., αn) =α∈Rn and a representationD defined by g(α)→D(g(α)),

e=g(0)→1.

Use the shorthand notationD(α)≡D(g(α)). ExpandD(α) up to the linear term: D(α)'1+iαkXk+O(α2) in a neighborhood of the identity so that thek−th generator in the representation DisXk≡ −i∂α

kD(α) α=0.

• Starting from the product of two matricesD(α)D(β) =D(g(α)◦g(β))≡D(p(α, β)) show that iTm(α)≡D(α)−1 ∂D

∂αm =iXj(U−1)jm, Ujm≡ ∂pm(α, β)

∂βj β=0

.

• Starting from the expression

i

∂Tj(α)

∂αk

−∂Tk(α)

∂αj

,

and applying first the definition ofTm(α) and then the equality proved in the first point of the exercise show that the matricesXk together with the usual commutator [,] form a Lie Algebra.

Exercise 2: SO(3) vs SU (2)

Consider the representation of theSO(3) group on the three dimensional vector spaceR3.

• Show that the set of three 3×3 matrices (Ta)ij =−iaij (a= 1,2,3) is a basis for (a representation of) the Lie Algebra ofSO(3), and find this algebra explicitly (i.e. find the structure constants ofso(3)).

• Consider an element of the group R(~α) =eaTa. Writeα~ =θ ~n with~n=~α/|~α|. Expanding forθ << 1, find how a vector~x= (x1, x2, x3)∈R3 transforms under the action of an infinitesimal element of the group (R(~α) represents a rotation around the~ndirection by an angleθ).

Take the groupSU(2). Consider the representation of this group on the following vector space:

V =

M ∈M(2×2,C)|M =M,Tr[M] = 0 .

The action of an elementU of the group (recall thatU is itself a 2×2 matrix) is given by U :M →U M U.

• Show that the three Pauli matricesσi form a basis of the spaceV and therefore anyM ∈V can be written asM =P3

i=1yiσi.

• Compute all the commutators between the Pauli matrices.

• Show that the actionU :M →U M U ofSU(2) really defines a representation.

• Show that the action of a given elementU ofSU(2) corresponds to a rotation of the three dimensional vector

~

y≡(y1, y2, y3). Is this a faithful representation for SU(2)?

(2)

Exercise 3: Irreducible representations of SU (2)

Consider the Algebra of the groupSU(2)

Ta, Tb

=iabcTc.

• Find all the commutation rules between the following quantities T±= T1±iT2

2 ; T3.

• Show that theCasimir operator J2≡(T1)2+ (T2)2+ (T3)2is proportional to the identity in any irreducible representation: (τ)22×1N. (Here we denote as (τ)2 the representative of the operatorJ2).

Consider an irreducible representation of the Algebra on a given vector spaceV. Denote|mian eigenvector of the generatorτ3 relative to the eigenvaluem.

τ3|mi=m|mi.

• Compute the action ofτ± on|mi.

• Prove that|m|+m2≤µ2.

• Construct the irreducible representation which|mibelongs to.

• Compute the dimension of the representation and show thatµ2=j(j+ 1) withj integer or semi-integer.

• Construct the representation corresponding toj= 1/2 andj= 1.

Exercise 4: Two exercises on representation theory

• Prove that a reducible finite-dimensional unitary representation is completely reducible (meaning that the orthogonal complement of its invariant subspace is itself invariant).

• Given two finite-dimensional inequivalent irreducible representationsD1 andD2of a groupGon two vector spacesV1 andV2 show that the operatorsD(g)∈Lin(V1×V2),g∈Gdefined by

D(g)(v1, v2) = (D1(g)v1, D2(g)v2), v1∈V1, v2∈V2 (1) furnish a (reducible) representation of G (called the direct sum of D1 and D2). Given an operator A ∈ Lin(V1×V2) and A6= 0, such thatAD(g) =D(g)A for everyg∈Gshow thatA(v1, v2)T = (λ1v1, λ2v2)T, that isAis a multiple of the identity over both subspaces (V1,0) and (0, V2) ofV1×V2

2

Références

Documents relatifs

We study the h -trivial deformations of the standard embedding of the Lie algebra Vect( S 1 ) of smooth vector fields on the circle, into the Lie algebra of functions on the

On suppose que cette fonction existe et on ne cherchera pas à donner une expression

A complete classification of gradings on finite- dimensional simple modules over arbitrary finite-dimensional simple Lie algebras over algebraically closed fields of

Assuming that the parameter λ is small we can look for a solution of the equation of

[r]

Prove that fact in the case where G is a linear group i.e a subgroup of GL n ( R ) using the Campbell-Hausdorff

The study of this dendriform structure is postponed to the appendix, as well as the enumeration of partitioned trees; we also prove that free Com-Prelie algebras are free as

Factorisable representations of current groups of a Lie group G can be viewed as L´evy processes in the sense of Sch¨ urmann [19] on the level of the associated universal