Showing 1–50 of 55 results for author: Adiprasito, K

Subadditivity of shifts, Eilenberg-Zilber shuffle products and homology of lattices

Authors: Karim Adiprasito, Anders Björner, Joel Hakavuori, Minas Margaritis, Volkmar Welker

Abstract: We show that the maximal shifts in the minimal free resolution of the quotients of a polynomial ring by a monomial ideal are subadditive as a function of the homological degree. This answers a question that has received some attention in recent years. To do so, we define and study a new model for the homology of posets, given by the so called synor complex. We also introduce an Eilenberg-Zilber ty… ▽ More We show that the maximal shifts in the minimal free resolution of the quotients of a polynomial ring by a monomial ideal are subadditive as a function of the homological degree. This answers a question that has received some attention in recent years. To do so, we define and study a new model for the homology of posets, given by the so called synor complex. We also introduce an Eilenberg-Zilber type shuffle product on the simplicial chain complex of lattices. Combining these concepts we prove that the existence of a non-zero homology class for a lattice forces certain non-zero homology classes in lower intervals. This result then translates into properties of the minimal free resolution. In particular, it implies a generalization of the original question. △ Less

Submitted 2 May, 2024; v1 submitted 25 April, 2024; originally announced April 2024.

Polyhedral CAT(0) metrics on locally finite complexes

Authors: Karim A. Adiprasito, Louis Funar

Abstract: We prove the arborescence of any locally finite complex that is $CAT(0)$ with a polyhedral metric for which all vertex stars are convex. In particular locally finite $CAT(0)$ cube complexes or equilateral simplicial complexes are arborescent. Moreover, a triangulated manifold admits a $CAT(0)$ polyhedral metric if and only if it admits arborescent triangulations. We prove eventually that every loc… ▽ More We prove the arborescence of any locally finite complex that is $CAT(0)$ with a polyhedral metric for which all vertex stars are convex. In particular locally finite $CAT(0)$ cube complexes or equilateral simplicial complexes are arborescent. Moreover, a triangulated manifold admits a $CAT(0)$ polyhedral metric if and only if it admits arborescent triangulations. We prove eventually that every locally finite complex which is $CAT(0)$ with a polyhedral metric has a barycentric subdivision which is arborescent. △ Less

Submitted 23 April, 2024; originally announced April 2024.

Comments: 16p

MSC Class: 57N16; 51K10; 57N15

A higher-dimensional version of Fáry's theorem

Authors: Karim Adiprasito, Zuzana Patáková

Abstract: We prove a generalization of Istvan Fáry's celebrated theorem to higher dimension. We prove a generalization of Istvan Fáry's celebrated theorem to higher dimension. △ Less

Submitted 26 April, 2024; v1 submitted 18 April, 2024; originally announced April 2024.

All triangulations have a common stellar subdivision

Authors: Karim Adiprasito, Igor Pak

Abstract: We address two longstanding open problems, one originating in PL topology, another in birational geometry. First, we prove the weighted version of Oda's \emph{strong factorization conjecture} (1978), and prove that every two birational toric varieties are related by a common iterated blowup (at rationally smooth points). Second, we prove that every two PL homeomorphic polyhedra have a common s… ▽ More We address two longstanding open problems, one originating in PL topology, another in birational geometry. First, we prove the weighted version of Oda's \emph{strong factorization conjecture} (1978), and prove that every two birational toric varieties are related by a common iterated blowup (at rationally smooth points). Second, we prove that every two PL homeomorphic polyhedra have a common stellar subdivisions, as conjectured by Alexander in~1930. △ Less

Submitted 23 April, 2024; v1 submitted 8 April, 2024; originally announced April 2024.

Beyond positivity in Ehrhart Theory

Authors: Karim Alexander Adiprasito, Stavros Argyrios Papadakis, Vasiliki Petrotou, Johanna Kristina Steinmeyer

Abstract: We study semigroup algebras arising from lattice polytopes, compute their volume polynomials (particularizing work of Hochster), and establish strong Lefschetz properties (generalizing work of the first three authors). This resolves several conjectures concerning unimodality properties of the $h^\ast$-polynomial of lattice polytopes arising within Ehrhart theory. We study semigroup algebras arising from lattice polytopes, compute their volume polynomials (particularizing work of Hochster), and establish strong Lefschetz properties (generalizing work of the first three authors). This resolves several conjectures concerning unimodality properties of the $h^\ast$-polynomial of lattice polytopes arising within Ehrhart theory. △ Less

Submitted 19 October, 2022; originally announced October 2022.

On the Schmidt and analytic ranks for trilinear forms

Authors: Karim Adiprasito, David Kazhdan, Tamar Ziegler

Abstract: We discuss relations between different notions of ranks for multilinear forms. In particular we show that the Schmidt and the analytic ranks for trilinear forms are essentially proportional. We discuss relations between different notions of ranks for multilinear forms. In particular we show that the Schmidt and the analytic ranks for trilinear forms are essentially proportional. △ Less

Submitted 6 February, 2021; originally announced February 2021.

Anisotropy, biased pairings, and the Lefschetz property for pseudomanifolds and cycles

Authors: Karim Adiprasito, Stavros Argyrios Papadakis, Vasiliki Petrotou

Abstract: We prove the hard Lefschetz property for pseudomanifolds and cycles in any characteristic with respect to an appropriate Artinian reduction. The proof is a combination of Adiprasito's biased pairing theory and a generalization of a formula of Papadakis-Petrotou to arbitrary characteristic. In particular, we prove the Lefschetz theorem for doubly Cohen Macaulay complexes, solving a generalization o… ▽ More We prove the hard Lefschetz property for pseudomanifolds and cycles in any characteristic with respect to an appropriate Artinian reduction. The proof is a combination of Adiprasito's biased pairing theory and a generalization of a formula of Papadakis-Petrotou to arbitrary characteristic. In particular, we prove the Lefschetz theorem for doubly Cohen Macaulay complexes, solving a generalization of the g-conjecture due to Stanley. We also provide a simplified presentation of the characteristic 2 case, and generalize it to pseudomanifolds and cycles. △ Less

Submitted 25 May, 2021; v1 submitted 18 January, 2021; originally announced January 2021.

Comments: 20 pages. Proof for cycles moved to the main part

A complete characterization of $(f_0, f_1)$-pairs of 6-polytopes

Authors: Karim Adiprasito, Rémi Cocou Avohou

Abstract: We completely characterize the first two entries, namely the $(f_0, f_1)$-vector pairs, for $6$-dimension polytopes. We also find the characterization for $7$-dimension polytopes with excess degree greater than $11$ and, we conjecture bounds fulfilled by $(f_0, f_1)$-vector pairs for any $d$-polytope having an excess degree greater than $3d-10$. We completely characterize the first two entries, namely the $(f_0, f_1)$-vector pairs, for $6$-dimension polytopes. We also find the characterization for $7$-dimension polytopes with excess degree greater than $11$ and, we conjecture bounds fulfilled by $(f_0, f_1)$-vector pairs for any $d$-polytope having an excess degree greater than $3d-10$. △ Less

