Classification of line bundles by group homomorphisms from the fundamental group to $\mathbb{Z}_2$

674 Views Asked by At

Let $X$ be a path-connected manifold. Then by the classification of vector bundles, the collection of all (real) line bundles on $X$ is $$ \text{Vect}^1(X)\cong [X,BO(1)]=[X,\mathbb{R}P^\infty]=[X,B\mathbb{Z}_2] $$ where $\mathbb{Z}_2=\{\pm 1\}$ under multiplication.

Question. Are there any results/references giving that

$$ \text{Vect}^1(X)\cong \text{Hom}(\pi_1(X), \mathbb{Z}_2)? $$ Whether can we just take loop space $$ [X,B\mathbb{Z}_2]=[\Omega X,\Omega B\mathbb{Z}_2] =[\pi_1(X), \mathbb{Z}_2] $$ or not?

1

There are 1 best solutions below

3
On BEST ANSWER

In general,

$$[X, K(G, n)] \cong H^n(X; G)$$

where $K(G, n)$ is an Eilenbeg-MacLane space (see Theorem $4.57$ of Hatcher's Algebraic Topology).

In particular, if $G$ is equipped with the discrete topology, then $BG$ is a $K(G, 1)$ so

$$[X, BG] \cong [X, K(G, 1)] \cong H^1(X; G).$$

On the other hand, for an abelian group $G$,

$$H^1(X; G) \cong \operatorname{Hom}(\pi_1(X), G).$$

This isomorphism follows from the Universal Coefficient Theorem for cohomology (see the argument given in the first paragraph of this answer which uses $G = \mathbb{Z}$, but will work for any abelian group $G$).

Therefore,

$$\operatorname{Vect}^1(X) \cong [X, B\mathbb{Z}_2] \cong H^1(X; \mathbb{Z}_2) \cong \operatorname{Hom}(\pi_1(X), \mathbb{Z}_2).$$

Note, none of the above required $X$ to be a manifold.