DOCSLIB.ORG

Representations of Finite Groups Andrew Baker

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Representations of Finite Groups Andrew Baker Representations of Finite Groups 29/12/2008 Andrew Baker Department of Mathematics, University of Glasgow, Glasgow G12 8QW, Scotland. E-mail address: [email protected] URL: http://www.maths.gla.ac.uk/»ajb Contents Chapter 1. Linear and multilinear algebra 1 1.1. Basic linear algebra 1 1.2. Class functions and the Cayley-Hamilton Theorem 5 1.3. Separability 8 1.4. Basic notions of multilinear algebra 10 Exercises on Chapter 1 12 Chapter 2. Representations of ¯nite groups 15 2.1. Linear representations 15 2.2. G-homomorphisms and irreducible representations 17 2.3. New representations from old 21 2.4. Permutation representations 23 2.5. Properties of permutation representations 25 2.6. Calculating in permutation representations 27 2.7. Generalized permutation representations 28 Exercises on Chapter 2 30 Chapter 3. Character theory 33 3.1. Characters and class functions on a ¯nite group 33 3.2. Properties of characters 35 3.3. Inner products of characters 36 3.4. Character tables 39 3.5. Examples of character tables 43 3.6. Reciprocity formul½ 48 3.7. Representations of semi-direct products 49 3.8. Real representations 51 Exercises on Chapter 3 51 Chapter 4. Some applications to group theory 55 4.1. Characters and the structure of groups 55 4.2. A result on representations of simple groups 57 4.3. A Theorem of Frobenius 58 Exercises on Chapter 4 60 Appendix A. Background information on groups 63 A.1. The Isomorphism and Correspondence Theorems 63 A.2. Some de¯nitions and notation 64 A.3. Group actions 64 A.4. The Sylow theorems 67 A.5. Solvable groups 67 A.6. Product and semi-direct product groups 68 i ii CONTENTS A.7. Some useful groups 68 A.8. Some useful Number Theory 69 Bibliography 71 Solutions 73 Chapter 1 73 Chapter 2 75 Chapter 3 77 Chapter 4 81 CHAPTER 1 Linear and multilinear algebra In this chapter we will study the linear algebra required in representation theory. Some of this will be familiar but there will also be new material, especially that on `multilinear' algebra. 1.1. Basic linear algebra Throughout the remainder of these notes | will denote a ¯eld, i.e., a commutative ring with unity 1 in which every non-zero element has an inverse. Most of the time in representation theory we will work with the ¯eld of complex numbers C and occasionally the ¯eld of real numbers R. However, a lot of what we discuss will work over more general ¯elds, including those of ¯nite characteristic such as Fp = Z=p for a prime p. Here, the characteristic of the ¯eld | is de¯ned to be the smallest natural number p 2 N such that p1 = 1| + ¢{z ¢ ¢ + 1} = 0; p summands provided such a number exists, in which case | is said to have ¯nite or positive characteristic, otherwise | is said to have characteristic 0. When the characteristic of | is ¯nite it is actually a prime number. 1.1.1. Bases, linear transformations and matrices. Let V be a ¯nite dimensional vector space over |, i.e., a |-vector space. Recall that a basis for V is a linearly independent spanning set for V . The dimension of V (over |) is the number of elements in any basis, and is denoted dim| V . We will often view | itself as a 1-dimensional |-vector space with basis f1g or indeed any set fxg with x 6= 0. Given two |-vector spaces V; W , a linear transformation (or linear mapping) from V to W is a function ': V ¡! W such that '(v1 + v2) = '(v1) + '(v2)(v1; v2; v 2 V ); '(tv) = t'(v)(t 2 |): We will be denote the set of all linear transformations V ¡! W by Hom|(V; W ). This is a |-vector space with the operations of addition and scalar multiplication given by (' + θ)(u) = '(u) + θ(u)('; θ 2 Hom|(V; W )); (t')(u) = t('(u)) = '(tu)(t 2 |): The extension property in the next result is an important property of a basis. Proposition 1.1. Let V; W be |-vector spaces with V ¯nite dimensional, and fv1; : : : ; vmg a basis for V where m = dim| V . Given a function ': fv1; : : : ; vmg ¡! W , there is a unique linear transformation '~: V ¡! W such that '~(vj) = '(vj) (1 6 j 6 m): 1 2 1. LINEAR AND MULTILINEAR ALGEBRA We can express this with the aid of the commutative diagram inclusion fv ; : : : ; v g / V 1 Lm LL LL LL ' LL 9!' ~ L% Ä W in which the dotted arrow is supposed to indicate a (unique) solution to the problem of ¯lling in the diagram inclusion fv ; : : : ; v g / V 1 Lm LL LL LL ' LL L% W with a linear transformation so that composing the functions corresponding to the horizontal and right hand sides agrees with the functions corresponding to left hand side. Proof. The formula for' ~ is 0 1 Xm Xm '~ @ ¸jvjA = ¸j'(vj): ¤ j=1 j=1 The linear transformation' ~ is known as the linear extension of ' and is often just denoted by '. Let V; W be ¯nite dimensional |-vector spaces with the bases fv1; : : : ; vmg and fw1; : : : ; wng respectively, where m = dim| V and n = dim| W . By Proposition 1.1, for 1 6 i 6 m and 1 6 j 6 n, the function 'ij : fv1; : : : ; vmg ¡! W ; 'ij(vk) = ±ikwj (1 6 k 6 m) has a unique extension to a linear transformation 'ij : V ¡! W . Proposition 1.2. The collection of functions 'ij : V ¡! W (1 6 i 6 m, 1 6 j 6 n) forms a basis for Hom|(V; W ). Hence dim| Hom|(V; W ) = dim| V dim| W = mn: A particular and important case of this is the dual space of V , V ¤ = Hom(V; |): ¤ ¤ ¤ Notice that dim| V = dim| V . Given any basis fv1; : : : ; vmg of V , de¯ne elements vi 2 V (i = 1; : : : ; m) by ¤ vi (vk) = ±ik; where ±ij is the Kronecker ±-function for which ( 1 if i = j; ±ij = 0 otherwise: ¤ ¤ ¤ Then the set of functions fv1; : : : ; vmg forms a basis of V . There is an associated isomorphism V ¡! V ¤ under which ¤ vj Ã! vj : If we set V ¤¤ = (V ¤)¤, the double dual of V , then there is an isomorphism V ¤ ¡! V ¤¤ under which ¤ ¤ ¤ vj Ã! (vj ) : 1.1. BASIC LINEAR ALGEBRA 3 ¤ ¤ Here we use the fact that the vj form a basis for V . Composing these two isomorphisms we obtain a third V ¡! V ¤¤ given by ¤ ¤ vj Ã! (vj ) : In fact, this does not depend on the basis of V used, although the factors do! This is sometimes called the canonical isomorphism V ¡! V ¤¤. The set of all (|-)endomorphisms of V is End|(V ) = Hom|(V; V ): This is a ring (actually a |-algebra, and also non-commutative if dim| V > 1) with addition as above, and composition of functions as its multiplication. There is a ring monomorphism | ¡! End|(V ); t 7¡! t IdV ; which embeds | into End|(V ) as the subring of scalars. We also have 2 dim| End|(V ) = (dim| V ) : Let GL|(V ) denote the group of all invertible |-linear transformations V ¡! V , i.e., the group of units in End|(V ). This is usually called the general linear group of V or the group of linear automorphisms of V and denoted GL|(V ) or Aut|(V ). Now let v = fv1; : : : ; vmg and w = fw1; : : : ; wng be bases for V and W . Then given a linear transformation ': V ¡! W we may de¯ne the matrix of ' with respect to the bases v and w to be the n £ m matrix with coe±cients in |, w[']v = [aij]; where Xn '(vj) = akjwk: k=1 0 0 0 0 Now suppose we have a second pair of bases for V and W , say v = fv1; : : : ; vmg and w = 0 0 fw1; : : : ; wng. Then we can write Xm Xn 0 0 vj = prjvr; wj = qsjws; r=1 s=1 for some pij; qij 2 |. If we form the m £ m and n £ n matrices P = [pij] and Q = [qij], then we have the following standard result. Proposition 1.3. The matrices w[']v and w0 [']v0 are related by the formul½ ¡1 ¡1 w0 [']v0 = Qw[']vP = Q[aij]P : In particular, if W = V , w = v and w0 = v0, then ¡1 ¡1 v0 [']v0 = P v[']vP = P [aij]P : 1.1.2. Quotients and complements. Let W ⊆ V be a vector subspace. Then we de¯ne the quotient space V=W to be the set of equivalence classes under the equivalence relation » on V de¯ned by u » v if and only if v ¡ u 2 W: We denote the class of v by v + W . This set V=W becomes a vector space with operations (u + W ) + (v + W ) = (u + v) + W; ¸(v + W ) = (¸v) + W 4 1. LINEAR AND MULTILINEAR ALGEBRA and zero element 0 + W . There is a linear transformation, usually called the quotient map q : V ¡! V=W , de¯ned by q(v) = v + W: Then q is surjective, has kernel ker q = W and has the following universal property. Theorem 1.4. Let f : V ¡! U be a linear transformation with W ⊆ ker f. Then there is a unique linear transformation f : V=W ¡! U for which f = f ± q. This can be expressed in the diagram q / V ? V=W ?? ?? ?? f ? | 9! f U in which all the sides represent linear transformations. Proof. We de¯ne f by f(v + W ) = f(v); which makes sense since if v0 » v, then v0 ¡ v 2 W , hence f(v0) = f((v0 ¡ v) + v) = f(v0 ¡ v) + f(v) = f(v): The uniqueness follows from the fact that q is surjective.
Load more