Submitted 15 February, 2021; v1 submitted 28 December, 2020; originally announced December 2020.

Comments: 12 pages

MSC Class: 05C10; 57M15

Sparse handlebody decompositions and non-finiteness of $g_3=0$

Authors: Karim Adiprasito, Bruno Benedetti

Abstract: We prove that a PL manifold admits a handle decomposition into handles of index $\le k$ if and only if $M$ is $k$-stacked, i.e., it admits a PL triangulation in which all $(d-k-1)$-faces are on $\partial M$. We use this to solve a problem posed in 2008 by Kalai: In any dimension higher than four, there are infinitely many homology-spheres with $g_3 =0$. We prove that a PL manifold admits a handle decomposition into handles of index $\le k$ if and only if $M$ is $k$-stacked, i.e., it admits a PL triangulation in which all $(d-k-1)$-faces are on $\partial M$. We use this to solve a problem posed in 2008 by Kalai: In any dimension higher than four, there are infinitely many homology-spheres with $g_3 =0$. △ Less

Submitted 2 May, 2021; v1 submitted 16 November, 2020; originally announced November 2020.

Comments: 5 pages; revised version; corrected typos in the indices of Lemma 3

MSC Class: 57Q15; 57R05; 52B05; 20F05; 57R65

A subexponential size triangulation of $\mathbb{R}P^n$

Authors: Karim Adiprasito, Sergey Avvakumov, Roman Karasev

Abstract: We address a long-standing and long-investigated problem in combinatorial topology, and break the exponential barrier for triangulations of real projective space, constructing a trianglation of $\mathbb{RP}^n$ of size $e^{(\frac{1}{2}+o(1))\sqrt{n}{\log n}}$. We address a long-standing and long-investigated problem in combinatorial topology, and break the exponential barrier for triangulations of real projective space, constructing a trianglation of $\mathbb{RP}^n$ of size $e^{(\frac{1}{2}+o(1))\sqrt{n}{\log n}}$. △ Less

Submitted 25 August, 2021; v1 submitted 6 September, 2020; originally announced September 2020.

Report number: CPH-GEOTOP-DNRF151

The Partition Complex: an invitation to combinatorial commutative algebra

Authors: Karim Adiprasito, Geva Yashfe

Abstract: We provide a new foundation for combinatorial commutative algebra and Stanley-Reisner theory using the partition complex introduced in [Adi18]. One of the main advantages is that it is entirely self-contained, using only a minimal knowledge of algebra and topology. On the other hand, we also develop new techniques and results using this approach. In particular, we provide - A novel, self-contain… ▽ More We provide a new foundation for combinatorial commutative algebra and Stanley-Reisner theory using the partition complex introduced in [Adi18]. One of the main advantages is that it is entirely self-contained, using only a minimal knowledge of algebra and topology. On the other hand, we also develop new techniques and results using this approach. In particular, we provide - A novel, self-contained method of establishing Reisner's theorem and Schenzel's formula for Buchsbaum complexes. - A simple new way to establish Poincaré duality for face rings of manifolds, in much greater generality and precision than previous treatments. - A "master-theorem" to generalize several previous results concerning the Lefschetz theorem on subdivisions. - Proof for a conjecture of Kühnel concerning triangulated manifolds with boundary. △ Less

Submitted 24 January, 2021; v1 submitted 3 August, 2020; originally announced August 2020.

Comments: 46 pages, corrected typos. Invited survey for the plenary talk at British Combinatorial Conference 2021

Normal crossing immersions, cobordisms and flips

Authors: Karim Adiprasito, Gaku Liu

Abstract: We study various analogues of theorems from PL topology for cubical complexes. In particular, we characterize when two PL homeomorphic cubulations are equivalent by Pachner moves by showing the question to be equivalent to the existence of cobordisms between generic immersions of hypersurfaces. This solves a question and conjecture of Habegger and Funar. We study various analogues of theorems from PL topology for cubical complexes. In particular, we characterize when two PL homeomorphic cubulations are equivalent by Pachner moves by showing the question to be equivalent to the existence of cobordisms between generic immersions of hypersurfaces. This solves a question and conjecture of Habegger and Funar. △ Less

Submitted 13 May, 2024; v1 submitted 4 January, 2020; originally announced January 2020.

On the realization space of the cube

Authors: Karim Adiprasito, Daniel Kalmanovich, Eran Nevo

Abstract: We consider the realization space of the $d$-dimensional cube, and show that any two realizations are connected by a finite sequence of projective transformations and normal transformations. We use this fact to define an analog of the connected sum construction for cubical $d$-polytopes, and apply this construction to certain cubical $d$-polytopes to conclude that the rays spanned by $f$-vectors o… ▽ More We consider the realization space of the $d$-dimensional cube, and show that any two realizations are connected by a finite sequence of projective transformations and normal transformations. We use this fact to define an analog of the connected sum construction for cubical $d$-polytopes, and apply this construction to certain cubical $d$-polytopes to conclude that the rays spanned by $f$-vectors of cubical $d$-polytopes are dense in Adin's cone. The connectivity result on cubes extends to any product of simplices, and further, it shows the respective realization spaces are contractible. △ Less

Submitted 19 December, 2019; originally announced December 2019.

Unstable blueprints can be shared

Authors: Karim Adiprasito

Abstract: This expository note illustrates toric perturbation and biased pairing theory to show that Artinian reductions of face rings of $2$-spheres that do not satisfy the Lefschetz property can be cut along a flat equator. This complements classical work of Bricard and Connelly, and exhibits a fundamental symmetry in non-rigid triangulations of spheres. This expository note illustrates toric perturbation and biased pairing theory to show that Artinian reductions of face rings of $2$-spheres that do not satisfy the Lefschetz property can be cut along a flat equator. This complements classical work of Bricard and Connelly, and exhibits a fundamental symmetry in non-rigid triangulations of spheres. △ Less

Submitted 25 September, 2019; v1 submitted 24 September, 2019; originally announced September 2019.

Comments: wrong tex file with spoilers. expository note. overlap with arXiv:1812.10454, arXiv:1906.05859

FAQ on the g-theorem and the hard Lefschetz theorem for face rings

Authors: Karim Adiprasito

Abstract: This short review is the result of a minicourse at the Sapienza University of Rome the author gave about the proof of the $g$-theorem. We review the hard Lefschetz theorem for simplicial spheres, as well as the theory at its core: perturbations of maps, biased Poincaré pairings and a cobordism argument that relates the Lefschetz property of a manifold to the Lefschetz property on its boundary. We… ▽ More This short review is the result of a minicourse at the Sapienza University of Rome the author gave about the proof of the $g$-theorem. We review the hard Lefschetz theorem for simplicial spheres, as well as the theory at its core: perturbations of maps, biased Poincaré pairings and a cobordism argument that relates the Lefschetz property of a manifold to the Lefschetz property on its boundary. We also sketch an alternative argument based on edge-contractions. △ Less

