Consider the fundamental group $\pi_1(\mathbb{CP}^1\backslash \{a_1, \ldots, a_n\})$. It is said that there is a representation: $\pi_1(\mathbb{CP}^1\backslash \{a_1, \ldots, a_n\}) \to GL(n, \mathbb{C})$. I am confused with the order of these two groups. Since $\pi_1(\mathbb{CP}^1\backslash \{a_1, \ldots, a_n\}) \simeq \mathbb{Z}^{n-1}$, the order of this group is infinite. What is the order of the group $GL(n, \mathbb{C})$? Is the order of the group $GL(n, \mathbb{C})$ larger than the order of $\mathbb{Z}^{n-1}$?
Representation of a fundamental group.
0
$\begingroup$
algebraic-topology
representation-theory
-
1That is not what the fundamental group of that space is. Also, yes, the order of $GL(n,\mathbb{C})$ is $2^{\aleph_0}$, which is strictly larger than the order of $\mathbb{Z}^{n-1}$, and also strictly larger than the order of what the fundamental group actually is. – 2012-03-06
-
1It should be pointed out that a representation doesn't have to have the same order as the group. For example, the map g $\mapsto$ Id is a rep. – 2012-03-06
1 Answers
2
Well, the cardinality of $\mathrm{GL}_n(\mathbb{C})$ is the same as that of the continuum $\mathbb{R}$, which is bigger than both that of $\mathbb{Z}^{n-1}$ and the fundamental group you are interested in (the free group on $n-1$ generators); these have the cardinality of $\mathbb{Z}$.
-
0Didn't notice Chris' comment in time... – 2012-03-06
-
0Probably important to really emphasize to the thread creator is that a disk with $n-1$ holes is homotopy equivalent to the wedge of $n-1$ circles. Hence its fundamental group is the free group on $n-1$ generators, NOT TO BE CONFUSED with the free ABELIAN group on $n-1$ generators. (Same universal property, but in wildly different categories) – 2012-03-06
-
1Hey you, it wasn't emphasized enough? I thought I was being polite! – 2012-03-07
-
0It's just something that I didn't fully realize right away when I was seeing this stuff for the first time. So now I yell it at people :) By the way, how do you italicize? – 2012-03-07