3.2 Simple Roots and Weyl Group

Σχετικά έγγραφα
Lecture 15 - Root System Axiomatics

Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit

Every set of first-order formulas is equivalent to an independent set

EE512: Error Control Coding

2 Composition. Invertible Mappings

Affine Weyl Groups. Gabriele Nebe. Summerschool GRK 1632, September Lehrstuhl D für Mathematik

Lecture 13 - Root Space Decomposition II

Lecture 10 - Representation Theory III: Theory of Weights

ORDINAL ARITHMETIC JULIAN J. SCHLÖDER

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3

C.S. 430 Assignment 6, Sample Solutions

Reminders: linear functions

CHAPTER 25 SOLVING EQUATIONS BY ITERATIVE METHODS

Example Sheet 3 Solutions

Finite Field Problems: Solutions

Fractional Colorings and Zykov Products of graphs

Nowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in

ST5224: Advanced Statistical Theory II

From root systems to Dynkin diagrams

MINIMAL CLOSED SETS AND MAXIMAL CLOSED SETS

5. Choice under Uncertainty

SCHOOL OF MATHEMATICAL SCIENCES G11LMA Linear Mathematics Examination Solutions

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

Quadratic Expressions

Other Test Constructions: Likelihood Ratio & Bayes Tests

Math 446 Homework 3 Solutions. (1). (i): Reverse triangle inequality for metrics: Let (X, d) be a metric space and let x, y, z X.

Section 8.3 Trigonometric Equations

Congruence Classes of Invertible Matrices of Order 3 over F 2

Homework 3 Solutions

2. Let H 1 and H 2 be Hilbert spaces and let T : H 1 H 2 be a bounded linear operator. Prove that [T (H 1 )] = N (T ). (6p)

Matrices and Determinants

1. Introduction and Preliminaries.

2. THEORY OF EQUATIONS. PREVIOUS EAMCET Bits.

6.1. Dirac Equation. Hamiltonian. Dirac Eq.

Chapter 3: Ordinal Numbers

Phys460.nb Solution for the t-dependent Schrodinger s equation How did we find the solution? (not required)

4.6 Autoregressive Moving Average Model ARMA(1,1)

On a four-dimensional hyperbolic manifold with finite volume

Second Order Partial Differential Equations

3.4 SUM AND DIFFERENCE FORMULAS. NOTE: cos(α+β) cos α + cos β cos(α-β) cos α -cos β

Numerical Analysis FMN011

Concrete Mathematics Exercises from 30 September 2016

Homework 8 Model Solution Section

ω ω ω ω ω ω+2 ω ω+2 + ω ω ω ω+2 + ω ω+1 ω ω+2 2 ω ω ω ω ω ω ω ω+1 ω ω2 ω ω2 + ω ω ω2 + ω ω ω ω2 + ω ω+1 ω ω2 + ω ω+1 + ω ω ω ω2 + ω

ΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 6/5/2006

HOMEWORK 4 = G. In order to plot the stress versus the stretch we define a normalized stretch:

ΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 19/5/2007

k A = [k, k]( )[a 1, a 2 ] = [ka 1,ka 2 ] 4For the division of two intervals of confidence in R +

Partial Differential Equations in Biology The boundary element method. March 26, 2013

CRASH COURSE IN PRECALCULUS

UNIT - I LINEAR ALGEBRA. , such that αν V satisfying following condition

Section 7.6 Double and Half Angle Formulas

w o = R 1 p. (1) R = p =. = 1

Lecture 2. Soundness and completeness of propositional logic

Lecture 16 - Weyl s Character Formula I: The Weyl Function and the Kostant Partition Function

A Note on Intuitionistic Fuzzy. Equivalence Relation

Srednicki Chapter 55

Fourier Series. MATH 211, Calculus II. J. Robert Buchanan. Spring Department of Mathematics

The Simply Typed Lambda Calculus

MATH1030 Linear Algebra Assignment 5 Solution

6.3 Forecasting ARMA processes

DIRECT PRODUCT AND WREATH PRODUCT OF TRANSFORMATION SEMIGROUPS