Submitted 21 August, 2019; v1 submitted 14 June, 2019; originally announced June 2019.

Comments: Overview article, 15 pages. Adds alternative proof via edge contractions

The Hard Lefschetz Theorem for PL spheres

Authors: Karim Adiprasito, Johanna K. Steinmeyer

Abstract: We provide a simpler proof of the hard Lefschetz Theorem for face rings of PL spheres: While the algebraic theory remains the same, we replace the geometric constructions by Pachner's Theorem. This simplifies the reasoning for an important special case of the main result of the first author in arxiv:1812.10454, and already implies the McMullen g-conjecture for PL spheres, as well as the Grünbaum-K… ▽ More We provide a simpler proof of the hard Lefschetz Theorem for face rings of PL spheres: While the algebraic theory remains the same, we replace the geometric constructions by Pachner's Theorem. This simplifies the reasoning for an important special case of the main result of the first author in arxiv:1812.10454, and already implies the McMullen g-conjecture for PL spheres, as well as the Grünbaum-Kalai-Sarkaria conjecture. △ Less

Submitted 4 August, 2019; v1 submitted 3 June, 2019; originally announced June 2019.

Comments: subsumed into arXiv:1906.05859

MSC Class: Primary 05E45; 13F55; Secondary 32S50; 14M25; 05E40; 52B70; 57Q15

Combinatorial Lefschetz theorems beyond positivity

Authors: Karim Adiprasito

Abstract: Consider a simplicial complex that allows for an embedding into $\mathbb{R}^d$. How many faces of dimension $\frac{d}{2}$ or higher can it have? How dense can they be? This basic question goes back to Descartes' "Lost Theorem" and Euler's work on polyhedra. Using it and other fundamental combinatorial problems, we introduce a version of the Kähler package beyond positivity, allowing us to prove… ▽ More Consider a simplicial complex that allows for an embedding into $\mathbb{R}^d$. How many faces of dimension $\frac{d}{2}$ or higher can it have? How dense can they be? This basic question goes back to Descartes' "Lost Theorem" and Euler's work on polyhedra. Using it and other fundamental combinatorial problems, we introduce a version of the Kähler package beyond positivity, allowing us to prove the hard Lefschetz theorem for toric varieties (and beyond) even when the ample cone is empty. A particular focus lies on replacing the Hodge-Riemann relations by a non-degeneracy relation at torus-invariant subspaces, allowing us to state and prove a generalization of theorems of Hall and Laman in the setting of toric varieties and, more generally, the face rings of Hochster, Reisner and Stanley. This has several applications: - We fully characterize the possible face numbers of simplicial rational homology spheres, resolving the $g$-conjecture of McMullen in full generality and generalizing Stanley's earlier proof for simplicial polytopes. The same methods also verify a conjecture of Kühnel: if $M$ is a triangulated closed $(d-1)$-manifold on $n$ vertices, then \[\binom{d+1}{j}\mathrm{b}_{j-1}(M)\ \le \ \binom{n-d+j-2}{j}\ \quad \text{for}\ 1\le j\le \frac{d}{2}.\] - We prove that for a simplicial complex that embeds into $\mathbb{R}^{2d}$, the number of $d$-dimensional simplices exceeds the number of $(d-1)$-dimensional simplices by a factor of at most $d+2$. This generalizes a result going back to Descartes and Euler, and resolves the Grünbaum-Kalai-Sarkaria conjecture. We obtain from this a generalization of the celebrated crossing lemma: For a map of a simplicial complex $Δ$ into $\mathbb{R}^{2d}$, the number of pairwise intersections of $d$-simplices is at least \[\frac{f_d^{d+2}(Δ)}{(d+3)^{d+2}f_{d-1}^{d+1}(Δ)}\] provided $f_d(Δ)> (d+3)f_{d-1}(Δ)$. △ Less

Submitted 2 July, 2019; v1 submitted 26 December, 2018; originally announced December 2018.

Comments: 76 pages. Removes appendix

Semistable reduction in characteristic 0

Authors: Karim Adiprasito, Gaku Liu, Michael Temkin

Abstract: In 2000 Abramovich and Karu proved that any dominant morphism $f\:X\to B$ of varieties of characteristic zero can be made weakly semistable by replacing $B$ by a smooth alteration $B'$ and replacing the proper transform of $X$ by a modification $X'$. In the language of log geometry this means that $f'\:X'\to B'$ is log smooth and saturated for appropriate log structures. Moreover, Abramovich and K… ▽ More In 2000 Abramovich and Karu proved that any dominant morphism $f\:X\to B$ of varieties of characteristic zero can be made weakly semistable by replacing $B$ by a smooth alteration $B'$ and replacing the proper transform of $X$ by a modification $X'$. In the language of log geometry this means that $f'\:X'\to B'$ is log smooth and saturated for appropriate log structures. Moreover, Abramovich and Karu formulated a stronger conjecture that $f'\:X'\to B'$ can be even made semistable, which amounts to making $X'$ smooth as well, and explained why this is the best resolution of $f$ one might hope for. In this paper, we solve the semistable reduction conjecture in the larger generality of finite type morphisms of quasi-excellent schemes of characteristic zero. △ Less

Submitted 17 June, 2019; v1 submitted 7 October, 2018; originally announced October 2018.

Comments: 22 pages, expansions on context and generality

Log smoothness and polystability over valuation rings

Authors: Karim Adiprasito, Gaku Liu, Igor Pak, Michael Temkin

Abstract: Let $\mathcal{O}$ be a valuation ring of height one of residual characteristic exponent $p$ and with algebraically closed field of fractions. Our main result provides a best possible resolution of the monoidal structure $M_X$ of a log variety $X$ over $\calO$ with a vertical log structure: there exists a log modification $Y\to X$ such that the monoidal structure of $Y$ is polystable. In particular… ▽ More Let $\mathcal{O}$ be a valuation ring of height one of residual characteristic exponent $p$ and with algebraically closed field of fractions. Our main result provides a best possible resolution of the monoidal structure $M_X$ of a log variety $X$ over $\calO$ with a vertical log structure: there exists a log modification $Y\to X$ such that the monoidal structure of $Y$ is polystable. In particular, if $X$ is log smooth over $\mathcal{O}$, then $Y$ is polystable with a smooth generic fiber. As a corollary we deduce that any variety over $\mathcal{O}$ possesses a polystable alteration of degreee $p^n$. The core of our proof is a subdivision result for polyhedral complexes satisfying certain rationality conditions. △ Less

Submitted 30 April, 2019; v1 submitted 24 June, 2018; originally announced June 2018.

Comments: 40 pages, revisions based on comments from referee

Theorems of Carathéodory, Helly, and Tverberg without dimension

Authors: Karim Adiprasito, Imre Bárány, Nabil H. Mustafa, Tamás Terpai

