Relative Hilali conjecture for maps

About 6 years old · traced to

Let f:X→Yf:X\to Y be a continuous map between simply connected elliptic spaces. Let

Pf(t)=1+∑i≥2tidim⁡Ker⁡Hi(f;Q),P_f(t)=1+\sum_{i\geq 2}t^i\dim\operatorname{Ker}H_i(f;\mathbb Q),

and

Pfπ(t)=∑i≥2tidim⁡Ker⁡(πi(f)⊗Q).P_f^{\pi}(t)=\sum_{i\geq 2}t^i\dim\operatorname{Ker}(\pi_i(f)\otimes\mathbb Q).

Relative Hilali conjecture. The inequality

Pfπ(1)≤Pf(1),P_f^{\pi}(1)\leq P_f(1),

that is,

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

should hold. The conjecture was proposed in earlier work and has been proved in some cases; its general validity remains unresolved in the stated source.

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.