Hilali's conjecture as the contractible-target case

At least 5 years old · documented by

Let XX be a simply connected elliptic space, and define

PX(t)=∑i≥0tidim⁡Hi(X;Q),PXπ(t)=∑i≥1tidim⁡(πi(X)⊗Q).P_X(t)=\sum_{i\geq 0}t^i\dim H_i(X;\mathbb Q),\qquad P_X^{\pi}(t)=\sum_{i\geq 1}t^i\dim(\pi_i(X)\otimes\mathbb Q).

Hilali's conjecture. The inequality

PXπ(1)≤PX(1),P_X^{\pi}(1)\leq P_X(1),

that is,

∑i≥2dim⁡(πi(X)⊗Q)≤1+∑i≥2dim⁡Hi(X;Q),\sum_{i\geq 2}\dim(\pi_i(X)\otimes\mathbb Q)\leq 1+\sum_{i\geq 2}\dim H_i(X;\mathbb Q),

should hold. This is identified in the paper as the special case of the relative Hilali conjecture when the target is a point or contractible; the source also discusses the broader Hilali conjecture above.

References

Primary source

Toshihiro Yamaguchi and Shoji Yokura, “Poincaré polynomials of a map and a relative Hilali conjecture”, arXiv:2007.01490 (2020).

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.