Abstract: We prove a no-dimensional version of Carathédory's theorem: given an $n$-element set $P\subset \Re^d$, a point $a \in \conv P$, and an integer $r\le d$, $r \le n$, there is a subset $Q\subset P$ of $r$ elements such that the distance between $a$ and $\conv Q$ is less than $\diam P/\sqrt {2r}$. A general no-dimension Helly type result is also proved with colourful and fractional consequences. Simil… ▽ More We prove a no-dimensional version of Carathédory's theorem: given an $n$-element set $P\subset \Re^d$, a point $a \in \conv P$, and an integer $r\le d$, $r \le n$, there is a subset $Q\subset P$ of $r$ elements such that the distance between $a$ and $\conv Q$ is less than $\diam P/\sqrt {2r}$. A general no-dimension Helly type result is also proved with colourful and fractional consequences. Similar versions of Tverberg's theorem and some of their extensions are also established. △ Less

Submitted 28 August, 2019; v1 submitted 22 June, 2018; originally announced June 2018.

Comments: 23 pages, 1 figure

Rigidity with few locations

Authors: Karim Adiprasito, Eran Nevo

Abstract: Graphs triangulating the $2$-sphere are generically rigid in $3$-space, due to Gluck-Dehn-Alexandrov-Cauchy. We show there is a \emph{finite} subset $A$ in $3$-space so that the vertices of each graph $G$ as above can be mapped into $A$ to make the resulted embedding of $G$ infinitesimally rigid. This assertion extends to the triangulations of any fixed compact connected surface, where the upper b… ▽ More Graphs triangulating the $2$-sphere are generically rigid in $3$-space, due to Gluck-Dehn-Alexandrov-Cauchy. We show there is a \emph{finite} subset $A$ in $3$-space so that the vertices of each graph $G$ as above can be mapped into $A$ to make the resulted embedding of $G$ infinitesimally rigid. This assertion extends to the triangulations of any fixed compact connected surface, where the upper bound obtained on the size of $A$ increases with the genus. The assertion fails, namely no such finite $A$ exists, for the larger family of all graphs that are generically rigid in $3$-space and even in the plane. △ Less

Submitted 2 December, 2019; v1 submitted 8 June, 2018; originally announced June 2018.

Comments: 11 pages, to appear in Isr. J. Math

QGLBT for polytopes

Authors: Karim Adiprasito, Mikhail Burens, Eran Nevo

Abstract: We extend the assertion of the Generalized Lower Bound Theorem (GLBT) to general polytopes under the assumption that their low dimensional skeleton is simplicial, with partial results for the general case. We prove a quantitative version of the GLBT for general polytopes, and use it to give a topological necessary condition for polytopes to have vanishing toric $g_k$ entry. As another application… ▽ More We extend the assertion of the Generalized Lower Bound Theorem (GLBT) to general polytopes under the assumption that their low dimensional skeleton is simplicial, with partial results for the general case. We prove a quantitative version of the GLBT for general polytopes, and use it to give a topological necessary condition for polytopes to have vanishing toric $g_k$ entry. As another application of the QGLBT we prove a conjecture of Kalai on $g$-numbers for general polytopes approximating a smooth convex body. △ Less

Submitted 9 January, 2019; v1 submitted 8 May, 2018; originally announced May 2018.

Lefschetz and Lower Bound theorems for Minkowski sums

Authors: Karim Adiprasito

Abstract: This note provides a Lefschetz theorem for Minkowski sums of polytopes, and conclude lower bound theorems for Minkowski sums of polytopes. It is written as an appendix to arXiv:1405.7368, so notation and references follow that paper. This note provides a Lefschetz theorem for Minkowski sums of polytopes, and conclude lower bound theorems for Minkowski sums of polytopes. It is written as an appendix to arXiv:1405.7368, so notation and references follow that paper. △ Less

Submitted 19 January, 2021; v1 submitted 20 November, 2017; originally announced November 2017.

Comments: 3 pages, simplified proof and generalization to nonpure collections

MSC Class: 52B05; 13F55; 13H10; 05E45

Convexity of complements of tropical varieties, and approximations of currents

Authors: Karim Adiprasito, Farhad Babaee

Abstract: The goal of this note is to affirm a local version of the conjecture of Nisse--Sottile [NS16] on higher convexity of complements of tropical varieties, while providing a family of counter-examples for the global Nisse--Sottle conjecture in any codimension and dimension higher than 1. Moreover, it will be shown that, surprisingly, this family also provides a family of counter-examples for the gener… ▽ More The goal of this note is to affirm a local version of the conjecture of Nisse--Sottile [NS16] on higher convexity of complements of tropical varieties, while providing a family of counter-examples for the global Nisse--Sottle conjecture in any codimension and dimension higher than 1. Moreover, it will be shown that, surprisingly, this family also provides a family of counter-examples for the generalized Hodge conjecture for positive currents in these dimensions, and gives rise to further approximability obstruction. △ Less

Submitted 11 September, 2018; v1 submitted 6 November, 2017; originally announced November 2017.

Comments: 15 page, added more details and references

MSC Class: 14T05; 14C30; 32U40

Journal ref: Mathematische Annalen, (2018), 1-15

A Cheeger-type exponential bound for the number of triangulated manifolds

Authors: Karim Adiprasito, Bruno Benedetti

Abstract: In terms of the number of triangles, it is known that there are more than exponentially many triangulations of surfaces, but only exponentially many triangulations of surfaces with bounded genus. In this paper we provide a first geometric extension of this result to higher dimensions. We show that in terms of the number of facets, there are only exponentially many geometric triangulations of space… ▽ More In terms of the number of triangles, it is known that there are more than exponentially many triangulations of surfaces, but only exponentially many triangulations of surfaces with bounded genus. In this paper we provide a first geometric extension of this result to higher dimensions. We show that in terms of the number of facets, there are only exponentially many geometric triangulations of space forms with bounded geometry in the sense of Cheeger (curvature and volume bounded below, and diameter bounded above). This establishes a combinatorial version of Cheeger's finiteness theorem. Further consequences of our work are: (1) There are exponentially many geometric triangulations of $S^d$. (2) There are exponentially many convex triangulations of the d-ball. △ Less

Submitted 9 May, 2018; v1 submitted 29 September, 2017; originally announced October 2017.

Comments: 15 pages, 6 figures; typos corrected. The results were previously contained in the preprint arXiv:1107.5789, which has been split into three

MSC Class: 05A16; 53C21; 52B70; 52A20

Barycentric subdivisions of convex complexes are collapsible

Authors: Karim Adiprasito, Bruno Benedetti

Abstract: A classical question in PL topology, asked among others by Hudson, Lickorish, and Kirby, is whether every linear subdivision of the d-simplex is simplicially collapsible. The answer is known to be positive for d<4. We solve the problem up to one subdivision, by proving that any linear subdivision of any polytope is simplicially collapsible after at most one barycentric subdivision. Furthermore, we… ▽ More A classical question in PL topology, asked among others by Hudson, Lickorish, and Kirby, is whether every linear subdivision of the d-simplex is simplicially collapsible. The answer is known to be positive for d<4. We solve the problem up to one subdivision, by proving that any linear subdivision of any polytope is simplicially collapsible after at most one barycentric subdivision. Furthermore, we prove that any linear subdivision of any star-shaped polyhedron in $\mathbb{R}^d$ is simplicially collapsible after d-2 derived subdivisions at most. This presents progress on an old question by Goodrick. △ Less