Exercises 10. Find a fundamental matrix of the given system of equations. Also find the fundamental matrix Φ(t) satisfying Φ(0) = I. 1.

Some new generalized topologies via hereditary classes. Key Words:hereditary generalized topological space, A κ(h,µ)-sets, κµ -topology.

Cyclic or elementary abelian Covers of K 4

12. Radon-Nikodym Theorem

Inverse trigonometric functions & General Solution of Trigonometric Equations

Statistical Inference I Locally most powerful tests

derivation of the Laplacian from rectangular to spherical coordinates

Homomorphism in Intuitionistic Fuzzy Automata

On density of old sets in Prikry type extensions.

Homomorphism of Intuitionistic Fuzzy Groups

Απόκριση σε Μοναδιαία Ωστική Δύναμη (Unit Impulse) Απόκριση σε Δυνάμεις Αυθαίρετα Μεταβαλλόμενες με το Χρόνο. Απόστολος Σ.

Practice Exam 2. Conceptual Questions. 1. State a Basic identity and then verify it. (a) Identity: Solution: One identity is csc(θ) = 1

Areas and Lengths in Polar Coordinates

Solution Series 9. i=1 x i and i=1 x i.

SOME PROPERTIES OF FUZZY REAL NUMBERS

de Rham Theorem May 10, 2016

The challenges of non-stable predicates

Approximation of distance between locations on earth given by latitude and longitude

Areas and Lengths in Polar Coordinates

Parametrized Surfaces

Uniform Convergence of Fourier Series Michael Taylor

( y) Partial Differential Equations

CHAPTER 101 FOURIER SERIES FOR PERIODIC FUNCTIONS OF PERIOD

Tridiagonal matrices. Gérard MEURANT. October, 2008

Lecture Notes Introduction to Cluster Algebra

PARTIAL NOTES for 6.1 Trigonometric Identities

Lecture 21: Properties and robustness of LSE

Generating Set of the Complete Semigroups of Binary Relations

MATH423 String Theory Solutions 4. = 0 τ = f(s). (1) dτ ds = dxµ dτ f (s) (2) dτ 2 [f (s)] 2 + dxµ. dτ f (s) (3)

Chapter 2. Ordinals, well-founded relations.

CHAPTER 48 APPLICATIONS OF MATRICES AND DETERMINANTS

Econ 2110: Fall 2008 Suggested Solutions to Problem Set 8 questions or comments to Dan Fetter 1

Mean-Variance Analysis

( ) 2 and compare to M.

ANSWERSHEET (TOPIC = DIFFERENTIAL CALCULUS) COLLECTION #2. h 0 h h 0 h h 0 ( ) g k = g 0 + g 1 + g g 2009 =?

TMA4115 Matematikk 3

Section 9.2 Polar Equations and Graphs

Transcript:

44 CHAPTER 3. ROOT SYSTEMS 3.2 Simple Roots and Weyl Group In this section, we fix a root system Φ of rank l in a euclidean space E, with Weyl group W. 3.2.1 Bases and Weyl chambers Def. A subset of Φ is called a base if: (B1) is a basis of E, (B2) Every root β Φ can be written as β = k α α with integral coefficients k α all nonnegative or all nonpositive. When a base exists, clearly = l. The roots in are called simple roots. The height of a root β = k α α is htβ := k α. Define a partial order in E, such that λ µ iff λ µ is a sum of positive roots or 0. Then every root β Φ has either β 0 (positive) or β 0 (negative). The collection of positive roots (resp. negative roots) relative to is denoted Φ + (resp. Φ ). Obviously, Φ = Φ + Φ. Ex. Find a base for each of the root systems with l = 1 or 2. Determine the heights and partial orders of the roots w.r.t. the base. Lem 3.4. If is a base of Φ, then for any α β in, (α, β) 0 and α β is not a root. Proof. By (B2), α β cannot be a root. Therefore (α, β) 0 by Lemma 3.3. We will proves the existence and constructs all possible bases of Φ. Def. 1. A vector γ E is called regular if γ E α Φ P α, that is, no α Φ such that (γ, α) = 0; otherwise, γ is called singular. 2. For γ E, define Φ + (γ) := {α Φ (γ, α) > 0}, which consists of the roots lying on the positive side of P γ. 3. Call α Φ + (γ) decomposable if α = β 1 + β 2 for some β i Φ + (γ), indecomposable otherwise. Thm 3.5. Let γ E be regular. Then the set (γ) of all indecomposable roots in Φ + (γ) is a base of Φ, and every base is obtainable in this manner. Proof. It is proceeded in steps.

