Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $G$ be a compact connected Lie group and let $T$ be a maximal torus of $G$, with Lie algebras $\frak{g}$ and $\frak{t}$ respectively. Then, $\frak{t}$ can be considered as a Cartan subalgebra of $\frak{g}$. It is known that the kernel of exponential map $exp : \frak{t} \to$ $T$ is the lattice of all integral weights of $\frak{g}$, i.e. weihts $\lambda \in (it)^*$ such that $\lambda(H)\in 2\pi i\mathbb{Z},$ whenever $exp H= I$ for $H\in\frak{t}$.

I have the following questions:

1) What is the relation between the first fundamental group $\pi_{1}(G)$ of $G$ with the integral lattice described above? I am trying to find any good references about this fact, but it seems difficult.

2) How we can use the fibration $T\to G$$\to G/T$ to compute $\pi_{1}(G/T)$? (answered)

3) What we can say about the second homotopy group $\pi_{2}(G)$? (answered)

4) Is it true, that if $G$ is semisimple, then $\pi_{1}(G)$ is finite? (answered)

Thank you!

share|improve this question
    
Due to partial answer of Jesper Grodal, mainly I am looking forward to answers for the first question. Thank you –  314159. Feb 2 '12 at 18:22
    
Is there any second, third... fundamental group? –  Fernando Muro Feb 2 '12 at 20:25
    
.....just read 1) –  314159. Feb 2 '12 at 21:08
    
@math3.14159: You're missing the point. What you mean is called "second/third/... homotopy group". The name "fundamental group" is reserved for the first homotopy group. –  Johannes Hahn Feb 3 '12 at 21:09
add comment

6 Answers

A good reference for 1) is Bourbaki: Lie groups and Lie algebras Chapter 9. See in particular Section 4.6.

In particular it follows that 2) $\pi_1(G/T) = 0$ and that 4) $\pi_1(G)$ is finite if and only if $G$ is semisimple.

Concerning 3) $\pi_2(G) = 0$ always, which is a theorem of Cartan. I don't recall Cartan's proof, but it follows from Bott's analysis of the cell structure of G/T, and can also be proved using that $H^*(G)$ is a Hopf algebra (See Browder: Torsion in H-spaces. Ann. of Math. (2) 74 1961 24–51.).

share|improve this answer
add comment
up vote 2 down vote accepted

One can also check Daniel Bump's book:

Lie Groups (Graduate Text in Mathematics, Springer 2004)

I found some nice proofs of the above arguments at pages 146-181.

link text

Thanks

share|improve this answer
add comment

Jesper Grodal's reference to Bourbaki is a reasonable one for these questions, including 1). There are also two volumes in the Springer GTM series which treat many aspects of compact Lie groups, including the book by Bump indicated and the earlier text GTM 98 (1985) by Brocker & Tom Dieck on Representations of Compact Lie Groups where V.7 treats the fundamental group and related matters thoroughly. Naturally the notation differs somewhat in such sources, but the answers to the questions raised here are all standard and arise from early work of Cartan, Weyl, and others. In general, the topology of a semisimple Lie group depends just on the topology of a maximal compact subgroup.

In the setting of abstract root systems, motivated by the theory of semisimple Lie groups over the complex field and their Lie algebras or by compact semisimple Lie groups, the notion of "fundamental group" focuses on the quotient of the abstract weight lattice by the abstract root lattice. In semisimple groups or Lie algebras, the actual weight lattice (or character group) of a maximal torus can vary from the root lattice to the full abstract weight lattice, but the quotients in any case are finite and easily computable for each simple type. Moreover, the abstract fundamental group for a given root system is realized internally as the center of a simply connected group.

share|improve this answer
add comment

The fundamental group $\pi_1(G)$ is isomorphic to the quotient of the integral lattice by the inverse roots.

A nice exposition (also including answers to the other questions) is in Chapter V (7) of "Broecker , tom Dieck - Representations of compact Lie groups (Springer 1985)."

share|improve this answer
add comment

Question 3 has also been answered in here.

share|improve this answer
    
thanks, here is given a great discussion !!!! –  314159. Feb 28 '12 at 18:04
add comment

Regarding Q3, one more explanation of why $\pi_2(G)=0$ (which is similar to what Claudio Gorodski points out above) can be found here. A nice observation made there is that one can use the same arguments to show that $\pi_3(G)$ is torsion-free! (which I guess was not in your list of facts about homotopy of compact Lie groups).

share|improve this answer
    
yes, this is a very important result@@, thanks for your comment –  314159. Feb 28 '12 at 18:06
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.