Submitted 22 September, 2017; originally announced September 2017.

Comments: 21 pages, 1 figure; the results were previously in arXiv:1107.5789v5, which was subdivided into three shorter papers

MSC Class: 52B55; 52A20; 52A30; 57Q10; 57Q40

Colorful simplicial depth, Minkowski sums, and generalized Gale transforms

Authors: Karim Adiprasito, Philip Brinkmann, Arnau Padrol, Pavel Paták, Zuzana Patáková, Raman Sanyal

Abstract: The colorful simplicial depth of a collection of d+1 finite sets of points in Euclidean d-space is the number of choices of a point from each set such that the origin is contained in their convex hull. We use methods from combinatorial topology to prove a tight upper bound on the colorful simplicial depth. This implies a conjecture of Deza et al. (2006). Furthermore, we introduce colorful Gale tra… ▽ More The colorful simplicial depth of a collection of d+1 finite sets of points in Euclidean d-space is the number of choices of a point from each set such that the origin is contained in their convex hull. We use methods from combinatorial topology to prove a tight upper bound on the colorful simplicial depth. This implies a conjecture of Deza et al. (2006). Furthermore, we introduce colorful Gale transforms as a bridge between colorful configurations and Minkowski sums. Our colorful upper bound then yields a tight upper bound on the number of totally mixed facets of certain Minkowski sums of simplices. This resolves a conjecture of Burton (2003) in the theory of normal surfaces. △ Less

Submitted 1 July, 2016; originally announced July 2016.

Comments: 17 pages, 3 figures

MSC Class: 52C45; 52A35; 05E45; 52Bxx; 52B35

Whitney numbers of arrangements via measure concentration of intrinsic volumes

Authors: Karim A. Adiprasito, Raman Sanyal

Abstract: We verify the Rota-Heron-Welsh conjecture for matroids realizable as c-arrangements: the coefficients of the characteristic polynomial of the associated matroid are log-concave. This family of matroids strictly contains that of complex hyperplane arrangements. Our proof combines the study of intrinsic volumes of certain extensions of arrangements and the Levy--Milman measure concentration phenomen… ▽ More We verify the Rota-Heron-Welsh conjecture for matroids realizable as c-arrangements: the coefficients of the characteristic polynomial of the associated matroid are log-concave. This family of matroids strictly contains that of complex hyperplane arrangements. Our proof combines the study of intrinsic volumes of certain extensions of arrangements and the Levy--Milman measure concentration phenomenon on realization spaces of arrangements. △ Less

Submitted 30 June, 2016; originally announced June 2016.

Comments: 9 pages, no figures

MSC Class: 52B40; 14N20; 52A39; 46B20; 60F20

On Betti numbers of flag complexes with forbidden induced subgraphs

Authors: Karim Adiprasito, Eran Nevo, Martin Tancer

Abstract: We analyze the asymptotic extremal growth rate of the Betti numbers of clique complexes of graphs on n vertices not containing a fixed forbidden induced subgraph H. In particular, we prove a theorem of the alternative: for any H the growth rate achieves exactly one of five possible exponentials, that is, independent of the field of coefficients, the nth root of the maximal total Betti number ove… ▽ More We analyze the asymptotic extremal growth rate of the Betti numbers of clique complexes of graphs on n vertices not containing a fixed forbidden induced subgraph H. In particular, we prove a theorem of the alternative: for any H the growth rate achieves exactly one of five possible exponentials, that is, independent of the field of coefficients, the nth root of the maximal total Betti number over n-vertex graphs with no induced copy of H has a limit, as n tends to infinity, and, ranging over all H, exactly five different limits are attained. For the interesting case where H is the 4-cycle, the above limit is 1, and we prove a slightly superpolynomial upper bound. △ Less

Submitted 13 April, 2018; v1 submitted 4 February, 2016; originally announced February 2016.

Comments: 14 pages (32 with appendix). Version 2 newly contains a proof of an optimal bound for I_4-free graphs (in the appendix). Version 3 was rearranged for improved readability and also we now claim only a slightly weaker bound for the case of 4-cycle

MSC Class: 05C35; 05C69; 05Dxx

Journal ref: Math. Proc. Camb. Phil. Soc. 168 (2020) 567-600

CAT(0) metrics on contractible manifolds

Authors: Karim A. Adiprasito, Louis Funar

Abstract: We prove that an open manifold $M$ of dimension at least $5$ which admits a complete CAT(0) polyhedral metric is pseudo-collarable, its fundamental group at infinity is strongly perfectly semistable and has vanishing Chapman-Siebenmann obstruction $τ_{\infty}(M)$. Moreover, this implies that $M$ is topologically collapsible, when $n\geq 6$. Conversely, any finite dimensional collapsible polyhedron… ▽ More We prove that an open manifold $M$ of dimension at least $5$ which admits a complete CAT(0) polyhedral metric is pseudo-collarable, its fundamental group at infinity is strongly perfectly semistable and has vanishing Chapman-Siebenmann obstruction $τ_{\infty}(M)$. Moreover, this implies that $M$ is topologically collapsible, when $n\geq 6$. Conversely, any finite dimensional collapsible polyhedron is PL homeomorphic to a CAT(0) cubical complex. △ Less

Submitted 26 December, 2021; v1 submitted 20 December, 2015; originally announced December 2015.

Comments: 26p., 6 figures

MSC Class: 57N16; 51K10; 57N15

Hodge Theory for Combinatorial Geometries

Authors: Karim Adiprasito, June Huh, Eric Katz

Abstract: We prove the hard Lefschetz theorem and the Hodge-Riemann relations for a commutative ring associated to an arbitrary matroid M. We use the Hodge-Riemann relations to resolve a conjecture of Heron, Rota, and Welsh that postulates the log-concavity of the coefficients of the characteristic polynomial of M. We furthermore conclude that the f-vector of the independence complex of a matroid forms a lo… ▽ More We prove the hard Lefschetz theorem and the Hodge-Riemann relations for a commutative ring associated to an arbitrary matroid M. We use the Hodge-Riemann relations to resolve a conjecture of Heron, Rota, and Welsh that postulates the log-concavity of the coefficients of the characteristic polynomial of M. We furthermore conclude that the f-vector of the independence complex of a matroid forms a log-concave sequence, proving a conjecture of Mason and Welsh for general matroids. △ Less

Submitted 1 May, 2018; v1 submitted 9 November, 2015; originally announced November 2015.

Comments: 63 pages. Minor revision

A Geometric Lower Bound Theorem

Authors: Karim Adiprasito, Eran Nevo, José Alejandro Samper

