A pithy look at the Polytope Algebra

Federico Castillo

DOI: https://doi.org/10.48550/arXiv.2111.02820

2021-11-03

Combinatorics

Abstract:This is a hands on introduction to McMullen's Polytope Algebra. More than interesting on its own, this algebra was McMullen's tool to give a combinatorial proof of the g-theorem.

What problem does this paper attempt to address?

polyDB: A Database for Polytopes and Related Objects

Andreas Paffenholz

DOI: https://doi.org/10.48550/arXiv.1711.02936

2017-11-08

Combinatorics

Abstract:polyDB is a database for discrete geometric objects. The database is accessible via web and an interface from the software package polymake. It contains various datasets from the area of lattice polytopes, combinatorial polytopes, matroids and tropical geometry. In this short note we introduce the structure of the database and explain its use with a computation of the free sums and certain skew bipyramids among the class of smooth Fano polytopes in dimension up to 8.
Geometric Combinatorics of Polynomials I: The Case of a Single Polynomial

Michael Dougherty,Jon McCammond

DOI: https://doi.org/10.48550/arXiv.2104.07609

2021-04-16

Abstract:There are many different algebraic, geometric and combinatorial objects that one can attach to a complex polynomial with distinct roots. In this article we introduce a new object that encodes many of the existing objects that have previously appeared in the literature. Concretely, for every complex polynomial $p$ with $d$ distinct roots and degree at least 2, we produce a canonical compact planar 2-complex that is a compact metric version of a tiled phase diagram. It has a locally CAT(0) metric that is locally Euclidean away from a finite set of interior points indexed by the critical points of $p$, and each of its 2-cells is a metric rectangle. From this planar rectangular 2-complex one can use metric graphs known as metric cacti and metric banyans to read off several pieces of combinatorial data: a chain in the partition lattice, a cyclic factorization of a d-cycle, a real noncrossing partition (also known as a primitive d-major), and the monodromy permutations for the polynomial. This article is the first in a series.

Geometric Topology,Combinatorics,Complex Variables,Group Theory
Differential algebra of polytopes and inversion formulas

V.M. Buchstaber,A.P. Veselov

2024-02-11

Abstract:We use the differential algebra of simple polytopes to explain the remarkable relation of the combinatorics of the associahedra and permutohedra with the compositional and multiplicative inversion of formal power series. This approach allows to single out the associahedra and permutohedra among all graph-associahedra and emphasizes the significance of the differential equations for polytopes derived earlier by one of the authors. We discuss also the link with the geometry of Deligne-Mumford moduli spaces $\bar M_{0,n}$ and provide a new interpretation of the combinatorics of cyclohedra in relation with the classical Faà di Bruno's formula.

Combinatorics,Analysis of PDEs
Polyfolds: A First and Second Look

Oliver Fabert,Joel W. Fish,Roman Golovko,Katrin Wehrheim

DOI: https://doi.org/10.4171/EMSS/16

2016-10-08

Abstract:Polyfold theory was developed by Hofer-Wysocki-Zehnder by finding commonalities in the analytic framework for a variety of geometric elliptic PDEs, in particular moduli spaces of pseudoholomorphic curves. It aims to systematically address the common difficulties of compactification and transversality with a new notion of smoothness on Banach spaces, new local models for differential geometry, and a nonlinear Fredholm theory in the new context. We shine meta-mathematical light on the bigger picture and core ideas of this theory. In addition, we compiled and condensed the core definitions and theorems of polyfold theory into a streamlined exposition, and outline their application at the example of Morse theory.

Symplectic Geometry,Analysis of PDEs
The polytope algebra of generalized permutahedra

Jose Bastidas

DOI: https://doi.org/10.5802/alco.185

2023-08-14

Abstract:The polytope subalgebra of deformations of a zonotope can be endowed with the structure of a module over the Tits algebra of the corresponding hyperplane arrangement. We explore this construction and find relations between statistics on (signed) permutations and the module structure in the case of (type B) generalized permutahedra. In type B, the module structure surprisingly reveals that any family of generators (via signed Minkowski sums) for generalized permutahedra of type B will contain at least $2^{d-1}$ full-dimensional polytopes. We find a generating family of simplices attaining this minimum. Finally, we prove that the relations defining the polytope algebra are compatible with the Hopf monoid structure of generalized permutahedra.

