Related papers: Cubical realizations of flag nestohedra and Gal's …
In this short note we consider generalized associahedra of type D_n. We prove that these simple flag polytopes are not nestohedra for n > 3, but the statement of Gal's conjecture holds for them.
For any flag nestohedron, we define a flag simplicial complex whose $f$-vector is the $\gamma$-vector of the nestohedron. This proves that the $\gamma$-vector of any flag nestohedron satisfies the Frankl-F\"{u}redi-Kalai inequalities,…
Nestohedra are a family of convex polytopes that includes permutohedra, associahedra, and graph associahedra. In this paper, we study an extension of such polytopes, called extended nestohedra. We show that these objects are indeed the…
A removahedron is a polytope obtained by deleting inequalities from the facet description of the classical permutahedron. Relevant examples range from the associahedra to the permutahedron itself, which raises the natural question to…
A new algebraic formula for the numbers of faces of nestohedra is obtained. The enumerator function $F(P_B)$ of positive lattice points in interiors of maximal cones of the normal fan of the nestohedron $P_B$ associated to a building set…
This paper continues investigation of the class of flag simple polytopes called 2-truncated cubes. It is an extended version of the short note Volodin (2012). A 2-truncated cube is a polytope obtained from a cube by sequence of truncations…
In this article we consider an open conjecture about coherently labelling a polyhedron in three dimensions. We exhibit all the forty eight possible coherent labellings of a tetrahedron. We also exhibit that some simplicial polyhedra like…
Answering a question posed by Joseph Malkevitch, we prove that there exists a polyhedral graph, with triangular faces, such that every realization of it as the graph of a convex polyhedron includes at least one face that is a scalene…
We establish a geometrisation of the Breuil-M\'ezard conjecture for potentially Barsotti-Tate representations, as well as of the weight part of Serre's conjecture, for moduli stacks of two-dimensional mod p representations of the absolute…
We describe many different realizations with integer coordinates for the associahedron (i.e. the Stasheff polytope) and for the cyclohedron (i.e. the Bott-Taubes polytope) and compare them to the permutahedron of type A_n and B_n…
We investigate the structure of two-dimensional partial cubes, i.e., of isometric subgraphs of hypercubes whose vertex set defines a set family of VC-dimension at most 2. Equivalently, those are the partial cubes which are not contractible…
We prove the following results on flag triangulations of 2- and 3-manifolds. In dimension 2, we prove that the vertex-minimal flag triangulations of $\mathbb{R} P^2$ and $\mathbb{S}^1\times \mathbb{S}^1$ have 11 and 12 vertices,…
The bellows conjecture claims that the volume of any flexible polyhedron of dimension 3 or higher is constant during the flexion. The bellows conjecture was proved for flexible polyhedra in the Euclidean spaces of dimensions 3 and higher,…
We study whether a given graph can be realized as an adjacency graph of the polygonal cells of a polyhedral surface in $\mathbb{R}^3$. We show that every graph is realizable as a polyhedral surface with arbitrary polygonal cells, and that…
Let p > 2 be prime. We state and prove (under mild hypotheses on the residual representation) a geometric refinement of the Breuil-M\'ezard conjecture for 2-dimensional mod p representations of the absolute Galois group of Qp. We also state…
We present a simple algorithm for determining the extremal points in Euclidean space whose convex hull is the nth polytope in the sequence known as the multiplihedra. This answers the open question of whether the multiplihedra could be…
From the paper of the first author it follows that upper and lower bounds for $\gamma$-vector of a simple polytope imply the bounds for its $g$-,$h$- and $f$-vectors. In the paper of the second author it was obtained unimprovable upper and…
In the present paper, we will show that three apparently disjoint objects: Galois representations arising from twenty-seven lines on a cubic surface (number theory and arithmetic algebraic geometry), Picard modular forms (automorphic…
Generically, one can attach to a Q-curve C octahedral representations Gal(Qbar/Q) --> GL(2,Fbar_3) coming from the Galois action on the 3-torsion of those abelian varieties of GL_2-type whose building block is C. When C is defined over a…
We prove that there is an absolute constant $ C$ such that for every $ n \geq 2 $ and $ N\geq 10^n, $ there exists a polytope $ P_{n,N} \subset \mathbb{R}^n $ with at most $ N $ facets that satisfies…