Abstract: We resolve a conjecture of Kalai relating approximation theory of convex bodies by simplicial polytopes to the face numbers and primitive Betti numbers of these polytopes and their toric varieties. The proof uses higher notions of chordality. Further, for C^2-convex bodies, asymptotically tight lower bounds on the g-numbers of the approximating polytopes are given, in terms of their Hausdorff dist… ▽ More We resolve a conjecture of Kalai relating approximation theory of convex bodies by simplicial polytopes to the face numbers and primitive Betti numbers of these polytopes and their toric varieties. The proof uses higher notions of chordality. Further, for C^2-convex bodies, asymptotically tight lower bounds on the g-numbers of the approximating polytopes are given, in terms of their Hausdorff distance from the convex body. △ Less

Submitted 17 February, 2016; v1 submitted 21 July, 2015; originally announced July 2015.

Comments: 26 pages, 6 figures, to appear in Geometric and Functional Analysis

Toric chordality

Authors: Karim Adiprasito

Abstract: We study the geometric change of Chow cohomology classes in projective toric varieties under the Weil-McMullen dual of the intersection product with a Lefschetz element. Based on this, we introduce toric chordality, a generalization of graph chordality to higher skeleta of simplicial complexes with a coordinatization over characteristic 0, leading us to a far-reaching generalization of Kalai's wor… ▽ More We study the geometric change of Chow cohomology classes in projective toric varieties under the Weil-McMullen dual of the intersection product with a Lefschetz element. Based on this, we introduce toric chordality, a generalization of graph chordality to higher skeleta of simplicial complexes with a coordinatization over characteristic 0, leading us to a far-reaching generalization of Kalai's work on applications of rigidity of frameworks to polytope theory. In contrast to "homological" chordality, the notion that is usually studied as a higher-dimensional analogue of graph chordality, we will show that toric chordality has several advantageous properties and applications. -- Most strikingly, we will see that toric chordality allows us to introduce a higher version of Dirac's propagation principle. -- Aside from the propagation theorem, we also study the interplay with the geometric properties of the simplicial chain complex of the underlying simplicial complex, culminating in a quantified version of the Stanley--Murai--Nevo generalized lower bound theorem. -- Finally, we apply our technique to give a simple proof of the generalized lower bound theorem in polytope theory and -- prove the balanced generalized lower bound conjecture of Klee and Novik. △ Less

Submitted 2 January, 2017; v1 submitted 23 March, 2015; originally announced March 2015.

Comments: 29 pages, 3 figures. to appear in Journal de Mathématiques Pures et Appliquées

MSC Class: Primary 14M25; 05C38; Secondary 32S50; 52C25; 13F55

A note on boundary manifolds of arrangements

Authors: Karim A. Adiprasito

Abstract: We note an intimate connection between the Lefschetz Theorem for c-arrangements, and a theorem of Hironaka relating the complement of an arrangement to its boundary manifold. This results in a generalization of Hironaka's result. We note an intimate connection between the Lefschetz Theorem for c-arrangements, and a theorem of Hironaka relating the complement of an arrangement to its boundary manifold. This results in a generalization of Hironaka's result. △ Less

Submitted 19 March, 2015; originally announced March 2015.

Comments: 3 pages

Higher chordality: From graphs to complexes

Authors: Karim A. Adiprasito, Eran Nevo, Jose A. Samper

Abstract: We generalize the fundamental graph-theoretic notion of chordality for higher dimensional simplicial complexes by putting it into a proper context within homology theory. We generalize some of the classical results of graph chordality to this generality, including the fundamental relation to the Leray property and chordality theorems of Dirac. We generalize the fundamental graph-theoretic notion of chordality for higher dimensional simplicial complexes by putting it into a proper context within homology theory. We generalize some of the classical results of graph chordality to this generality, including the fundamental relation to the Leray property and chordality theorems of Dirac. △ Less

Submitted 28 October, 2015; v1 submitted 18 March, 2015; originally announced March 2015.

Comments: 13 pages, revised; to appear in Proc. AMS

Face numbers of sequentially Cohen-Macaulay complexes and Betti numbers of componentwise linear ideals

Authors: Karim A. Adiprasito, Anders Björner, Afshin Goodarzi

Abstract: A numerical characterization is given of the so-called h-triangles of sequentially Cohen-Macaulay simplicial complexes. This result characterizes the number of faces of various dimensions and codimensions in such a complex, generalizing the classical Macaulay-Stanley theorem to the nonpure case. Moreover, we characterize the possible Betti tables of componentwise linear ideals. A key tool in our i… ▽ More A numerical characterization is given of the so-called h-triangles of sequentially Cohen-Macaulay simplicial complexes. This result characterizes the number of faces of various dimensions and codimensions in such a complex, generalizing the classical Macaulay-Stanley theorem to the nonpure case. Moreover, we characterize the possible Betti tables of componentwise linear ideals. A key tool in our investigation is a bijection between shifted multicomplexes of degree at most d and shifted pure (d-1)-dimensional simplicial complexes. △ Less

Submitted 3 March, 2017; v1 submitted 4 February, 2015; originally announced February 2015.

Comments: 11 pages, 1 figure

MSC Class: 05D05; 05E40; 05E45; 13A02; 13D02; 13F55

Connectivity of pseudomanifold graphs from an algebraic point of view

Authors: Karim A. Adiprasito, Afshin Goodarzi, Matteo Varbaro

Abstract: The connectivity of graphs of simplicial and polytopal complexes is a classical subject going back at least to Steinitz, and the topic has since been studied by many authors, including Balinski, Barnette, Athanasiadis and Bjorner. In this note, we provide a unifying approach which allows us to obtain more general results. Moreover, we provide a relation to commutative algebra by relating connectiv… ▽ More The connectivity of graphs of simplicial and polytopal complexes is a classical subject going back at least to Steinitz, and the topic has since been studied by many authors, including Balinski, Barnette, Athanasiadis and Bjorner. In this note, we provide a unifying approach which allows us to obtain more general results. Moreover, we provide a relation to commutative algebra by relating connectivity problems to graded Betti numbers of the associated Stanley--Reisner rings. △ Less

Submitted 11 November, 2014; v1 submitted 23 September, 2014; originally announced September 2014.

Comments: 4 pages, minor changes

Universality theorems for inscribed polytopes and Delaunay triangulations

Authors: Karim A. Adiprasito, Arnau Padrol, Louis Theran

Abstract: We prove that every primary basic semialgebraic set is homotopy equivalent to the set of inscribed realizations (up to Möbius transformation) of a polytope. If the semialgebraic set is moreover open, then, in addition, we prove that (up to homotopy) it is a retract of the realization space of some inscribed neighborly (and simplicial) polytope. We also show that all algebraic extensions of… ▽ More We prove that every primary basic semialgebraic set is homotopy equivalent to the set of inscribed realizations (up to Möbius transformation) of a polytope. If the semialgebraic set is moreover open, then, in addition, we prove that (up to homotopy) it is a retract of the realization space of some inscribed neighborly (and simplicial) polytope. We also show that all algebraic extensions of $\mathbb{Q}$ are needed to coordinatize inscribed polytopes. These statements show that inscribed polytopes exhibit the Mnëv universality phenomenon. Via stereographic projections, these theorems have a direct translation to universality theorems for Delaunay subdivisions. In particular, our results imply that the realizability problem for Delaunay triangulations is polynomially equivalent to the existential theory of the reals. △ Less

