The Mathematics any Physicist Should Know. Thomas Hjortgaard Danielsen


 Kory Davidson
 1 years ago
 Views:
Transcription
1 The Mathematics any Physicist Should Know Thomas Hjortgaard Danielsen
2
3 Contents Preface 5 I Representation Theory of Groups and Lie Algebras 7 1 PeterWeyl Theory Foundations of Representation Theory The Haar Integral Matrix Coefficients Characters The PeterWeyl Theorem Structure Theory for Lie Algebras Basic Notions Semisimple Lie Algebras The Universal Enveloping Algebra Basic Representation Theory of Lie Algebras Lie Groups and Lie Algebras Weyl s Theorem Root Systems Weights and Roots Root Systems for Semisimple Lie Algebras Abstract Root Systems The Weyl Group The Highest Weight Theorem Highest Weights Verma Modules The Case sl(3, C) Infinitedimensional Representations Gårding Subspace Induced Lie Algebra Representations SelfAdjointness Applications to Quantum Mechanics II Geometric Analysis and Spin Geometry Clifford Algebras Elementary Properties Classification of Clifford Algebras
4 4 7.3 Representation Theory Spin Groups The Clifford Group Pin and Spin Groups Double Coverings Spin Group Representations Topological KTheory The KFunctors The Long Exact Sequence Exterior Products and Bott Periodicity Equivariant Ktheory The Thom Isomorphism Characteristic Classes Connections on Vector Bundles Connections on Associated Vector Bundles* Pullback Bundles and Pullback Connections Curvature Metric Connections Characteristic Classes Orientation and the Euler Class Splitting Principle, Multiplicative Sequences The Chern Character Differential Operators Differential Operators on Manifolds The Principal Symbol Dirac Bundles and the Dirac Operator Sobolev Spaces Elliptic Complexes The AtiyahSinger Index Theorem KTheoretic Version Cohomological Version A Table of Clifford Algebras 245 B Calculation of Fundamental Groups 247 Bibliography 251 Index 252
5 Preface When following courses given by Ryszard Nest at the Copenhagen University, you can be almost certain that a reference to the AtiyahSinger Index Theorem will appear at least once during the course. Thus it was an obvious project for me to find out what this, apparently great theorem, was all about. However, from the beginning I was well aware that this was not an easy task and that it was necessary for me to delve into a lot of other subjects involved in its formulation, before the goal could be reached. It has never been my intension to actually prove the theorem (well except for a few moments of utter over ambitiousness) but merely to pave a road for my own understanding. This road leads through as various subjects as Ktheory, characteristic classes and elliptic theory. I have tried to treat each subject as thoroughly and selfcontained as I could, even though this meant including stuff which wasn t really necessary for the Index Theorem. The starting point is of course my own prerequisites when I began my work half a year ago, that is a solid foundation in Riemannian geometry, algebraic topology (notably homology and cohomology) and pseudodifferential calculus on Euclidean space. From here we develop at first, in a systematic way, topological Ktheory. The approach is via vector bundles as it can be found in for instance [Atiyah] or [Hatcher], no C algebras are involved. In the first two sections the basic theory will be outlined and most proofs will be given. In the third section we present the famous Bottperiodicity Theorem, without giving a proof. The last two sections are dedicated to the Thom Isomorphism. To this end we introduce equivariant Ktheory (that is, Ktheory involving group actions), a slight generalization of the Ktheory treated in the first sections. I follow the outline given in the classical article by [Segal]. One could argue, that equivariant Ktheory could have been introduced from the very beginning, however I have chosen not to, in order not to blur the introductory presentation with too many technicalities. The second chapter deals with the ChernWeil approach to characteristic classes of vector bundles. The first four sections are devoted to the study of the basic theory of connections on vector bundles. From the curvature forms and invariant polynomials we construct characteristic classes, in particular Chern and Pontrjagin classes and their relationships will be discussed. In the following section the Euler class of oriented bundles is defined. I have relied heavily on [Morita] and [Milnor, Stacheff] when working out these sections but also [Madsen, Tornehave] has provided valuable inspiration. The chapter ends with a discussion of certain characteristic classes constructed, not from invariant polynomials but from invariant formal power series. Examples of such classes are the Todd class and the total Ãclass and the Chern character. No effort has been made to include great theorems, in fact there are really no major results in this chapter. It serves as a tool box to be applied to the construction of the topological index. The third chapter revolves around differential operators on manifolds. In the 5
6 6 standard literature on this subject not much care is taken, when transferring the differential operators and principal symbols from Euclidean space to manifolds. I ve tried to remedy this, giving a precise and detailed treatment. To this I have added a lot of examples of classical differential operators, such as the Laplacian, Hodgede Rham operators, Dirac operators etc. calculating their formal adjoints and principal symbols. To shed some light on the analytic properties we introduce Sobolev spaces. Essentially there are two different definitions: in the first one, Sobolev spaces are defined in terms of connections, and in the second they are defined as the clutching of local Euclidean Sobolev spaces. We prove that the two definitions agree, when the underlying manifold is compact, and we show how to extend differential operators to continuous operators between the Sobolev spaces. The major results such as the Sobolev Embedding Theorem, the Rellich lemma and Elliptic Regularity are given without proofs. We then move on to elliptic complexes, which provides us with a link to the Ktheory developed in the first chapter. In the fourth and final chapter the Index Theorem is presented. We construct the socalled topological index map from the Kgroup K(T M) to the integers and state the index theorem, which says that the index function when evaluated on the specific Kclass determined from the symbol of an elliptic differential operator, is in fact equal to the Fredholm index. I give a short sketch of the proof based on the original 1968article by Atiyah and Singer. Then by introducing the cohomological Thom isomorphism, Thom Defect classes etc. and drawing heavily on the theory developed in the previous chapters we manage to deduce the famous cohomological index formula. To demonstrate the power of the Index Theorem, we prove two corollaries, namely the generalized GaussBonnet Theorem and the fact that any elliptic differential operator on a compact manifold of odd dimension has index 0. I would like to thank Professor Ryszard Nest for his guidance and inspiration, as well as answers to my increasing amount of questions. Copenhagen, March Thomas Hjortgaard Danielsen.
7 Part I Representation Theory of Groups and Lie Algebras 7
8
9 Chapter 1 PeterWeyl Theory 1.1 Foundations of Representation Theory We begin by introducing some basic but fundamental notions and results regarding representation theory of topological groups. Soon, however, we shall restrict our focus to compact groups and later to Lie groups and their Lie algebras. We begin with the basic theory. To define the notion of a representation, let V denote a separable Banach space and equip B(V ), the space of bounded linear maps V V, with the strong operator topology i.e. the topology on B(V ) generated by the seminorms A x = Ax. Let Aut(V ) B(V ) denote the group of invertible linear maps and equip it with the subspace topology, which turns it into a topological group. Definition 1.1 (Representation). By a continuous representation of a topological group G on a separable Banach space V we understand a continuous group homomorphism π : G Aut(V ). We also say that V is given the structure of a Gmodule. If π is an injective homomorphism the representation is called faithful. By the dimension of the representation we mean the dimension of the vector space on which it is represented. If V is infinitedimensional the representation is said to be infinitedimensional as well. In what follows a group without further specification will always denote a locally compact topological group, and by a representation we will always understand a continuous representation. The reason why we demand the groups to be locally compact should be apparent in the next section. We will distinguish between real and complex representations depending on whether V is a real or complex Banach space. Without further qualification, the representations considered will all be complex. The requirement on π to be strongly continuous can be a little hard to handle, so here is an equivalent condition which is more applicable: Proposition 1.2. Let π : G Aut(V ) be a group homomorphism. Then the following conditions are equivalent: 1) π is continuous w.r.t. the the strong operator topology on Aut(V ), i.e. π is a continuous representation. 2) The map G V V given by (g, v) π(g)v is continuous. For a proof see [1] Proposition 18.8.
10 10 Chapter 1 PeterWeyl Theory Example 1.3. The simplest example one can think of is the trivial representation: Let G be a group and V a Banach space, and consider the map G g id V. This is obviously a continuous group homomorphism and hence a representation. Now, let G be a matrix Lie group (i.e. a closed subgroup of GL(n, C)). Choosing a basis for C n we get an isomorphism Aut(C n ) GL(n, C), and we can thus define a representation of G on C n simply by the inclusion map G GL(n, C). This is obviously a continuous representation of G, called the defining representation. We can form new representations out of old ones. If (π 1, V 1 ) and (π 2, V 2 ) are representations of G on Banach spaces we can form their direct sum π 1 π 2 to be the representation of G on V 1 V 2 (which has been given the norm (x, y) = x + y, turning V 1 V 2 into a Banach space) given by (π 1 π 2 )(g)(x, y) = (π 1 (g)x, π 2 (g)y). If we have a countable family (H i ) i I of Hilbert spaces we can form the direct sum Hilbert space i I H i to be the vector space of sequences (x i ), x i H i, satisfying i I x i 2 H i <. Equipped with the inner product (x i ), (y i ) = i I x i, y i this is again a Hilbert space. If we have a countable family (π i, H i ) of representations such that sup i I π i (g) < for each g G, then we can form the direct sum of the representations i I π i on i I H i by ( π i )(g)(x i ) = (π i (g)x i ). i I Finally, if (π 1, H 1 ) and (π 2, H 2 ) are representations on Hilbert spaces, we can form the tensor product, namely equip the tensor product vector space H 1 H 2 with the inner product x 1 x 2, y 1 y 2 = x 1, y 1 x 2, y 2 which turns H 1 H 2 into a Hilbert space, and define the tensor product representation π 1 π 2 by (π 1 π 2 )(g)(x y) = π 1 (g)x π 2 (g)y. Definition 1.4 (Unitary Representation). By a unitary representation of a group G we understand a representation π on a Hilbert space H such that π(g) is a unitary operator for each g G. Obviously the trivial representation is a unitary representation. As is the defining representation of any subgroup of the unitary group U(n). In the next section we show unitarity of some more interesting representations. Definition 1.5 (Intertwiner). Let two representations (π 1, V 1 ) and (π 2, V 2 ) of the same group G be given. By an intertwiner or an intertwining map between π 1 and π 2 we understand a bounded linear map T : V 1 V 2 rendering the following diagram commutative π 1(g) V 1 V 1 T T V 2 V 2 π 2(g) i.e. satisfying T π 1 (g) = π 2 (g) T for all g G. The set of all intertwining maps is denoted Hom G (V 1, V 2 ).
11 1.1 Foundations of Representation Theory 11 A bijective intertwiner with bounded inverse between two representations is called an equivalence of representations and the two representations are said to be equivalent. This is denoted π 1 = π2. It s easy to see that Hom G (V 1, V 2 ) is a vector space, and that Hom G (V, V ) is an algebra. The dimension of Hom G (V 1, V 2 ) is called the intertwining number of the two representations. If π 1 = π2 via an intertwiner T, then we have π 2 (g) = T 1 π 1 (g) T. Since we thus can express the one in terms of the other, for almost any purpose the two representations can be regarded as the same. Proposition 1.6. Hom G respects direct sum in the sense that Hom G (V 1 V 2, W ) = Hom G (V 1, W ) Hom G (V 2, W ) and (1.1) Hom G (V, W 1 W 2 ) = Hom G (V, W 1 ) Hom G (V, W 2 ). (1.2) Proof. For the first isomorphism we define Φ : Hom G (V 1 V 2, W ) Hom G (V 1, W ) Hom G (V 2, W ) by Φ(T ) := (T V1, T V2 ). It is easy to check that this is indeed an element of the latter space. It has an inverse Φ 1 given by Φ 1 (T 1, T 2 )(v 1, v 2 ) := T 1 (v 1 ) + T 2 (v 2 ), and this proves the first isomorphism. The latter can be proved in the same way. Definition 1.7. Given a representation (π, V ) of a group G, we say that a linear subspace U V is πinvariant or just invariant if π(g)u U for all g G. If U is a closed invariant subspace for a representation π of G on V, we automatically get a representation of G on U, simply by restricting all the π(g) s to U (U should be a Banach space, and therefore we need U to be closed). This is clearly a representation, and we will denote it π U (although we are restricting the π(g) s to U and not π). Here is a simple condition to check invariance of a given subspace, at least in the case of a unitary representation Lemma 1.8. Let (π, H) be a representation of G, let H = U U be a decomposition of H and denote by P : H U the orthogonal projection onto U. If U is πinvariant then so is U. Furthermore U is πinvariant if and only if P π(g) = π(g) P for all g G. Proof. Assume that U is invariant. To show that U is invariant let v U. We need to show that π(g)v U, i.e. u U : π(g)v, u = 0. But that s easy, exploiting unitarity of π(g): π(g)v, u = π(g 1 )(π(g)v), π(g 1 )u = v, π(g 1 )u which is 0 since π(g 1 )u U and v U. Thus U is invariant Assume U to be invariant. Then also U is invariant by the above. We split x H into x = P x + (1 P )x and calculate P π(g)x = P (π(g)(p x + (1 P )x)) = P π(g)p x + P π(g)(1 P )x. The first term is π(g)p x, since π(g)p x U, and the second term is zero, since π(g)(1 P )x U. Thus we have the desired formula.
12 12 Chapter 1 PeterWeyl Theory Conversely, assume that P π(g) = π(g) P. Every vector u U is of the form P x for some x H. Since U is an invariant subspace. π(g)u = π(g)(p x) = P (π(g)x) U, For any representation (π, V ) it is easy to see two obvious invariant subspaces, namely V itself and {0}. We shall focus a lot on representations having no invariant subspaces except these two: Definition 1.9. A representation is called irreducible if it has no closed invariant subspaces except the trivial ones. The set of equivalence classes of finitedimensional irreducible representations of a group G is denoted Ĝ. A representation is called completely reducible if it is equivalent to a direct sum of finitedimensional irreducible representations. Any 1dimensional representation is obviously irreducible, and if the group is abelian the converse is actually true. We prove this in Proposition 1.14 If (π 1, V 1 ) and (π 2, V 2 ) are irreducible representations then the direct sum π 1 π 2 is not irreducible, since V 1 is an π 1 π 2 invariant subspace of V 1 V 2 : (π 1 π 2 )(g)(v, 0) = (π 1 (g)v, 0). The question is more subtle when considering tensor products of irreducible representations. Whether or not the tensor product of two irreducible representations is irreducible and if not, to write is as a direct sum of irreducible representations is a branch of representation theory known as ClebschGordan theory. Lemma Let (π 1, V 1 ) and (π 2, V 2 ) be equivalent representations. Then π 1 is irreducible if and only if π 2 is irreducible. Proof. Given the symmetry of the problem, it is sufficient to verify that irreducibility of π 1 implies irreducibility of π 2. Let T : V 1 V 2 denote the intertwiner, which by the Open Mapping Theorem is a linear homeomorphism. Assume that U V 2 is a closed invariant subspace. Then T 1 U V 1 is closed and π 1 invariant: π 1 (g)t 1 U = T 1 π 2 (g)u T 1 U But this means that T 1 U is either 0 or V 1, i.e. U is either 0 or V 2. Example Consider the group SL(2, C) viewed as a real (hence 6dimensional) Lie group. We consider the following 4 complex representations of the real Lie group SL(2, C) on C 2 : ρ(a)ψ := Aψ, ρ(a)ψ := Aψ, ρ(a)ψ := (A T ) 1 ψ, ρ(a)ψ := (A ) 1 ψ, where A simply means complex conjugation of all the entries. All four are clearly irreducible. They are important in physics where they are called spinorial representations. The physicists have a habit of writing everything in coordinates, thus ψ will usually be written ψ α, where α = 1, 2 but the exact notation will vary according to which representation we have imposed on C 2 (i.e. according to how ψ transforms as the physicists say). In other words they view C 2 not as a vector space but rather as a SL(2, C)module. The notations are ψ α C 2, ψ α C 2, ψ α C 2, ψ α C 2.
13 1.1 Foundations of Representation Theory 13 The representations are not all ( mutually ) inequivalent, actually the map ϕ : 0 1 C 2 C 2 given by the matrix intertwines ρ with ρ and intertwines ρ 1 0 with ρ. On the other hand ρ and ρ are actually inequivalent as we will se in Section 1.4. These two representations are called the fundamental representations of SL(2, C). In short, representation theory has two goals: 1) given a group: find all the irreducible representations and 2) given a representation of this group: split it (if possible) into a direct sum of irreducibles. The rest of this chapter deals with the second problem (at least for compact groups) and in the end we will achieve some powerful results (Schur Orthogonality and the PeterWeyl Theorem). Chapter 5 revolves around the first problem of finding irreducible representations. But already at this stage we are able to state and prove two quite interesting results. The first result is known as Schur s Lemma. We prove a slightly more general version than is usually seen, allowing the representations to be infinitedimensional. Theorem 1.12 (Schur s Lemma). Let (π 1, H 1 ) and (π 2, H 2 ) be two irreducible unitary representations of a group G, and suppose that F : H 1 H 2 is an intertwiner. Then either F is an equivalence of representations or F is the zero map. If (π, H) is an irreducible unitary representation of G and F B(H) is a linear map which commutes with all π(g), then F = λ id H. Proof. The proof utilizes a neat result from Gelfand theory: suppose that A is a commutative unital C*algebra which is also an integral domain (i.e. ab = 0 implies a = 0 or b = 0), then A = Ce. The proof is rather simple. Gelfand s Theorem states that there exists a compact Hausdorff space X such that A = C(X). To reach a contradiction, assume that X is not a onepoint set, and pick two distinct points x and y. Then since X is a normal topological space, we can find disjoint open neighborhoods U and V around x and y, and the Urysohn Lemma gives us two nonzero continuous functions f and g on X, the first one supported in U and the second in V, the product, thus, being zero. This contradicts the assumption that A = C(X) was an integral domain. Therefore X can contain only one point and thus C(X) = C. With this result in mente we return to Schur s lemma. F being an intertwiner means that F π 1 (g) = π 2 (g) F, and using unitarity of π 1 (g) and π 2 (g) we get that F π 2 (g) = π 1 (g) F where F is the hermitian adjoint of F. This yields (F F ) π 2 (g) = F π 1 (g) F = π 2 (g) (F F ). In the last equality we also used that F intertwines the two representations. Consider the C algebra A = C (id H2, F F ), the C algebra generated by id H2 and F F. It s a commutative unital C algebra, and all the elements are of the form n=0 a n(f F ) n. They commute with π 2 (g): ( a n (F F ) n) π 2 (g) = (a n (F F ) n π 2 (g)) = a n (π 2 (g)(f F ) n ) n=1 n=1 = π 2 (g) a n (F F ) n. n=1 We only need to show that A is an integral domain. Assume ST = 0. Since π 2 (g)s = Sπ 2 (g) it s easy to see that ker S is π 2 invariant. π 2 is irreducible n=1
14 14 Chapter 1 PeterWeyl Theory so ker S is either H 2 or {0}. In the first case S = 0, and we are done, in the second case, S is injective, and so T must be the zero map. This means that A = C id H2, in particular, there exists a λ C so that F F = λ id H2. Likewise, one shows that F F = λ id H1. Thus, we see λf = F (F F ) = (F F )F = λ F which implies F = 0 or λ = λ. In the second case if λ = λ = 0 then F F v = 0 for all v H 1, and hence 0 = v, F F v = F v, F v, i.e. F = 0. If λ = λ and λ 0 then it is not hard to see that λ 1 2 F is unitary, and that F therefore is an isomorphism. The second claims is an immediate consequence of the proof of the first. The content of this can be summed up to the following: If π 1 and π 2 are irreducible unitary representations of G on H 1 and H 2, then Hom G (H 1, H 2 ) = C if π 1 and π 2 are equivalent and Hom G (H 1, H 2 ) = {0} if π 1 and π 2 are inequivalent. Corollary Let (π, H 1 ) and (ρ, H 2 ) be finitedimensional unitary representations which decompose into irreducibles π = i I m i δ i and ρ = i I n i δ i. Then dim Hom G (H 1, H 2 ) = i I n im i. Proof. Denoting the representations spaces of the irreducible representations by V i we get from (1.1) and (1.2) that Hom G (H 1, H 2 ) = i I n i m j Hom(V i, V j ), and by Schur s Lemma the dimension formula now follows. j I Now for the promised result on abelian groups Proposition Let G be an abelian group and (π, H) be a unitary representation of G. If π is irreducible then π is 1dimensional. Proof. Since G is abelian we have π(g)π(h) = π(h)π(g) i.e. π(h) is an intertwiner. Since π is irreducible, Schur s Lemma says that π(h) = λ(h) id H. Thus, each 1dimensional subspace of H is invariant, and by irreducibility H is 1dimensional. Example With the previous lemma we are in a position to determine the set of irreducible complex representations of the circle group T = R/Z. Since this is an abelian group, we have found all the irreducible representations when we know all the 1dimensional representations. A 1dimensional representation is just a homomorphism R/Z C, so let s find them: It is wellknown that the only continuous homomorphisms R C are those of the form x e 2πiax for some a R. But since we also want it to be periodic with periodicity 1, only integer values of a are allowed. Thus, T consists of the homomorphisms ρ n (x) = e 2πinx for n Z. Proposition Every finitedimensional unitary representation is completely reducible.
15 1.2 The Haar Integral 15 Proof. If the representation is irreducible then we are done, so assume we have a unitary representation π : G Aut(H) and let {0} U H be an invariant subspace. The point is that U is invariant as well cf. Lemma 1.8. If both π U and π U are irreducible we are done. If one of them is not, we find an invariant subspace and perform the above argument once again. Since the representation is finitedimensional and since 1dimensional representations are irreducible, the argument must stop at some point. 1.2 The Haar Integral In the representation theory of locally compact groups (also known as harmonic analysis) the notions of Haar integral and Haar measure play a key role. Some preliminary definitions: Let X be a locally compact Hausdorff space and C c (X) the space of complex valued functions on X with compact support. By a positive integral on X is understood a linear functional I : C c (X) C such that I(f) 0 if f 0. The Riesz Representation Theorem tells us that to each such positive integral there exists a unique Radon measure µ on the Borel algebra B(X) such that I(f) = fdµ. We say that this measure µ is associated with the positive integral. Now, let G be a group. For each g 0 G we have two maps L g0 and R g0, left and right translation, on the set of complexvalued functions on G, given by (L g0 f)(g) = f(g 1 0 g), (R g 0 f)(g) = f(gg 0 ). These obviously satisfy L g1g 2 = L g1 L g2 and R g1g 2 = R g1 R g2. Definition 1.17 (Haar Measure). Let G be a locally compact group. A nonzero positive integral I on G is called a left Haar integral if I(L g f) = I(f) for all g G and f C c (X). Similarly a nonzero positive integral is called a right Haar integral if I(R g f) = I(f) for all g G and f C c (X). An integral which is both a left and a right Haar integral is called a Haar integral. The measures associated with left and right Haar integrals are called left and right Haar measures. The measure associated with a Haar integral is called a Haar measure. Example On (R n, +) the Lebesgue integral is a Haar integral: it is obviously positive, and it is wellknown that the Lebesgue integral is translation invariant: f(x + a)dx = R n f( a + x)dx = R n f(x)dx. R n The associated Haar measure is of course the Lebesgue measure m n. On the circle group (T, ) we define an integral I by X C(T) f 1 2π 2π 0 f(e it )dt. As before this is obviously a positive integral and since I(L e iaf) = 1 2π = 1 2π 2π 0 2π 0 f(e ia e it )dt = 1 2π f(e it )dt 2π 0 f(e i( a+t) )dt
16 16 Chapter 1 PeterWeyl Theory again by exploiting translation invariance of the Lebesgue measure, I is a left Haar integral on T. Likewise one can show that it is a right Haar integral as well, and hence a Haar integral. The associated Haar measure on T is also called the arc measure. In both cases the groups were abelian and in both cases the left Haar integrals were also right Haar integrals. This is no mere coincidence for if G is an abelian group we have L g0 = R g 1 and thus a positive integral is a left Haar integral if 0 and only if it is a right Haar integral. The following central theorem attributed to Alfred Haar and acclaimed as one of the most important mathematical discoveries in the 20th century states existence and uniqueness of left and right Haar integrals on locally compact groups. Theorem Every locally compact group G possesses a left Haar integral and a right Haar integral, and these are unique up to multiplication by a positive constant. If G is compact then the two integrals coincide, and the corresponding Haar measure is finite. It would be far beyond the scope of this thesis to delve into the proof of this. The existence part of the proof is a hard job so we just send some acknowledging thoughts to Alfred Haar and accept it as a fact of life. Now we restrict focus to compact groups on which, as we have just seen, we have a finite Haar measure. The importance of this finiteness is manifested in the following result: Theorem 1.20 (Unitarization). Let G be a compact group and (π, H) are representation on a Hilbert space (H,, ). Then there exists an inner product, G on H equivalent to, which makes π a unitary representation. Proof. Since the measure is finite, we can integrate all bounded measurable functions over G. Let us assume the measure to be normalized, i.e. that µ(g) = 1. For x 1, x 2 H the map g π(g)x 1, π(g)x 2 is continuous (by Proposition 1.2), hence bounded and measurable, i.e. integrable. Now define a new inner product by x 1, x 2 G := π(g)x 1, π(g)x 2 dg. (1.3) G That this is a genuine inner product is not hard to see: it is obviously sesquilinear by the properties of the integral, it is conjugatesymmetric, as the original inner product is conjugatesymmetric. Finally, if x 0 then π(g)x 0 (π(g) is invertible) and thus π(g)x > 0 for all g G. Since the map g π(g)x 2 is continuous we have x, x G = π(g)x dg > 0. G By the translation of the Haar measure we get π(h)x 1, π(h)x 2 G = π(gh)x 1, π(gh)x 2 dg G = π(g)x 1, π(g)x 2 dg G = x 1, x 2 G. Thus, π is unitary w.r.t. this new inner product. We just need to show that the two norms and G corresponding to the two inner products are equivalent, i.e. that there exists a constant C so that C G and G C. To this end, consider the map g π(g)x 2 for some x H. It s a continuous map, hence sup g G π(g)x 2 < for all x, and
17 1.2 The Haar Integral 17 the Uniform Boundedness Principle now says that C := sup g G π(g) <. Therefore x 2 = x 2 dg = π(g 1 )π(g)x 2 dg C 2 π(g)x 2 = C 2 x 2 G. G Conversely we see x 2 G = π(g)x 2 G This proves the claim. G G π(g) 2 x 2 dg C 2 If we combine this result with Proposition 1.16 we get G G x 2 dg = C 2 x 2. Corollary Every finitedimensional representation of a compact group is completely reducible. The PeterWeyl Theorem which we prove later in this chapter provides a strong generalization of this result in that it states that every Hilbert space representation of a compact group is completely reducible. We end this section by introducing the socalled modular function which is a function that provides a link between left and right Haar integrals. Let G be a topological group and I : f f(g)dg a left Haar integral. G Let h G and consider the integral Ĩh : f G f(gh 1 )dg. This is positive and satisfies Ĩ h (L g0 f) = G f(g0 1 gh 1 )dg = f(gh 1 )dg = Ĩh(f) G i.e. is a left Haar integral. By the uniqueness part of Haar s Theorem there exists a positive constant c such that Ĩh(f) = ci(f). We define the modular function : G R + by assigning this constant to the group element h i.e. f(gh 1 )dg = (h) f(g)dg. G It is not hard to see that this is indeed a homomorphism: on one hand we have f(g(hk) 1 )dg = (hk) f(g)dg, G and on the other hand we have that this equals f(gk 1 h 1 )dg = (h) f(gk 1 )dg = (h) (k) G G G G G.f(g)dg Since this holds for all integrable functions f we must have (hk) = (h) (k). One can show that this is in fact a continuous group homomorphism and thus in the case of G being a Lie group, a Lie group homomorphism. If is identically 1, that is if every right Haar integral satisfies f(hg)dg = f(g)dg (1.4) G for all h, then the group G is called unimodular. Eq. (1.4) says that an equivalent condition for a group to be unimodular is that all right Haar integrals are also left Haar integrals. As we have seen previously in this section abelian groups and compact groups are unimodular groups. G
18 18 Chapter 1 PeterWeyl Theory 1.3 Matrix Coefficients Definition 1.22 (Matrix Coefficient). Let (π, V ) be a finitedimensional representation of a compact group G. By a matrix coefficient for the representation π we understand a map G C of the form for fixed v V and ϕ V. m v,ϕ (g) = ϕ(π(g)v) If we pick a basis {e 1,..., e n } for V and let {ε 1,..., ε n } denote the corresponding dual basis, then we see that m ei,ε j = ε j (π(g)e i ) precisely are the entries of the matrixrepresentation of π(g), therefore the name matrix coefficient. If V comes with an inner product,, then by the Riesz Theorem all matrix coefficients are of the form m v,w = π(g)v, w for fixed v, w V. By Theorem 1.20 we can always assume that this is the case. Denote by C(G) π the space of linear combinations of matrix coefficient. Since a matrix coefficient is obviously a continuous map, C(G) π C(G) L 2 (G). Thus, we can take the inner product of two functions in C(G) π. Note, however that the elements of C(G) π need not all be matrix coefficients for π. The following technical lemma is an important ingredient in the proof of the Schur Orthogonality Relations which is the main result of this section. Lemma Let (π, H) be a finitedimensional unitary representation of a compact group G. Define the map T π : End(H) C(G) by Then C(G) π = im T π. T π (A)(g) = Tr(π(g) A). (1.5) Proof. Given a matrix coefficient m v,w we should produce a linear map A : H H, such that m v,w = T π (A). Consider the map L v,w : H H defined by L v,w (u) = u, w v, the claim is that this is the desired map A. To see this we need to calculate Tr L v,w and we claim that the result is v, w. Since L v,w is sesquilinear in its indices (L av+bv,w = al v,w + bl v,w), it s enough to check it on elements of an orthonormal basis {e 1,..., e n } for H. while for i j Tr L ei,e i = Tr L ei,e j = L ei,e i e k, e k = k=1 L ei,e j e k, e k = k=1 Thus, Tr L v,w = v, w. Finally since we see that e k, e i e i, e k = 1 k=1 e k, e j e i, e k = 0. k=1 L v,w π(g)u = π(g)u, w v = u, π(g 1 )w v = L v,π(g 1 )wu T π (L v,w )(g) = Tr(π(g) L v,w ) = Tr(L v,w π(g)) = v, π(g 1 )w = π(g)v, w = m v,w (g). Conversely, we should show that any map T π (A) is a linear combination of matrix coefficients. Some linear algebraic manipulations should be enough to
19 1.3 Matrix Coefficients 19 convince the reader that we for any A End(H) have A = n i,j=1 Ae j, e i L ei,e j w.r.t some orthonormal basis {e 1,..., e n }. But then we readily see ( n ) T π (A)(g) = T π Ae j, e i L ei,e j (g) = = i,j=1 Ae j, e i m ei,e j (g). i,j=1 n i,j=1 Ae j, e i T π (L ei,e j )(g) Theorem 1.24 (Schur Orthogonality I). Let (π 1, H 1 ) and (π 2, H 2 ) be two unitary, irreducible finitedimensional representations of a compact group G. If π 1 and π 2 are equivalent, then we have C(G) π1 = C(G) π2. If they are not, then C(G) π1 C(G) π2 inside L 2 (G). Before the proof, a few remarks on the integral of a vector valued function would be in order. Suppose that f : G H is a continuous function into a finitedimensional Hilbert space. Choosing a basis {e 1,..., e n } for H we can write f in it s components f = n i=1 f i e i, which are also continuous, and define f(g)dg := f i (g)dg e i. G i=1 It s a simple changeofbasis calculation to verify that this is independent of the basis in question. Furthermore, one readily verifies that it is leftinvariant and satisfies G f(g)dg, v = f(g), v dg and A f(g)dg = G G when A End(H). G Af(g)dg Proof of Theorem If π 1 and π 2 are equivalent, there exists an isomorphism T : H 1 H 2 such that T π 1 (g) = π 2 (g)t. For A End(H 1 ) we see that T π2 (T AT 1 )(g) = Tr(π 2 (g)t AT 1 ) = Tr(T 1 π 2 (g)t A) = Tr(π 1 (g)a) = T π1 (A)(g). Hence the map sending T π1 (A) to T π2 (T AT 1 ) is the identity id : C(G) π1 C(G) π2 proving that the two spaces are equal. Now we show the second claim. Define for fixed w 1 H 1 and w 2 H 2 the map S w1,w 2 : H 1 H 2 by S w1,w 2 (v) = π 1 (g)v, w 1 π 2 (g 1 )w 2 dg. S w1,w 2 G is in Hom G (H 1, H 2 ) since by leftinvariance S w1,w 2 π 1 (h)(v) = π 1 (gh)v, w 1 π 2 (g 1 )w 2 dg = π 1 (g)v, w 1 π 2 (hg 1 )w 2 dg G G = π 2 (h) π 1 (g)v, w 1 π 2 (g 1 )w 2 dg G = π 2 (h)s w1,w 2 (v). Assume that we can find two matrix coefficients m v1,w 1 and m v2,w 2 for π 1 and π 2 that are not orthogonal, i.e. we assume that 0 m v1,w 2 (g)m v2,w 2 (g)dg = π 1 (g)v 1, w 1 π 2 (g)v 2, w 2 dg G G = π 1 (g)v 1, w 1 π 2 (g 1 )w 2, v 2 dg. G
20 20 Chapter 1 PeterWeyl Theory From this we read S w1,w 2 v 1, v 2 0, so that S w1,w 2 0. Since it s an intertwiner, Schur s Lemma tells us that S w1,w 2 is an isomorphism. By contraposition, the second claim is proved. In the case of two matrix coefficients for the same representation, we have the following result Theorem 1.25 (Schur Orthogonality II). Let (π, H) be a unitary, finitedimensional irreducible representation of a compact group G. For two matrix coefficients m v1,w 1 and m v2,w 2 we have m v1,w 1, m v2,w 2 = 1 dim H v 1, v 2 w 2, w 1. (1.6) Proof. As in the proof of Theorem 1.24 define S w1,w 2 : H H by S w1,w 2 (v) = π 1 (g)v, w 1 π 2 (g 1 )w 2 dg = π(g 1 )L w2,w 1 π(g)v dg. G G We see that m v1,w 1, m v2,w 2 = π(g)v 1, w 1 π(g)v 2, w 2 dg G = π(g)v 1, w 1 π(g 1 )w 2, v 2 dg G = π(g)v 1, w 1 π(g 1 )w 2, v 2 G = S w1,w 2 v 1, v 2. Furthermore, since S w1,w 2 commutes with π(g), Schur s Lemma yields a complex number λ(w 1, w 2 ), such that S w1,w 2 = λ(w 1, w 2 ) id H. The operator S w1,w 2 is linear in w 2 and antilinear in w 1, hence λ(w 1, w 2 ) is a sesquilinear form on H. We now take the trace on both sides of the equation S w1,w 2 = λ(w 1, w 2 ) id H : the right hand side is easy, it s just λ(w 1, w 2 ) dim H. For the left hand side we calculate That is, we get λ(w 1, w 2 ) = (dim H) 1 w 1, w 2, and hence S w1,w 2 = (dim H) 1 w 1, w 2 id H. By substituting this into the equation m v1,w 1, m v2,w 2 = S w1,w 2 v 1, v 2 the desired result follows. 1.4 Characters Definition 1.26 (Class Function). For a group G, a class function is a function on G which is constant on conjugacy classes. The set of squareintegrable resp. continuous class functions on G are denoted L 2 (G, class) and C(G, class). It is not hard to see that the closure of C(G, class) inside L 2 (G) is L 2 (G, class). Thus, L 2 (G, class) is a Hilbert space. Given an irreducible finitedimensional representation the set of continuous class functions inside C(G) π is very small: Lemma Let (π, H) be a finitedimensional irreducible unitary representation of a compact group G, then the only class functions inside C(G) π are complex scalar multiples of T π (id H ).
GROUP ALGEBRAS. ANDREI YAFAEV
GROUP ALGEBRAS. ANDREI YAFAEV We will associate a certain algebra to a finite group and prove that it is semisimple. Then we will apply Wedderburn s theory to its study. Definition 0.1. Let G be a finite
More informationMathematics Course 111: Algebra I Part IV: Vector Spaces
Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 19967 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are
More informationBANACH AND HILBERT SPACE REVIEW
BANACH AND HILBET SPACE EVIEW CHISTOPHE HEIL These notes will briefly review some basic concepts related to the theory of Banach and Hilbert spaces. We are not trying to give a complete development, but
More informationFinite dimensional C algebras
Finite dimensional C algebras S. Sundar September 14, 2012 Throughout H, K stand for finite dimensional Hilbert spaces. 1 Spectral theorem for selfadjoint opertors Let A B(H) and let {ξ 1, ξ 2,, ξ n
More informationFUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES
FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES CHRISTOPHER HEIL 1. Cosets and the Quotient Space Any vector space is an abelian group under the operation of vector addition. So, if you are have studied
More informationIRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction
IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL R. DRNOVŠEK, T. KOŠIR Dedicated to Prof. Heydar Radjavi on the occasion of his seventieth birthday. Abstract. Let S be an irreducible
More informationBILINEAR FORMS KEITH CONRAD
BILINEAR FORMS KEITH CONRAD The geometry of R n is controlled algebraically by the dot product. We will abstract the dot product on R n to a bilinear form on a vector space and study algebraic and geometric
More informationGROUPS ACTING ON A SET
GROUPS ACTING ON A SET MATH 435 SPRING 2012 NOTES FROM FEBRUARY 27TH, 2012 1. Left group actions Definition 1.1. Suppose that G is a group and S is a set. A left (group) action of G on S is a rule for
More information8.1 Examples, definitions, and basic properties
8 De Rham cohomology Last updated: May 21, 211. 8.1 Examples, definitions, and basic properties A kform ω Ω k (M) is closed if dω =. It is exact if there is a (k 1)form σ Ω k 1 (M) such that dσ = ω.
More informationMatrix Representations of Linear Transformations and Changes of Coordinates
Matrix Representations of Linear Transformations and Changes of Coordinates 01 Subspaces and Bases 011 Definitions A subspace V of R n is a subset of R n that contains the zero element and is closed under
More informationit is easy to see that α = a
21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UF. Therefore
More informationChapter 5. Banach Spaces
9 Chapter 5 Banach Spaces Many linear equations may be formulated in terms of a suitable linear operator acting on a Banach space. In this chapter, we study Banach spaces and linear operators acting on
More informationTHE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS
THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear
More informationThe cover SU(2) SO(3) and related topics
The cover SU(2) SO(3) and related topics Iordan Ganev December 2011 Abstract The subgroup U of unit quaternions is isomorphic to SU(2) and is a double cover of SO(3). This allows a simple computation of
More informationCOHOMOLOGY OF GROUPS
Actes, Congrès intern. Math., 1970. Tome 2, p. 47 à 51. COHOMOLOGY OF GROUPS by Daniel QUILLEN * This is a report of research done at the Institute for Advanced Study the past year. It includes some general
More informationQuantum Mechanics and Representation Theory
Quantum Mechanics and Representation Theory Peter Woit Columbia University Texas Tech, November 21 2013 Peter Woit (Columbia University) Quantum Mechanics and Representation Theory November 2013 1 / 30
More informationThe Dirichlet Unit Theorem
Chapter 6 The Dirichlet Unit Theorem As usual, we will be working in the ring B of algebraic integers of a number field L. Two factorizations of an element of B are regarded as essentially the same if
More informationINVARIANT METRICS WITH NONNEGATIVE CURVATURE ON COMPACT LIE GROUPS
INVARIANT METRICS WITH NONNEGATIVE CURVATURE ON COMPACT LIE GROUPS NATHAN BROWN, RACHEL FINCK, MATTHEW SPENCER, KRISTOPHER TAPP, AND ZHONGTAO WU Abstract. We classify the leftinvariant metrics with nonnegative
More informationsome algebra prelim solutions
some algebra prelim solutions David Morawski August 19, 2012 Problem (Spring 2008, #5). Show that f(x) = x p x + a is irreducible over F p whenever a F p is not zero. Proof. First, note that f(x) has no
More informationThe Topology of Fiber Bundles Lecture Notes. Ralph L. Cohen Dept. of Mathematics Stanford University
The Topology of Fiber Bundles Lecture Notes Ralph L. Cohen Dept. of Mathematics Stanford University Contents Introduction v Chapter 1. Locally Trival Fibrations 1 1. Definitions and examples 1 1.1. Vector
More information16.3 Fredholm Operators
Lectures 16 and 17 16.3 Fredholm Operators A nice way to think about compact operators is to show that set of compact operators is the closure of the set of finite rank operator in operator norm. In this
More informationInvariant Metrics with Nonnegative Curvature on Compact Lie Groups
Canad. Math. Bull. Vol. 50 (1), 2007 pp. 24 34 Invariant Metrics with Nonnegative Curvature on Compact Lie Groups Nathan Brown, Rachel Finck, Matthew Spencer, Kristopher Tapp and Zhongtao Wu Abstract.
More informationSection 6.1  Inner Products and Norms
Section 6.1  Inner Products and Norms Definition. Let V be a vector space over F {R, C}. An inner product on V is a function that assigns, to every ordered pair of vectors x and y in V, a scalar in F,
More informationMetric Spaces. Chapter 7. 7.1. Metrics
Chapter 7 Metric Spaces A metric space is a set X that has a notion of the distance d(x, y) between every pair of points x, y X. The purpose of this chapter is to introduce metric spaces and give some
More information3. INNER PRODUCT SPACES
. INNER PRODUCT SPACES.. Definition So far we have studied abstract vector spaces. These are a generalisation of the geometric spaces R and R. But these have more structure than just that of a vector space.
More informationLINEAR ALGEBRA W W L CHEN
LINEAR ALGEBRA W W L CHEN c W W L Chen, 1997, 2008 This chapter is available free to all individuals, on understanding that it is not to be used for financial gain, and may be downloaded and/or photocopied,
More informationChapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm.
Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. We begin by defining the ring of polynomials with coefficients in a ring R. After some preliminary results, we specialize
More informationGroup Theory. Contents
Group Theory Contents Chapter 1: Review... 2 Chapter 2: Permutation Groups and Group Actions... 3 Orbits and Transitivity... 6 Specific Actions The Right regular and coset actions... 8 The Conjugation
More informationInner Product Spaces and Orthogonality
Inner Product Spaces and Orthogonality week 34 Fall 2006 Dot product of R n The inner product or dot product of R n is a function, defined by u, v a b + a 2 b 2 + + a n b n for u a, a 2,, a n T, v b,
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22 RAVI VAKIL CONTENTS 1. Discrete valuation rings: Dimension 1 Noetherian regular local rings 1 Last day, we discussed the Zariski tangent space, and saw that it
More informationIntroduction to Algebraic Geometry. Bézout s Theorem and Inflection Points
Introduction to Algebraic Geometry Bézout s Theorem and Inflection Points 1. The resultant. Let K be a field. Then the polynomial ring K[x] is a unique factorisation domain (UFD). Another example of a
More informationTable of Contents. Introduction... 1 Chapter 1. Vector Bundles... 4. Chapter 2. K Theory... 38. Chapter 3. Characteristic Classes...
Table of Contents Introduction.............................. 1 Chapter 1. Vector Bundles.................... 4 1.1. Basic Definitions and Constructions............ 6 Sections 7. Direct Sums 9. Inner Products
More information3. Prime and maximal ideals. 3.1. Definitions and Examples.
COMMUTATIVE ALGEBRA 5 3.1. Definitions and Examples. 3. Prime and maximal ideals Definition. An ideal P in a ring A is called prime if P A and if for every pair x, y of elements in A\P we have xy P. Equivalently,
More informationSection 4.4 Inner Product Spaces
Section 4.4 Inner Product Spaces In our discussion of vector spaces the specific nature of F as a field, other than the fact that it is a field, has played virtually no role. In this section we no longer
More informationFactoring of Prime Ideals in Extensions
Chapter 4 Factoring of Prime Ideals in Extensions 4. Lifting of Prime Ideals Recall the basic AKLB setup: A is a Dedekind domain with fraction field K, L is a finite, separable extension of K of degree
More informationLecture 18  Clifford Algebras and Spin groups
Lecture 18  Clifford Algebras and Spin groups April 5, 2013 Reference: Lawson and Michelsohn, Spin Geometry. 1 Universal Property If V is a vector space over R or C, let q be any quadratic form, meaning
More informationBasic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011
Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011 A. Miller 1. Introduction. The definitions of metric space and topological space were developed in the early 1900 s, largely
More informationEXERCISES FOR THE COURSE MATH 570, FALL 2010
EXERCISES FOR THE COURSE MATH 570, FALL 2010 EYAL Z. GOREN (1) Let G be a group and H Z(G) a subgroup such that G/H is cyclic. Prove that G is abelian. Conclude that every group of order p 2 (p a prime
More informationMA651 Topology. Lecture 6. Separation Axioms.
MA651 Topology. Lecture 6. Separation Axioms. This text is based on the following books: Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology by Nicolas Bourbaki Counterexamples
More informationLinear Algebra. A vector space (over R) is an ordered quadruple. such that V is a set; 0 V ; and the following eight axioms hold:
Linear Algebra A vector space (over R) is an ordered quadruple (V, 0, α, µ) such that V is a set; 0 V ; and the following eight axioms hold: α : V V V and µ : R V V ; (i) α(α(u, v), w) = α(u, α(v, w)),
More informationMath 4310 Handout  Quotient Vector Spaces
Math 4310 Handout  Quotient Vector Spaces Dan Collins The textbook defines a subspace of a vector space in Chapter 4, but it avoids ever discussing the notion of a quotient space. This is understandable
More informationLinear Maps. Isaiah Lankham, Bruno Nachtergaele, Anne Schilling (February 5, 2007)
MAT067 University of California, Davis Winter 2007 Linear Maps Isaiah Lankham, Bruno Nachtergaele, Anne Schilling (February 5, 2007) As we have discussed in the lecture on What is Linear Algebra? one of
More informationLinear Algebra Done Wrong. Sergei Treil. Department of Mathematics, Brown University
Linear Algebra Done Wrong Sergei Treil Department of Mathematics, Brown University Copyright c Sergei Treil, 2004, 2009, 2011, 2014 Preface The title of the book sounds a bit mysterious. Why should anyone
More informationOn Bhargava s representations and Vinberg s invariant theory
On Bhargava s representations and Vinberg s invariant theory Benedict H. Gross Department of Mathematics, Harvard University Cambridge, MA 02138 gross@math.harvard.edu January, 2011 1 Introduction Manjul
More informationQuantum Field Theory and Representation Theory
Quantum Field Theory and Representation Theory Peter Woit woit@math.columbia.edu Department of Mathematics Columbia University Quantum Field Theory and Representation Theory p.1 Outline of the talk Quantum
More informationLinear Algebra Done Wrong. Sergei Treil. Department of Mathematics, Brown University
Linear Algebra Done Wrong Sergei Treil Department of Mathematics, Brown University Copyright c Sergei Treil, 2004, 2009, 2011, 2014 Preface The title of the book sounds a bit mysterious. Why should anyone
More informationA CONSTRUCTION OF THE UNIVERSAL COVER AS A FIBER BUNDLE
A CONSTRUCTION OF THE UNIVERSAL COVER AS A FIBER BUNDLE DANIEL A. RAMRAS In these notes we present a construction of the universal cover of a path connected, locally path connected, and semilocally simply
More informationIntroduction to finite fields
Introduction to finite fields Topics in Finite Fields (Fall 2013) Rutgers University Swastik Kopparty Last modified: Monday 16 th September, 2013 Welcome to the course on finite fields! This is aimed at
More informationNumerical Analysis Lecture Notes
Numerical Analysis Lecture Notes Peter J. Olver 5. Inner Products and Norms The norm of a vector is a measure of its size. Besides the familiar Euclidean norm based on the dot product, there are a number
More informationLet H and J be as in the above lemma. The result of the lemma shows that the integral
Let and be as in the above lemma. The result of the lemma shows that the integral ( f(x, y)dy) dx is well defined; we denote it by f(x, y)dydx. By symmetry, also the integral ( f(x, y)dx) dy is well defined;
More information5. Linear algebra I: dimension
5. Linear algebra I: dimension 5.1 Some simple results 5.2 Bases and dimension 5.3 Homomorphisms and dimension 1. Some simple results Several observations should be made. Once stated explicitly, the proofs
More informationI. GROUPS: BASIC DEFINITIONS AND EXAMPLES
I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called
More informationFIBER PRODUCTS AND ZARISKI SHEAVES
FIBER PRODUCTS AND ZARISKI SHEAVES BRIAN OSSERMAN 1. Fiber products and Zariski sheaves We recall the definition of a fiber product: Definition 1.1. Let C be a category, and X, Y, Z objects of C. Fix also
More informationIntroduction to Characteristic Classes
UNIVERSITY OF COPENHAGEN Faculty of Science Department of Mathematical Sciences Mauricio Esteban Gómez López Introduction to Characteristic Classes Supervisors: Jesper Michael Møller, Ryszard Nest 1 Abstract
More informationLinear Algebra I. Ronald van Luijk, 2012
Linear Algebra I Ronald van Luijk, 2012 With many parts from Linear Algebra I by Michael Stoll, 2007 Contents 1. Vector spaces 3 1.1. Examples 3 1.2. Fields 4 1.3. The field of complex numbers. 6 1.4.
More information1 Sets and Set Notation.
LINEAR ALGEBRA MATH 27.6 SPRING 23 (COHEN) LECTURE NOTES Sets and Set Notation. Definition (Naive Definition of a Set). A set is any collection of objects, called the elements of that set. We will most
More informationPOLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS
POLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS RUSS WOODROOFE 1. Unique Factorization Domains Throughout the following, we think of R as sitting inside R[x] as the constant polynomials (of degree 0).
More informationG = G 0 > G 1 > > G k = {e}
Proposition 49. 1. A group G is nilpotent if and only if G appears as an element of its upper central series. 2. If G is nilpotent, then the upper central series and the lower central series have the same
More informationPOSTECH SUMMER SCHOOL 2013 LECTURE 4 INTRODUCTION TO THE TRACE FORMULA
POSTECH SUMMER SCHOOL 2013 LECTURE 4 INTRODUCTION TO THE TRACE FORMULA 1. Kernel and the trace formula Beginning from this lecture, we will discuss the approach to Langlands functoriality conjecture based
More informationCHAPTER 1 BASIC TOPOLOGY
CHAPTER 1 BASIC TOPOLOGY Topology, sometimes referred to as the mathematics of continuity, or rubber sheet geometry, or the theory of abstract topological spaces, is all of these, but, above all, it is
More informationTensors on a vector space
APPENDIX B Tensors on a vector space In this Appendix, we gather mathematical definitions and results pertaining to tensors. The purpose is mostly to introduce the modern, geometrical view on tensors,
More informationProof. The map. G n i. where d is the degree of D.
7. Divisors Definition 7.1. We say that a scheme X is regular in codimension one if every local ring of dimension one is regular, that is, the quotient m/m 2 is one dimensional, where m is the unique maximal
More informationElements of Abstract Group Theory
Chapter 2 Elements of Abstract Group Theory Mathematics is a game played according to certain simple rules with meaningless marks on paper. David Hilbert The importance of symmetry in physics, and for
More informationISOMETRIES OF R n KEITH CONRAD
ISOMETRIES OF R n KEITH CONRAD 1. Introduction An isometry of R n is a function h: R n R n that preserves the distance between vectors: h(v) h(w) = v w for all v and w in R n, where (x 1,..., x n ) = x
More informationα = u v. In other words, Orthogonal Projection
Orthogonal Projection Given any nonzero vector v, it is possible to decompose an arbitrary vector u into a component that points in the direction of v and one that points in a direction orthogonal to v
More informationNOTES ON LINEAR TRANSFORMATIONS
NOTES ON LINEAR TRANSFORMATIONS Definition 1. Let V and W be vector spaces. A function T : V W is a linear transformation from V to W if the following two properties hold. i T v + v = T v + T v for all
More informationMathematical Physics, Lecture 9
Mathematical Physics, Lecture 9 Hoshang Heydari Fysikum April 25, 2012 Hoshang Heydari (Fysikum) Mathematical Physics, Lecture 9 April 25, 2012 1 / 42 Table of contents 1 Differentiable manifolds 2 Differential
More informationZORN S LEMMA AND SOME APPLICATIONS
ZORN S LEMMA AND SOME APPLICATIONS KEITH CONRAD 1. Introduction Zorn s lemma is a result in set theory that appears in proofs of some nonconstructive existence theorems throughout mathematics. We will
More informationClassification of Cartan matrices
Chapter 7 Classification of Cartan matrices In this chapter we describe a classification of generalised Cartan matrices This classification can be compared as the rough classification of varieties in terms
More informationSimilarity and Diagonalization. Similar Matrices
MATH022 Linear Algebra Brief lecture notes 48 Similarity and Diagonalization Similar Matrices Let A and B be n n matrices. We say that A is similar to B if there is an invertible n n matrix P such that
More informationRESULTANT AND DISCRIMINANT OF POLYNOMIALS
RESULTANT AND DISCRIMINANT OF POLYNOMIALS SVANTE JANSON Abstract. This is a collection of classical results about resultants and discriminants for polynomials, compiled mainly for my own use. All results
More informationIdeal Class Group and Units
Chapter 4 Ideal Class Group and Units We are now interested in understanding two aspects of ring of integers of number fields: how principal they are (that is, what is the proportion of principal ideals
More informationThe van Hoeij Algorithm for Factoring Polynomials
The van Hoeij Algorithm for Factoring Polynomials Jürgen Klüners Abstract In this survey we report about a new algorithm for factoring polynomials due to Mark van Hoeij. The main idea is that the combinatorial
More informationTHE KADISONSINGER PROBLEM IN MATHEMATICS AND ENGINEERING: A DETAILED ACCOUNT
THE ADISONSINGER PROBLEM IN MATHEMATICS AND ENGINEERING: A DETAILED ACCOUNT PETER G. CASAZZA, MATTHEW FICUS, JANET C. TREMAIN, ERIC WEBER Abstract. We will show that the famous, intractible 1959 adisonsinger
More informationNOTES ON CATEGORIES AND FUNCTORS
NOTES ON CATEGORIES AND FUNCTORS These notes collect basic definitions and facts about categories and functors that have been mentioned in the Homological Algebra course. For further reading about category
More informationT ( a i x i ) = a i T (x i ).
Chapter 2 Defn 1. (p. 65) Let V and W be vector spaces (over F ). We call a function T : V W a linear transformation form V to W if, for all x, y V and c F, we have (a) T (x + y) = T (x) + T (y) and (b)
More informationInner product. Definition of inner product
Math 20F Linear Algebra Lecture 25 1 Inner product Review: Definition of inner product. Slide 1 Norm and distance. Orthogonal vectors. Orthogonal complement. Orthogonal basis. Definition of inner product
More informationMICROLOCAL ANALYSIS OF THE BOCHNERMARTINELLI INTEGRAL
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 00029939(XX)00000 MICROLOCAL ANALYSIS OF THE BOCHNERMARTINELLI INTEGRAL NIKOLAI TARKHANOV AND NIKOLAI VASILEVSKI
More informationLinear Algebra Notes for Marsden and Tromba Vector Calculus
Linear Algebra Notes for Marsden and Tromba Vector Calculus ndimensional Euclidean Space and Matrices Definition of n space As was learned in Math b, a point in Euclidean three space can be thought of
More information1 VECTOR SPACES AND SUBSPACES
1 VECTOR SPACES AND SUBSPACES What is a vector? Many are familiar with the concept of a vector as: Something which has magnitude and direction. an ordered pair or triple. a description for quantities such
More informationTHE AVERAGE DEGREE OF AN IRREDUCIBLE CHARACTER OF A FINITE GROUP
THE AVERAGE DEGREE OF AN IRREDUCIBLE CHARACTER OF A FINITE GROUP by I. M. Isaacs Mathematics Department University of Wisconsin 480 Lincoln Dr. Madison, WI 53706 USA EMail: isaacs@math.wisc.edu Maria
More informationInner Product Spaces
Math 571 Inner Product Spaces 1. Preliminaries An inner product space is a vector space V along with a function, called an inner product which associates each pair of vectors u, v with a scalar u, v, and
More informationGeneric Polynomials of Degree Three
Generic Polynomials of Degree Three Benjamin C. Wallace April 2012 1 Introduction In the nineteenth century, the mathematician Évariste Galois discovered an elegant solution to the fundamental problem
More information1 = (a 0 + b 0 α) 2 + + (a m 1 + b m 1 α) 2. for certain elements a 0,..., a m 1, b 0,..., b m 1 of F. Multiplying out, we obtain
Notes on realclosed fields These notes develop the algebraic background needed to understand the model theory of realclosed fields. To understand these notes, a standard graduate course in algebra is
More informationOn the structure of C algebra generated by a family of partial isometries and multipliers
Armenian Journal of Mathematics Volume 7, Number 1, 2015, 50 58 On the structure of C algebra generated by a family of partial isometries and multipliers A. Yu. Kuznetsova and Ye. V. Patrin Kazan Federal
More information26. Determinants I. 1. Prehistory
26. Determinants I 26.1 Prehistory 26.2 Definitions 26.3 Uniqueness and other properties 26.4 Existence Both as a careful review of a more pedestrian viewpoint, and as a transition to a coordinateindependent
More informationContinued Fractions and the Euclidean Algorithm
Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction
More informationSOME PROPERTIES OF FIBER PRODUCT PRESERVING BUNDLE FUNCTORS
SOME PROPERTIES OF FIBER PRODUCT PRESERVING BUNDLE FUNCTORS Ivan Kolář Abstract. Let F be a fiber product preserving bundle functor on the category FM m of the proper base order r. We deduce that the rth
More information4. Expanding dynamical systems
4.1. Metric definition. 4. Expanding dynamical systems Definition 4.1. Let X be a compact metric space. A map f : X X is said to be expanding if there exist ɛ > 0 and L > 1 such that d(f(x), f(y)) Ld(x,
More informationSolutions to TOPICS IN ALGEBRA I.N. HERSTEIN. Part II: Group Theory
Solutions to TOPICS IN ALGEBRA I.N. HERSTEIN Part II: Group Theory No rights reserved. Any part of this work can be reproduced or transmitted in any form or by any means. Version: 1.1 Release: Jan 2013
More informationIrreducible Representations of Wreath Products of Association Schemes
Journal of Algebraic Combinatorics, 18, 47 52, 2003 c 2003 Kluwer Academic Publishers. Manufactured in The Netherlands. Irreducible Representations of Wreath Products of Association Schemes AKIHIDE HANAKI
More informationChapter 13: Basic ring theory
Chapter 3: Basic ring theory Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 42, Spring 24 M. Macauley (Clemson) Chapter 3: Basic ring
More informationSMALL SKEW FIELDS CÉDRIC MILLIET
SMALL SKEW FIELDS CÉDRIC MILLIET Abstract A division ring of positive characteristic with countably many pure types is a field Wedderburn showed in 1905 that finite fields are commutative As for infinite
More informationResearch Article On the Rank of Elliptic Curves in Elementary Cubic Extensions
Numbers Volume 2015, Article ID 501629, 4 pages http://dx.doi.org/10.1155/2015/501629 Research Article On the Rank of Elliptic Curves in Elementary Cubic Extensions Rintaro Kozuma College of International
More informationOn the existence of Gequivariant maps
CADERNOS DE MATEMÁTICA 12, 69 76 May (2011) ARTIGO NÚMERO SMA# 345 On the existence of Gequivariant maps Denise de Mattos * Departamento de Matemática, Instituto de Ciências Matemáticas e de Computação,
More informationFirst and raw version 0.1 23. september 2013 klokken 13:45
The discriminant First and raw version 0.1 23. september 2013 klokken 13:45 One of the most significant invariant of an algebraic number field is the discriminant. One is tempted to say, apart from the
More informationApplied Linear Algebra I Review page 1
Applied Linear Algebra Review 1 I. Determinants A. Definition of a determinant 1. Using sum a. Permutations i. Sign of a permutation ii. Cycle 2. Uniqueness of the determinant function in terms of properties
More informationBABY VERMA MODULES FOR RATIONAL CHEREDNIK ALGEBRAS
BABY VERMA MODULES FOR RATIONAL CHEREDNIK ALGEBRAS SETH SHELLEYABRAHAMSON Abstract. These are notes for a talk in the MITNortheastern Spring 2015 Geometric Representation Theory Seminar. The main source
More informationON GALOIS REALIZATIONS OF THE 2COVERABLE SYMMETRIC AND ALTERNATING GROUPS
ON GALOIS REALIZATIONS OF THE 2COVERABLE SYMMETRIC AND ALTERNATING GROUPS DANIEL RABAYEV AND JACK SONN Abstract. Let f(x) be a monic polynomial in Z[x] with no rational roots but with roots in Q p for
More informationGROUPS WITH TWO EXTREME CHARACTER DEGREES AND THEIR NORMAL SUBGROUPS
GROUPS WITH TWO EXTREME CHARACTER DEGREES AND THEIR NORMAL SUBGROUPS GUSTAVO A. FERNÁNDEZALCOBER AND ALEXANDER MORETÓ Abstract. We study the finite groups G for which the set cd(g) of irreducible complex
More information