[Math] What does “higher monodrothe” tell us about a principal bundle

at.algebraic-topologyhomotopy-theorymonodromyprincipal-bundlesvector-bundles

Let $P \to X$ be a principal $G-$bundle and let $f: X \to BG$ be its classifying map. As I understand there's some way to associate a monodromy representation $\pi_1(X) \to G$ to it. I know how to construct such a presentation out of a principal connection on $P$ by taking an appropriate quotient of the holonomy representation but I failed in the past weeks to find a source that defines a purely topological construction of this representation.

Question 1: Where can I find the definition and some elementary topological treatment of the
monodromy representation associated to a principal bundle?

Extending the classifying map $f$ to a fiber sequence gives:

$$\cdots\to \Omega G \to \Omega E_f \to \Omega X\to G \to E_f \to X \to BG$$

Where $E_f=\{(x,\gamma)\in X \times Y^I:\gamma(1)=f(x)\}$.

Question 2: How is the map $\Omega X \to G$ above related to the usual notion of monodromy represnetation (which i'm unfamiliar with) of the
the principal bundle $P\to X?$ How does it relate to the holonomy representation of a given connection?

My naive attempt continues by taking the fundamental group of the sequence above to get the following long exact sequence of groups:

$$\cdots \to \pi_2(G) \to \pi_2(E_f) \to \pi_2(X)\to \pi_1(G) \to \pi_1(E_f) \to \pi_1(X) \to \pi_0(G)$$

Since the procedure was very natural I imagine the above sequence must yield some important information about the principal bundle at hand. For example ff $X$ is weakly contractible the above gives another motivation for why every fiber bundle on $X$ is trivial.

Question 3: To what extent does the above "higher monodromy sequence" determine the principal bundle $P \to X$?

Best Answer

There is a monodromy of sorts for any topological bundle (or even fibration) $\pi \colon E \to X$ with fiber $F$. Let $\gamma \colon [0,1] \to X$ be a path and set $F = \pi^{-1}(\gamma(0))$. The homotopy lifting property applied to the square $$ \begin{array}{ccc} F & \hookrightarrow & E \\ \downarrow & & \downarrow \\ F \times [0,1] & \xrightarrow{ \gamma \circ \pi_2 } & X \end{array} $$ yields a map $h \colon F \times [0,1] \to E$ with $h(x,0)=x$ and covering the homotopy $\gamma \circ \pi_2$. If $\gamma$ is a loop, then you can regard the map $m \colon F \to F$ defined by $x \mapsto h(x,1)$ as a monodromy map. The map $m$ is not well defined as it depends on a choice of lift, but any two choices of lift are fiber homotopic (again by the homotopy lifting property). You can do the procedure above for all loops at the same time, by applying homotopy lifting to the square $$ \begin{array}{ccc} F \times \Omega X & \xrightarrow{i} & E \\ \downarrow & & \downarrow \\ F \times \Omega X \times [0,1] & \xrightarrow{ j } & X \end{array} $$ with $i(x,\gamma)=x$ and $j(x,\gamma,t)=\gamma(t)$ to get a "monodromy representation" $$ m \colon \Omega X \times F \to F$$ Again this is not unique, but it is "homotopy unique". More precisely $m$ can be extended to an $A_\infty$-action of $\Omega X$ on $F$ (this means an action up to homotopy, together with the data of the homotopy and in fact higher homotopies) which is essentially equivalent to the data of the fibration $E \to X$. In the case of a principal bundle you get an $A_\infty$ map $m \colon \Omega X \to G$ (which is loops on the classifying map $X \to BG$).

Your "higher monodromy" is just the effect of the map $m \colon\Omega X \to G$ (the connecting map in the fiber sequence) on homotopy groups and as such it is a pale reflection of the map itself (although it does contain some information about it). In general it is pretty far from determining the bundle.

To address your second question, any choice of connection (even of Ehreshman connection on a not necessarily principal fiber bundle) will give you a specific way to lift (smooth) paths and hence a specific choice of the monodromy map $m$ above. The topological story described above is, in a sense, what all these geometric monodromies have in common.

At the moment I can't really give you references for the claims above but I will try to get back to it when I can.