The flag upper bound conjecture for odd-dimensional spheres

Let Jm(n)J_m(n) be the simplicial (2m1)(2m-1)-sphere on nn vertices obtained as the join of mm cycles, each having either n/m\lfloor n/m\rfloor or n/m\lceil n/m\rceil vertices. Flag upper bound conjecture. If Δ\Delta is a flag (2m1)(2m-1)-sphere with nn vertices, then

fi(Δ)fi(Jm(n))f_i(\Delta)\leq f_i(J_m(n))

for all 1i2m11\leq i\leq 2m-1. Furthermore, if equality holds for some ii, then Δ=Jm(n)\Delta=J_m(n). The source discusses this as the flag analogue of the upper bound theorem; it does not give a general resolution.

Sources & referencesView supporting material

Primary source

Hailun Zheng, “Face enumeration on flag complexes and flag spheres”, arXiv:1809.06835 (2018).

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.