Skip to main content
deleted 35 characters in body
Source Link
M. Winter
  • 13.6k
  • 3
  • 29
  • 70

I think a counterexample can be obtained via simplicial spheres. It is known that in higher dimensions, most simplicial spheres do not belong to a polytope. The dual of the face lattice of such a $d$-dimensional non-polytopal simplicial sphere is a $d$-regular "simple" poset in your sense, and cannot belong to a $d$-polytope (as otherwise, the original poset would too). However, it is not clear that the graph of such a poset does not belong to a $d$-polytope either.

Another approach that comes to my mind are abstract polytopes which are defined purely in term of posets, more specifically projective polytopes. Here, I have two explicit simple 3-dimensional examples from the class of projective polyhedra:

  • the face structure of the hemi cube does not belong to a polyhedron, but its graph is $K_4$, which does belong to the tetrahedron.
  • the hemi dodecahedron cannot be realized as a polyhedron. Its graph is the Petersen graph, which is not planar and hence cannot belong to a polyhedron either (in fact, it cannot belong to any convex polytope). Its poset can be construct quite easily from the face lattice of the dodecahedron by identifying antipodal faces.

Similar examples can be obtained from all centrally symmetric simple polyhedra (or even general polytopes).

I think a counterexample can be obtained via simplicial spheres. It is known that in higher dimensions, most simplicial spheres do not belong to a polytope. The dual of the face lattice of such a $d$-dimensional non-polytopal simplicial sphere is a $d$-regular "simple" poset in your sense, and cannot belong to a $d$-polytope (as otherwise, the original poset would too). However, it is not clear that the graph of such a poset does not belong to a $d$-polytope either.

Another approach that comes to my mind are abstract polytopes which are defined purely in term of posets, more specifically projective polytopes. Here I have two explicit simple 3-dimensional examples:

  • the face structure of the hemi cube does not belong to a polyhedron, but its graph is $K_4$, which does belong to the tetrahedron.
  • the hemi dodecahedron cannot be realized as a polyhedron. Its graph is the Petersen graph, which is not planar and hence cannot belong to a polyhedron either (in fact, it cannot belong to any convex polytope). Its poset can be construct quite easily from the face lattice of the dodecahedron by identifying antipodal faces.

Similar examples can be obtained from all centrally symmetric simple polyhedra (or even general polytopes).

I think a counterexample can be obtained via simplicial spheres. It is known that in higher dimensions, most simplicial spheres do not belong to a polytope. The dual of the face lattice of such a $d$-dimensional non-polytopal simplicial sphere is a $d$-regular "simple" poset in your sense, and cannot belong to a $d$-polytope (as otherwise, the original poset would too). However, it is not clear that the graph of such a poset does not belong to a $d$-polytope either.

Another approach that comes to my mind are abstract polytopes which are defined purely in term of posets. Here, I have two explicit 3-dimensional examples from the class of projective polyhedra:

  • the face structure of the hemi cube does not belong to a polyhedron, but its graph is $K_4$, which does belong to the tetrahedron.
  • the hemi dodecahedron cannot be realized as a polyhedron. Its graph is the Petersen graph, which is not planar and hence cannot belong to a polyhedron either (in fact, it cannot belong to any convex polytope). Its poset can be construct quite easily from the face lattice of the dodecahedron by identifying antipodal faces.

Similar examples can be obtained from all centrally symmetric simple polytopes.

added 703 characters in body; added 167 characters in body
Source Link
M. Winter
  • 13.6k
  • 3
  • 29
  • 70

I think a counterexample can be obtained via simplicial spheres. It is known that in higher dimensions, most simplicial spheres do not belong to a polytope. The dual of the face lattice of such a $d$-dimensional non-polytopal simplicial sphere is a $d$-regular "simple" poset in your sense, and cannot belong to a $d$-polytope (as otherwise, the original poset would too).


Note

While However, it is not clear that the graph of such a poset does not belong to a $d$-polytope, it is not immediately clear either.