Combinatorics
Arity shape of polyadic algebraic structures

Steven Duplij

DOI: https://doi.org/10.15407/mag15.01.003

2017-06-04

Abstract:Concrete two-set (module-like and algebra-like) algebraic structures are investigated from the viewpoint that the initial arities of all operations are arbitrary. Relations between operations arising from the structure definitions, however, lead to restrictions which determine their possible arity shapes and lead us to the partial arity freedom principle. In this manner, polyadic vector spaces and algebras, dual vector spaces, direct sums, tensor products and inner pairing spaces are reconsidered. As one application, elements of polyadic operator theory are outlined: multistars and polyadic analogs of adjoints, operator norms, isometries and projections are introduced, as well as polyadic C*-algebras, Toeplitz algebras and Cuntz algebras represented by polyadic operators. Another application is connected with number theory, and it is shown that congruence classes are polyadic rings of a special kind. Polyadic numbers are introduced (see Definition 6.16), and Diophantine equations over these polyadic rings are then considered. Polyadic analogs of the Lander-Parkin-Selfridge conjecture and Fermat's last theorem are formulated. For nonderived polyadic ring operations (on polyadic numbers) neither of these statements holds, and counterexamples are given. Finally, a procedure for obtaining new solutions to the equal sums of like powers equation over polyadic rings by applying Frolov's theorem to the Tarry-Escott problem is presented.

Rings and Algebras,Mathematical Physics,Commutative Algebra,Number Theory,Operator Algebras
Geometric families of degenerations from mutations of polytopes

Laura Escobar,Megumi Harada,Christopher Manon

2024-08-03

Abstract:We introduce the notion of a polyptych lattice, which encodes a collection of lattices related by piecewise linear bijections. We initiate a study of the new theory of convex geometry and polytopes associated to polyptych lattices. In certain situations, such a polytope associated to a polyptych lattice encodes a compactification of an affine variety whose coordinate ring can be equipped with a valuation into a certain semialgebra associated to the polyptych lattice. We show that aspects of the geometry of the compactification can be understood combinatorially; for instance, under some hypotheses, the resulting compactifications are arithmetically Cohen-Macaulay, and have finitely generated class group and finitely generated Cox rings.

Algebraic Geometry
Polyhedral Geometry in OSCAR

Taylor Brysiewicz,Michael Joswig

2024-04-03

Abstract:OSCAR is an innovative new computer algebra system which combines and extends the power of its four cornerstone systems - GAP (group theory), Singular (algebra and algebraic geometry), Polymake (polyhedral geometry), and Antic (number theory). Assuming little familiarity with the subject, we give an introduction to computations in polyhedral geometry using OSCAR, as a chapter of the upcoming OSCAR book. In particular, we define polytopes, polyhedra, and polyhedral fans, and we give a brief overview about computing convex hulls and solving linear programs. Three detailed case studies are left for experts in polyhedral geometry. These are concerned with face numbers of random polytopes, constructions and properties of Gelfand-Tsetlin polytopes, and secondary polytopes.

Combinatorics
Gorenstein-Fano polytopes and compactifications of rank 2 polyptych lattices

Adrian Cook,Laura Escobar,Megumi Harada,Christopher Manon

2024-08-03

