Semi-algebraic sets of f-vectors

DOI10.1007/S11856-019-1888-0MaRDI QIDQ2317698zbMATH OpenOpenAlexWikidataFDO

Authors Hannah Sjöberg, Günter M. Ziegler

Publication date 12 August 2019

Published in Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1711.01864

zbMATH Keywords

\(f\)-vector sets

Mathematics Subject Classification ID

Semialgebraic sets and related spaces (14P10) Combinatorial properties of polytopes and polyhedra (number of faces, shortest paths, etc.) (52B05)

Abstract: Polytope theory has produced a great number of remarkably simple and complete characterization results for face-number sets or f-vector sets of classes of polytopes. We observe that in most cases these sets can be described as the intersection of a semi-algebraic set with an integer lattice. Such "semi-algebraic sets of lattice points" have not received much attention, which is surprising in view of a close connection to Hilbert's Tenth problem, which deals with their projections. We develop proof techniques in order to show that, despite the observations above, some f-vector sets are NOT semi-algebraic sets of lattice points. This is then proved for the set of all pairs $(f_1,f_2)$ of 4-dimensional polytopes, the set of all f-vectors of simplicial $d$-polytopes for $dge6$, and the set of all f-vectors of general $d$-polytopes for $dge6$. For the f-vector set of all 4-polytopes this remains open.

Recommendations

• Additive structures on f-vector sets of polytopes
• Characterizing face and flag vector pairs for polytopes
• scientific article; zbMATH DE number 3844525
• Small f-vectors of 3-spheres and of 4-polytopes
• Realization spaces of 4-polytopes are universal

Cites work

• A proof of the sufficiency of McMullen's conditions for f-vectors of simplicial convex polytopes
• Additive structures on f-vector sets of polytopes
• Algorithms in real algebraic geometry
• Characterizing face and flag vector pairs for polytopes
• Constructions for 4-polytopes and the cone of flag vectors
• Gaps in the numbers of vertices of cubical polytopes. I
• Hilbert's Tenth Problem is Unsolvable
• scientific article; zbMATH DE number 6008341 (Why is no real title available?)
• scientific article; zbMATH DE number 42574 (Why is no real title available?)
• scientific article; zbMATH DE number 2008526 (Why is no real title available?)
• scientific article; zbMATH DE number 1538122 (Why is no real title available?)
• scientific article; zbMATH DE number 3336816 (Why is no real title available?)
• Lectures on Polytopes
• Projections of f-vectors of four-polytopes
• Small f-vectors of 3-spheres and of 4-polytopes
• Sufficiency of McMullen’s conditions for 𝑓-vectors of simplicial polytopes
• The cubical \(d\)-polytopes with fewer than 2\(^{d+1}\) vertices
• The excess degree of a polytope
• The number of \(k\)-faces of a simple \(d\)-polytope
• The number of faces of a simplicial convex polytope
• The numbers of edges of 5-polytopes with a given number of vertices
• The projection of the f-vectors of 4-polytopes onto the (E,S)-plane
• Universal diophantine equation

Cited in

(4)

• Complexity yardsticks for \(f\)-vectors of polytopes and spheres
• scientific article; zbMATH DE number 6712032 (Why is no real title available?)
• scientific article; zbMATH DE number 915256 (Why is no real title available?)
• Embedding divisor and semi-prime testability in f-vectors of polytopes

This page was built for publication: Semi-algebraic sets of \(f\)-vectors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2317698)