My feeling is that Charles is on the right track with the answer above. But rather than looking for a counterexample, I think we should have a go at correcting the original question.
Now I'm not quite sure over which rings the next statements work, possibly only over rings over a field of char 0. Perhaps someone knows the details better than I, but to make it work will probably require working with simplicial algebras as these carry a model structure over any ring.
The cochains of X carry a dg-algebra structure A. Since ΩX is the homotopy pullback of • → X ← • and taking cochains should preserve the relevant (co)limits (can someone help me here), then the cochains ring of ΩX is the homotopy pushout of k ← A → k, that is, the derived tensor product. We can then take cohomology.
For the next bit we probably do need characteristic 0. The cochains ring will be rather large, so to keep track of things we could take the cohomology, but remember the higher operations. Then as an infinity ring the cohomology H(A) will be quasi-isomorphic to A (which isn't necessarily true if we don't remember the higher operations). Then with that in mind we can calculate the derived form of k ⊗_H(A) k. Its cohomology should be the cohomology of the loop space.
It would be nice to have a counterexample though, how about complements of links, the cohomology rings aren't so bad to calculate (only depending on the number of links over the rationals at least). What about the loop spaces?
No comments:
Post a Comment