Recommended publications
  • Chapter 1 BASICS of GROUP REPRESENTATIONS
    Chapter 1 BASICS OF GROUP REPRESENTATIONS 1.1 Group representations A linear representation of a group G is identi¯ed by a module, that is by a couple (D; V ) ; (1.1.1) where V is a vector space, over a ¯eld that for us will always be R or C, called the carrier space, and D is an homomorphism from G to D(G) GL (V ), where GL(V ) is the space of invertible linear operators on V , see Fig. ??. Thus, we ha½ve a is a map g G D(g) GL(V ) ; (1.1.2) 8 2 7! 2 with the linear operators D(g) : v V D(g)v V (1.1.3) 2 7! 2 satisfying the properties D(g1g2) = D(g1)D(g2) ; D(g¡1 = [D(g)]¡1 ; D(e) = 1 : (1.1.4) The product (and the inverse) on the righ hand sides above are those appropriate for operators: D(g1)D(g2) corresponds to acting by D(g2) after having appplied D(g1). In the last line, 1 is the identity operator. We can consider both ¯nite and in¯nite-dimensional carrier spaces. In in¯nite-dimensional spaces, typically spaces of functions, linear operators will typically be linear di®erential operators. Example Consider the in¯nite-dimensional space of in¯nitely-derivable functions (\functions of class 1") Ã(x) de¯ned on R. Consider the group of translations by real numbers: x x + a, C 7! with a R. This group is evidently isomorphic to R; +. As we discussed in sec ??, these transformations2 induce an action D(a) on the functions Ã(x), de¯ned by the requirement that the transformed function in the translated point x + a equals the old original function in the point x, namely, that D(a)Ã(x) = Ã(x a) : (1.1.5) ¡ 1 Group representations 2 It follows that the translation group admits an in¯nite-dimensional representation over the space V of 1 functions given by the di®erential operators C d d a2 d2 D(a) = exp a = 1 a + + : : : : (1.1.6) ¡ dx ¡ dx 2 dx2 µ ¶ In fact, we have d a2 d2 dà a2 d2à D(a)Ã(x) = 1 a + + : : : Ã(x) = Ã(x) a (x) + (x) + : : : = Ã(x a) : ¡ dx 2 dx2 ¡ dx 2 dx2 ¡ · ¸ (1.1.7) In most of this chapter we will however be concerned with ¯nite-dimensional representations.
    [Show full text]
  • Math 123—Algebra II
    Math 123|Algebra II Lectures by Joe Harris Notes by Max Wang Harvard University, Spring 2012 Lecture 1: 1/23/12 . 1 Lecture 19: 3/7/12 . 26 Lecture 2: 1/25/12 . 2 Lecture 21: 3/19/12 . 27 Lecture 3: 1/27/12 . 3 Lecture 22: 3/21/12 . 31 Lecture 4: 1/30/12 . 4 Lecture 23: 3/23/12 . 33 Lecture 5: 2/1/12 . 6 Lecture 24: 3/26/12 . 34 Lecture 6: 2/3/12 . 8 Lecture 25: 3/28/12 . 36 Lecture 7: 2/6/12 . 9 Lecture 26: 3/30/12 . 37 Lecture 8: 2/8/12 . 10 Lecture 27: 4/2/12 . 38 Lecture 9: 2/10/12 . 12 Lecture 28: 4/4/12 . 40 Lecture 10: 2/13/12 . 13 Lecture 29: 4/6/12 . 41 Lecture 11: 2/15/12 . 15 Lecture 30: 4/9/12 . 42 Lecture 12: 2/17/16 . 17 Lecture 31: 4/11/12 . 44 Lecture 13: 2/22/12 . 19 Lecture 14: 2/24/12 . 21 Lecture 32: 4/13/12 . 45 Lecture 15: 2/27/12 . 22 Lecture 33: 4/16/12 . 46 Lecture 17: 3/2/12 . 23 Lecture 34: 4/18/12 . 47 Lecture 18: 3/5/12 . 25 Lecture 35: 4/20/12 . 48 Introduction Math 123 is the second in a two-course undergraduate series on abstract algebra offered at Harvard University. This instance of the course dealt with fields and Galois theory, representation theory of finite groups, and rings and modules. These notes were live-TEXed, then edited for correctness and clarity.
    [Show full text]
  • 21 Schur Indicator
    21 Schur indicator Complex representation theory gives a good description of the homomorphisms from a group to a special unitary group. The Schur indicator describes when these are orthogonal or quaternionic, so it is also easy to describe all homomor- phisms to the compact orthogonal and symplectic groups (and a little bit of fiddling around with central extensions gives the homomorphisms to compact spin groups). So the homomorphisms to any compact classical group are well understood. However there seems to be no easy way to describe the homomor- phisms of a group to the exceptional compact Lie groups. We have several closely related problems: • Which irreducible representations have symmetric or alternating forms? • Classify the homomorphisms to orthogonal and symplectic groups • Classify the real and quaternionic representations given the complex ones. Suppose we have an irreducible representation V of a compact group G. We study the space of invariant bilinear forms on V . Obviously the bilinear forms correspond to maps from V to its dual, so the space of such forms is at most 1-dimensional, and is non-zero if and only if V is isomorphic to its dual, in other words if and only if the character of V is real. We also want to know when the bilinear form is symmetric or alternating. These two possibilities correspond to the symmetric or alternating square containing the 1-dimensional irreducible representation. So (1, χS2V − χΛ2V ) is 1, 0, or −1 depending on whether V has a symmetric bilinear form, no bilinear form, or an alternating bilinear form. By 2 the formulas for the symmetric and alternating squares this is given by G χg , and is called the Schur indicator.
    [Show full text]
  • Master Thesis Written at the Max Planck Institute of Quantum Optics
    Ludwig-Maximilians-Universitat¨ Munchen¨ and Technische Universitat¨ Munchen¨ A time-dependent Gaussian variational description of Lattice Gauge Theories Master thesis written at the Max Planck Institute of Quantum Optics September 2017 Pablo Sala de Torres-Solanot Ludwig-Maximilians-Universitat¨ Munchen¨ Technische Universitat¨ Munchen¨ Max-Planck-Institut fur¨ Quantenoptik A time-dependent Gaussian variational description of Lattice Gauge Theories First reviewer: Prof. Dr. Ignacio Cirac Second reviewer: Dr. Tao Shi Thesis submitted in partial fulfillment of the requirements for the degree of Master of Science within the programme Theoretical and Mathematical Physics Munich, September 2017 Pablo Sala de Torres-Solanot Abstract In this thesis we pursue the novel idea of using Gaussian states for high energy physics and explore some of the first necessary steps towards such a direction, via a time- dependent variational method. While these states have often been applied to con- densed matter systems via Hartree-Fock, BCS or generalized Hartree-Fock theory, this is not the case in high energy physics. Their advantage is the fact that they are completely characterized, via Wick's theorem, by their two-point correlation func- tions (and one-point averages in bosonic systems as well), e.g., all possible pairings between fermionic operators. These are collected in the so-called covariance matrix which then becomes the most relevant object in their description. In order to reach this goal, we set the theory on a lattice by making use of Lat- tice Gauge Theories (LGT). This method, introduced by Kenneth Wilson, has been extensively used for the study of gauge theories in non-perturbative regimes since it allows new analytical methods as for example strong coupling expansions, as well as the use of Monte Carlo simulations and more recently, Tensor Networks techniques as well.
    [Show full text]
  • 20 Representation Theory
    20 Representation theory A representation of a group is an action of a group on something, in other words a homomorphism from the group to the group of automorphisms of something. The most obvious representations are permutation representations: actions of a group on a (discrete) set. For example the group of rotations of a cube has order 24, and has several obvious permutation representations: it can act on faces, edges, vertices, diagonals, pairs of opposite faces, and so on. For another example, the group SL2(R) acts on the real projective line, and on the upper half plane. These sets carry topologies, which we should take into account when defining representations. Let us try to classify all permutation representations of some group G . First of all, if the group G acts on some set X, then we can write X as the disjoint union of the orbits of G on X, and G is transitive on each of these orbits. So this reduces the classification of all permutation representations to that of transitive permutation representations. Next, given a transitive permutation representation of G on a set X, fix a point x ∈ X and write Gx for the subgroup fixing x. Then as a permutation representation, X is isomorphic to the action of G on the set of cosets G/Gx. If we choose a different point y, then Gx is conjugate to Gy (using some element of G taking x to y), so we see that transitive permutation representations up to isomorphism correspond to conjugacy classes of subgroups of G.
    [Show full text]
  • Notes on Representations of Finite Groups
    NOTES ON REPRESENTATIONS OF FINITE GROUPS AARON LANDESMAN CONTENTS 1. Introduction 3 1.1. Acknowledgements 3 1.2. A first definition 3 1.3. Examples 4 1.4. Characters 7 1.5. Character Tables and strange coincidences 8 2. Basic Properties of Representations 11 2.1. Irreducible representations 12 2.2. Direct sums 14 3. Desiderata and problems 16 3.1. Desiderata 16 3.2. Applications 17 3.3. Dihedral Groups 17 3.4. The Quaternion group 18 3.5. Representations of A4 18 3.6. Representations of S4 19 3.7. Representations of A5 19 3.8. Groups of order p3 20 3.9. Further Challenge exercises 22 4. Complete Reducibility of Complex Representations 24 5. Schur’s Lemma 30 6. Isotypic Decomposition 32 6.1. Proving uniqueness of isotypic decomposition 32 7. Homs and duals and tensors, Oh My! 35 7.1. Homs of representations 35 7.2. Duals of representations 35 7.3. Tensors of representations 36 7.4. Relations among dual, tensor, and hom 38 8. Orthogonality of Characters 41 8.1. Reducing Theorem 8.1 to Proposition 8.6 41 8.2. Projection operators 43 1 2 AARON LANDESMAN 8.3. Proving Proposition 8.6 44 9. Orthogonality of character tables 46 10. The Sum of Squares Formula 48 10.1. The inner product on characters 48 10.2. The Regular Representation 50 11. The number of irreducible representations 52 11.1. Proving characters are independent 53 11.2. Proving characters form a basis for class functions 54 12. Dimensions of Irreps divide the order of the Group 57 Appendix A.
    [Show full text]
  • Real and Quaternionic Representations of Finite Groups
    Real and Quaternionic Representations of Finite Groups Iordan Ganev December 2011 Abstract Given a representation of a finite group G on a complex vector space V , one may ask whether it is the complexficiation of a representation of G on a real vector space. Another question is whether the representation is quaternionic, i.e. whether V has the structure of a quaternion module compatible with the action of G. The answers to these structural questions are closely related to the possible existence of a nondegenerate bilinear form on V fixed by G. We describe this relationship as well as the Schur indicator for distinguishing between various types of representations. 1 Definitions If V is a vector space over a field F , we write GL(V ) or GL(V; F ) for the group of invertible F -linear transformations of V . We reserve the term \representation" for a linear action of a finite group G on a complex vector space V , that is, a homomorphism G ! GL(V; C). Let V0 be a real vector space, G a finite group, and ρ : G ! GL(V0; R) a homomorphism. Consider the complex vector space V defined as V = V0 ⊗R C obtained by extending scalars from R to C. The linear action of G on V0 naturally extends to a linear action on V given by g · (v ⊗ λ) = (g · v) ⊗ λ. So we obtain a representation G ! GL(V; C). Definition. Let V be a complex vector space and G a finite group. A representation of G on V is real if there exists a real vector space V0 and a homomorphism G ! GL(V0; R) such that the representation V0 ⊗R C is isomorphic to V .
    [Show full text]
  • 3 Representations of Finite Groups: Basic Results
    3 Representations of finite groups: basic results Recall that a representation of a group G over a field k is a k-vector space V together with a group homomorphism δ : G GL(V ). As we have explained above, a representation of a group G ! over k is the same thing as a representation of its group algebra k[G]. In this section, we begin a systematic development of representation theory of finite groups. 3.1 Maschke's Theorem Theorem 3.1. (Maschke) Let G be a finite group and k a field whose characteristic does not divide G . Then: j j (i) The algebra k[G] is semisimple. (ii) There is an isomorphism of algebras : k[G] EndV defined by g g , where V ! �i i 7! �i jVi i are the irreducible representations of G. In particular, this is an isomorphism of representations of G (where G acts on both sides by left multiplication). Hence, the regular representation k[G] decomposes into irreducibles as dim(V )V , and one has �i i i G = dim(V )2 : j j i Xi (the “sum of squares formula”). Proof. By Proposition 2.16, (i) implies (ii), and to prove (i), it is sufficient to show that if V is a finite-dimensional representation of G and W V is any subrepresentation, then there exists a → subrepresentation W V such that V = W W as representations. 0 → � 0 Choose any complement Wˆ of W in V . (Thus V = W Wˆ as vector spaces, but not necessarily � as representations.) Let P be the projection along Wˆ onto W , i.e., the operator on V defined by P W = Id and P W^ = 0.
    [Show full text]
  • Spin(7)-Subgroups of SO(8) and Spin(8)
    EXPOSITIONES Expo. Math. 19 (2001): 163-177 © Urban & Fischer Verlag MATHEMATICAE www. u rbanfischer.de/jou rnals/expomath Spin(7)-subgroups of SO(8) and Spin(8) V. S. Varadarajan Department of Mathematics, University of California, Los Angeles, CA 90095-1555, USA The observations made here are prompted by the paper [1] of De Sapio in which he gives an exposition of the principle of triality and related topics in the context of the Octonion algebra of Cayley. However many of the results discussed there are highly group theoretic and it seems desirable to have an exposition of them from a purely group theoretic point of view not using the Cayley numbers. In what follows this is what we do. In particular we discuss some properties of the imbeddings of Spin(7) in SO(8) and Spin(8). The techniques used here are well-known to specialists in representation theory and so this paper has a semi- expository character. We take for granted the basic properties of Spin(n) and its spin representations and refer to [2] for a beautiful account of these. For general background in representation theory of compact Lie groups we refer to [3]. The main results are Theorems 1.3 and 1.5, Theorem 2.3, and Theorems 3.4 and 3.5. 1. Conjugacy classes of Spin(7)-subgroups in SO(8) and Spin(8). We work over 1~ and in the category of compact Lie groups. Spin(n) is the universal covering group of SO(n). We begin with a brief review of the method of constructing the groups Spin(n) by the theory of Clifford algebras.
    [Show full text]
  • Gauge Theory
    Preprint typeset in JHEP style - HYPER VERSION 2018 Gauge Theory David Tong Department of Applied Mathematics and Theoretical Physics, Centre for Mathematical Sciences, Wilberforce Road, Cambridge, CB3 OBA, UK http://www.damtp.cam.ac.uk/user/tong/gaugetheory.html [email protected] Contents 0. Introduction 1 1. Topics in Electromagnetism 3 1.1 Magnetic Monopoles 3 1.1.1 Dirac Quantisation 4 1.1.2 A Patchwork of Gauge Fields 6 1.1.3 Monopoles and Angular Momentum 8 1.2 The Theta Term 10 1.2.1 The Topological Insulator 11 1.2.2 A Mirage Monopole 14 1.2.3 The Witten Effect 16 1.2.4 Why θ is Periodic 18 1.2.5 Parity, Time-Reversal and θ = π 21 1.3 Further Reading 22 2. Yang-Mills Theory 26 2.1 Introducing Yang-Mills 26 2.1.1 The Action 29 2.1.2 Gauge Symmetry 31 2.1.3 Wilson Lines and Wilson Loops 33 2.2 The Theta Term 38 2.2.1 Canonical Quantisation of Yang-Mills 40 2.2.2 The Wavefunction and the Chern-Simons Functional 42 2.2.3 Analogies From Quantum Mechanics 47 2.3 Instantons 51 2.3.1 The Self-Dual Yang-Mills Equations 52 2.3.2 Tunnelling: Another Quantum Mechanics Analogy 56 2.3.3 Instanton Contributions to the Path Integral 58 2.4 The Flow to Strong Coupling 61 2.4.1 Anti-Screening and Paramagnetism 65 2.4.2 Computing the Beta Function 67 2.5 Electric Probes 74 2.5.1 Coulomb vs Confining 74 2.5.2 An Analogy: Flux Lines in a Superconductor 78 { 1 { 2.5.3 Wilson Loops Revisited 85 2.6 Magnetic Probes 88 2.6.1 't Hooft Lines 89 2.6.2 SU(N) vs SU(N)=ZN 92 2.6.3 What is the Gauge Group of the Standard Model? 97 2.7 Dynamical Matter 99 2.7.1 The Beta Function Revisited 100 2.7.2 The Infra-Red Phases of QCD-like Theories 102 2.7.3 The Higgs vs Confining Phase 105 2.8 't Hooft-Polyakov Monopoles 109 2.8.1 Monopole Solutions 112 2.8.2 The Witten Effect Again 114 2.9 Further Reading 115 3.
    [Show full text]
  • Representation Theory of Symmetric Groups
    MATH 711: REPRESENTATION THEORY OF SYMMETRIC GROUPS LECTURES BY PROF. ANDREW SNOWDEN; NOTES BY ALEKSANDER HORAWA These are notes from Math 711: Representation Theory of Symmetric Groups taught by Profes- sor Andrew Snowden in Fall 2017, LATEX'ed by Aleksander Horawa (who is the only person responsible for any mistakes that may be found in them). This version is from December 18, 2017. Check for the latest version of these notes at http://www-personal.umich.edu/~ahorawa/index.html If you find any typos or mistakes, please let me know at [email protected]. The first part of the course will be devoted to the representation theory of symmetric groups and the main reference for this part of the course is [Jam78]. Another standard reference is [FH91], although it focuses on the characteristic zero theory. There is not general reference for the later part of the course, but specific citations have been provided where possible. Contents 1. Preliminaries2 2. Representations of symmetric groups9 3. Young's Rule, Littlewood{Richardson Rule, Pieri Rule 28 4. Representations of GLn(C) 42 5. Representation theory in positive characteristic 54 6. Deligne interpolation categories and recent work 75 References 105 Introduction. Why study the representation theory of symmetric groups? (1) We have a natural isomorphism V ⊗ W ∼ W ⊗ V v ⊗ w w ⊗ v We then get a representation of S2 on V ⊗V for any vector space V given by τ(v⊗w) = ⊗n w ⊗ v. More generally, we get a representation of Sn on V = V ⊗ · · · ⊗ V . If V is | {z } n times Date: December 18, 2017.
    [Show full text]
  • A Binary Encoding of Spinors and Applications Received April 22, 2020; Accepted July 27, 2020
    Complex Manifolds 2020; 7:162–193 Communication Open Access Gerardo Arizmendi and Rafael Herrera* A binary encoding of spinors and applications https://doi.org/10.1515/coma-2020-0100 Received April 22, 2020; accepted July 27, 2020 Abstract: We present a binary code for spinors and Cliord multiplication using non-negative integers and their binary expressions, which can be easily implemented in computer programs for explicit calculations. As applications, we present explicit descriptions of the triality automorphism of Spin(8), explicit represen- tations of the Lie algebras spin(8), spin(7) and g2, etc. Keywords: Spin representation, Cliord algebras, Spinor representation, octonions, triality MSC: 15A66 15A69 53C27 17B10 17B25 20G41 1 Introduction Spinors were rst discovered by Cartan in 1913 [10], and have been of great relevance in Mathematics and Physics ever since. In this note, we introduce a binary code for spinors by using a suitable basis and setting up a correspondence between its elements and non-negative integers via their binary decompositions. Such a basis consists of weight vectors of the Spin representation as presented by Friedrich and Sulanke in 1979 [11] and which were originally described in a rather dierent and implicit manner by Brauer and Weyl in 1935 [6]. This basis is known to physiscits as a Fock basis [8]. The careful reader will notice that our (integer) en- coding uses half the number of bits used by any other binary code of Cliord algebras [7, 18], thus making it computationally more ecient. Furthermore, Cliord multiplication of vectors with spinors (using the termi-p nology of [12]) becomes a matter of ipping bits in binary expressions and keeping track of powers of −1.
    [Show full text]