Abstract:The notion of polyptych lattices, introduced by Escobar, Harada, and Manon, wraps the data of a collection of lattices related by piecewise-linear bijections together into a single semi-algebraic object, equipped with its own notions of convexity and polyhedra. The main purpose of this manuscript is to construct an explicit family of polyptych lattices, and to illustrate via explicit computations the abstract theory introduced by Escobar-Harada-Manon. Specifically, we first construct a family of rank-$2$ polyptych lattices $\mathcal{M}_s$ with $2$ charts, compute their space of points, and prove that they are full and self-dual. We then give a concrete sample computation of a point-convex hull in $\mathcal{M}_s \otimes \mathbb{R}$ to illustrate that convex geometry in the polyptych lattice setting can exhibit phenomena not seen in the classical situation. We also give multiple examples of $2$-dimensional ``chart-Gorenstein-Fano'' polytopes, which give rise to pairs of mutation-related $2$-dimensional (classical) Gorenstein-Fano polytopes. Finally, we produce detropicalizations $(\mathcal{A}_s, \mathfrak{v}_s)$ of $\mathcal{M}_s$, and in the case $s=1$ where the detropicalization is a UFD, and with respect to a certain choice of PL polytope $\mathcal{P}$, we give an explicit generators-and-relations presentation of the (finitely generated) Cox ring of the compactification $X_{\mathcal{A}_s}(\mathcal{P})$ of $\mathrm{Spec}(\mathcal{A}_s)$ with respect to $\mathcal{P}$.

Algebraic Geometry
Graphs, skeleta and reconstruction of polytopes

M. M. Bayer

DOI: https://doi.org/10.1007/s10474-018-0804-0

2018-05-23

Acta Mathematica Hungarica

Abstract:A renowned theorem of Blind and Mani, with a constructive proof by Kalai and an efficiency proof by Friedman, shows that the whole face lattice of a simple polytope can be determined from its graph. This is part of a broader story of reconstructing face lattices from partial information, first considered comprehensively in Grünbaum’s 1967 book. This survey paper includes varied results and open questions by many researchers on simplicial polytopes, nearly simple polytopes, cubical polytopes, zonotopes, crosspolytopes, and Eulerian posets.

mathematics
Geometric bistellar flips. The setting, the context and a construction

Francisco Santos

DOI: https://doi.org/10.48550/arXiv.math/0601746

2006-01-31

Abstract:We give a self-contained introduction to the theory of secondary polytopes and geometric bistellar flips in triangulations of polytopes and point sets, as well as a review of some of the known results and connections to algebraic geometry, topological combinatorics, and other areas. As a new result, we announce the construction of a point set in general position with a disconnected space of triangulations. This shows, for the first time, that the poset of strict polyhedral subdivisions of a point set is not always connected.

Combinatorics
Combinatorics of the Permutahedra, Associahedra, and Friends

Viviane Pons

DOI: https://doi.org/10.48550/arXiv.2310.12687

2023-10-19

Abstract:I present an overview of the research I have conducted for the past ten years in algebraic, bijective, enumerative, and geometric combinatorics. The two main objects I have studied are the permutahedron and the associahedron as well as the two partial orders they are related to: the weak order on permutations and the Tamari lattice. This document contains a general introduction (Chapters 1 and 2) on those objects which requires very little previous knowledge and should be accessible to non-specialist such as master students. Chapters 3 to 8 present the research I have conducted and its general context. You will find: * a presentation of the current knowledge on Tamari interval and a precise description of the family of Tamari interval-posets which I have introduced along with the rise-contact involution to prove the symmetry of the rises and the contacts in Tamari intervals; * my most recent results concerning q, t-enumeration of Catalan objects and Tamari intervals in relation with triangular partitions; * the descriptions of the integer poset lattice and integer poset Hopf algebra and their relations to well known structures in algebraic combinatorics; * the construction of the permutree lattice, the permutree Hopf algebra and permutreehedron; * the construction of the s-weak order and s-permutahedron along with the s-Tamari lattice and s-associahedron. Chapter 9 is dedicated to the experimental method in combinatorics research especially related to the SageMath software. Chapter 10 describes the outreach efforts I have participated in and some of my approach towards mathematical knowledge and inclusion.

Combinatorics
Algebraic Topology of Finite Topological Spaces and Applications

Jonathan A. Barmak

DOI: https://doi.org/10.1007/978-3-642-22003-6

2011-01-01

Lecture notes in mathematics