Another approach that its graph does neithercomes to my mind are abstract polytopes which are defined purely in term of posets, more specifically projective polytopes. IfHere I understood correctly, in David's answer he constructs an example where neither the posethave two explicit simple 3-dimensional examples:

  • the face structure of the hemi cube does not belong to a polyhedron, but its graph is $K_4$, which does belong to the tetrahedron.
  • the hemi dodecahedron cannot be realized as a polyhedron. Its graph is the Petersen graph, which is not planar and hence cannot belong to a polyhedron either (in fact, it cannot belong to any convex polytope). Its poset can be construct quite easily from the face lattice of the dodecahedron by identifying antipodal faces.

Similar examples can be obtained from all centrally symmetric simple polyhedra (a CW complexor even general polytopes) nor its graph belong to a polytope.

I think a counterexample can be obtained via simplicial spheres. It is known that in higher dimensions, most simplicial spheres do not belong to a polytope. The dual of the face lattice of such a $d$-dimensional non-polytopal simplicial sphere is a $d$-regular "simple" poset in your sense, and cannot belong to a $d$-polytope (as otherwise, the original poset would too).


Note

While such a poset does not belong to a $d$-polytope, it is not immediately clear that its graph does neither. If I understood correctly, in David's answer he constructs an example where neither the poset (a CW complex) nor its graph belong to a polytope.

I think a counterexample can be obtained via simplicial spheres. It is known that in higher dimensions, most simplicial spheres do not belong to a polytope. The dual of the face lattice of such a $d$-dimensional non-polytopal simplicial sphere is a $d$-regular "simple" poset in your sense, and cannot belong to a $d$-polytope (as otherwise, the original poset would too). However, it is not clear that the graph of such a poset does not belong to a $d$-polytope either.

Another approach that comes to my mind are abstract polytopes which are defined purely in term of posets, more specifically projective polytopes. Here I have two explicit simple 3-dimensional examples:

  • the face structure of the hemi cube does not belong to a polyhedron, but its graph is $K_4$, which does belong to the tetrahedron.
  • the hemi dodecahedron cannot be realized as a polyhedron. Its graph is the Petersen graph, which is not planar and hence cannot belong to a polyhedron either (in fact, it cannot belong to any convex polytope). Its poset can be construct quite easily from the face lattice of the dodecahedron by identifying antipodal faces.

Similar examples can be obtained from all centrally symmetric simple polyhedra (or even general polytopes).

added 272 characters in body
Source Link
M. Winter
  • 13.6k
  • 3
  • 29
  • 70

I think a counterexample can be obtained via simplicial spheres. It is known that in higher dimensions, most simplicial spheres do not belong to a polytope. The dual of the face lattice of such a $d$-dimensional non-polytopal simplicial sphere is a $d$-regular "simple" poset in your sense, and cannot belong to a $d$-polytope (as otherwise, the original poset would too).


Note

While such a poset does not belong to a $d$-polytope, it is not immediately clear that its graph does neither. If I understood correctly, in David's answer he constructs an example where neither the poset (a CW complex) nor its graph belong to a polytope.

I think a counterexample can be obtained via simplicial spheres. It is known that in higher dimensions, most simplicial spheres do not belong to a polytope. The dual of the face lattice of such a $d$-dimensional non-polytopal simplicial sphere is a $d$-regular "simple" poset in your sense, and cannot belong to a $d$-polytope (as otherwise, the original poset would too).

I think a counterexample can be obtained via simplicial spheres. It is known that in higher dimensions, most simplicial spheres do not belong to a polytope. The dual of the face lattice of such a $d$-dimensional non-polytopal simplicial sphere is a $d$-regular "simple" poset in your sense, and cannot belong to a $d$-polytope (as otherwise, the original poset would too).


Note

While such a poset does not belong to a $d$-polytope, it is not immediately clear that its graph does neither. If I understood correctly, in David's answer he constructs an example where neither the poset (a CW complex) nor its graph belong to a polytope.

added 32 characters in body
Source Link
M. Winter
  • 13.6k
  • 3
  • 29
  • 70
Loading
Source Link
M. Winter
  • 13.6k
  • 3
  • 29
  • 70
Loading