• 1 Department of Mathematics [Cornell]
• 2 DePaul University [Chicago]

[en]
We present examples of flag homology spheres whose $\gamma$-vectors satisfy the Kruskal-Katona inequalities. This includes several families of well-studied simplicial complexes, including Coxeter complexes and the simplicial complexes dual to the associahedron and to the cyclohedron. In these cases, we construct explicit flag simplicial complexes whose $f$-vectors are the $\gamma$-vectors in question, and so a result of Frohmader shows that the $\gamma$-vectors satisfy not only the Kruskal-Katona inequalities but also the stronger Frankl-Füredi-Kalai inequalities. In another direction, we show that if a flag $(d-1)$-sphere has at most $2d+3$ vertices its $\gamma$-vector satisfies the Frankl-Füredi-Kalai inequalities. We conjecture that if $\Delta$ is a flag homology sphere then $\gamma (\Delta)$ satisfies the Kruskal-Katona, and further, the Frankl-Füredi-Kalai inequalities. This conjecture is a significant refinement of Gal's conjecture, which asserts that such $\gamma$-vectors are nonnegative.

[fr]
Nous présentons des exemples de sphères d'homologie flag dont $\gamma$-vecteurs satisfaire les inégalités de Kruskal-Katona. Cela comprend plusieurs familles de bien étudiés simplicial complexes, y compris les complexes de Coxeter et les complexes simpliciaux dual de l'associahedron et à la cyclohedron. Dans ces cas, nous construisons explicite flag simplicial complexes dont les $f$-vecteurs sont les $\gamma$-vecteurs en question, et ainsi de suite de Frohmader montre que le $\gamma$-vecteurs de satisfaire non seulement les inégalités de Kruskal-Katona mais aussi les plus fortes inégalités Frankl-Füredi-Kalai. Dans une autre direction, nous montrons que, si un flag $(d-1)$-sphère a au plus $2d+3$ sommets son $\gamma$-vecteur satisfait aux inégalités de Frankl-Füredi-Kalai. Nous conjecture que, si $\Delta$ est une sphère d'homologie flag alors $\gamma(\Delta)$ satisfait aux inégalités de Kruskal-Katona, en outre, celles de Frankl-Füredi-Kalai. Cette conjecture est un raffinement significatif de la conjecture de Gal, qui affirme que ces $\gamma$-vecteurs sont nonnégatifs.