The flag upper bound conjecture for odd-dimensional spheres

About 8 years old · traced to

Let Jm(n)J_m(n) be the simplicial (2m−1)(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 (2m−1)(2m-1)-sphere with nn vertices, then

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

for all 1≤i≤2m−11\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.

References

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.