Submitted 30 June, 2014; originally announced June 2014.

Comments: 15 pages, 2 figures

MSC Class: 52B40; 52B12; 14P10; 68U05

Relative Stanley-Reisner theory and Upper Bound Theorems for Minkowski sums

Authors: Karim Adiprasito, Raman Sanyal

Abstract: In this paper we settle long-standing questions regarding the combinatorial complexity of Minkowski sums of polytopes: We give a tight upper bound for the number of faces of a Minkowski sum, including a characterization of the case of equality. We similarly give a (tight) upper bound theorem for mixed faces of Minkowski sums. This has a wide range of applications and generalizes the classical the… ▽ More In this paper we settle long-standing questions regarding the combinatorial complexity of Minkowski sums of polytopes: We give a tight upper bound for the number of faces of a Minkowski sum, including a characterization of the case of equality. We similarly give a (tight) upper bound theorem for mixed faces of Minkowski sums. This has a wide range of applications and generalizes the classical the Upper Bound Theorems of McMullen and Stanley. Our main tool is relative Stanley--Reisner theory, a powerful generalization of the algebraic theory of simplicial complexes inaugurated by Hochster, Reisner, and Stanley. A key feature of our theory is the ability to accomodate topological as well as combinatorial restrictions. We illustrate this by providing several simplicial isoperimetric and reverse isoperimetric inequalities. △ Less

Submitted 16 January, 2021; v1 submitted 28 May, 2014; originally announced May 2014.

Comments: 43 pages, 3 figures, to appear in Publ. Math. IHES. Added remark on the equality case

MSC Class: 52B05; 13F55; 13H10; 05E45

Extremal examples of collapsible complexes and random discrete Morse theory

Authors: Karim A. Adiprasito, Bruno Benedetti, Frank H. Lutz

Abstract: We present extremal constructions connected with the property of simplicial collapsibility. (1) For each $d \ge 2$, there are collapsible (and shellable) simplicial $d$-complexes with only one free face. Also, there are non-evasive $d$-complexes with only two free faces. (Both results are optimal in all dimensions.) (2) Optimal discrete Morse vectors need not be unique. We explicitly construct… ▽ More We present extremal constructions connected with the property of simplicial collapsibility. (1) For each $d \ge 2$, there are collapsible (and shellable) simplicial $d$-complexes with only one free face. Also, there are non-evasive $d$-complexes with only two free faces. (Both results are optimal in all dimensions.) (2) Optimal discrete Morse vectors need not be unique. We explicitly construct a contractible, but non-collapsible $3$-dimensional simplicial complex with face vector $f=(106,596,1064,573)$ that admits two distinct optimal discrete Morse vectors, $(1,1,1,0)$ and $(1,0,1,1)$. Indeed, we show that in every dimension $d\geq 3$ there are contractible, non-collapsible simplicial $d$-complexes that have $(1,0,\dots,0,1,1,0)$ and $(1,0,\dots,0,0,1,1)$ as distinct optimal discrete Morse vectors. (3) We give a first explicit example of a (non-PL) $5$-manifold, with face vector $f=(5013,72300,290944,$ $495912,383136,110880)$, that is collapsible but not homeomorphic to a ball. Furthermore, we discuss possible improvements and drawbacks of random approaches to collapsibility and discrete Morse theory. We will introduce randomized versions \texttt{random-lex-first} and \texttt{random-lex-last} of the \texttt{lex-first} and \texttt{lex-last} discrete Morse strategies of \cite{BenedettiLutz2014}, respectively --- and we will see that in many instances the \texttt{random-lex-last} strategy works significantly better than Benedetti--Lutz's (uniform) \texttt{random} strategy. On the theoretical side, we prove that after repeated barycentric subdivisions, the discrete Morse vectors found by randomized algorithms have, on average, an exponential (in the number of barycentric subdivisions) number of critical cells asymptotically almost surely. △ Less

Submitted 11 October, 2016; v1 submitted 16 April, 2014; originally announced April 2014.

Comments: 25 pages, 9 figures, 2 tables; revised Section 5

Report number: CPH-SYM-DNRF92 MSC Class: 57Q15; 57Q05; 57N10; 57N13; 52B70; 52B05; 52B22; 55N35

Linear embeddings of contractible and collapsible complexes

Authors: Karim A. Adiprasito, Bruno Benedetti

Abstract: (1) We show that if a presentation of the trivial group is "hard to trivialize", in the sense that lots of Tietze moves are necessary to transform it into the trivial presentation, then the associated presentation complex (which is a contractible 2-dimensional cell complex) is "hard to embed in $\mathbb{R}^3$", in the sense that lots of linear subdivisions are necessary. (2) For any d, we show t… ▽ More (1) We show that if a presentation of the trivial group is "hard to trivialize", in the sense that lots of Tietze moves are necessary to transform it into the trivial presentation, then the associated presentation complex (which is a contractible 2-dimensional cell complex) is "hard to embed in $\mathbb{R}^3$", in the sense that lots of linear subdivisions are necessary. (2) For any d, we show that all collapsible d-complexes with n facets linearly embed in $\mathbb{R}^{2d}$ after less than n barycentric subdivisions. This is best possible, as cones over non-planar graphs do not topologically embed in $\mathbb{R}^{3}$. △ Less

Submitted 4 August, 2020; v1 submitted 20 March, 2014; originally announced March 2014.

Comments: 8 pages, 2 figures; added Remark 13, which fixes a minor mistake

MSC Class: 57M20; 57Q35; 20F05; 57Q10

Methods from Differential Geometry in Polytope Theory

Authors: Karim Alexander Adiprasito

Abstract: The purpose of this thesis is to study classical combinatorial objects, such as polytopes, polytopal complexes, and subspace arrangements, using tools that have been developed in combinatorial topology, especially those tools developed in connection with (discrete) differential geometry, geometric group theory and low-dimensional topology. The purpose of this thesis is to study classical combinatorial objects, such as polytopes, polytopal complexes, and subspace arrangements, using tools that have been developed in combinatorial topology, especially those tools developed in connection with (discrete) differential geometry, geometric group theory and low-dimensional topology. △ Less

Submitted 11 March, 2014; originally announced March 2014.

Comments: PhD Thesis Freie Universität Berlin 2013, 112 pages

The universality theorem for neighborly polytopes

Authors: Karim A. Adiprasito, Arnau Padrol

Abstract: In this note, we prove that every open primary basic semialgebraic set is stably equivalent to the realization space of an even-dimensional neighborly polytope. This in particular provides the final step for Mnëv's proof of the universality theorem for simplicial polytopes. In this note, we prove that every open primary basic semialgebraic set is stably equivalent to the realization space of an even-dimensional neighborly polytope. This in particular provides the final step for Mnëv's proof of the universality theorem for simplicial polytopes. △ Less