3.2. SIMPLE ROOTS AND WEYL GROUP 45 1. Each root in Φ + (γ) is a nonnegative Z-linear combination of (γ). Otherwise some α Φ + (γ) cannot be so written; choose α that minimizes (γ, α). Obviously, α (γ), so α = β 1 + β 2 for some β i Φ + (γ), whence (γ, α) = (γ, β 1 ) + (γ, β 2 ). The regularity of γ implies that (γ, β i ) < (γ, α), so that β 1 and β 2 must be Z-linear combinations of (γ), whence α also is, which is a contradiction. 2. If α, β (γ) and α β, then (α, β) 0. Otherwise α β Φ by Lemma 3.3. If α β Φ +, then α = (α β) + β is decomposable, contradicting α (γ); otherwise β α Φ +, which implies the contradiction that β = (β α) + α is decomposable. 3. (γ) is a linearly independent set. Otherwise r α α = 0 for α (γ), r α R and some r α 0. Seperating the positive coefficientss from the negative ones, we may rewrite it as sα α = t β β, where s α, t β > 0, and the sets of α s and β s are disjoint. Let ϵ := s α α. Then 0 (ϵ, ϵ) = α,β s α t β (α, β) 0. So that ϵ = 0 and 0 = (γ, ϵ) = s α (γ, α). The regularity of γ forces all s α = 0. Similarly, all t β = 0. (The argument shows that any set of vectors lying strictly on one side of a hyperplane in E and forming pairwise obtuse angles must be linearly independent.) 4. (γ) is a base of Φ. The regularity of γ implies that Φ = Φ + (γ) Φ + (γ). By (1), (γ) satisfies (B2) and spans Φ + (γ), whence it spans Φ and E. 5. Each base of Φ has the form (γ) for some regular γ E. Given, select γ E so that (γ, α) > 0 for all α. Then γ is regular and Φ + Φ + (γ), Φ Φ + (γ). So Φ + = Φ + (γ), and must consist of indecomposable elements. Hence (γ), which forces = (γ) since both are bases of E. The hyperplanes P α (α Φ) partition E into finitely many regions; the connected components of E α Φ P α are called the (open) Weyl chambers of E. Each regular γ E belongs to exactly one Weyl chamber, denoted C(γ). Lem 3.6. Weyl chambers are in 1-1 correspondence with bases, such that C(γ) (γ) for any regular γ E. Proof. Two chambers C(γ) = C(γ ) iff γ and γ lie on the same side of each hyperplane P α (α Φ), iff Φ + (γ) = Φ + (γ ), iff (γ) = (γ ). Write C( ) = C(γ) if = (γ), and call it the fundamental Weyl chamber relative to. So C( ) is the open convex set intersected by all positive sides of P α (α ), with P α (α ) as boundary wall; a vector β C( ) iff (β, α) > 0 for all α. The reflections in the Weyl group W can send a Weyl chamber onto any neighborhood chamber, whence W acts transitively onto Weyl chambers. It implies that W acts transitively on the bases: for any σ W, γ E regular, α E, (σγ, σα) = (γ, α), σ( (γ)) = (σ(γ)), σ(c(γ)) = C(σ(γ)).

