Assignment 3. A tutorial on the applications of discrete groups.

Similar documents
5 Irreducible representations

GROUP THEORY PRIMER. D(g 1 g 2 ) = D(g 1 )D(g 2 ), g 1, g 2 G. and, as a consequence, (2) (3)

Representation Theory

Group Theory. PHYS Southern Illinois University. November 15, PHYS Southern Illinois University Group Theory November 15, / 7

GROUP THEORY PRIMER. New terms: tensor, rank k tensor, Young tableau, Young diagram, hook, hook length, factors over hooks rule

Math 306 Topics in Algebra, Spring 2013 Homework 7 Solutions

A group G is a set of discrete elements a, b, x alongwith a group operator 1, which we will denote by, with the following properties:

4 Group representations

Representation Theory. Ricky Roy Math 434 University of Puget Sound

MSE 201A Thermodynamics and Phase Transformations Fall, 2008 Problem Set No. 7

Since G is a compact Lie group, we can apply Schur orthogonality to see that G χ π (g) 2 dg =

Chapter 3. Representations

Problem Set 2 Due Tuesday, September 27, ; p : 0. (b) Construct a representation using five d orbitals that sit on the origin as a basis: 1

Assignment 12. O = O ij O kj = O kj O ij. δ ik = O ij

BMT 2014 Symmetry Groups of Regular Polyhedra 22 March 2014

3 Representations of finite groups: basic results

Lecture 10: A (Brief) Introduction to Group Theory (See Chapter 3.13 in Boas, 3rd Edition)

Representation Theory

CHARACTER THEORY OF FINITE GROUPS. Chapter 1: REPRESENTATIONS

REU 2007 Discrete Math Lecture 2

INTRODUCTION TO REPRESENTATION THEORY AND CHARACTERS

REPRESENTATION THEORY NOTES FOR MATH 4108 SPRING 2012

REPRESENTATION THEORY OF S n

Real representations

Physics 129B, Winter 2010 Problem Set 5 Solution

26 Group Theory Basics

REPRESENTATIONS AND CHARACTERS OF FINITE GROUPS

2.3 Band structure and lattice symmetries: example of diamond

MAT 445/ INTRODUCTION TO REPRESENTATION THEORY

A PROOF OF BURNSIDE S p a q b THEOREM

Introduction to Group Theory

EXAM MATHEMATICAL METHODS OF PHYSICS. TRACK ANALYSIS (Chapters I-V). Thursday, June 7th,

(d) Since we can think of isometries of a regular 2n-gon as invertible linear operators on R 2, we get a 2-dimensional representation of G for

COMPUTING CHARACTER TABLES OF FINITE GROUPS. Jay Taylor (Università degli Studi di Padova)

Algebraic Number Theory and Representation Theory

Symmetries in Physics. Nicolas Borghini

b c a Permutations of Group elements are the basis of the regular representation of any Group. E C C C C E C E C E C C C E C C C E

Algebra SEP Solutions

Characters and triangle generation of the simple Mathieu group M 11

Problem Set 2 Due Thursday, October 1, & & & & # % (b) Construct a representation using five d orbitals that sit on the origin as a basis:

Group Representations

Solutions of exercise sheet 8

MATH 433 Applied Algebra Lecture 22: Review for Exam 2.

18.702: Quiz 1 Solutions

An LMI description for the cone of Lorentz-positive maps II

is an isomorphism, and V = U W. Proof. Let u 1,..., u m be a basis of U, and add linearly independent

Rotational motion of a rigid body spinning around a rotational axis ˆn;

GROUP THEORY PRIMER. New terms: so(2n), so(2n+1), symplectic algebra sp(2n)

Math 250: Higher Algebra Representations of finite groups

Algebraic structures I

Part 1. Theory. Space-Group Symmetry and Atomic Displacements

Chimica Inorganica 3

Math 313 Chapter 1 Review

Math 120A: Extra Questions for Midterm

MAT 2037 LINEAR ALGEBRA I web:

Before you begin read these instructions carefully.

Chapter 2 Linear Transformations

MATH 223A NOTES 2011 LIE ALGEBRAS 35

1 Linear Algebra Problems

TEST CODE: MMA (Objective type) 2015 SYLLABUS

Class Equation & Conjugacy in Groups

Before you begin read these instructions carefully:

Ma/CS 6b Class 20: Spectral Graph Theory

Notation. Irrep labels follow Mulliken s convention: A and B label nondegenerate E irreps, doubly T degenerate, triply degenerate

Lie Algebras in Particle Physics

Name: Solutions Final Exam

Topics in linear algebra

CHAPTER 2 -idempotent matrices

Linear Systems and Matrices

Phys 201. Matrices and Determinants

Representation Theory and Physical Systems. Finny Kuruvilla

REPRESENTATION THEORY WEEK 5. B : V V k

Symmetries, Groups, and Conservation Laws

B7 Symmetry : Questions

Solutions to Example Sheet 1


(Ref: Schensted Part II) If we have an arbitrary tensor with k indices W i 1,,i k. we can act on it 1 2 k with a permutation P = = w ia,i b,,i l

17 More Groups, Lagrange s Theorem and Direct Products

1. Groups Definitions

0 A. ... A j GL nj (F q ), 1 j r

Liouvillian solutions of third order differential equations

Linear algebra I Homework #1 due Thursday, Oct Show that the diagonals of a square are orthogonal to one another.

Elementary linear algebra

January 2016 Qualifying Examination

GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory.

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS. + + x 1 x 2. x n 8 (4) 3 4 2

33 Idempotents and Characters

Irreducible subgroups of algebraic groups

( ) replaces a by b, b by c, c by d,, y by z, ( ) and ( 123) are applied to the ( 123)321 = 132.

Physics 251 Solution Set 1 Spring 2017

Character tables for some small groups

Symmetries and Polynomials

Spectra of Semidirect Products of Cyclic Groups

Some practice problems for midterm 2

Lecture 4: Orbits. Rajat Mittal. IIT Kanpur

Similarity Transforms, Classes Classes, cont.

MIT Algebraic techniques and semidefinite optimization May 9, Lecture 21. Lecturer: Pablo A. Parrilo Scribe:???

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

Group Theoretical Methods in Solid State Physics

School of Mathematics and Statistics. MT5824 Topics in Groups. Problem Sheet I: Revision and Re-Activation

Transcription:

Assignment 3 Given January 16, Due January 3, 015. A tutorial on the applications of discrete groups. Consider the group C 3v which is the cyclic group with three elements, C 3, augmented by a reflection symmetry through a vertical plane, thus the v. It can be thought of as the symmetries of a pyramid which has an equilateral triangle base, as displayed in figure 1. It has two generators, c which implements a rotation of the triangle at the base of the pyramid by angle π/3 radians, and thus obeys c 3 = e and b which implements a reflection through a vertical plane which is perpendicular to the equilateral triangle base of the pyramid and bisects one of the angles. Being a reflection it obeys b = e. The b and c transformations are clearly symmetries of the object. Note that the net effect of the b and c transformations are identical to those of the generators of D 3, the proper isometries of an equilateral triangle. Their net effect is to permute the positions A, B and C. They must therefore obey the relations of D 3, that is, (bc) = e, and in fact, then, C 3v is isomorphic to D 3 which is isomorphic to S 3, the symmetric group of permutations of three objects. This means that, for example, they have the same conjugacy classes, the same irreducible representations and the same character table. However, unlike D 3 whose operations can be thought of as proper rotations (without reflections) and can be embedded in the rotation group, SO(3), C 3v contains a reflection and there are no reflections in SO(3). It therefore cannot be embedded in SO(3). What is needed is O(3). The matrix corresponding to the reflection generator b has determinant 1. Like the embedding of D 3 in SO(3), the embedding of C 3v in O(3) forms a reducible representation of C 3v. 1. What irreducible representations of C 3v are contained in the three dimensional representation which are constructed by embedding C 3v as O(3) matrices? 1

Figure 1: The pyramid has a base which is an equilateral triangle with vertices A, B, C placed in the x-y plane.

