Abstract
We study the polytopes of affine maps between two polytopes—the hom-polytopes. The hom-polytope functor has a left adjoint—tensor product polytopes. The analogy with the category of vector spaces is limited, as we illustrate by a series of explicit examples exhibiting various extremal properties. The main challenge for hom-polytopes is to determine their vertices. A polytopal analogue of the rank-nullity theorem amounts to understanding how the vertex maps behave relative to their surjective and injective factors. This leads to interesting classes of surjective maps. In the last two sections we focus on two opposite extremal cases—when the source and target polytopes are both polygons and are either generic or regular.
Similar content being viewed by others
References
Akopyan, A., Kerasev, R.: Inscribing a regular octahedron into polytopes. Preprint. http://arxiv.org/abs/1107.4428
Billera L.J., Sturmfels B.: Fiber polytopes. Ann. Math. (2) 135(3), 527–549 (1992)
Bruns W., Gubeladze J.: Polytopes, Rings, and K-Theory. Springer Monographs in Mathematics. Springer, Dordrecht (2009)
Gawrilow, E., Joswig, E.: Polymake: a framework for analyzing convex polytopes. In: Polytopes— Combinatorics and Computation (Oberwolfach, 1997), volume 29 of DMV Sem., pp. 43–73. Birkhäuser, Basel (2000)
Grayson, D.R., Stillman, M.: Macaulay 2, a software system for research in algebraic geometry. http://www.math.uiuc.edu/Macaulay2
Kelly, G.M.: Basic concepts of enriched category theory. Repr. Theory Appl. Categ., (10), 2005. Reprint of the 1982 original. Cambridge University Press, Cambridge (2005)
Mac Lane, S.: Categories for the working mathematician. Graduate Texts in Mathematics, 2nd edn, vol. 5. Springer, New York (1998)
Porta Mana, P.G.L.: Conjectures and questions in convex geometry (of interest for quantum theory and other physical statistical theories). Preprint. http://arxiv.org/abs/1105.3238/
Polymake: Software for the algorithmic treatment of convex polyhedra. http://polymake.org/doku.php
Richter-Gebert J., Ziegler G.M.: Realization spaces of 4-polytopes are universal. Bull. Am. Math. Soc. (N.S.) 32, 403–412 (1995)
Sloane, N.J.A.: The on-line encyclopedia of integer sequences. http://oeis.org (2008)
Valby, L.: A category of polytopes. http://people.reed.edu/~davidp/homepage/students/valby.pdf
Ziegler, G.: Lectures on polytopes. Graduate Texts in Mathematics, vol. 152, revised edn. Springer, New York (1998)
Author information
Authors and Affiliations
Corresponding author
Additional information
T. Bogart was supported by NSF grant DMS-0441170 and J. Gubeladze was supported by NSF grant DMS-1000641.
Rights and permissions
About this article
Cite this article
Bogart, T., Contois, M. & Gubeladze, J. Hom-polytopes. Math. Z. 273, 1267–1296 (2013). https://doi.org/10.1007/s00209-012-1053-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-012-1053-5