5
votes
2answers
96 views

Principal $\mathrm{SL}_n$-bundles

It seems to be well-known that a principal $\mathrm{SL}_n$-bundle on a scheme or manifold $X$ is the same as a vector bundle of rank $n$ whose determinant is a trivial line bundle. One direction is ...
2
votes
1answer
67 views

Characteristic classes not defined on vector bundles

If you read the definition on Wikipedia, you'll see that they allow characteristic classes to be defined on general principal $G$-bundles (vector bundles being subsumed in this general case by looking ...
1
vote
0answers
55 views

morphisms of principal bundles with different structure groups

Let $f \,: X \to Y$ be a continuous map between spaces. Let $G$ and $H$ be topological groups. Consider the diagram: \begin{equation} \label{} \begin{array}{ccccccccccccccccccccccccccccccc} E_G ...
1
vote
0answers
63 views

extending maps from spaces to their whitehead towers

Let $f \,: X \to Y$ be a map between connected spaces. Let: $$ X^{(k)} \to \ldots \to X^{(0)} \approx X $$ and $$ Y^{(k)} \to \ldots \to Y^{(0)} \approx Y $$ be whitehead towers for $X$ and $Y$. What ...
5
votes
1answer
56 views

When can a connection be lifted?

Let $P \rightarrow X$ be a principal $G$-bundle, and $P' \rightarrow X'$ be a principal $G'$-bundle. Let $(f',f'')$ be a morphism from $P'$ to $P$, i.e., a pair of maps $f': P' \rightarrow P$ and ...
4
votes
1answer
310 views

Intuition of Chern-Weil theory

Let $ P \rightarrow M$ be a $G$-principal bundle. The lie algebra of $G$ is $\frak{g}$ and $P$ has connection form $\omega \in H^1(P,\frak{g})$ and curvature form $\Omega \in H^2(P,\frak{g})$. We ...
1
vote
0answers
70 views

Principal $G$-bundles as pull back bundles.

Let $G$ be a compact Lie group and consider a $G$-universal bundle $\pi: EG \to BG $ where $BG$ is the classifying space for the goup $G$ and the bundle $\pi: EG \to BG $ is defined as the principal ...
2
votes
2answers
101 views

Universal property of universal bundles.

A classifying space for a group $G$ is a topological space $BG$ with a principle $G$-bundle $p : EG \to BG$ where $EG$ is contractile, so that $BG = EG/G$. A classifying space is universal in the ...
4
votes
1answer
112 views

Classifying map

Let $\xi=(E,p,B)$ a principal $G$-bundle and $\eta=(P,\pi,Q)$ a real vector bundle such that $\operatorname{rank}(\eta)=n$. We can consider a classificant space $BG$. What is the classifying map $f:X ...
10
votes
1answer
218 views

Why base point makes a huge difference?

While preparing a talk, I was tempted to "prove" the following relationship: $$\text{Prin}_{G}(X)\cong [X,BG]\cong [B[\pi_{1}(X),BG]\cong [\Omega B[\pi_{1}(X)],\Omega BG]\cong [\pi_{1}(X),G]$$ Here ...
12
votes
1answer
410 views

Local triviality of principal bundles

Suppose I define a principal $G$-bundle as a map $\pi: P \to M$ with a smooth right action of $G$ on $P$ that acts freely and transitively on the fibers of $\pi$. Does it follow that $P$ is locally ...