The tetrahedral group, denoted T, is the symmetry group of a proper (without reflection) transformations of a regular tetrahedron. It is of order 1 and it consists of four C 3 subgroups, corresponding to rotations by angles π/3 and 4π/3 about the centres of the faces of the tetrahedron. The group has two generators c and b with the three relations c 3 = e, b = e, (bc) 3 = e. The latter relation can be seen by tracing the path of one of the vertices of the tetrahedron under subsequent transformations. The group elements are {e, c, c, b, bc, bc, cb, c b, cbc, cbc, c bc, c bc }. Show that the group elements which are listed in the set above are all of the independent words that can be written given the two generators c and b and the relations b = e, c 3 = e and (bc) 3 = e. ( Hint:Observe that the relation (bc) 3 = e allows us to reduce any sequence of generators with two b s to one with one b, that is beb = e, bcb = c bc, bc b = cbc.) 3. The group transformations permute the vertices of the tetrahedron. Thus, we expect that T is isomorphic to a subgroup of the symmetric group S 4 of permutations of four objects. The latter group has order 4, so T, being of order 1, cannot be isomorphic to S 4 itself. S 4 does have an order 1 subgroup, the alternating group A 4. A 4 is the set of all even permutations, that is, permutations which can be implemented by an even number of exchanges of neighbouring objects (recall the generators σ i in the presentation of S n where σ i exchanged the i th objet to the i + 1 th object). Also, recall the cycle decomposition of S 4. A cycle of even length corresponds to an odd permutation and a cycle of odd length corresponds to an even permutation. For the cycle decomposition of a given permutation, the degree of the permutation is even if there is an even number of even order cycles and it is odd of there is an odd number of even order cycles. Use this fact to show that the alternating group, A 4 has order 1. As for conjugacy classes, remember that, all rotations by the same angle about any axis are in the same conjugacy class of SO(3). Thus, since T is a subgroup of SO(3), a necessary condition for two group elements to be in the same conjugacy class of T is that they must first be in the same conjugacy class of SO(3). This sufficient condition divides the group 3

Figure : The regular tetrahedron, whose four corners are the points a, b, c, d is inscribed in a cube. The axis of -fold rotation symmetries are denoted by X, Y and Z. The body diagonals of the cube are four three-fold rotation axes. elements of T into three potential classes, all rotations by 0, that is {e}, rotations by π/3, that is {c, c, bc, bc, cb, c b, cbc, c bc } and rotations by π radians, that is {b, cbc, c bc}. Thus, candidates for the classes are {e}, {c, c, bc, bc, cb, c b, cbc, c bc } and {b, cbc, c bc}. However, even though the elements of these sets are linked by conjugation with rotations, that is, with elements of SO(3), they are not necessarily linked by conjugation by rotations which are themselves elements of the group T, which is a subgroup of SO(3). For example, whereas there are rotations in SO(3) which invert the direction of a body diagonal of the cube in figure, there is no element of the group T which reverses the direction of a body diagonal of the cube. We therefore expect that c and c are actually in different classes, even though both are rotations by π/3 radians. 4. Show that the classes are {e}, {c, bc, cb, c bc }, {c, bc, c b, cbc}{b, cbc, c bc} Since there are four classes, there are four irreducible representations. The dimensions squared of the irreducible representations must add up 4

to the order of the group, 1. Thus 1+d +d 3 +d 4 = 1, where we have taken into account that there always must be a trivial one-dimensional representation. 5. Show that the only solution of the remaining integers is that there are two more one-dimensional representations and one three dimensional representation so that in total, there are three one-dimensional representations and one three dimensional representation. We can begin constructing the character table as T [e] 4[c] 4[c ] 3[b] A 1 1 1 1 1 A 1 A 3 1 T 3 6. Show that the only possible one-dimensional representations have the generators identified as and c = ω, b = 1 c = ω, b = 1 where ω = exp(πi/3). This allows us to fill in two more rows of the character table, T [e] 4[c] 4[c ] 3[b] A 1 1 1 1 1 A 1 ω ω 1 A 3 1 ω ω 1 T 3 7. Show that the remainder of the character table can be filled in using orthogonality of the rows or the columns, so that 5

