Homology of bundles over a triangulated base and A∞A_\infty-algebras

Let p:EB be a fiber bundle over a triangulated base B with fiber F, σ simplex in B, σH(p1(σ))H(F) the obvious map and let S be the category of simplices in B with inclusions.

Then στ in S gives us a map SH(p1(σ))H(p1(τ)). Ie, a morphism in 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(ΩB)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-algebras?

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


I think one can do something like the following. Let M=map([0,1],B) and e:MB be evaluation at 0: this is a Hurewicz fibration and a homotopy equivalence. Now form the pullback fibration eEM, and consider the composite ˉE:=eEMB. This is a fibration fibrewise homotopy equivalent to your original one, and a point in the fibre ˉFb over bB is a path γ from b to a b1 and point in p1(b1). There is an evident A action of the A space ΩbB on this fibre by composing γ with loops at b.

Thus there is an A map ΩbBEnd(ˉFb), 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 ΛbB.

Source : Link , Question Author : Romeo , Answer Author : Oscar Randal-Williams

Leave a Comment