1 views

Uploaded by Toto de Dauphine

save

- Matlab
- AHS 2007 AMaths P1
- Section 8.9.2 Both Fluids Mixed
- Dupont Fibre Bundles
- Craft
- 29
- FDMcode
- Notes on Oleksyn's Programming
- Homework 1 (Solution)
- altop
- Matlab Coding -- First Slopes
- MATLAB-2
- Scilab Basics
- MatlabOutline.pdf
- An introduction to Octave
- Linear Algebra
- Derivations of Applied Mathematics
- Hmwk01_APAM4300
- MATLAB basics
- Mathematics 1
- mls
- DEES Science II (1).docx
- CSE135-07
- ATC Syllabus
- ConvectionDiffusionLab2010-10-25
- Technique to Construct Trend Free Ffd Using Some Linear Codes
- Sow Maths f5 2015
- Space Matrix
- MC0066 Assignment
- Kaabar - A first course in linear algebra.pdf
- M507_HW_12
- M507_HW_13
- M507_HW_3
- M507_HW_9
- M507_HW_6
- M507_HW_7
- M507_HW_5
- Depth
- M507_HW_4
- M507_HW_11
- M507_HW_1
- Brezis H., TD de Analyse Fonctionelle
- M507_HW_2
- M507_HW_8

You are on page 1of 2

Matthias Strauch

**M 507 Lie Algebras - Homework 10
**

If not stated otherwise, F denotes an algebraically closed field of characteristic zero, all Lie algebras are

finite-dimensional Lie algebras over F , and all F -vector spaces are finite-dimensional.

(1) Consider the Cartan matrix (of size n n) for the root system of type An :

2 1 0

0

1

2

1

0

0 .1 2. 1

C .

..

..

..

..

.

0

0

...

...

0

...

1

0

...

...

...

...

2

1

0

0

0

..

.

1

