Relative Hilali conjecture for maps

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

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

and

Pfπ(t)=i2tidimKer(π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,

i2dimKer(πi(f)Q)1+i2dimKerHi(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.

Sources & referencesView supporting material

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.