Submitted 30 September, 2014; v1 submitted 28 February, 2014; originally announced February 2014.

Comments: 5 pages, 1 figure. Small changes

MSC Class: Primary 52B40; Secondary 52C40; 14P10

Filtered geometric lattices and Lefschetz Section Theorems over the tropical semiring

Authors: Karim Alexander Adiprasito, Anders Björner

Abstract: The purpose of this paper is to establish analogues of the classical Lefschetz Section Theorem for smooth tropical varieties. More precisely, we prove tropical analogues of the section theorems of Lefschetz, Andreotti-Frankel, Bott-Milnor-Thom, Hamm-Lê and Kodaira-Spencer, and the vanishing theorems of Andreotti-Frankel and Akizuki-Kodaira-Nakano. We start the paper by resolving a conjecture of… ▽ More The purpose of this paper is to establish analogues of the classical Lefschetz Section Theorem for smooth tropical varieties. More precisely, we prove tropical analogues of the section theorems of Lefschetz, Andreotti-Frankel, Bott-Milnor-Thom, Hamm-Lê and Kodaira-Spencer, and the vanishing theorems of Andreotti-Frankel and Akizuki-Kodaira-Nakano. We start the paper by resolving a conjecture of Mikhalkin and Ziegler (2008) concerning the homotopy types of certain filtrations of geometric lattices, generalizing several known properties of full geometric lattices. This translates to a crucial index estimate for the stratified Morse data at critical points of the tropical variety; it can also by itself be interpreted as a Lefschetz-type theorem for matroids. △ Less

Submitted 25 January, 2021; v1 submitted 28 January, 2014; originally announced January 2014.

Comments: 53 pages, 13 figures. Adds discussion of stable intersections

MSC Class: 32S50; 05B35; 14T05 (Primary); 06A11; 32S60; 58A14; 57Q05 (Secondary)

Derived subdivisions make every PL sphere polytopal

Authors: Karim A. Adiprasito, Ivan Izmestiev

Abstract: We give a simple proof that some iterated derived subdivision of every PL sphere is combinatorially equivalent to the boundary of a simplicial polytope, thereby resolving a problem of Billera (personal communication). We give a simple proof that some iterated derived subdivision of every PL sphere is combinatorially equivalent to the boundary of a simplicial polytope, thereby resolving a problem of Billera (personal communication). △ Less

Submitted 20 March, 2014; v1 submitted 12 November, 2013; originally announced November 2013.

Comments: 7 pages; small changes, added a remark concerning the case of S^3; to appear in Israel J. of Math

MSC Class: 57Q05; 52B70; 52B11

The Hirsch conjecture holds for normal flag complexes

Authors: Karim Alexander Adiprasito, Bruno Benedetti

Abstract: Using an intuition from metric geometry, we prove that any flag and normal simplicial complex satisfies the non-revisiting path conjecture. As a consequence, the diameter of its facet-ridge graph is smaller than the number of vertices minus the dimension, as in the Hirsch conjecture. This proves the Hirsch conjecture for all flag polytopes, and more generally, for all (connected) flag homology man… ▽ More Using an intuition from metric geometry, we prove that any flag and normal simplicial complex satisfies the non-revisiting path conjecture. As a consequence, the diameter of its facet-ridge graph is smaller than the number of vertices minus the dimension, as in the Hirsch conjecture. This proves the Hirsch conjecture for all flag polytopes, and more generally, for all (connected) flag homology manifolds. △ Less

Submitted 11 April, 2014; v1 submitted 14 March, 2013; originally announced March 2013.

Comments: 9 pages, 1 figure; to appear in Mathematics of Operations Research

MSC Class: 05C12; 90C05; 05E45; 52B70; 53C21

An Alexander-type duality for valuations

Authors: Karim Adiprasito, Raman Sanyal

Abstract: We prove an Alexander-type duality for valuations for certain subcomplexes in the boundary of polyhedra. These strengthen and simplify results of Stanley (1974) and Miller-Reiner (2005). We give a generalization of Brion's theorem for this relative situation and we discuss the topology of the possible subcomplexes for which the duality relation holds. We prove an Alexander-type duality for valuations for certain subcomplexes in the boundary of polyhedra. These strengthen and simplify results of Stanley (1974) and Miller-Reiner (2005). We give a generalization of Brion's theorem for this relative situation and we discuss the topology of the possible subcomplexes for which the duality relation holds. △ Less

Submitted 7 March, 2013; originally announced March 2013.

Comments: 11 pages

Journal ref: Proc. Amer. Math. Soc. 143 (2015), 833-843

A universality theorem for projectively unique polytopes and a conjecture of Shephard

Authors: Karim Alexander Adiprasito, Arnau Padrol

Abstract: We prove that every polytope described by algebraic coordinates is the face of a projectively unique polytope. This provides a universality property for projectively unique polytopes. Using a closely related result of Below, we construct a combinatorial type of 5-dimensional polytope that is not realizable as a subpolytope of any stacked polytope. This disproves a classical conjecture in polytope… ▽ More We prove that every polytope described by algebraic coordinates is the face of a projectively unique polytope. This provides a universality property for projectively unique polytopes. Using a closely related result of Below, we construct a combinatorial type of 5-dimensional polytope that is not realizable as a subpolytope of any stacked polytope. This disproves a classical conjecture in polytope theory, first formulated by Shephard in the seventies. △ Less

Submitted 13 June, 2013; v1 submitted 14 January, 2013; originally announced January 2013.

Comments: 9 pages, 6 figures; both main results substantially improved and generalized

MSC Class: 52B40; 52B12

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.

Comments: 44 pages, 18 figures; to appear in Invent. math

MSC Class: 52A20; 52B70; 52B40; 52B12; 35A10

Combinatorial stratifications and minimality of 2-arrangements

Authors: Karim A. Adiprasito

Abstract: We prove that the complement of any affine 2-arrangement in R^d is minimal, that is, it is homotopy equivalent to a cell complex with as many i-cells as its i-th rational Betti number. For the proof, we provide a Lefschetz-type hyperplane theorem for complements of 2-arrangements, and introduce Alexander duality for combinatorial Morse functions. Our results greatly generalize previous work by Fal… ▽ More We prove that the complement of any affine 2-arrangement in R^d is minimal, that is, it is homotopy equivalent to a cell complex with as many i-cells as its i-th rational Betti number. For the proof, we provide a Lefschetz-type hyperplane theorem for complements of 2-arrangements, and introduce Alexander duality for combinatorial Morse functions. Our results greatly generalize previous work by Falk, Dimca--Papadima, Hattori, Randell, and Salvetti--Settepanella and others, and they demonstrate that in contrast to previous investigations, a purely combinatorial approach suffices to show minimality and the Lefschetz Hyperplane Theorem for complements of complex hyperplane arrangements. △ Less

Submitted 23 June, 2014; v1 submitted 6 November, 2012; originally announced November 2012.

Comments: 17 pages, 2 figures; to appear in Journal of Topology

MSC Class: 32S50; 32S60; 14F35; 32S22