MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $p:E \to B$ be a fiber bundle over a triangulated base $B$ with fiber $F$, $\sigma$ simplex in $B$, $\sigma \mapsto H_{*}(p^{-1}(\sigma)) \simeq H_{*}(F)$ the obvious map and let $\mathcal{S}$ be the category of simplices in $B$ with inclusions.

Then $\sigma \hookrightarrow \tau$ in $\mathcal{S}$ gives us a map $\mathcal{S} \to H_{*}(p^{-1}(\sigma)) \to H_{*}(p^{-1}(\tau))$. Ie, a morphism in $\mathcal{S}$ gives us an element of $End(H_{*}(F))$

What I'd like to do in this set-up is now construct a map $H_{*}(\Omega B) \to End(H_{*}(F))$ using something like the monodromy representation.

(1) Does this map exist? I'd really love to see a construction.

(2) If the answer to (1) is "yes", is this then a map of $A_{\infty}$-algebras?

Details would be most welcome - this kind of thing is hard to track down in the literature...

share|cite|improve this question
up vote 2 down vote accepted

I think one can do something like the following. Let $M = map([0,1], B)$ and $e:M \to B$ be evaluation at 0: this is a Hurewicz fibration and a homotopy equivalence. Now form the pullback fibration $e^*E \to M$, and consider the composite $\bar{E} := e^*E \to M \to B$. This is a fibration fibrewise homotopy equivalent to your original one, and a point in the fibre $\bar{F}_b$ over $b \in B$ is a path $\gamma$ from $b$ to a $b_1$ and point in $p^{-1}(b_1)$. There is an evident $A_\infty$ action of the $A_\infty$ space $\Omega_b B$ on this fibre by composing $\gamma$ with loops at $b$.

Thus there is an $A_\infty$ map $\Omega_b B \to End(\bar{F}_b)$, which should give you what you want.

Doing the usual Moore loop tricks, one can find an equivalent fibration with an actual action of the grouplike monoid of Moore loops $\Lambda_b B$.

share|cite|improve this answer

I would say such a map exists, but the target is the homology of the H-space of homotopy autoequivalences of the fiber. In the smooth case (i.e. when the fiber, the base and the total space are smooth manifolds) such a map exists on the level of H-spaces: one can equip the bundle with a connection and the resulting holonomy gives a map of H-spaces from $\Omega B$ to the autoequivalences of $F$. Then one can take the resulting homology map. I'm pretty sure there is a simplicial analog of this.

share|cite|improve this answer

I don't remember the details, but this is pretty much what K. Igusa does as the first step in his construction of higher Franz-Reidemeister torsion invariants. Have a look at his book and some of the papers on the arXiv (arXiv:math/0212383 and arXiv:math/0303047).

share|cite|improve this answer
This is one of the questions I wrote in my notes from reading that book last year. But I think the higher torsion construction is too fancy for this question and doesn't exactly address the above (at least I didn't think it did last year....). I'll look in there again, though. – Romeo Sep 15 '10 at 21:11

Your Answer


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.