Hilali's conjecture for mixed Hodge and homotopical Poincaré polynomials

About 6 years old · traced to

Let XX be the space under consideration, with Poincaré polynomial PX(t)P_X(t) and homotopical Poincaré polynomial PXπ(t)P^{\pi}_X(t). At (t,u,v)=(1,1,1)(t,u,v)=(1,1,1), these satisfy

MHX(1,1,1)=PX(1)=1+∑k≧1dim⁡Hk(X;C),MH_X(1,1,1)=P_X(1)=1+\sum_{k\geqq 1}\dim H_k(X;\mathbb C), MHXπ(1,1,1)=PXπ(1)=∑k≧2dim⁡(πk(X)⊗C).MH^{\pi}_X(1,1,1)=P^{\pi}_X(1)=\sum_{k\geqq 2}\dim(\pi_k(X)\otimes\mathbb C).

Hilali conjecture. The homotopical Poincaré polynomial is bounded above by the Poincaré polynomial:

PXπ(1)≦PX(1),P^{\pi}_X(1)\leqq P_X(1),

i.e., MHXπ(1,1,1)≦MHX(1,1,1)MH^{\pi}_X(1,1,1)\leqq MH_X(1,1,1). This has been proved for many classes of spaces, including smooth complex projective varieties and symplectic manifolds, but remains open in general.

References

Primary source

Shoji Yokura, “Local comparisons of homological and homotopical mixed Hodge polynomials”, arXiv:2003.01976 (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.