DOCSLIB.ORG

The Frobenius-Schur Indicator and the Finite Rotation Groups

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
The Frobenius-Schur Indicator and the Finite Rotation Groups The Frobenius-Schur Indicator and the Finite Rotation Groups Daniel Penner Contents 1 Representation theory of finite groups 3 1.1 Basics of linear representations . 3 1.1.1 Definitions and theory . 3 1.1.2 Examples . 4 1.2 Character theory . 5 1.2.1 Basic definitions and lemmas . 5 1.2.2 Irreducible characters and the orthogonality relations . 8 1.2.3 The group algebra . 12 1.2.4 Character tables: some more theory . 14 1.2.5 Some examples of character tables . 17 1.2.6 Motivation: the character table of the quaternion group . 19 2 Real representations and the Frobenius-Schur indicator 21 2.1 Real, complex, and quaternionic representations . 21 2.2 TheFrobenius-Schurindicator . 22 2.2.1 Relation to G-invariant bilinear forms . 22 2.2.2 The symmetric and alternating squares . 25 2.2.3 Bringing it all together . 27 2.3 Decomposing the group algebra R[G]..................28 2.4 Some simple examples . 30 3 The finite subgroups of SO3 32 3.1 The cyclic groups Cn ........................... 32 3.2 The dihedral groups Dn ......................... 33 3.3 The tetrahedral group T ......................... 34 3.4 The octahedral group O ......................... 35 3.5 The icosahedral group I ......................... 38 2 Chapter 1 Representation theory of finite groups 1.1 Basics of linear representations In this first chapter, we will build the theory of group representations and their characters from the bottom up. In the first section, we present the basic defini- tions, prove the fundamental decomposition theorem of group representations, and introduce a couple simple examples. In the second section, we will present a broad overview of the theory of group characters, beginning with basic definitions and ele- mentary lemmas, and proceeding to prove the orthogonality relations of irreducible characters, and a theorem which reduces the study of representations to the study of their characters. Along the way we will briefly discuss the group algebra as it relates to this paper, and will conclude with orthogonality and divisibility theorems for character tables, and some simple examples of character tables. Much of the standard theory follows the first half of J.P. Serre’s classic book on the subject (see [7]). 1.1.1 Definitions and theory Let G be a finite group and V be a complex finite-dimensional vector space (note: the infinite-dimensional case will not be mentioned in this paper). A linear repre- sentation of G in V is a homomorphism ⇢ : G GL(V ). Here GL(V )denotesthe group of isomorphisms of V ,whichisisomorphictothegroupofinvertible! n n complex matrices, where n =dim(V ), and we call n the degree of the representa-⇥ tion. More concretely, for all s, t G there are complex n n matrices ⇢s,⇢t,⇢st such that ⇢ = ⇢ ⇢ .Inparticular,thismeansthat2 ⇢ = I⇥,where1 G is the st s t 1 n 2 identity element and In is the n n identity matrix. Let ⇢ : G GL(V )bearepresentationofdegree⇥ n,andW V be a proper subspace (that! is, neither the zero space nor the whole space).⇢ We say W is G- invariant if ⇢sw W for all w W and all s G.IfW is a G-invariant subspace of V ,thenforeach2 s G,therestriction2 ⇢ 2 is an endomorphism of W ,and 2 s W ⇢ = ⇢ ⇢ for all s, t G,so⇢ : G GL(W )isahomomorphism,and st W s W t W W thus a linear representation. We2 call it a subrepresentation! of ⇢.IfV = W W 1 ⊕ 2 3 for two G-invariant subspaces W1,W2 of V ,thenwesaythat⇢ = ⇢ ⇢ ,orthat W1 W2 ⇢ is a direct sum of its subrepresentations. Finally, we say that two representations⊕ 1 2 ⇢ : G GL(V1)and⇢ : G GL(V2) isomorphic if there is a vector space ! ! 1 1 2 isomorphism f : V1 V2 such that, for all s G, we have f ⇢s f − = ⇢s. The following lemma! allows us to decompose2 a representation◦ ◦ into a direct sum of subrepresentations. Lemma 1.1.1. Let ⇢ : G GL(V ) be a representation, and let ⇢ W : G GL(W ) be a subrepresentation to! a G-invariant subspace W V . Then there! is a G- ⇢ invariant complement W 0 V such that V = W W 0, and thus ⇢ = ⇢ ⇢ . ⇢ ⊕ W ⊕ W 0 Proof. Let p be a projection of V onto W .Thenweconstructanewprojectiononto W by averaging over all the elements of G: 1 p0 = ⇢ p ⇢ 1 . G s · · s− s G | | X2 Since W is G-invariant, and the Im(p) W ,weobtainthatIm(p0) W as well. Since p is a projection, it restricts to the⇢ identity on W . Therefore if ⇢w W ,then 2 for all s G,since⇢ 1 w W , we have 2 s− 2 p0w = ⇢ p ⇢ 1 w = ⇢ ⇢ 1 w = w. s · · s− s · s− So p0 is a projection onto W .LetW 0 =Ker(p0). Since the sum in p0 runs over all elements of G,wehavethatforanys G, 2 ⇢ p0 ⇢ 1 = p0,andthus⇢ p0 = p0 ⇢ .Soifw0 W 0,wehavep0 ⇢ w0 = ⇢ p0w0 = s · · s− s · · s 2 · s s · ⇢ 0=0.So⇢ w0 W 0,andthusW 0 is G-invariant. So we have two G-invariant s · s 2 subspaces W, W 0 of V such that V = W W 0,andtherefore⇢ = ⇢ ⇢ . ⊕ W ⊕ W 0 We say that a representation ⇢ : G GL(V )isirreducible if V has no proper G-invariant subspaces. The following theorem! allows us to focus all our attention on understanding irreducible representations. Theorem 1.1.2 (Maschke’s Theorem). Every representation ⇢ : G GL(V ) is a direct sum of irreducible subrepresentations. ! Proof. We go by induction on n =dim(V ). If n =1,thenV has no proper subspaces at all, and thus ⇢ is irreducible. Now suppose n>1. If V has no G-invariant subspace, then it is irreducible. Otherwise, let W V be a G-invariant subspace. The preceding lemma gives us that ⇢ V = W W ?, where W ? is also G-invariant, and thus ⇢ = ⇢ ⇢ .Butthese W W ? are both⊕ representations of degree strictly less than n,andsotheyarecoveredby⊕ our inductive hypothesis, and are thus direct sums of irreducible subrepresentations. So ⇢ is a direct sum of irreducible subrepresentations. 1.1.2 Examples To show some of the theory in action, let’s examine the representations of S3,the 1 symmetric group on three letters. Every group has a representation ⇢s =1for 4 all s G, called the trivial representation.Thisisanexampleofadegree-one 2 representation, all of which are simply homomorphisms from G C. ! S3 has another degree-one representation, given by sending an permutation s S3 to its sign, sgn(s) 1 . Note that this is a representation since sign of2 a permutation respects products2{± } of permutations, and hence it is a homomor- phism G 1 .Thisrepresentationappearstobedi↵erentfromthetrivial representation!{± (that} is, nonisomorphic), but it is not immediately obvious how to prove that there are no satisfactory endomorphisms of C.Theirnon-isomorphism will follow from basic character theory a bit later. However, as we saw in the proof of Maschke’s theorem, both the trivial and sign representations are irreducible, since they have degree one. Next, since S3 acts on the set X = 1, 2, 3 ,eachs S3 defines a permutation x sx,where1x = x and s(tx)=({st)x for} any t 2 S .LetV be a X = 7! 2 3 | | 3-dimensional vector space with a basis ex x X indexed by the elements of X. { } 2 Then the elements of S3 permute the bases of this vector space, which induces a representation of S as a set of 3 3 permutation matrices. Hence we call this the 3 ⇥ permutation representation of S3.Wecanformthistypeofrepresentationfor any group G which acts on a finite set X.Itisnotclearatthemomentwhetheror not this representation, which has degree three, is irreducible. As before, we defer our curiosity to character theory, which will make everything clear. A particular and very important permutation representation is that induced by G acting on itself by left-multiplication. We call this the regular representation of G.InthiscaseletV be a G = n-dimensional vector space with basis es s G | | { } 2 indexed by the elements of G. Then for s, t G,welet⇢s send et est,and this induces a set of n n permutation matrices.2 We can already see7! that this (degree n)representationisnotirreducible,however,sincethevectorspaceelement⇥ s G es generates a 1-dimensional subspace on which every basis vector et acts as the2 identity (since it simply permutes the terms in the sum), and is thus G-invariant. WeP will return to the regular representation in the context of characters later. 1.2 Character theory 1.2.1 Basic definitions and lemmas If ⇢ : G GL(V )isarepresentation,defineafunctionχ⇢ : G C as χ⇢(s)= ! ! Tr(⇢s). We call this function the character of the representation ⇢ (we will drop the subscript when the representation is clear from context). Proposition 1.2.1. If χ is the character of a degree n representation ⇢ : G GL(V ), then if s, t G, we have the following: ! 2 1. χ(1) = n 1 2. χ(s− )=χ(s) 1 3. χ(tst− )=χ(s) Proof. 1. ⇢ = I ,then n identity matrix, whose trace is n. 1 n ⇥ 5 m m 2. Since G is finite, there is some m>0suchthats =1.Therefore⇢s = In, since ⇢ is a homomorphism. So the eigenvalues λi of ⇢s are roots of unity, whose complex conjugates are their multiplicative inverses. Since Tr(⇢s)= i λi,it follows that χ(s)=Tr(⇢ )=Tr(⇢ 1)=χ(s 1). s s− − P 3. For any square matrices A, B,Tr(AB)=Tr(BA). So if A = ⇢ts = ⇢t⇢s and 1 1 1 1 1 B = ⇢t− ,weseethatχ(tst− )=Tr(⇢tst− )=Tr(⇢ts⇢t− )=Tr(⇢t− ⇢ts)= Tr(⇢s)=χ(s).
Load more

