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

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+k1dimHk(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)=k2dim(π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.

Sources & referencesView supporting material

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.