On \(h\)-vectors and symmetry. (English) Zbl 0820.52006
Barcelo, Hélène (ed.) et al., Jerusalem combinatorics ’93: an international conference in combinatorics, May 9-17, 1993, Jerusalem, Israel. Providence, RI: American Mathematical Society. Contemp. Math. 178, 1-20 (1994).
Let \((h_ 0, \dots, h_ d)\) be the \(h\)-vector of a simplicial \(d\)- polytope \(P\). A result by Stanley states that if \(P\) is centrally symmetric, then for all \(i\), \(1 \leq i \leq d/2\),
\[
h_ i - h_{i-1} \geq {d \choose i} - {d \choose i - 1}.
\]
The author extends this result to simplicial rational polytopes admitting a fixed-point-free linear group action of a cyclic group \(G\) of prime-power order \(n = p^ \nu\). Defining \(P_{\min} (G,d)\) as the free sum of \(d/(p - 1)\) copies of the \((p - 1)\)-simplex and
\[
\sum^ d_{i=0} a_ iq^ i = h_ P(q) - h_{P_{\min} (G,D)} (q)
\]
as the difference between the corresponding \(h\)-polynomials, the main result says that the coefficients \(a_ 0, \dots, a_ d\) are symmetric, divisible by \(n\), nonnegative and unimodal.
The main part of the proof consists in establishing the unimodality of the coefficients of the polynomial \(h_ P (q) - h_{P_{\min} (G,d)} (q)\). To this effect this polynomial is realized as the Hilbert- Poincaré series of the isotypical component, corresponding to a suitable irreducible character of \(G\), of the cohomology ring \(H^* (X_ P; \mathbb{C})\) of the toric variety \(X_ P\) associated to the polytope \(P\). All definitions and results needed are recalled in an introductory section.
A possible extension to cyclic groups of non prime power order is also considered in a final section.
For the entire collection see [Zbl 0806.00023].
The main part of the proof consists in establishing the unimodality of the coefficients of the polynomial \(h_ P (q) - h_{P_{\min} (G,d)} (q)\). To this effect this polynomial is realized as the Hilbert- Poincaré series of the isotypical component, corresponding to a suitable irreducible character of \(G\), of the cohomology ring \(H^* (X_ P; \mathbb{C})\) of the toric variety \(X_ P\) associated to the polytope \(P\). All definitions and results needed are recalled in an introductory section.
A possible extension to cyclic groups of non prime power order is also considered in a final section.
For the entire collection see [Zbl 0806.00023].
Reviewer: Ch.Leytem (Cruchten)
MSC:
52B05 | Combinatorial properties of polytopes and polyhedra (number of faces, shortest paths, etc.) |
05E25 | Group actions on posets, etc. (MSC2000) |
14M25 | Toric varieties, Newton polyhedra, Okounkov bodies |
52B15 | Symmetry properties of polytopes |
52B20 | Lattice polytopes in convex geometry (including relations with commutative algebra and algebraic geometry) |