Recommended publications
  • Lecture 3: Spinor Representations
    Spin 2010 (jmf) 19 Lecture 3: Spinor representations Yes now I’ve met me another spinor... — Suzanne Vega (with apologies) It was Élie Cartan, in his study of representations of simple Lie algebras, who came across repres- entations of the orthogonal Lie algebra which were not tensorial; that is, not contained in any tensor product of the fundamental (vector) representation. These are the so-called spinorial representations. His description [Car38] of the spinorial representations was quite complicated (“fantastic” according to Dieudonné’s review of Chevalley’s book below) and it was Brauer and Weyl [BW35] who in 1935 de- scribed these representations in terms of Clifford algebras. This point of view was further explored in Chevalley’s book [Che54] which is close to the modern treatment. This lecture is devoted to the Pin and Spin groups and to a discussion of their (s)pinorial representations. 3.1 The orthogonal group and its Lie algebra Throughout this lecture we will let (V,Q) be a real finite-dimensional quadratic vector space with Q nondegenerate. We will drop explicit mention of Q, whence the Clifford algebra shall be denoted C(V) and similarly for other objects which depend on Q. We will let B denote the bilinear form defining Q. We start by defining the group O(V) of orthogonal transformations of V: (51) O(V) {a :V V Q(av) Q(v) v V} . = → | = ∀ ∈ We write O(Rs,t ) O(s,t) and O(n) for O(n,0). If a O(V), then deta 1. Those a O(V) with deta = ∈ =± ∈ = 1 define the special orthogonal group SO(V).
    [Show full text]
  • Arxiv:2009.14613V5 [Math.GR] 20 Dec 2020
    A GROUP-THEORIST’S PERSPECTIVE ON SYMMETRY GROUPS IN PHYSICS ROBERT ARNOTT WILSON Abstract. There are many Lie groups used in physics, including the Lorentz group of special relativity, the spin groups (relativistic and non-relativistic) and the gauge groups of quantum electrodynamics and the weak and strong nuclear forces. Various grand unified theories use larger Lie groups in different attempts to unify some of these groups into something more fundamental. There are also a number of finite symmetry groups that are related to the finite number of distinct elementary particle types. I offer a group-theorist’s perspective on these groups, and suggest some ways in which a deeper use of group theory might in principle be useful. These suggestions include a number of options that seem not to be under active investigation at present. I leave open the question of whether they can be implemented in physical theories. 1. Introduction 1.1. The status quo. The most important Lie group in macroscopic physics is surely the Lorentz group SO(3, 1), that describes the coordinate transformations on spacetime that are necessary to incorporate the experimental fact that the speed of light in a vacuum is independent of the relative velocity of the source and the observer. This group is the cornerstone of the theory of special relativity [1], and modern physics is almost inconceivable without it. The Lorentz group is also used as a foundation for the theory of general relativity [2, 3, 4], but it is also possible to use the larger group SL(4, R), that is the special linear group of degree 4, consisting of all 4 4 real matrices with determinant 1.
    [Show full text]
  • Spinor Algebras
    CERN-TH/2000-260 SPINOR ALGEBRAS R. D’Auria†, S. Ferrara•, M. A. Lled´o† and V. S. Varadarajan?. † Dipartimento di Fisica, Politecnico di Torino, Corso Duca degli Abruzzi 24, I-10129 Torino, Italy, and INFN, Sezione di Torino, Italy. • CERN, Theory Division, CH 1211 Geneva 23, Switzerland, and Laboratori Nazionali di Frascati, INFN, Italy. ? Department of Mathematics, University of California, Los Angeles, Los Angeles, CA 90095-1555, USA. Abstract We consider supersymmetry algebras in space-times with arbitrary signature and minimal number of spinor generators. The interrelation between super Poincar´eand super conformal algebras is elucidated. Minimal super conformal algebras are seen to have as bosonic part a classical semimisimple algebra naturally associated to the spin group. This algebra, the Spin(s,t)-algebra, depends both on the dimension and on the signature of space time. We also consider maximal su- per conformal algebras, which are classified by the orthosymplectic algebras. 1 1 Introduction In recent times the extension of Poincar´eand conformal superalgebras to orthosymplectic algebras has been considered with a variety of purposes. In particular the role of osp(1 32, R) and osp(1 64, R) as minimal superalgebras containing the conformal algebras| in 10 and| 11 dimensions (or the anti de Sitter algebra in 11 and 12 dimensions) has been considered in view of possi- ble generalizations of M theory [1, 2, 3, 7, 8, 17, 18, 16, 20, 21] and of string theory to F-theory [9]. The contractions of orthosymplectic algebras are used in the study of BPS branes [35, 7, 19, 34, 12].
    [Show full text]