T [e] 4[c] 4[c ] 3[b] A 1 1 1 1 1 A 1 ω ω 1 A 3 1 ω ω 1 T 3 0 0 1 8. Consider the 7-dimensional reducible representation which is formed by taking the direct product of three three-dimensional representations, T T T. Show that it can be decomposed as the direct sum T T T = A 1 A A 3 7T Magnetic Moment A material has a magnetic moment if it responds to the magnetic field by experiencing a torque. It has a polarization, or an electric dipole moment if it experiences a torque when exposed to an electric field. The magnetic moment and electric polarization transform like a pseudovector and a vector under rotations, M i M i = det(r) R ij M j, P i P i = R ij P j If R SO(3), these transformation laws are identical. However, if the transformation contains a reflection, that if it is necessarily in O(3), these transformations differ by an overall sign. The magnetic moment is said to be a pseudo-vector and the electric polarization is a vector. In an isotropic material, all quantities should be invariant under rotations. This tells us that the electric or magnetic dipole moments should obey M i = det(r) R ij M j, P i = R ij P j 9. Show that the above equations imply P i = 0 and M i = 0 for an SO(3) invariant physical system. 6

10. Can M i or P i be nonzero if the symmetry of the physical system is reduced to T, D 3 or C 3v? Conductivity Tensor Now, let us ask the question as to whether the conductivity of a material with various symmetries can be zero or non-zero. The conductivity tensor is a relationship between the strength of an electric field E which is applied to a material and the electric current j which results when the electric field is applied. The current is a linear function of the applied field which has the form j i = σ ij E j Time reversal symmetry implies that σ ij is an real, symmetric matrix, σ ij = σ ji. Under a spatial rotation, it transforms as σ ij σ ij = m,n=1 R im R jn σ mn We could ask what the form of the conductivity tensor is in a material which is completely isotropic. Complete isotropy implies that the conductivity tensor does not change under a spatial rotation. That is, in an isotropic environment, σ ij = m,n=1 for any rotation, that is, for any matrix R SO(3). R im R jn σ mn (1) 11. Show that the equation (1) implies that the only possibility for σ ij is that it is proportional to the unit matrix, σ ij = σδ ij (Hint: you are allowed to use Schur s Lemma for SO(3) and the fact that the R s are an irreducible representation of SO(3), the representation with l = 1.) 7

Now, let us assume that the symmetry of the environment of a quantum system are reduced form SO(3) to one of the groups D 3, C 3v or T. In general, the lower degree of symmetry should pose fewer constraints than the full rotation group. We want to know whether a conductivity tensor which is more general than σ ij = σδ ij is allowed by considering an environment with less symmery. Let us begin with the tetragonal group T. To answer the question about the form of σ, we need to find the reducible representation under which the conductivity tensor transforms. Since it is a symmetric matrix, and, under a rotation, it is easy to argue that it transforms like σ ij m,n=1 1 [ D (l=1) im (g)d(l=1) jn ] (g) + D (l=1) in (g)d (l=1) jm (g) σ mn where D (l=1) ij (g) is the three-dimensional representation of SO(3), which we were calling the orthogonal matrices R ij in the above, and g is an element of T (which is also an element of SO(3), where we regard T as a subgroup of SO(3)). Let us call this representation (V V ) +. Generally, we only need the character of the above representation. We can find the character from the character formula for SO(3) group elements. To begin, we take the trace of the transformation matrix in the above formula by setting i = m and j = n and then summing over m and n. We get χ (V V ) + (g) = 1 [ (TrD (l=1) (g) ) + TrD (l=1) (g )) 1. Show that the character of the representation (V V ) + above has the characters which are summarized in the last row of the following character table: T [e] 4[c] 4[c ] 3[b] A 1 1 1 1 1 A 1 ω ω 1 A 3 1 ω ω 1 T 3 0 0 1 (V V ) + 6 0 0 8

13. Show that, studying the above character table implies (V V ) + = A 1 A A 3 T Since the identity representation only appears once on the right-handside of the equation above, this implies that there is only one way for the conductivity tensor to be invariant under the tetragonal group, if σ ij = σδ ij, as before. Now, let us consider the group D 3. Recall that the character table of D 3 is D 3 [e] [c] 3[b] A 1 1 1 1 A 1 1 1 E 1 0 (V V ) + 6 0 () where we have added the character of the reducible representation (V V ) +. 14. How does the reducible representation (V V ) + decompose into irreducible representations of D 3? If we define the representation (V V ) as one which transforms an anti-symmetric tensor a ij m,n=1 1 [ D (l=1) im with characters defined by χ (V V ) (g) = 1 (g)d(l=1) jn ] (g) D (l=1) in (g)d (l=1) jm (g) a mn [ (TrD (l=1) (g) ) TrD (l=1) (g )) 15. Find the decomposition of (V V ) in terms of representations of T and D 3. 9