Questions tagged [abstract-polytopes]

An "abstract polytope" is a poset satisfying a list of properties shared by face lattices of polytopes.

Filter by
Sorted by
Tagged with
24
votes
6answers
2k views

Why are we interested in permutahedra, associahedra, cyclohedra, …?

The following families of polytopes have received a lot of attention: permutahedra, associahedra, cyclohedra, ... My question is simple: Why? As I understand, at least the latter two were ...
0
votes
1answer
26 views

Gluing simplices through a common point/ realisation of a convex simplicial polytope

Given $m≥d+1$ a positive integer, is it always possible to find m d-dimensional simplices $\Delta_i=\mathrm{Conv}(M,V_{i,1},…,V_{i,d})$ such that 1) they all share the common vertex M 2) the ...
9
votes
3answers
377 views

Minimal combinatorial data needed to define a polytope [duplicate]

Suppose I give a list of vertices $(v_1, v_2, ..., v_n)$, and a list of "adjacencies", i.e. pairs of vertices $(v_i,v_j)$. Does it exists a unique polytope that has this vertices and realises the ...
0
votes
1answer
62 views

Is volume of abstract polytope realisation bounded by length of edges?

Suppose we have abstract polytope F of dimension d ( that is the greatest rank facet has rank n). Such abstract object may have realisations in d-dimensional Euclidean space as polytopes $A_i(F)$, and ...
7
votes
2answers
165 views

“Totally transitive” polytopes which are not regular

Is it possible to have an abstract polytope which is vertex-transitive, edge-transitive, face-transitive, etc. (individually transitive on faces of each particular dimension) and yet not flag-...
2
votes
1answer
128 views

Is a finite abstract polytope of Euler characteristic 0 Eulerian?

An abstract polytope is a poset $X$ (here finite), whose elements are called faces, satisfying these 4 conditions: There is a least face and a greatest face. All flags (i.e. maximal chains) have the ...
2
votes
0answers
96 views

Question on abstract polytopes

Let $(P,\le)$ be an abstract $n$-polytope, with $n\ge 2$. Let $H,H',K$ be $m$-faces, with $0\le m \le n-2$. Is it true that there is a sequence $\{H_0=H,H_1,\ldots,H_{r-1},H_r=H' \} \subseteq P$ so ...
2
votes
1answer
191 views

Criteria for abstract polytopes to be convex polytope

Suppose I have an abstract polytope defined by a poset. Are there any methods for determining whether the abstract polytope can be geometrically realized as convex-hull on its set of vertices?
4
votes
2answers
212 views

Build a topological polytope with a specified CW-structure

I am a topologist and not quite familiar with the tools for building a polytope. I would like to build some topological polytope which is an somewhere in between permutohedron and associahedron which ...
8
votes
1answer
148 views

Labeled polytopes

In a "problem of a week" contest in my school, I gave the following problem to students: we assign to each vertex of a cube a number $1$ or $-1$. And we associate to each face the product of the ...
6
votes
1answer
382 views

What's the best way to test if a sphere is a polytope? (algorithms for the Simplicial Steinitz Problem)

The problem of recognizing whether a simplicial face lattice is polytopal is sometimes called the Steinitz problem. Sturmfels and Bokowski advanced a set of methods in the late 80s to test whether ...
8
votes
2answers
2k views

Which finite groups are generated by n involutions?

One of the interesting problems in abstract polytope theory is to determine, for a given finite group, when that group is the automorphism group of a regular abstract polytope. This is equivalent to ...