Abstract:This volume deals with the theory of finite topological spaces and its relationship with the homotopy and simple homotopy theory of polyhedra. The interaction between their intrinsic combinatorial and topological structures makes finite spaces a useful tool for studying problems in Topology, Algebra and Geometry from a new perspective. In particular, the methods developed in this manuscript are used to study Quillen’s conjecture on the poset of p-subgroups of a finite group and the Andrews-Curtis conjecture on the 3-deformability of contractible two-dimensional complexes. This self-contained work constitutes the first detailed exposition on the algebraic topology of finite spaces. It is intended for topologists and combinatorialists, but it is also recommended for advanced undergraduate students and graduate students with a modest knowledge of Algebraic Topology.

mathematics
Symmetrizing polytopes and posets

Federico Castillo,Fu Liu

2024-08-06

Abstract:Motivated by the authors' work on permuto-associahedra, which can be considered as a symmetrization of the associahedron using the symmetric group, we introduce and study the $\mathfrak{G}$-symmetrization of an arbitrary polytope $P$ for any reflection group $\mathfrak{G}$. We show that the combinatorics, and moreover, the normal fan of such a symmetrization can be recovered from its refined fundamental fan, a decorated poset describing how the normal fan of $P$ subdivides the fundamental chamber associated to the reflection group $\mathfrak{G}$. One important application of our results is providing a way to approach the realization problem of a $\mathfrak{G}$-symmetric poset F, that is, the problem of constructing a polytope whose face poset is F. Instead of working with the original poset F, we look at its dual poset T (which is $\mathfrak{G}$-symmetric as well) and focus on a generating subposet Z of T, and reduce the problem to realizing Z as a refined fundamental fan.

Combinatorics
Splines, lattice points, and arithmetic matroids

Matthias Lenz

DOI: https://doi.org/10.1007/s10801-015-0621-2

2014-09-15

Abstract:Let $X$ be a $(d\times N)$-matrix. We consider the variable polytope $\Pi_X(u) = \{w \ge 0 : X w = u \}$. It is known that the function $T_X$ that assigns to a parameter $u \in \mathbb{R}^d$ the volume of the polytope $\Pi_X(u)$ is piecewise polynomial. The Brion-Vergne formula implies that the number of lattice points in $\Pi_X(u)$ can be obtained by applying a certain differential operator to the function $T_X$. In this article we slightly improve the Brion-Vergne formula and we study two spaces of differential operators that arise in this context: the space of relevant differential operators (i.e. operators that do not annihilate $T_X$) and the space of nice differential operators (i.e. operators that leave $T_X$ continuous). These two spaces are finite-dimensional homogeneous vector spaces and their Hilbert series are evaluations of the Tutte polynomial of the arithmetic matroid defined by the matrix $X$. They are closely related to the $\mathcal{P}$-spaces studied by Ardila-Postnikov and Holtz-Ron in the context of zonotopal algebra and power ideals.

Combinatorics,Commutative Algebra
Construction and Analysis of Projected Deformed Products

Raman Sanyal,Günter M. Ziegler

DOI: https://doi.org/10.1007/s00454-009-9146-6

2009-03-04

Abstract:We introduce a deformed product construction for simple polytopes in terms of lower-triangular block matrix representations. We further show how Gale duality can be employed for the construction and the analysis of deformed products such that specified faces (e.g., all the k-faces) are “strictly preserved” under projection.Thus, starting from an arbitrary neighborly simplicial (d−2)-polytope Q on n−1 vertices, we construct a deformed n-cube, whose projection to the last d coordinates yields a neighborly cubical d-polytope. As an extension of the cubical case, we construct matrix representations of deformed products of (even) polygons (DPPs) which have a projection to d-space that retains the complete $$(\lfloor\tfrac{d}{2}\rfloor-1)$$-skeleton.In both cases the combinatorial structure of the images under projection is determined by the neighborly simplicial polytope Q: Our analysis provides explicit combinatorial descriptions. This yields a multitude of combinatorially different neighborly cubical polytopes and DPPs.As a special case, we obtain simplified descriptions of the neighborly cubical polytopes of Joswig and Ziegler (Discrete Comput. Geom. 24:325–344, 2000) as well as of the projected deformed products of polygons announced by Ziegler (Electron. Res. Announc. Am. Math. Soc. 10:122–134, 2004), a family of 4-polytopes whose “fatness” gets arbitrarily close to 9.