46 CHAPTER 3. ROOT SYSTEMS 3.2.2 Further properties of simple roots Let be a base of a root system Φ in E. We list some useful auxiliary results on simple roots. Lem 3.7. If α is a non-simple positive root, then there is β such that α β is a positive root. Proof. If (α, β) 0 for all β, then {α} is a set of vectors lying strictly on one side (i.e. Φ + (γ)) of a hyperplane and be pairwise obtuse. Therefore, {α} is a linearly independent set, which is absurd. Hence (α, β) > 0 for some β, so that α β Φ. Clearly α β Φ +. Cor 3.8. Each positive root β Φ + can be written as α 1 + α 2 + + α k (α i, not necessarily distinct) such that each partial sum α 1 + + α i is a positive root. Proof. Use the lemma and induction on htβ. Lem 3.9. For any simple root α, the reflection σ α permutes the positive roots other than α. Proof. Let β Φ + {α} be expressed as β = γ k γγ (k γ N). Then k µ > 0 for some µ {α}. The root σ α (β) = β β, α α has a term k µ µ with positive coefficient k µ. Therefore, σ α (β) Φ + ; moreover, σ α (β) α since σ α ( α) = α. Cor 3.10. Let δ = 1 β. Then σ α (β) = δ α for all α. 2 β 0 Lem 3.11. Let σ 1,, σ t (not necessarily distinct). Write σ i = σ αi. If σ 1 σ t 1 (α t ) 0, then there is an index 1 s < t such that σ 1 σ t = σ 1 σ s 1 σ s+1 σ t 1. Proof. Write β i = σ i+1 σ t 1 (α t ), 0 i t 2, β t 1 = α t. Then β 0 0 and β t 1 0. We can find the least index s such that β s 0. Then σ s (β s ) = β s 1 0, and Lemma 3.9 implies β s = α s. Recall that σ σ(α) = σσ α σ 1 for σ W and α Φ (Lemma 3.2). Therefore, σ s = σ αs = σ βs = σ σs+1 σ t 1 (α t ) = (σ s+1 σ t 1 )σ t (σ t 1 σ s+1 ), which leads to σ 1 σ t = σ 1 σ s 1 σ s+1 σ t 1. Cor 3.12. If σ W is expressed as σ = σ 1 σ t, where σ i are reflections corresponding to simple roots and t is minimal, then σ(α t ) 0. 3.2.3 The Weyl Group We have made the one-to-one correspondence between bases and Weyl chambers of Φ. Now we show that the Weyl group W is generated by all simple relfections, and W acts simply transitively on Weyl chambers and bases. Thm 3.13. Let be a base of Φ. 1. If γ E is regular, then there is σ W such that (σ(γ), α) > 0 for all α. So W acts transitively on Weyl chambers. 2. If is another base of Φ, then σ( ) = for some σ W. So W acts transitively on bases. 3. If α is any root, then there is σ W such that σ(α).

3.2. SIMPLE ROOTS AND WEYL GROUP 47 4. W is generated by σ α (α ). 5. If σ satsifies that σ( ) =, then σ = 1. So W acts simply transitively on bases. Proof. Let W denote the subgroup generated by all σ α (α ). We prove the first three statements for W first; then show that W = W. 1. Let δ = 1 β and choose σ W for which (σ(γ), δ) is maximal. For every α, we have 2 β 0 σ α σ W so that (σ(γ), δ) (σ α σ(γ), δ) = (σ(γ), σ α (δ)) = (σ(γ), δ α) = (σ(γ), δ) (σ(γ), α). Hence (σ(γ), α) = (γ, σ 1 (α)) > 0 since γ is regular. 2. W permutes the Weyl chambers, hence it also permutes the bases. 3. It suffices to show that each root belongs to at least one base. For any root α Φ, we can choose γ closed enough to P α such that (γ, α) = ϵ > 0, but (γ, β) > ϵ for all β Φ {±α}. Then α (γ) by the construction of base (γ). 4. For each α Φ, there exists σ W such that β = σ(α). Then σ α = σ σ 1 (β) = σ 1 σ β σ W. Therefore, W contains all reflections σ α (α Φ) and hence W = W. 5. If σ satsifies that σ( ) = but σ 1, then σ can be expressed as a product of simple reflection(s) with minimal length, say σ = σ 1 σ t where σ i := σ αi, α i. Then Corollary 3.12 shows that σ(α t ) 0, which is a contradiction. Some additiona properties of Weyl group actions are listed below (See [Humphrey] for the proofs). When σ W is expressed as σ α1 σ αt (α i, t minimal), we call it a reduced expression, and call l(σ) := t the length of σ relative to ; we define l(1) := 0. Define n(σ) = number of positive roots α for which σ(α) 0. Lem 3.14. For all σ W, l(σ) = n(σ). The next lemma shows that each vector in E is W-conjugate to precisely one point of the closure of fundamental Weyl chamber C( ). Lem 3.15. Let λ, µ C( ). If σλ = µ for some σ W, then σ is a product of simple reflections which fix λ. In particular λ = µ. Ex. Discuss the simply transitive W-actions on Weyl chambers and bases for root systems A 2. 3.2.4 Irreducible Root Systems A root system Φ (resp. a base ) is called irreducible if it cannot be partitioned into the union of two proper orthogonal subsets, i.e. each root in one subset is orthogonal to each root in the other. Φ is irreducible iff any base is. Every root system can be expressed as a product of irreducible root systems. Lem 3.16. Let Φ be irreducible. Then W acts irreducibly on E. In particular, the W-orbit of a root α spans E.

