Abstract
Several well known polytopal constructions are examined from the functorial point of view. A naive analogy between the Billera–Sturmfels fiber polytope and the abelian kernel is disproved by an infinite explicit series of polytopes. A correct functorial formula is provided in terms of an affine-compact substitute of the abelian kernel. The dual cokernel object is almost always the natural affine projection. The Mond–Smith–van Straten space of sandwiched simplices, useful in stochastic factorizations, leads to a different kind of affine-compact functors and new challenges in polytope theory.
Communicated by: M. Joswig
Funding: Supported by U.S. NSF grant DMS 1301487 and Georgian NSF grant DI/16/5-103/12.
Acknowledgements
I thank (i) the referee for many constructive suggestions, which greatly improved the exposition, and for spotting a number of inaccuracies, (ii) Tristram Bogart, from whom I learned about the question, attributed to someone else, whether Σ Hom(R, f) ≅ Hom(R, Σf), and (iii) Timmy Chan for Figure 1.
References
[1] M. Bakuradze, A. Gamkrelidze, J. Gubeladze, Affine hom-complexes. Port. Math. 73 (2016), 183–205. MR3548621 Zbl 1353.5200910.4171/PM/1984Search in Google Scholar
[2] H. J. Baues, G. Wirsching, Cohomology of small categories. J. Pure Appl. Algebra38 (1985), 187–211. MR814176 Zbl 0587.1800610.1016/0022-4049(85)90008-8Search in Google Scholar
[3] L. J. Billera, B. Sturmfels, Fiber polytopes. Ann. of Math. (2) 135 (1992), 527–549. MR1166643 Zbl 0762.5200310.2307/2946575Search in Google Scholar
[4] J. Bochnak, M. Coste, M.-F. Roy, Géométrie algébrique réelle. Springer 1987. MR949442 Zbl 0633.14016Search in Google Scholar
[5] T. Bogart, M. Contois, J. Gubeladze, Hom-polytopes. Math. Z. 273 (2013), 1267–1296. MR3030699 Zbl 1264.5201010.1007/s00209-012-1053-5Search in Google Scholar
[6] W. Bruns, J. Gubeladze, Polytopes, rings, and K-theory. Springer 2009. MR2508056 Zbl 1168.1300110.1007/b105283Search in Google Scholar
[7] R. Connelly, Rigidity. In: Handbook of convex geometry, Vol. A, B, 223–271, North-Holland 1993. MR1242981 Zbl 0788.5200110.1016/B978-0-444-89596-7.50012-2Search in Google Scholar
[8] J. A. De Loera, J. Rambau, F. Santos, Triangulations, volume 25 of Algorithms and Computation in Mathematics. Springer 2010. MR2743368 Zbl 1207.5200210.1007/978-3-642-12971-1Search in Google Scholar
[9] I. M. Gel’ fand, A. V. Zelevinskiĭ, M. M. Kapranov, Newton polyhedra of principal A-determinants. Dokl. Akad. Nauk SSSR308 (1989), 20–23. MR1020882 Zbl 0742.14042Search in Google Scholar
[10] J. Gubeladze, J. Love, Vertex maps between △, ◻, and ◊. Geom. Dedicata176 (2015), 375–399. MR3347587 Zbl 1319.5201810.1007/s10711-014-9973-3Search in Google Scholar
[11] G. M. Kelly, Basic concepts of enriched category theory. Cambridge Univ. Press 1982. MR651714 Zbl 0478.18005Search in Google Scholar
[12] S. Mac Lane, Categories for the working mathematician. Springer 1998. MR1712872 Zbl 0906.18001Search in Google Scholar
[13] D. Mond, J. Smith, D. van Straten, Stochastic factorizations, sandwiched simplices and the topology of the space of explanations. R. Soc. Lond. Proc. Ser. A Math. Phys. Eng. Sci. 459 (2003), 2821–2845. MR2015992 Zbl 1051.6007610.1098/rspa.2003.1150Search in Google Scholar
[14] A. H. Stone, Inverse limits of compact spaces. General Topology Appl. 10 (1979), 203–211. MR527845 Zbl 0435.5400810.1016/0016-660X(79)90008-4Search in Google Scholar
[15] L. Valby, A category of polytopes. Bachelor thesis, Reed College 2006. http://people.reed.edu/~davidp/homepage/students/valby.pdfSearch in Google Scholar
[16] M. Velasco, Linearization functors on real convex sets. SIAM J. Optim. 25 (2015), 1–27. MR3296629 Zbl 1370.9026610.1137/130930698Search in Google Scholar
[17] G. M. Ziegler, Lectures on polytopes. Springer 1995. MR1311028 Zbl 0823.5200210.1007/978-1-4613-8431-1Search in Google Scholar
© 2019 Walter de Gruyter GmbH, Berlin/Boston
Articles in the same Issue
- Frontmatter
- A Batyrev type classification of ℚ-factorial projective toric varieties
- Blocking sets of certain line sets related to a hyperbolic quadric in PG(3, q)
- Affine-compact functors
- Limit points of the branch locus of 𝓜g
- Criteria for strict monotonicity of the mixed volume of convex polytopes
- Principal curvatures and parallel surfaces of wave fronts
- Nodal curves with a contact-conic and Zariski pairs
- Corrigendum to the paper “On surfaces with two apparent double points”
Articles in the same Issue
- Frontmatter
- A Batyrev type classification of ℚ-factorial projective toric varieties
- Blocking sets of certain line sets related to a hyperbolic quadric in PG(3, q)
- Affine-compact functors
- Limit points of the branch locus of 𝓜g
- Criteria for strict monotonicity of the mixed volume of convex polytopes
- Principal curvatures and parallel surfaces of wave fronts
- Nodal curves with a contact-conic and Zariski pairs
- Corrigendum to the paper “On surfaces with two apparent double points”