mathematics,computer science, theory & methods
A polynomial composites

Lukasz Matysiak

DOI: https://doi.org/10.48550/arXiv.2207.08719

2022-07-15

Commutative Algebra

Abstract:Polynomial composites were introduced by Anderson, Anderson, and Zafrullah. In this paper we study many different algebraic properties of polynomial composites like ACCP, atomic, SR property. We study relationships between Noetherian polynomial composites certain field extensions.
Blurred combinatorics in resolution of singularities: (a little) beyond the characteristic polytope

Helena Cobo,M.J. Soto,José M. Tornero

2024-02-08

Abstract:We introduce a variation of the well-known Newton-Hironaka polytope for algebroid hypersurfaces. This combinatorial object is a perturbed version of the original one, parametrized by a real number. For well-chosen values of the parameter, the objects obtained are very close to the original, while at the same time presenting more (hopefully interesting) information in a way which does not depend on the choice of parameter.

Algebraic Geometry,Combinatorics
Poly-Cauchy numbers -- the combinatorics behind

Beáta Bényi,José Luis Ramírez

DOI: https://doi.org/10.48550/arXiv.2105.04791

2021-05-11

Abstract:We introduce poly-Cauchy permutations that are enumerated by the poly-Cauchy numbers. We provide combinatorial proofs for several identities involving poly-Cauchy numbers and some of their generalizations. The aim of this work is to demonstrate the power and beauty of the elementary combinatorial approach.

Combinatorics
Hopf monoids and generalized permutahedra

Marcelo Aguiar,Federico Ardila

DOI: https://doi.org/10.48550/arXiv.1709.07504

2017-09-22

Abstract:Generalized permutahedra are a family of polytopes with a rich combinatorial structure and strong connections to optimization. We prove that they are the universal family of polyhedra with a certain Hopf algebraic structure. Their antipode is remarkably simple: the antipode of a polytope is the alternating sum of its faces. Our construction provides a unifying framework to organize numerous combinatorial structures, including graphs, matroids, posets, set partitions, linear graphs, hypergraphs, simplicial complexes, building sets, and simple graphs. We highlight three applications: 1. We obtain uniform proofs of numerous old and new results about the Hopf algebraic and combinatorial structures of these families. In particular, we give the optimal formula for the antipode of graphs, posets, matroids, hypergraphs, and building sets, and we answer questions of Humpert--Martin and Rota. 2. We show that the reciprocity theorems of Stanley and Billera--Jia--Reiner on chromatic polynomials of graphs, order polynomials of posets, and BJR-polynomials of matroids are instances of the same reciprocity theorem for generalized permutahedra. 3. We explain why the formulas for the multiplicative and compositional inverses of power series are governed by the face structure of permutahedra and associahedra, respectively, answering a question of Loday. Along the way, we offer a combinatorial user's guide to Hopf monoids.

Combinatorics

A pithy look at the Polytope Algebra

polyDB: A Database for Polytopes and Related Objects

Geometric Combinatorics of Polynomials I: The Case of a Single Polynomial

Differential algebra of polytopes and inversion formulas

Polyfolds: A First and Second Look

The polytope algebra of generalized permutahedra

Arity shape of polyadic algebraic structures

Geometric families of degenerations from mutations of polytopes

Polyhedral Geometry in OSCAR

Gorenstein-Fano polytopes and compactifications of rank 2 polyptych lattices

Graphs, skeleta and reconstruction of polytopes

Geometric bistellar flips. The setting, the context and a construction

Combinatorics of the Permutahedra, Associahedra, and Friends

Algebraic Topology of Finite Topological Spaces and Applications

Symmetrizing polytopes and posets

Splines, lattice points, and arithmetic matroids

Construction and Analysis of Projected Deformed Products

A polynomial composites

Blurred combinatorics in resolution of singularities: (a little) beyond the characteristic polytope

Poly-Cauchy numbers -- the combinatorics behind

Hopf monoids and generalized permutahedra