The slack model in the study of polytopes

Abstract

In this thesis we present some of the applications of studying polytopes via their slack matrices and slack ideals. We prove that McMullen's operations on polytopes, which includes the join, the vertex sum, the vertex splitting and their dual operations, preserve graphicality in the same way it was known it preserves projective uniqueness. We use this result to identify a large class of projectively unique order polytopes; namely, we prove that every ranked finite poset with no 3-antichain has a graphic and thus projectively unique order polytope. We give a complete characterization of complex psd-minimal polygons; we prove that the complex psd-minimal polygons are precisely the triangles, the quadrialterals and a special class of hexagons which we call Pappus' hexagons. Using this, it can be seen that complex psd-minimal 3-polytopes must have vertices of degree 3, 4 or 6 and facets with 3, 4 or 6 sides. We identify all the combinatorial classes of 3-polytopes...

En esta tesis presentamos algunas aplicaciones de estudiar politopos a través de sus matrices de holgura e ideales de holgura. Demostramos que las operaciones de McMullen sobre politopos, las cuales incluyen la unión, la suma sobre un vértice, la ruptura de un vértice y sus operaciones duales, preservan la graficalidad de la misma manera que se sabía preservaban la unicidad projectiva. Usamos este resultado para identificar una clase grande de politopos de orden proyectivamente únicos; de manera más precisa, demostramos que todo poset finito con rango y sin 3-anticadenas tiene un politopo de orden gráfico y por ende proyectivamente único. Damos una caracterización completa de los polígonos psd-minimales complejos; demostramos que los polígonos psd-minimales complejos son precisamente los triángulos, los cuadriláteros y una clase especial de hexágonos que llamamos hexágonos de Pappus. Usando esto podemos ver que los 3-politopos psd-minimales complejos deben tener vértices de grado 3, 4 o 6 y facetas con 3, 4 o 6 lados...