48 CHAPTER 3. ROOT SYSTEMS Proof. Suppose E E is nonzero W-invariant subspace of E. Let E := (E ). Then E = E E. For any α Φ, the reflection σ α has dim 1 eigenspace Cα and dim(l 1) eigenspace P α. On the other hand, E is σ α -invariant, so that E is spanned by some eigenvectors of σ α. If α E, then all eigenvectors of σ α correspond to 1 eigenvalue, whence E P α and α E. This shows that every root in Φ is either in E or in E. However, Φ is irreducible. Therefore E = 0 and E = E. Lem 3.17. Let Φ be irreducible. Then at most two root lengths occur in Φ, and all roots of a given length are conjugate under W. Proof. Let α, β Φ be arbitrary roots. Since W(β) spans E (Lemma 3.16), there is σ W such that σ(β) is not orthogonal to α. If (α, β) 0, the possible ratios of squared root lengths of α, β are 1, 2, 3, 1/2, 1/3. Hence it is impossible to have three different root lengthes in Φ. Now suppose α and β have equal length. If α W(β), we may assume (α, β) 0 (otherwise, replace β by σ(β) for some σ W.) Then α, β = β, α = ±1. Replacing β (if needed) by β = σ β (β), we may asusme that α, β = 1. Then (σ α σ β σ α )(β) = (σ α σ β )(β α) = σ α ( β α + β) = α, which contradicts α W(β). Therefore α W(β). When Φ is irreducible with two distinct root lengths, we call them long roots and short roots respectively. When Φ is irreducible, each closed Weyl chamber contains exactly one root of each root length. (exercise) Lem 3.18. Let Φ be irreducible. Then there is a unique maximal root β relative to. In particular, for any α Φ, α β implies ht α < ht β, and (β, α) 0 for all α ; if β = k αα, then all k α > 0. Moreover, if Φ has two distinct root lengths, then β is a long root. Proof. Let β = k αα be a maximal root relative to. Then β 0, so that each k α 0. Denote 1 = {α k α > 0}, 2 = {α k α = 0}. Then = 1 2. If 2, then by the irreducibility of Φ and, we can find α 1 1 and α 2 2 such that (α 1, α 2 ) < 0. Therefore, (β, α 2 ) < 0, whence β + α 2 Φ, a contradiction to the maximality of β. So all k α > 0. The above argument shows that (β, α) 0 for all α. Moreover, at least one (β, α) > 0 since β is a positive linear combination of all α. Now if β is another maximal root, then (β, β ) > 0 so that β β is a root unless β = β. However, β β cannot be a root since otherwise β β or β β. Therefore, β = β is unique. Finally, if Φ has two root lengths, then for any α C( ), we have β α 0, so that (γ, β α) 0 for any γ C( ). Let γ := β, then (β, β) (β, α); let γ := α, then (β, α) (α, α). Therefore, (β, β) (α, α). Since every root is W-conjugate to a root in C( ) with the same root length, β must be a long root.