-
Celebrating Loday's Associahedron
Authors:
Vincent Pilaud,
Francisco Santos,
Günter M. Ziegler
Abstract:
We survey Jean-Louis Loday's vertex description of the associahedron, and its far reaching influence in combinatorics, discrete geometry and algebra. We present in particular four topics were it plays a central role: lattice congruences of the weak order and their quotientopes, cluster algebras and their generalized associahedra, nested complexes and their nestohedra, and operads and the associahe…
▽ More
We survey Jean-Louis Loday's vertex description of the associahedron, and its far reaching influence in combinatorics, discrete geometry and algebra. We present in particular four topics were it plays a central role: lattice congruences of the weak order and their quotientopes, cluster algebras and their generalized associahedra, nested complexes and their nestohedra, and operads and the associahedron diagonal.
△ Less
Submitted 15 May, 2023;
originally announced May 2023.
-
Landau on Chess Tournaments and Google's PageRank
Authors:
Rainer Sinn,
Günter M. Ziegler
Abstract:
In his first mathematical paper, published in 1895 when he was 18, Edmund Landau suggested a new way to determine the winner of a chess tournament by not simply adding for each player the fixed number of points they would get for each win or draw, but rather by considering the performance of all players in the tournament relative to each other: each player would get more credit for games won or dr…
▽ More
In his first mathematical paper, published in 1895 when he was 18, Edmund Landau suggested a new way to determine the winner of a chess tournament by not simply adding for each player the fixed number of points they would get for each win or draw, but rather by considering the performance of all players in the tournament relative to each other: each player would get more credit for games won or drawn against stronger players. Landau called this "relative Wertbemessung", which translates to relative score. The basic idea from linear algebra behind this scoring system was rediscovered and reused in many contexts since 1895; in particular, it is a central ingredient in Google's PageRank.
△ Less
Submitted 31 October, 2022;
originally announced October 2022.
-
On the Dimensions of the Realization Spaces of Polytopes
Authors:
Laith Rastanawi,
Rainer Sinn,
Günter M. Ziegler
Abstract:
Robertson (1988) suggested a model for the realization space of a convex d-dimensional polytope and an approach via the implicit function theorem, which -- in the case of a full rank Jacobian -- proves that the realization space is a manifold of dimension NG(P):=d(f_0+f_{d-1})-f_{0,d-1}, which is the natural guess for the dimension given by the number of variables minus the number of quadratic equ…
▽ More
Robertson (1988) suggested a model for the realization space of a convex d-dimensional polytope and an approach via the implicit function theorem, which -- in the case of a full rank Jacobian -- proves that the realization space is a manifold of dimension NG(P):=d(f_0+f_{d-1})-f_{0,d-1}, which is the natural guess for the dimension given by the number of variables minus the number of quadratic equations that are used in the definition of the realization space. While this indeed holds for many natural classes of polytopes (including simple and simplicial polytopes, as well as all polytopes of dimension at most 3),and Robertson claimed this to be true for all polytopes, Mnev's (1986/1988) Universality Theorem implies that it is not true in general: Indeed, (1) the centered realization space is not a smoothly embedded manifold in general, and (2) it does not have the dimension NG(P) in general.
In this paper we develop Jacobian criteria for the analysis of realization spaces. From these we get easily that for various large and natural classes of polytopes the realization spaces are indeed manifolds, whose dimensions are given by NG(P). However, we also identify the smallest polytopes where the dimension count (2) and thus Robertson's claim fails, among them the bipyramid over a triangular prism. For the property (1), we analyze the classical 24-cell: We show that the realization space has at least the dimension 48, and it has points where it is a manifold of this dimension, but it is not smoothly embedded as a manifold everywhere.
△ Less
Submitted 1 July, 2020;
originally announced July 2020.
-
Equivariant Cohomology of Configuration Spaces mod 2: The State of the Art
Authors:
Pavle V. M. Blagojević,
Frederick R. Cohen,
Michael C. Crabb,
Wolfgang Lück,
Günter M. Ziegler
Abstract:
The equivariant cohomology of the classical configuration space $F(\mathbb{R}^d,n)$ has been been of great interest and has been studied intensively starting with the classical papers by Artin (1925/1947) on the theory of braids, by Fox and Neuwirth (1962), Fadell and Neuwirth (1962), and Arnol'd (1969). We give a brief treatment of the subject from the beginnings to recent developments. However,…
▽ More
The equivariant cohomology of the classical configuration space $F(\mathbb{R}^d,n)$ has been been of great interest and has been studied intensively starting with the classical papers by Artin (1925/1947) on the theory of braids, by Fox and Neuwirth (1962), Fadell and Neuwirth (1962), and Arnol'd (1969). We give a brief treatment of the subject from the beginnings to recent developments. However, we focus on the mod 2 equivariant cohomology algebras of the classical configuration space $F(\mathbb{R}^d,n)$, as described in an influential paper by Hung (1990). We show with a new, detailed proof that his main result is correct, but that the arguments that were given by Hung on the way to his result are not, as are some of the intermediate results in his paper.
This invalidates a paper by three of the present authors, Blagojević, Lück \& Ziegler (2016), who used a claimed intermediate result from Hung (1990) in order to derive lower bounds for the existence of $k$-regular and $\ell$-skew embeddings. Using our new proof for Hung's main result, we get new lower bounds for existence of highly regular embeddings: Some of them agree with the previously claimed bounds, some are weaker.
△ Less
Submitted 23 May, 2021; v1 submitted 26 April, 2020;
originally announced April 2020.
-
Combinatorial Inscribability Obstructions for Higher-Dimensional Polytopes
Authors:
Joseph Doolittle,
Jean-Philippe Labbé,
Carsten E. M. C. Lange,
Rainer Sinn,
Jonathan Spreer,
Günter M. Ziegler
Abstract:
For $3$-dimensional convex polytopes, inscribability is a classical property that is relatively well-understood due to its relation with Delaunay subdivisions of the plane and hyperbolic geometry. In particular, inscribability can be tested in polynomial time, and for every $f$-vector of $3$-polytopes, there exists an inscribable polytope with that $f$-vector. For higher-dimensional polytopes, muc…
▽ More
For $3$-dimensional convex polytopes, inscribability is a classical property that is relatively well-understood due to its relation with Delaunay subdivisions of the plane and hyperbolic geometry. In particular, inscribability can be tested in polynomial time, and for every $f$-vector of $3$-polytopes, there exists an inscribable polytope with that $f$-vector. For higher-dimensional polytopes, much less is known. Of course, for any inscribable polytope, all of its lower-dimensional faces need to be inscribable, but this condition does not appear to be very strong.
We observe non-trivial new obstructions to the inscribability of polytopes that arise when imposing that a certain inscribable face be inscribed. Using this obstruction, we show that the duals of the $4$-dimensional cyclic polytopes with at least $8$ vertices---all of whose faces are inscribable---are not inscribable. This result is optimal in the following sense: We prove that the duals of the cyclic $4$-polytopes with up to $7$ vertices are, in fact, inscribable.
Moreover, we interpret this obstruction combinatorially as a forbidden subposet of the face lattice of a polytope, show that $d$-dimensional cyclic polytopes with at least $d+4$ vertices are not circumscribable, and that no dual of a neighborly $4$-polytope with $8$ vertices, that is, no polytope with $f$-vector $(20,40,28,8)$, is inscribable.
△ Less
Submitted 20 December, 2019; v1 submitted 11 October, 2019;
originally announced October 2019.
-
Plus minus analogues for affine Tverberg type results
Authors:
Pavle V. M. Blagojevic,
Günter M. Ziegler
Abstract:
The classical 1966 theorem of Tverberg with its numerous variations was and still is a motivating force behind many important developments in convex and computational geometry as well as the testing ground for methods from equivariant algebraic topology. In 2018, Bárány and Soberón presented a new variation, the "Tverberg plus minus theorem." In this paper, we give a new proof of the Tverberg plus…
▽ More
The classical 1966 theorem of Tverberg with its numerous variations was and still is a motivating force behind many important developments in convex and computational geometry as well as the testing ground for methods from equivariant algebraic topology. In 2018, Bárány and Soberón presented a new variation, the "Tverberg plus minus theorem." In this paper, we give a new proof of the Tverberg plus minus theorem, by using a projective transformation. The same tool allows us to derive plus minus analogues of all known affine Tverberg type results. In particular, we prove a plus minus analogue of the optimal colored Tverberg theorem.
△ Less
Submitted 14 July, 2019; v1 submitted 19 May, 2019;
originally announced May 2019.
-
Some more amplituhedra are contractible
Authors:
Pavle V. M. Blagojević,
Pavel Galashin,
Nevena Palić,
Günter M. Ziegler
Abstract:
The amplituhedra arise as images of the totally nonnegative Grassmannians by projections that are induced by linear maps. They were introduced in Physics by Arkani-Hamed \& Trnka (Journal of High Energy Physics, 2014) as model spaces that should provide a better understanding of the scattering amplitudes of quantum field theories. The topology of the amplituhedra has been known only in a few speci…
▽ More
The amplituhedra arise as images of the totally nonnegative Grassmannians by projections that are induced by linear maps. They were introduced in Physics by Arkani-Hamed \& Trnka (Journal of High Energy Physics, 2014) as model spaces that should provide a better understanding of the scattering amplitudes of quantum field theories. The topology of the amplituhedra has been known only in a few special cases, where they turned out to be homeomorphic to balls. The amplituhedra are special cases of Grassmann polytopes introduced by Lam (Current Developments in Mathematics 2014, Int.\ Press). In this paper we show that that some further amplituhedra are homeomorphic to balls, and that some more Grassmann polytopes and amplituhedra are contractible.
△ Less
Submitted 25 January, 2019; v1 submitted 3 June, 2018;
originally announced June 2018.
-
Characterizing face and flag vector pairs for polytopes
Authors:
Hannah Sjöberg,
Günter M. Ziegler
Abstract:
Grünbaum, Barnette, and Reay in 1974 completed the characterization of the pairs $(f_i,f_j)$ of face numbers of $4$-dimensional polytopes.
Here we obtain a complete characterization of the pairs of flag numbers $(f_0,f_{03})$ for $4$-polytopes. Furthermore, we describe the pairs of face numbers $(f_0,f_{d-1})$ for $d$-polytopes; this description is complete for even $d\ge6$ except for finitely m…
▽ More
Grünbaum, Barnette, and Reay in 1974 completed the characterization of the pairs $(f_i,f_j)$ of face numbers of $4$-dimensional polytopes.
Here we obtain a complete characterization of the pairs of flag numbers $(f_0,f_{03})$ for $4$-polytopes. Furthermore, we describe the pairs of face numbers $(f_0,f_{d-1})$ for $d$-polytopes; this description is complete for even $d\ge6$ except for finitely many exceptional pairs that are "small" in a well-defined sense, while for odd $d$ we show that there are also "large" exceptional pairs.
Our proofs rely on the insight that "small" pairs need to be defined and to be treated separately; in the $4$-dimensional case, these may be characterized with the help of the characterizations of the $4$-polytopes with at most $8$ vertices by Altshuler and Steinberg (1984).
△ Less
Submitted 19 October, 2018; v1 submitted 13 March, 2018;
originally announced March 2018.
-
Counting Periodic Trajectories of Finsler Billiards
Authors:
Pavle V. M. Blagojević,
Michael Harrison,
Serge Tabachnikov,
Günter M. Ziegler
Abstract:
We provide lower bounds on the number of periodic Finsler billiard trajectories inside a quadratically convex smooth closed hypersurface $M$ in a $d$-dimensional Finsler space with possibly irreversible Finsler metric. An example of such a system is a billiard in a sufficiently weak magnetic field. The $r$-periodic Finsler billiard trajectories correspond to $r$-gons inscribed in $M$ and having ex…
▽ More
We provide lower bounds on the number of periodic Finsler billiard trajectories inside a quadratically convex smooth closed hypersurface $M$ in a $d$-dimensional Finsler space with possibly irreversible Finsler metric. An example of such a system is a billiard in a sufficiently weak magnetic field. The $r$-periodic Finsler billiard trajectories correspond to $r$-gons inscribed in $M$ and having extremal Finsler length. The cyclic group ${\mathbb Z}_r$ acts on these extremal polygons, and one counts the ${\mathbb Z}_r$-orbits. Using Morse and Lusternik-Schnirelmann theories, we prove that if $r\ge 3$ is prime, then the number of $r$-periodic Finsler billiard trajectories is not less than $(r-1)(d-2)+1$. We also give stronger lower bounds when $M$ is in general position. The problem of estimating the number of periodic billiard trajectories from below goes back to Birkhoff. Our work extends to the Finsler setting the results previously obtained for Euclidean billiards by Babenko, Farber, Tabachnikov, and Karasev.
△ Less
Submitted 3 April, 2020; v1 submitted 21 December, 2017;
originally announced December 2017.
-
Semi-algebraic sets of f-vectors
Authors:
Hannah Sjöberg,
Günter M. Ziegler
Abstract:
Polytope theory has produced a great number of remarkably simple and complete characterization results for face-number sets or f-vector sets of classes of polytopes. We observe that in most cases these sets can be described as the intersection of a semi-algebraic set with an integer lattice. Such "semi-algebraic sets of lattice points" have not received much attention, which is surprising in view…
▽ More
Polytope theory has produced a great number of remarkably simple and complete characterization results for face-number sets or f-vector sets of classes of polytopes. We observe that in most cases these sets can be described as the intersection of a semi-algebraic set with an integer lattice. Such "semi-algebraic sets of lattice points" have not received much attention, which is surprising in view of a close connection to Hilbert's Tenth problem, which deals with their projections.
We develop proof techniques in order to show that, despite the observations above, some f-vector sets are NOT semi-algebraic sets of lattice points. This is then proved for the set of all pairs $(f_1,f_2)$ of 4-dimensional polytopes, the set of all f-vectors of simplicial $d$-polytopes for $d\ge6$, and the set of all f-vectors of general $d$-polytopes for $d\ge6$. For the f-vector set of all 4-polytopes this remains open.
△ Less
Submitted 19 October, 2018; v1 submitted 6 November, 2017;
originally announced November 2017.
-
Cutting a part from many measures
Authors:
Pavle V. M. Blagojević,
Nevena Palić,
Pablo Soberón,
Günter M. Ziegler
Abstract:
Holmsen, Kynčl and Valculescu recently conjectured that if a finite set $X$ with $\ell n$ points in $\mathbb{R}^d$ that is colored by $m$ different colors can be partitioned into $n$ subsets of $\ell$ points each, such that each subset contains points of at least $d$ different colors, then there exists such a partition of $X$ with the additional property that the convex hulls of the $n$ subsets ar…
▽ More
Holmsen, Kynčl and Valculescu recently conjectured that if a finite set $X$ with $\ell n$ points in $\mathbb{R}^d$ that is colored by $m$ different colors can be partitioned into $n$ subsets of $\ell$ points each, such that each subset contains points of at least $d$ different colors, then there exists such a partition of $X$ with the additional property that the convex hulls of the $n$ subsets are pairwise disjoint.
We prove a continuous analogue of this conjecture, generalized so that each subset contains points of at least $c$ different colors, where we also allow $c$ to be greater than $d$. Furthermore, we give lower bounds on the fraction of the points each of the subsets contains from $c$ different colors. For example, when $n\geq 2$, $d\geq 2$, $c\geq d$ with $m\geq n(c-d)+d$ are integers, and $μ_1, \dots, μ_m$ are $m$ positive finite absolutely continuous measures on $\mathbb{R}^d$, we prove that there exists a partition of $\mathbb{R}^d$ into $n$ convex pieces which equiparts the measures $μ_1, \dots, μ_{d-1}$, and in addition every piece of the partition has positive measure with respect to at least $c$ of the measures $μ_1, \dots, μ_m$.
△ Less
Submitted 24 June, 2019; v1 submitted 13 October, 2017;
originally announced October 2017.
-
Additive structures on $f$-vector sets of polytopes
Authors:
Günter M. Ziegler
Abstract:
We show that the $f$-vector sets of $d$-polytopes have non-trivial additive structure: They span affine lattices and are embedded in monoids that we describe explicitly. Moreover, for many large subclasses, such as the simple polytopes, or the simplicial polytopes, there are monoid structures on the set of $f$-vectors by themselves: "addition of $f$-vectors minus the $f$-vector of the $d$-simplex"…
▽ More
We show that the $f$-vector sets of $d$-polytopes have non-trivial additive structure: They span affine lattices and are embedded in monoids that we describe explicitly. Moreover, for many large subclasses, such as the simple polytopes, or the simplicial polytopes, there are monoid structures on the set of $f$-vectors by themselves: "addition of $f$-vectors minus the $f$-vector of the $d$-simplex" always yields a new $f$-vector. For general $4$-polytopes, we show that the modified addition operation does not always produce an $f$-vector, but that the result is always close to an $f$-vector. In this sense, the set of $f$-vectors of \emph{all} $4$-polytopes forms an "approximate affine semigroup." The proof relies on the fact for $d=4$ every $d$-polytope, or its dual, has a "small facet." This fails for $d>4$.
We also describe a two further modified addition operations on $f$-vectors that can be geometrically realized by glueing corresponding polytopes. The second one of these may yield a semigroup structure on the $f$-vector set of all $4$-polytopes.
△ Less
Submitted 13 September, 2017; v1 submitted 6 September, 2017;
originally announced September 2017.
-
Simple polytopes without small separators, II: Thurston's bound
Authors:
Lauri Loiskekoski,
Günter M. Ziegler
Abstract:
We show that there are simple 4-dimensional polytopes with n vertices such that all separators of the graph have size at least $Ω(n/\log n)$. This establishes a strong form of a claim by Thurston, for which the construction and proof had been lost.
We construct the polytopes by cutting off the vertices and then the edges of a particular type of neighborly cubical polytopes. The graphs of simple…
▽ More
We show that there are simple 4-dimensional polytopes with n vertices such that all separators of the graph have size at least $Ω(n/\log n)$. This establishes a strong form of a claim by Thurston, for which the construction and proof had been lost.
We construct the polytopes by cutting off the vertices and then the edges of a particular type of neighborly cubical polytopes. The graphs of simple polytopes thus obtained are 4-regular; they contain 3-regular "cube-connected cycle graphs" as minors of spanning subgraphs.
△ Less
Submitted 22 August, 2017;
originally announced August 2017.
-
Area difference bounds for dissections of a square into an odd number of triangles
Authors:
Jean-Philippe Labbé,
Günter Rote,
Günter M. Ziegler
Abstract:
Monsky's theorem from 1970 states that a square cannot be dissected into an odd number of triangles of the same area, but it does not give a lower bound for the area differences that must occur.
We extend Monsky's theorem to "constrained framed maps"; based on this we can apply a gap theorem from semi-algebraic geometry to a polynomial area difference measure and thus get a lower bound for the a…
▽ More
Monsky's theorem from 1970 states that a square cannot be dissected into an odd number of triangles of the same area, but it does not give a lower bound for the area differences that must occur.
We extend Monsky's theorem to "constrained framed maps"; based on this we can apply a gap theorem from semi-algebraic geometry to a polynomial area difference measure and thus get a lower bound for the area differences that decreases doubly-exponentially with the number of triangles. On the other hand, we obtain the first superpolynomial upper bounds for this problem, derived from an explicit construction that uses the Thue-Morse sequence.
△ Less
Submitted 6 June, 2018; v1 submitted 9 August, 2017;
originally announced August 2017.
-
Convex equipartitions of colored point sets
Authors:
Pavle V. M. Blagojević,
Günter Rote,
Johanna K. Steinmeyer,
Günter M. Ziegler
Abstract:
We show that any $d$-colored set of points in general position in $\mathbb{R}^d$ can be partitioned into $n$ subsets with disjoint convex hulls such that the set of points and all color classes are partitioned as evenly as possible. This extends results by Holmsen, Kynčl & Valculescu (2017) and establishes a special case of their general conjecture. Our proof utilizes a result obtained independent…
▽ More
We show that any $d$-colored set of points in general position in $\mathbb{R}^d$ can be partitioned into $n$ subsets with disjoint convex hulls such that the set of points and all color classes are partitioned as evenly as possible. This extends results by Holmsen, Kynčl & Valculescu (2017) and establishes a special case of their general conjecture. Our proof utilizes a result obtained independently by Soberón and by Karasev in 2010, on simultaneous equipartitions of $d$ continuous measures in $\mathbb{R}^d$ by $n$ convex regions. This gives a convex partition of $\mathbb{R}^d$ with the desired properties, except that points may lie on the boundaries of the regions. In order to resolve the ambiguous assignment of these points, we set up a network flow problem. The equipartition of the continuous measures gives a fractional flow. The existence of an integer flow then yields the desired partition of the point set.
△ Less
Submitted 14 December, 2017; v1 submitted 10 May, 2017;
originally announced May 2017.
-
Tverberg-type theorems for matroids: A counterexample and a proof
Authors:
Pavle V. M. Blagojević,
Albert Haase,
Günter M. Ziegler
Abstract:
Bárány, Kalai, and Meshulam recently obtained a topological Tverberg-type theorem for matroids, which guarantees multiple coincidences for continuous maps from a matroid complex to d-dimensional Euclidean space, if the matroid has sufficiently many disjoint bases. They make a conjecture on the connectivity of k-fold deleted joins of a matroid with many disjoint bases, which would yield a much tigh…
▽ More
Bárány, Kalai, and Meshulam recently obtained a topological Tverberg-type theorem for matroids, which guarantees multiple coincidences for continuous maps from a matroid complex to d-dimensional Euclidean space, if the matroid has sufficiently many disjoint bases. They make a conjecture on the connectivity of k-fold deleted joins of a matroid with many disjoint bases, which would yield a much tighter result - but we provide a counterexample already for the case of k=2, where a tight Tverberg-type theorem would be a topological Radon theorem for matroids. Nevertheless, we prove the topological Radon theorem for the counterexample family of matroids by an index calculation, despite the failure of the connectivity-based approach.
△ Less
Submitted 10 May, 2017;
originally announced May 2017.
-
Small f-vectors of 3-spheres and of 4-polytopes
Authors:
Philip Brinkmann,
Günter M. Ziegler
Abstract:
We present a new algorithmic approach that can be used to determine whether a given quadruple $(f_0,f_1,f_2,f_3)$ is the f-vector of any convex 4-dimensional polytope. By implementing this approach, we classify the f-vectors of 4-polytopes in the range $f_0+f_3\le22$.
In particular, we thus prove that there are f-vectors of cellular 3-spheres with the intersection property that are not f-vectors…
▽ More
We present a new algorithmic approach that can be used to determine whether a given quadruple $(f_0,f_1,f_2,f_3)$ is the f-vector of any convex 4-dimensional polytope. By implementing this approach, we classify the f-vectors of 4-polytopes in the range $f_0+f_3\le22$.
In particular, we thus prove that there are f-vectors of cellular 3-spheres with the intersection property that are not f-vectors of any convex 4-polytopes, thus answering a question that may be traced back to the works of Steinitz (1906/1922). In the range $f_0+f_3\le22$, there are exactly three such f-vectors with $f_0\le f_3$, namely $(10,32,33,11)$, $(10,33,35,12)$, and $(11,35,35,11)$.
△ Less
Submitted 4 October, 2016;
originally announced October 2016.
-
Beyond the Borsuk-Ulam theorem: The topological Tverberg story
Authors:
Pavle V. M. Blagojević,
Günter M. Ziegler
Abstract:
Bárány's "topological Tverberg conjecture" from 1976 states that any continuous map of an $N$-simplex $Δ_N$ to $\mathbb{R}^d$, for $N\ge(d+1)(r-1)$, maps points from $r$ disjoint faces in $Δ_N$ to the same point in $\mathbb{R}^d$. The proof of this result for the case when $r$ is a prime, as well as some colored version of the same result, using the results of Borsuk-Ulam and Dold on the non-exist…
▽ More
Bárány's "topological Tverberg conjecture" from 1976 states that any continuous map of an $N$-simplex $Δ_N$ to $\mathbb{R}^d$, for $N\ge(d+1)(r-1)$, maps points from $r$ disjoint faces in $Δ_N$ to the same point in $\mathbb{R}^d$. The proof of this result for the case when $r$ is a prime, as well as some colored version of the same result, using the results of Borsuk-Ulam and Dold on the non-existence of equivariant maps between spaces with a free group action, were main topics of Matoušek's 2003 book "Using the Borsuk-Ulam theorem."
In this paper we show how advanced equivariant topology methods allow one to go beyond the prime case of the topological Tverberg conjecture.
First we explain in detail how equivariant cohomology tools (employing the Borel construction, comparison of Serre spectral sequences, Fadell-Husseini index, etc.) can be used to prove the topological Tverberg conjecture whenever $r$ is a prime power. Our presentation includes a number of improved proofs as well as new results, such as a complete determination of the Fadell-Husseini index of chessboard complexes in the prime case.
Then we introduce the "constraint method," which applied to suitable "unavoidable complexes" yields a great variety of variations and corollaries to the topological Tverberg theorem, such as the "colored" and the "dimension-restricted" (Van Kampen-Flores type) versions.
Both parts have provided crucial components to the recent spectacular counter-examples in high dimensions for the case when $r$ is not a prime power.
△ Less
Submitted 21 May, 2017; v1 submitted 24 May, 2016;
originally announced May 2016.
-
The topological transversal Tverberg theorem plus constraints
Authors:
Pavle V. M. Blagojević,
Aleksandra S. Dimitrijević Blagojević,
Günter M. Ziegler
Abstract:
In this paper we use the strength of the constraint method in combination with a generalized Borsuk-Ulam type theorem and a cohomological intersection lemma to show how one can obtain many new topological transversal theorems of Tverberg type. In particular, we derive a topological generalized transversal Van Kampen-Flores theorem and a topological transversal weak colored Tverberg theorem.
In this paper we use the strength of the constraint method in combination with a generalized Borsuk-Ulam type theorem and a cohomological intersection lemma to show how one can obtain many new topological transversal theorems of Tverberg type. In particular, we derive a topological generalized transversal Van Kampen-Flores theorem and a topological transversal weak colored Tverberg theorem.
△ Less
Submitted 13 January, 2017; v1 submitted 11 April, 2016;
originally announced April 2016.
-
Polynomial partitioning for several sets of varieties
Authors:
Pavle V. M. Blagojević,
Aleksandra S. Dimitrijević Blagojević,
Günter M. Ziegler
Abstract:
We give a new, systematic proof for a recent result of Larry Guth and thus also extend the result to a setting with several families of varieties: For any integer $D\geq 1$ and any collection of sets $Γ_1,\ldots,Γ_j$ of low-degree $k$-dimensional varieties in $\mathbb{R}^n$ there exists a non-zero polynomial $p\in\mathbb{R}[X_1,\ldots,X_n]$ of degree at most $D$ so that each connected component of…
▽ More
We give a new, systematic proof for a recent result of Larry Guth and thus also extend the result to a setting with several families of varieties: For any integer $D\geq 1$ and any collection of sets $Γ_1,\ldots,Γ_j$ of low-degree $k$-dimensional varieties in $\mathbb{R}^n$ there exists a non-zero polynomial $p\in\mathbb{R}[X_1,\ldots,X_n]$ of degree at most $D$ so that each connected component of $\mathbb{R}^n{\setminus}Z(p)$ intersects $O(jD^{k-n}|Γ_i|)$ varieties of $Γ_i$, simultaneously for every $1\leq i\leq j$. For $j=1$ we recover the original result by Guth. Our proof, via an index calculation in equivariant cohomology, shows how the degrees of the polynomials used for partitioning are dictated by the topology, namely by the Euler class being given in terms of a top Dickson polynomial.
△ Less
Submitted 5 September, 2016; v1 submitted 7 January, 2016;
originally announced January 2016.
-
Six topics on inscribable polytopes
Authors:
Arnau Padrol,
Günter M. Ziegler
Abstract:
Inscribability of polytopes is a classic subject but also a lively research area nowadays. We illustrate this with a selection of well-known results and recent developments on six particular topics related to inscribable polytopes. Along the way we collect a list of (new and old) open questions.
Inscribability of polytopes is a classic subject but also a lively research area nowadays. We illustrate this with a selection of well-known results and recent developments on six particular topics related to inscribable polytopes. Along the way we collect a list of (new and old) open questions.
△ Less
Submitted 11 November, 2015;
originally announced November 2015.
-
Spaces of convex n-partitions
Authors:
Emerson León,
Günter M. Ziegler
Abstract:
We construct and study the space C(\R^d,n) of all partitions of \R^d into n non-empty open convex regions (n-partitions). A representation on the upper hemisphere of an n-sphere is used to obtain a metric and thus a topology on this space. We show that the space of partitions into possibly empty regions C(\R^d,\le n) yields a compactification with respect to this metric. We also describe faces and…
▽ More
We construct and study the space C(\R^d,n) of all partitions of \R^d into n non-empty open convex regions (n-partitions). A representation on the upper hemisphere of an n-sphere is used to obtain a metric and thus a topology on this space. We show that the space of partitions into possibly empty regions C(\R^d,\le n) yields a compactification with respect to this metric. We also describe faces and face lattices, combinatorial types, and adjacency graphs for $n$-partitions, and use these concepts to show that C(\R^d,n) is a union of elementary semialgebraic sets.
△ Less
Submitted 9 November, 2015;
originally announced November 2015.
-
Barycenters of Polytope Skeleta and Counterexamples to the Topological Tverberg Conjecture, via Constraints
Authors:
Pavle V. M. Blagojević,
Florian Frick,
Günter M. Ziegler
Abstract:
Using the authors' 2014 "constraints method," we give a short proof for a 2015 result of Dobbins on representations of a point in a polytope as the barycenter of points in a skeleton, and show that the "r-fold Whitney trick" of Mabillard and Wagner (2014/2015) implies that the Topological Tverberg Conjecture for r-fold intersections fails dramatically for all r that are not prime powers.
Using the authors' 2014 "constraints method," we give a short proof for a 2015 result of Dobbins on representations of a point in a polytope as the barycenter of points in a skeleton, and show that the "r-fold Whitney trick" of Mabillard and Wagner (2014/2015) implies that the Topological Tverberg Conjecture for r-fold intersections fails dramatically for all r that are not prime powers.
△ Less
Submitted 20 February, 2019; v1 submitted 27 October, 2015;
originally announced October 2015.
-
Simple polytopes without small separators
Authors:
Lauri Loiskekoski,
Günter M. Ziegler
Abstract:
We show that by cutting off the vertices and then the edges of neighborly cubical polytopes, one obtains simple 4-dimensional polytopes with n vertices such that all separators of the graph have size at least $Ω(n/\log^{3/2}n)$. This disproves a conjecture by Kalai from 1991/2004.
We show that by cutting off the vertices and then the edges of neighborly cubical polytopes, one obtains simple 4-dimensional polytopes with n vertices such that all separators of the graph have size at least $Ω(n/\log^{3/2}n)$. This disproves a conjecture by Kalai from 1991/2004.
△ Less
Submitted 2 October, 2015;
originally announced October 2015.
-
Hyperplane mass partitions via relative equivariant obstruction theory
Authors:
Pavle V. M. Blagojević,
Florian Frick,
Albert Haase,
Günter M. Ziegler
Abstract:
The Grünbaum-Hadwiger-Ramos hyperplane mass partition problem was introduced by Grünbaum (1960) in a special case and in general form by Ramos (1996). It asks for the "admissible" triples $(d,j,k)$ such that for any $j$ masses in $\mathbb{R}^d$ there are $k$ hyperplanes that cut each of the masses into $2^k$ equal parts. Ramos' conjecture is that the Avis-Ramos necessary lower bound condition…
▽ More
The Grünbaum-Hadwiger-Ramos hyperplane mass partition problem was introduced by Grünbaum (1960) in a special case and in general form by Ramos (1996). It asks for the "admissible" triples $(d,j,k)$ such that for any $j$ masses in $\mathbb{R}^d$ there are $k$ hyperplanes that cut each of the masses into $2^k$ equal parts. Ramos' conjecture is that the Avis-Ramos necessary lower bound condition $dk\ge j(2^k-1)$ is also sufficient.
We develop a "join scheme" for this problem, such that non-existence of an $G_k$-equivariant map between spheres $(S^d)^{*k} \rightarrow S(W_k\oplus U_k^{\oplus j})$ that extends a test map on the subspace of $(S^d)^{*k}$ where the hyperoctahedral group $G_k$ acts non-freely, implies that $(d,j,k)$ is admissible.
For the sphere $(S^d)^{*k}$ we obtain a very efficient regular cell decomposition, whose cells get a combinatorial interpretation with respect to measures on a modified moment curve. This allows us to apply relative equivariant obstruction theory successfully, even in the case when the difference of dimensions of the spheres $(S^d)^{*k}$ and $S(W_k\oplus U_k^{\oplus j})$ is greater than one. The evaluation of obstruction classes leads to counting problems for concatenated Gray codes.
Thus we give a rigorous, unified treatment of the previously announced cases of the Grünbaum-Hadwiger-Ramos problem, as well as a number of new cases for Ramos' conjecture.
△ Less
Submitted 5 September, 2016; v1 submitted 9 September, 2015;
originally announced September 2015.
-
A flag vector of a 3-sphere that is not the flag vector of a 4-polytope
Authors:
Philip Brinkmann,
Günter M. Ziegler
Abstract:
We present a first example of a flag vector of a polyhedral sphere that is not the flag vector of any polytope. Namely, there is a unique 3-sphere with the parameters $(f_0,f_1,f_2,f_3;f_{02})=(12,40,40,12;120)$, but this sphere is not realizable by a convex 4-polytope.
The 3-sphere, which is 2-simple and 2-simplicial, was found by Werner (2009); we present results of a computer enumeration whic…
▽ More
We present a first example of a flag vector of a polyhedral sphere that is not the flag vector of any polytope. Namely, there is a unique 3-sphere with the parameters $(f_0,f_1,f_2,f_3;f_{02})=(12,40,40,12;120)$, but this sphere is not realizable by a convex 4-polytope.
The 3-sphere, which is 2-simple and 2-simplicial, was found by Werner (2009); we present results of a computer enumeration which imply that the sphere with these parameters is unique. We prove that it is non-polytopal in two ways: First, we show that it has no oriented matroid, and thus it is not realizable; this proof was found by computer, but can be verified by hand. The second proof is again a computer-based oriented matroid proof and shows that for exactly one of the facets this sphere does not even have a diagram based on this facet. Using the non-polytopality, we finally prove that the sphere is not even embeddable as a polytopal complex.
△ Less
Submitted 19 November, 2015; v1 submitted 26 June, 2015;
originally announced June 2015.
-
Topology of the Grünbaum-Hadwiger-Ramos hyperplane mass partition problem
Authors:
Pavle V. M. Blagojevic,
Florian Frick,
Albert Haase,
Günter M. Ziegler
Abstract:
In 1960 Grünbaum asked whether for any finite mass in $\mathbb{R}^d$ there are $d$ hyperplanes that cut it into $2^d$ equal parts. This was proved by Hadwiger (1966) for $d\le3$, but disproved by Avis (1984) for $d\ge5$, while the case $d=4$ remained open.
More generally, Ramos (1996) asked for the smallest dimension $Δ(j,k)$ in which for any $j$ masses there are $k$ affine hyperplanes that simu…
▽ More
In 1960 Grünbaum asked whether for any finite mass in $\mathbb{R}^d$ there are $d$ hyperplanes that cut it into $2^d$ equal parts. This was proved by Hadwiger (1966) for $d\le3$, but disproved by Avis (1984) for $d\ge5$, while the case $d=4$ remained open.
More generally, Ramos (1996) asked for the smallest dimension $Δ(j,k)$ in which for any $j$ masses there are $k$ affine hyperplanes that simultaneously cut each of the masses into $2^k$ equal parts. At present the best lower bounds on $Δ(j,k)$ are provided by Avis (1984) and Ramos (1996), the best upper bounds by Mani-Levitska, Vrećica \& Živaljević (2006). The problem has been an active testing ground for advanced machinery from equivariant topology.
We give a critical review of the work on the Grünbaum--Hadwiger--Ramos problem, which includes the documentation of essential gaps in the proofs for some previous claims. Furthermore, we establish that $Δ(j,2)= \frac12(3j+1)$ in the cases when $j-1$ is a power of $2$, $j\ge5$.
△ Less
Submitted 29 June, 2018; v1 submitted 10 February, 2015;
originally announced February 2015.
-
Barycenters of points that are constrained to a polytope skeleton
Authors:
Pavle V. M. Blagojević,
Florian Frick,
Günter M. Ziegler
Abstract:
We give a short and simple proof of a recent result of Dobbins that any point in an $nd$-polytope is the barycenter of $n$ points in the $d$-skeleton. This new proof builds on the constraint method that we recently introduced to prove Tverberg-type results.
We give a short and simple proof of a recent result of Dobbins that any point in an $nd$-polytope is the barycenter of $n$ points in the $d$-skeleton. This new proof builds on the constraint method that we recently introduced to prove Tverberg-type results.
△ Less
Submitted 13 November, 2015; v1 submitted 17 November, 2014;
originally announced November 2014.
-
On complex highly regular embeddings and the extended Vassiliev conjecture
Authors:
Pavle V. M. Blagojević,
Frederick R. Cohen,
Wolfgang Lück,
Günter M. Ziegler
Abstract:
A continuous map C^d -> C^N is a complex k-regular embedding if any k pairwise distinct points in C^d are mapped by f into k complex linearly independent vectors in C^N. Our central result on complex k-regular embeddings extends results of Cohen & Handel (1978), Chisholm (1979) and Blagojevic, Lück & Ziegler (2013) on real k-regular embeddings: We give new lower bounds for the existence of complex…
▽ More
A continuous map C^d -> C^N is a complex k-regular embedding if any k pairwise distinct points in C^d are mapped by f into k complex linearly independent vectors in C^N. Our central result on complex k-regular embeddings extends results of Cohen & Handel (1978), Chisholm (1979) and Blagojevic, Lück & Ziegler (2013) on real k-regular embeddings: We give new lower bounds for the existence of complex k-regular embeddings. These are obtained by modifying the framework of Cohen & Handel (1978) and a study of Chern classes of complex regular representations. The main technical result, used for the study of the Chern classes, is an upper bound for the height of the cohomology of an unordered configuration space Furthermore, we give similar lower bounds for the existence of complex l-skew embeddings C^d -> C^N, for which we require that the images of the tangent spaces at any l distinct points are skew complex affine subspaces of C^N.
△ Less
Submitted 27 October, 2015; v1 submitted 22 October, 2014;
originally announced October 2014.
-
Using Brouwer's fixed point theorem
Authors:
Anders Björner,
Jiří Matoušek,
Günter M. Ziegler
Abstract:
Brouwer's fixed point theorem from 1911 is a basic result in topology - with a wealth of combinatorial and geometric consequences. In these lecture notes we present some of them, related to the game of HEX and to the piercing of multiple intervals. We also sketch stronger theorems, due to Oliver and others, and explain their applications to the fascinating (and still not fully solved) evasiveness…
▽ More
Brouwer's fixed point theorem from 1911 is a basic result in topology - with a wealth of combinatorial and geometric consequences. In these lecture notes we present some of them, related to the game of HEX and to the piercing of multiple intervals. We also sketch stronger theorems, due to Oliver and others, and explain their applications to the fascinating (and still not fully solved) evasiveness problem.
△ Less
Submitted 14 January, 2017; v1 submitted 28 September, 2014;
originally announced September 2014.
-
Tverberg plus constraints
Authors:
Pavle V. M. Blagojević,
Florian Frick,
Günter M. Ziegler
Abstract:
Many of the strengthenings and extensions of the topological Tverberg theorem can be derived with surprising ease directly from the original theorem: For this we introduce a proof technique that combines a concept of "Tverberg unavoidable subcomplexes" with the observation that Tverberg points that equalize the distance from such a subcomplex can be obtained from maps to an extended target space.…
▽ More
Many of the strengthenings and extensions of the topological Tverberg theorem can be derived with surprising ease directly from the original theorem: For this we introduce a proof technique that combines a concept of "Tverberg unavoidable subcomplexes" with the observation that Tverberg points that equalize the distance from such a subcomplex can be obtained from maps to an extended target space.
Thus we obtain simple proofs for many variants of the topological Tverberg theorem, such as the colored Tverberg theorem of Zivaljevic and Vrecica (1992). We also get a new strengthened version of the generalized van Kampen-Flores theorem by Sarkaria (1991) and Volovikov (1996), an affine version of their "j-wise disjoint" Tverberg theorem, and a topological version of Soberon's (2013) result on Tverberg points with equal barycentric coordinates.
△ Less
Submitted 29 April, 2014; v1 submitted 3 January, 2014;
originally announced January 2014.
-
Extremal edge polytopes
Authors:
Tuan Tran,
Günter M. Ziegler
Abstract:
The "edge polytope" of a finite graph G is the convex hull of the columns of its vertex-edge incidence matrix. We study extremal problems for this class of polytopes. For k =2, 3, 5 we determine the maximum number of vertices of k-neighborly edge polytopes up to a sublinear term. We also construct a family of edge polytopes with exponentially-many facets.
The "edge polytope" of a finite graph G is the convex hull of the columns of its vertex-edge incidence matrix. We study extremal problems for this class of polytopes. For k =2, 3, 5 we determine the maximum number of vertices of k-neighborly edge polytopes up to a sublinear term. We also construct a family of edge polytopes with exponentially-many facets.
△ Less
Submitted 27 June, 2014; v1 submitted 25 July, 2013;
originally announced July 2013.
-
On highly regular embeddings
Authors:
Pavle V. M. Blagojevic,
Wolfgang Lueck,
Guenter M. Ziegler
Abstract:
Given parameters k, l, and d, we give new lower bounds on the dimensions N such that there are maps from R^d to R^N that are k-regular, l-skew embeddings, or k-regular-l-skew embeddings. This extends and sharpens results due to Chisholm (1979) and Ghomi-Tabachnikov (2008).
Given parameters k, l, and d, we give new lower bounds on the dimensions N such that there are maps from R^d to R^N that are k-regular, l-skew embeddings, or k-regular-l-skew embeddings. This extends and sharpens results due to Chisholm (1979) and Ghomi-Tabachnikov (2008).
△ Less
Submitted 3 September, 2014; v1 submitted 31 May, 2013;
originally announced May 2013.
-
Unimodular triangulations of dilated 3-polytopes
Authors:
Francisco Santos,
Günter M. Ziegler
Abstract:
A seminal result in the theory of toric varieties, due to Knudsen, Mumford and Waterman (1973), asserts that for every lattice polytope $P$ there is a positive integer $k$ such that the dilated polytope $kP$ has a unimodular triangulation. In dimension 3, Kantor and Sarkaria (2003) have shown that $k=4$ works for every polytope. But this does not imply that every $k>4$ works as well. We here study…
▽ More
A seminal result in the theory of toric varieties, due to Knudsen, Mumford and Waterman (1973), asserts that for every lattice polytope $P$ there is a positive integer $k$ such that the dilated polytope $kP$ has a unimodular triangulation. In dimension 3, Kantor and Sarkaria (2003) have shown that $k=4$ works for every polytope. But this does not imply that every $k>4$ works as well. We here study the values of $k$ for which the result holds showing that:
1. It contains all composite numbers.
2. It is an additive semigroup.
These two properties imply that the only values of $k$ that may not work (besides 1 and 2, which are known not to work) are $k\in\{3,5,7,11\}$. With an ad-hoc construction we show that $k=7$ and $k=11$ also work, except in this case the triangulation cannot be guaranteed to be "standard" in the boundary. All in all, the only open cases are $k=3$ and $k=5$.
△ Less
Submitted 26 April, 2013;
originally announced April 2013.
-
Many projectively unique polytopes
Authors:
Karim A. Adiprasito,
Günter M. Ziegler
Abstract:
We construct an infinite family of 4-polytopes whose realization spaces have dimension smaller or equal to 96. This in particular settles a problem going back to Legendre and Steinitz: whether and how the dimension of the realization space of a polytope is determined/bounded by its f-vector.
From this, we derive an infinite family of combinatorially distinct 69-dimensional polytopes whose realiz…
▽ More
We construct an infinite family of 4-polytopes whose realization spaces have dimension smaller or equal to 96. This in particular settles a problem going back to Legendre and Steinitz: whether and how the dimension of the realization space of a polytope is determined/bounded by its f-vector.
From this, we derive an infinite family of combinatorially distinct 69-dimensional polytopes whose realization is unique up to projective transformation. This answers a problem posed by Perles and Shephard in the sixties. Moreover, our methods naturally lead to several interesting classes of projectively unique polytopes, among them projectively unique polytopes inscribed to the sphere.
The proofs rely on a novel construction technique for polytopes based on solving Cauchy problems for discrete conjugate nets in S^d, a new Alexandrov--van Heijenoort Theorem for manifolds with boundary and a generalization of Lawrence's extension technique for point configurations.
△ Less
Submitted 19 March, 2014; v1 submitted 23 December, 2012;
originally announced December 2012.
-
Foldable Triangulations of Lattice Polygons
Authors:
Michael Joswig,
Günter M. Ziegler
Abstract:
We give a simple formula for the signature of a foldable triangulation of a lattice polygon in terms of its boundary. This yields lower bounds on the number of real roots of certain of systems of polynomial equations known as "Wronski systems".
We give a simple formula for the signature of a foldable triangulation of a lattice polygon in terms of its boundary. This yields lower bounds on the number of real roots of certain of systems of polynomial equations known as "Wronski systems".
△ Less
Submitted 7 January, 2013; v1 submitted 30 July, 2012;
originally announced July 2012.
-
Equivariant Topology of Configuration Spaces
Authors:
Pavle V. M. Blagojević,
Wolfgang Lück,
Günter M. Ziegler
Abstract:
We study the Fadell-Husseini index of the configuration space F(R^d,n) with respect to different subgroups of the symmetric group S_n. For p prime and d>0, we completely determine Index_{Z/p}(F(R^d,p);F_p) and partially describe Index{(Z/p)^k}(F(R^d,p^k);F_p). In this process we obtain results of independent interest, including:
(1) an extended equivariant Goresky-MacPherson formula,
(2) a com…
▽ More
We study the Fadell-Husseini index of the configuration space F(R^d,n) with respect to different subgroups of the symmetric group S_n. For p prime and d>0, we completely determine Index_{Z/p}(F(R^d,p);F_p) and partially describe Index{(Z/p)^k}(F(R^d,p^k);F_p). In this process we obtain results of independent interest, including:
(1) an extended equivariant Goresky-MacPherson formula,
(2) a complete description of the top homology of the partition lattice Pi_p as an F_p[Z_p]-module, and
(3) a generalized Dold theorem for elementary abelian groups.
The results on the Fadell-Husseini index yield a new proof of the Nandakumar & Ramana Rao conjecture for a prime. For n=p^k a prime power, we compute the Lusternik-Schnirelmann category cat(F(R^d,n)/S_n)=(d-1)(n-1). Moreover, we extend coincidence results related to the Borsuk-Ulam theorem, as obtained by Cohen & Connett, Cohen & Lusk, and Karasev & Volovikov.
△ Less
Submitted 3 November, 2014; v1 submitted 12 July, 2012;
originally announced July 2012.
-
Convex Equipartitions via Equivariant Obstruction Theory
Authors:
Pavle V. M. Blagojević,
Günter M. Ziegler
Abstract:
We describe a regular cell complex model for the configuration space F(\R^d,n). Based on this, we use Equivariant Obstruction Theory to prove the prime power case of the conjecture by Nandakumar and Ramana Rao that every polygon can be partitioned into n convex parts of equal area and perimeter.
We describe a regular cell complex model for the configuration space F(\R^d,n). Based on this, we use Equivariant Obstruction Theory to prove the prime power case of the conjecture by Nandakumar and Ramana Rao that every polygon can be partitioned into n convex parts of equal area and perimeter.
△ Less
Submitted 4 July, 2013; v1 submitted 24 February, 2012;
originally announced February 2012.
-
Face numbers of centrally symmetric polytopes from split graphs
Authors:
Ragnar Freij,
Matthias Henze,
Moritz W. Schmitt,
Günter M. Ziegler
Abstract:
We analyze a remarkable class of centrally symmetric polytopes, the Hansen polytopes of split graphs. We confirm Kalai's 3^d-conjecture for such polytopes (they all have at least 3^d nonempty faces) and show that the Hanner polytopes among them (which have exactly 3^d nonempty faces) correspond to threshold graphs. Our study produces a new family of Hansen polytopes that have only 3^d+16 nonempty…
▽ More
We analyze a remarkable class of centrally symmetric polytopes, the Hansen polytopes of split graphs. We confirm Kalai's 3^d-conjecture for such polytopes (they all have at least 3^d nonempty faces) and show that the Hanner polytopes among them (which have exactly 3^d nonempty faces) correspond to threshold graphs. Our study produces a new family of Hansen polytopes that have only 3^d+16 nonempty faces.
△ Less
Submitted 27 January, 2012;
originally announced January 2012.
-
Inscribable stacked polytopes
Authors:
Bernd Gonska,
Günter M. Ziegler
Abstract:
We characterize the combinatorial types of stacked d-polytopes that are inscribable. Equivalently, we identify the triangulations of a simplex by stellar subdivisions that can be realized as Delaunay triangulations.
We characterize the combinatorial types of stacked d-polytopes that are inscribable. Equivalently, we identify the triangulations of a simplex by stellar subdivisions that can be realized as Delaunay triangulations.
△ Less
Submitted 22 November, 2011;
originally announced November 2011.
-
Realizing the associahedron: Mysteries and questions
Authors:
Cesar Ceballos,
Günter M. Ziegler
Abstract:
There are many open problems and some mysteries connected to the realizations of the associahedra as convex polytopes. In this note, we describe three -- concerning special realizations with the vertices on a sphere, the space of all possible realizations, and possible realizations of the multiassociahedron.
There are many open problems and some mysteries connected to the realizations of the associahedra as convex polytopes. In this note, we describe three -- concerning special realizations with the vertices on a sphere, the space of all possible realizations, and possible realizations of the multiassociahedron.
△ Less
Submitted 18 October, 2011;
originally announced October 2011.
-
Many non-equivalent realizations of the associahedron
Authors:
Cesar Ceballos,
Francisco Santos,
Günter M. Ziegler
Abstract:
Hohlweg and Lange (2007) and Santos (2004, unpublished) have found two different ways of constructing exponential families of realizations of the n-dimensional associahedron with normal vectors in {0,1,-1}^n, generalizing the constructions of Loday (2004) and Chapoton-Fomin-Zelevinsky (2002). We classify the associahedra obtained by these constructions modulo linear equivalence of their normal fan…
▽ More
Hohlweg and Lange (2007) and Santos (2004, unpublished) have found two different ways of constructing exponential families of realizations of the n-dimensional associahedron with normal vectors in {0,1,-1}^n, generalizing the constructions of Loday (2004) and Chapoton-Fomin-Zelevinsky (2002). We classify the associahedra obtained by these constructions modulo linear equivalence of their normal fans and show, in particular, that the only realization that can be obtained with both methods is the Chapoton-Fomin-Zelevinsky (2002) associahedron.
For the Hohlweg-Lange associahedra our classification is a priori coarser than the classification up to isometry of normal fans, by Bergeron-Hohlweg-Lange-Thomas (2009). However, both yield the same classes. As a consequence, we get that two Hohlweg-Lange associahedra have linearly equivalent normal fans if and only if they are isometric.
The Santos construction, which produces an even larger family of associahedra, appears here in print for the first time. Apart of describing it in detail we relate it with the c-cluster complexes and the denominator fans in cluster algebras of type A.
A third classical construction of the associahedron, as the secondary polytope of a convex n-gon (Gelfand-Kapranov-Zelevinsky, 1990), is shown to never produce a normal fan linearly equivalent to any of the other two constructions.
△ Less
Submitted 3 September, 2013; v1 submitted 26 September, 2011;
originally announced September 2011.
-
A tight colored Tverberg theorem for maps to manifolds
Authors:
Pavle V. M. Blagojević,
Benjamin Matschke,
Günter M. Ziegler
Abstract:
We prove that any continuous map of an N-dimensional simplex Delta_N with colored vertices to a d-dimensional manifold M must map r points from disjoint rainbow faces of Delta_N to the same point in M: For this we have to assume that N \geq (r-1)(d+1), no r vertices of Delta_N get the same color, and our proof needs that r is a prime. A face of Delta_N is a rainbow face if all vertices have differ…
▽ More
We prove that any continuous map of an N-dimensional simplex Delta_N with colored vertices to a d-dimensional manifold M must map r points from disjoint rainbow faces of Delta_N to the same point in M: For this we have to assume that N \geq (r-1)(d+1), no r vertices of Delta_N get the same color, and our proof needs that r is a prime. A face of Delta_N is a rainbow face if all vertices have different colors.
This result is an extension of our recent "new colored Tverberg theorem", the special case of M=R^d. It is also a generalization of Volovikov's 1996 topological Tverberg theorem for maps to manifolds, which arises when all color classes have size 1 (i.e., without color constraints); for this special case Volovikov's proof, as well as ours, work when r is a prime power.
△ Less
Submitted 10 July, 2011;
originally announced July 2011.
-
Projecting lattice polytopes without interior lattice points
Authors:
Benjamin Nill,
Günter M. Ziegler
Abstract:
We show that up to unimodular equivalence there are only finitely many d-dimensional lattice polytopes without interior lattice points that do not admit a lattice projection onto a (d-1)-dimensional lattice polytope without interior lattice points. This was conjectured by Treutlein. As an immediate corollary, we get a short proof of a recent result of Averkov, Wagner and Weismantel, namely the fin…
▽ More
We show that up to unimodular equivalence there are only finitely many d-dimensional lattice polytopes without interior lattice points that do not admit a lattice projection onto a (d-1)-dimensional lattice polytope without interior lattice points. This was conjectured by Treutlein. As an immediate corollary, we get a short proof of a recent result of Averkov, Wagner and Weismantel, namely the finiteness of the number of maximal lattice polytopes without interior lattice points. Moreover, we show that in dimension four and higher some of these finitely many polytopes are not maximal as convex bodies without interior lattice points.
△ Less
Submitted 24 April, 2011; v1 submitted 22 January, 2011;
originally announced January 2011.
-
Three non-equivalent realizations of the associahedron
Authors:
Cesar Ceballos,
Günter M. Ziegler
Abstract:
We review three realizations of the associahedron that arise as secondary polytopes, from cluster algebras, and as Minkowski sums of simplices, and show that under any choice of parameters, the resulting associahedra are affinely non-equivalent.
We review three realizations of the associahedron that arise as secondary polytopes, from cluster algebras, and as Minkowski sums of simplices, and show that under any choice of parameters, the resulting associahedra are affinely non-equivalent.
△ Less
Submitted 28 September, 2011; v1 submitted 17 June, 2010;
originally announced June 2010.
-
Optimal bounds for the colored Tverberg problem
Authors:
Pavle V. M. Blagojević,
Benjamin Matschke,
Günter M. Ziegler
Abstract:
We prove a "Tverberg type" multiple intersection theorem. It strengthens the prime case of the original Tverberg theorem from 1966, as well as the topological Tverberg theorem of Barany et al. (1980), by adding color constraints. It also provides an improved bound for the (topological) colored Tverberg problem of Barany & Larman (1992) that is tight in the prime case and asymptotically optimal in…
▽ More
We prove a "Tverberg type" multiple intersection theorem. It strengthens the prime case of the original Tverberg theorem from 1966, as well as the topological Tverberg theorem of Barany et al. (1980), by adding color constraints. It also provides an improved bound for the (topological) colored Tverberg problem of Barany & Larman (1992) that is tight in the prime case and asymptotically optimal in the general case. The proof is based on relative equivariant obstruction theory.
△ Less
Submitted 17 November, 2014; v1 submitted 26 October, 2009;
originally announced October 2009.
-
Polyhedral Surfaces in Wedge Products
Authors:
Thilo Rörig,
Günter M. Ziegler
Abstract:
We introduce the wedge product of two polytopes. The wedge product is described in terms of inequality systems, in terms of vertex coordinates as well as purely combinatorially, from the corresponding data of its constituents. The wedge product construction can be described as an iterated ``subdirect product'' as introduced by McMullen (1976); it is dual to the ``wreath product'' construction of…
▽ More
We introduce the wedge product of two polytopes. The wedge product is described in terms of inequality systems, in terms of vertex coordinates as well as purely combinatorially, from the corresponding data of its constituents. The wedge product construction can be described as an iterated ``subdirect product'' as introduced by McMullen (1976); it is dual to the ``wreath product'' construction of Joswig and Lutz (2005).
One particular instance of the wedge product construction turns out to be especially interesting: The wedge products of polygons with simplices contain certain combinatorially regular polyhedral surfaces as subcomplexes. These generalize known classes of surfaces ``of unusually large genus'' that first appeared in works by Coxeter (1937), Ringel (1956), and McMullen, Schulz, and Wills (1983). Via ``projections of deformed wedge products'' we obtain realizations of some of the surfaces in the boundary complexes of 4-polytopes, and thus in R^3. As additional benefits our construction also yields polyhedral subdivisions for the interior and the exterior, as well as a great number of local deformations (``moduli'') for the surfaces in R^3. In order to prove that there are many moduli, we introduce the concept of ``affine support sets'' in simple polytopes. Finally, we explain how duality theory for 4-dimensional polytopes can be exploited in order to also realize combinatorially dual surfaces in R^3 via dual 4-polytopes.
△ Less
Submitted 21 August, 2009;
originally announced August 2009.
-
A Lost Counterexample and a Problem on Illuminated Polytopes
Authors:
Ronald F. Wotzlaw,
Günter M. Ziegler
Abstract:
In a Note added in proof to a 1984 paper, Daniel A. Marcus claimed to have a counterexample to his conjecture that a minimal positively k-spanning vector configuration in R^m has size at most 2km. However, the counterexample was never published, and seems to be lost.
Independently, ten years earlier, Peter Mani in 1974 solved a problem by Hadwiger, disproving that every ``illuminated'' d-dimen…
▽ More
In a Note added in proof to a 1984 paper, Daniel A. Marcus claimed to have a counterexample to his conjecture that a minimal positively k-spanning vector configuration in R^m has size at most 2km. However, the counterexample was never published, and seems to be lost.
Independently, ten years earlier, Peter Mani in 1974 solved a problem by Hadwiger, disproving that every ``illuminated'' d-dimensional polytope must have at least 2d vertices.
These two studies are related by Gale duality, an elementary linear algebra technique devised by Micha A. Perles in the sixties. Thus, we note that Mani's study provides a counterexample for Marcus' conjecture with exactly the parameters that Marcus had claimed. In the other direction, with Marcus' tools we provide an answer to a problem left open by Mani: Could ``illuminated'' d-dimensional polytopes on a minimal number of vertices be nonsimplicial?
△ Less
Submitted 12 August, 2009;
originally announced August 2009.
-
On locally constructible spheres and balls
Authors:
Bruno Benedetti,
Günter M. Ziegler
Abstract:
Durhuus and Jonsson (1995) introduced the class of "locally constructible" (LC) 3-spheres and showed that there are only exponentially-many combinatorial types of simplicial LC 3-spheres. Such upper bounds are crucial for the convergence of models for 3D quantum gravity.
We characterize the LC property for d-spheres ("the sphere minus a facet collapses to a (d-2)-complex") and for d-balls. In pa…
▽ More
Durhuus and Jonsson (1995) introduced the class of "locally constructible" (LC) 3-spheres and showed that there are only exponentially-many combinatorial types of simplicial LC 3-spheres. Such upper bounds are crucial for the convergence of models for 3D quantum gravity.
We characterize the LC property for d-spheres ("the sphere minus a facet collapses to a (d-2)-complex") and for d-balls. In particular, we link it to the classical notions of collapsibility, shellability and constructibility, and obtain hierarchies of such properties for simplicial balls and spheres. The main corollaries from this study are:
1.) Not all simplicial 3-spheres are locally constructible. (This solves a problem by Durhuus and Jonsson.)
2.) There are only exponentially many shellable simplicial 3-spheres with given number of facets. (This answers a question by Kalai.)
3.) All simplicial constructible 3-balls are collapsible. (This answers a question by Hachimori.)
4.) Not every collapsible 3-ball collapses onto its boundary minus a facet. (This property appears in papers by Chillingworth and Lickorish.)
△ Less
Submitted 21 July, 2010; v1 submitted 3 February, 2009;
originally announced February 2009.
-
Tetrahedra on deformed spheres and integral group cohomology
Authors:
Pavle V. M. Blagojevic,
Günter M. Ziegler
Abstract:
We show that for every injective continuous map f: S^2 --> R^3 there are four distinct points in the image of f such that the convex hull is a tetrahedron with the property that two opposite edges have the same length and the other four edges are also of equal length. This result represents a partial result for the topological Borsuk problem for R^3. Our proof of the geometrical claim, via Fadel…
▽ More
We show that for every injective continuous map f: S^2 --> R^3 there are four distinct points in the image of f such that the convex hull is a tetrahedron with the property that two opposite edges have the same length and the other four edges are also of equal length. This result represents a partial result for the topological Borsuk problem for R^3. Our proof of the geometrical claim, via Fadell-Husseini index theory, provides an instance where arguments based on group cohomology with integer coefficients yield results that cannot be accessed using only field coefficients.
△ Less
Submitted 28 August, 2008;
originally announced August 2008.