. .. 2 0 1 .. . 1 2 pn Deduce from this that the group Zn {CZn is cyclic of order n group of the root system of type An is cyclic of order n 1. . . 0 . . . .. .. and permuting rows) one can obtain a matrix of the type 1 2 1 0 0 1 2 1 . ... . 0 0 0 ...... C1 ... 1 0 0 .. 2 Show that by performing elementary row operations on C (adding an integral multiple of one row to another row. . .. . .... 1q . . . ... .

. and indicate some points of the weight lattice Λ Zλ1 Zλ2 . Can you see that the mesh spanned by a base of Φ has three times the area of the mesh tt1 λ1 t2 λ2 | ti P r0. λ2 q. (4) For Φ of type A2 . (a) (Iwasawa decomposition. indicate some points of the root lattice Λr ZΦ (the group generated by Φ). 1. where U P SUpnq tX P ¯ 1n u. Conclude that the fundamental (2) Draw a (nice!) picture of the root system Φ A2 (with correct lengths and angles1). We write SLn pCq SUpnqB and call this the Iwasawa decomposition of SLn pCq. 1su spanned by λ1 and λ2 ? (3) If λ P Λ . Πpλ2 q and Πpλ1 sets (similar to the picture in problem 2. draw in this picture the fundamental weights λ1 and λ2 . Draw pictures of these (5) 2 SLn pCq is simply connected. continued ÝÑ 1it is recommended to use an extra sheet of paper for this exercise 2optional . determine explicitly the sets Πpλ1 q. and B is an upper triangular matrix (with complex entries) having positive SLn pCq | X T X real entries on the diagonal (and determinant one). prove that the set Πpλq consisting of all dominant weights µ λ and their W-conjugates is saturated.) Use the Gram-Schmidt process (for the hermitian vector space Cn ) to show that any A P SLn pCq can be written uniquely as A U B. but on a different sheet). We denote the subgroup of SLn pCq consisting of such matrices B by B.

. . (Hint: consider the canonical map SLn pCq Ñ PGLn pCq.) Apply the long exact sequence of homotopy groups (sets) . . . respectively. (c) The group PGLn pCq is defined to be the quotient of GLn pCq by its center C 1n .) Remark. (a) Show that the center of SLn pCq is µn 1n SUpnq.Comments. The groups SLn pCq{Γ (Γ a subgroup of the center of SLn pCq) give a complete set of linear algebraic groups (over C) that are simple in the sense of algebraic groups and that have as Lie algebra the Lie algebra of type An1 . . i. . . The ’extreme’ cases SLn pCq (trivial fundamental group) and PGLn pCq (maximal possible fundamental group) are called the simply connected group of type An1 and the adjoint group of type An1 . . (It is even a locally trivial fibre bundle with general fiber SUpn 1q. corrections and queries can be sent to me at mstrauch@indiana.e. is a Serre fibration. show that π1 pSLn pCq{Γq Γ.e. PGLn pCq GLn pCq{C ..edu (b) Show that the group B is contractible. i. Show that the stabilizer of e1 P S 2n1 is precisely " 1 0 0 C * | C P SUpn 1q SUpn 1q . ÝÑ π1 pSUpn 1qq ÝÑ π1 pSUpnqq ÝÑ π1 pS 2n1 q ÝÑ . A ÞÑ Ae1 . Show that the same is true for (b) If Γ is a subgroup of the center of SLn pCq. that its underlying topological space (a subspace of 2 Mn pCq Cn ) is contractible. 3optional . |zn|2 1u invariant. Use part (a) to show that SLn pCq is simply connected. znq P Cn | |z1|2 . and deduce (by induction on n) that SUpnq is simply connected. tζ 1n | ζ n 1u. . . Show that π1 pPGLn pCqq is cyclic of order n. . (6) 3 Fundamental groups of quotients SLn pCq. (c) Verify that the action of SU pnq on Cn leaves S 2n1 tpz1. It follows that the map SUpnq Ñ S 2n1 .

- MatlabUploaded byRoshan Patroo
- AHS 2007 AMaths P1Uploaded byMINGHUI86
- Section 8.9.2 Both Fluids MixedUploaded bydrdoak123
- Dupont Fibre BundlesUploaded byrussianphysicsguy
- CraftUploaded bydhia_albrihi
- 29Uploaded byEpic Win
- FDMcodeUploaded byclhs8860
- Notes on Oleksyn's ProgrammingUploaded byPete Jacopo Belbo Caya
- Homework 1 (Solution)Uploaded byRene Carrillo
- altopUploaded byrberkeley47
- Matlab Coding -- First SlopesUploaded byTheodor Munteanu
- MATLAB-2Uploaded byjohnanother
- Scilab BasicsUploaded by'babi Mulugeta
- MatlabOutline.pdfUploaded bytkortiz24
- An introduction to OctaveUploaded byهانى خير
- Linear AlgebraUploaded bytebaaan
- Derivations of Applied MathematicsUploaded byBojan Vivoda
- Hmwk01_APAM4300Uploaded byRenzo Alexander Montoya Morales
- MATLAB basicsUploaded bySajith Nawarathne
- Mathematics 1Uploaded byBlepharitisMgdEyebag
- mlsUploaded byEnrique Garcia
- DEES Science II (1).docxUploaded byBernie Mac
- CSE135-07Uploaded byswapnojal
- ATC SyllabusUploaded byVigneshShunmugam
- ConvectionDiffusionLab2010-10-25Uploaded byMehdi
- Technique to Construct Trend Free Ffd Using Some Linear CodesUploaded byPuja Thapliyal
- Sow Maths f5 2015Uploaded byTiviya Tarini Maniam
- Space MatrixUploaded byChris
- MC0066 AssignmentUploaded byDeekshith Shetty
- Kaabar - A first course in linear algebra.pdfUploaded byobakkando

- M507_HW_12Uploaded byToto de Dauphine
- M507_HW_13Uploaded byToto de Dauphine
- M507_HW_3Uploaded byToto de Dauphine
- M507_HW_9Uploaded byToto de Dauphine
- M507_HW_6Uploaded byToto de Dauphine
- M507_HW_7Uploaded byToto de Dauphine
- M507_HW_5Uploaded byToto de Dauphine
- DepthUploaded byToto de Dauphine
- M507_HW_4Uploaded byToto de Dauphine
- M507_HW_11Uploaded byToto de Dauphine
- M507_HW_1Uploaded byToto de Dauphine
- Brezis H., TD de Analyse FonctionelleUploaded byToto de Dauphine
- M507_HW_2Uploaded byToto de Dauphine
- M507_HW_8Uploaded byToto de Dauphine