5
$\begingroup$

What is known about the duals of cyclic polytopes, in particular, their facets (or equivalently, the vertex-figures of cyclic polytopes)?

  • In even dimensions, all facets of the dual are combinatorially equivalent. Are these facets themselves duals of cyclic polytopes?

  • I think this cannot be true in odd dimensions $\ge 5$. For example, a 5-dimensional cyclic polytope is 2-neighborly, so its vertex figures are only 1-neighborly (is this true?), but 4-dimensional cyclic polytopes are 2-neighborly as well. So when does it happen that the facets are again duals of cyclic polytopes, and when are they all combinatorially equivalent?

  • In general, is there some kind of classification of the combinatorial types of these facets?

$\endgroup$

1 Answer 1

3
$\begingroup$

Many properties of the vertex figures of cyclic polytopes can be obtained from Gale evenness condition.

Let $P=C(n,d)$ be a cyclic $d$-polytope, and let $v_1<\cdots<v_n$ be its vertices ordered according to the moment curve. The following follows from Gale evenness condition.

  1. In even dimensions, the vertex figure of $P$ at every vertex is a cyclic $(d-1)$-polytope.

  2. In odd dimensions, every facet contains $v_1$ or $v_n$.

  3. In odd dimensions, for $d\ge 5$ and $n\ge d+2$, the vertex figures of $P$ at $v_1$ and $v_n$ are cyclic $(d-1)$-polytopes, but the vertex figure at some other vertex is not.

The proofs of 1) and 2) follow straight from the condition.

For the proof of 3) use counting. First, for every $d\ge 4$ count in two different ways the vertex-facet incidences in $P$ in the case that each vertex-figure is a cyclic polytope, and obtain the following:

$$df_{d-1}(C(n,d))=nf_{d-2}(C(n-1,d-1))$$

Second, for odd $d\ge 5$, establish the following $$f_{d-1}(C(n,d))=2f_{d-2}(C(n-1,d-1))-f_{d-3}(C(n-2,d-2))$$

Comparing the two previous expressions gives 3).

Duality gives the results you are after.

Regards, Guillermo

$\endgroup$
2
  • $\begingroup$ Thank you very much for your answer! I am not too familiar with applying Gale's criterion. Can you say a word about how it helps you to deduce something about the vertex figures, since it primarily makes statements about the facets of a cyclic polytope? $\endgroup$
    – M. Winter
    May 27, 2020 at 8:30
  • $\begingroup$ The facets of P containing $v_i$ are in one-to-one correspondence with the facets of $P/v_i$. That is, a set $X'$ of $d-1$ vertices corresponds to a $(d-2)$-face of $P/v_i$ if and only if the set $X:=X'\cup \{v_i\}$ is a facet of $P$. $\endgroup$ May 27, 2020 at 10:25

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.