Conjecture on the Euler characteristic of finite CW-complexes

About 13 years old · traced to

Let XX be a simply-connected finite CW-complex, let k{\Bbbk} be a field, and let i:ΩX→LXi:\Omega X\rightarrow LX be the inclusion of based loops into free loops. Suppose that

H∗(i;k):H∗(LX;k)⟶H∗(ΩX;k)H^*(i;{\Bbbk}):H^*(LX;{\Bbbk})\longrightarrow H^*(\Omega X;{\Bbbk})

is onto. The conjecture. Then χ(X)\chi(X) is zero modulo the characteristic of k{\Bbbk}, or H∗(X)≅kH_*(X)\cong {\Bbbk}. This predicts a restriction on the Euler characteristic, or homology, of XX under surjectivity of the cohomology map induced by the inclusion of based loops. The source gives no resolution of the conjecture.

References

Primary source

Luc Menichi, “String Topology, Euler Class and TNCZ free loop fibrations”, arXiv:1308.6684 (2013).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.