Related papers: Polar Root Polytopes that are Zonotopes

For any crystallographic root system, let $W$ be the associated Weyl group, and let $\mathit{WP}$ be the weight polytope (also known as the $W$-permutohedron) associated with an arbitrary strongly dominant weight. The action of $W$ on…

The main result of this paper is a recursive description of all decompositions \[ \Delta^+ = \Phi_1 \sqcup \Phi_2 \sqcup \dots \sqcup \Phi_k \] of the positive roots $\Delta^+$ of an arbitrary root system $\Delta$ into a disjoint union of…

We give a full classification of vertex-transitive zonotopes. We prove that a vertex-transitive zonotope is a $\Gamma$-permutahedron for some finite reflection group $\Gamma\subset\mathrm{O}(\mathbb R^d)$. The same holds true for zonotopes…

We describe the multiplicative invariant algebras of the root lattices of all irreducible root systems under the action of the Weyl group. In each case, a finite system of fundamental invariants is determined and the class group of the…

Let $\Phi$ be a root system of type $A_l$ or $D_l$. Let $K$ be a field of characteristic not $2$. Let $\delta$ be the maximal root of $\Phi$ and set $\Phi_0 = \{\alpha\in\Phi; \delta\perp\alpha\}$. We describe orbits of the group…

The Weyl group of a crystallographic root system has a nonlinear action on the compact torus. The orbit space of this action is a compact basic semi-algebraic set. We present a polynomial description of this set for the Weyl groups of type…

In this work we investigate the relation between the fundamental group of a complete Riemannian manifold $M$ and the quotient between the Weyl group and reflection group of a polar action on $M$, as well as the relation between the…

Let $\lambda$ be a dominant weight of a finite dimensional simple Lie algebra and $W$ the Weyl group. The convex hull of $W\lambda$ is defined as the weight polytope of $\lambda$. We provide a new proof that there is a natural bijection…

Voronoi conjectured that any parallelotope is affinely equivalent to a Voronoi polytope. A parallelotope is defined by a set of $m$ facet vectors $p_i$ and defines a set of $m$ lattice vectors $t_i$, $1\le i\le m$. We show that Voronoi's…

Alcoved polytopes are characterized by the property that all facet normal directions are parallel to the roots $e_i-e_j$. Unlike other prominent families of polytopes, like generalized permutahedra, alcoved polytopes are not closed under…

In hep-th/0111053, a complete simplicial fan was associated to an arbitrary finite root system. It was conjectured that this fan is the normal fan of a simple convex polytope (a generalized associahedron of the corresponding type). Here we…

Self-polar polytopes are convex polytopes that are equal to an orthogonal transformation of their polar sets. These polytopes were first studied by Lov\'{a}sz as a means of establishing the chromatic number of distance graphs on spheres,…

An orbit polytope is the convex hull of an orbit under a finite group $G \leq \operatorname{GL}(d,\mathbb{R})$. We develop a general theory of possible affine symmetry groups of orbit polytopes. For every group, we define an open and dense…

We prove that each bounded polytope can be represented as a polynomial zonotope, which we refer to as the Z-representation of polytopes. Previous representations are the vertex representation (V-representation) and the halfspace…

Given an abstract $n$-polytope $\mathcal{K}$, an abstract $(n+1)$-polytope $\mathcal{P}$ is an extension of $\mathcal{K}$ if all the facets of $\mathcal{P}$ are isomorphic to $\mathcal{K}$. A chiral polytope is a polytope with maximal…

Associated to each irreducible crystallographic root system $\Phi$, there is a certain cell complex structure on the torus obtained as the quotient of the ambient space by the coroot lattice of $\Phi$. This is the Steinberg torus. A main…

Suppose that the set ${\mathcal{T}}= \{T_1, T_2,...,T_q \} $ of real $n\times n$ matrices has joint spectral radius less than $1$. Then for any digit set $ D= \{d_1, \cdots, d_q\} \subset {\Bbb R}^n$, there exists a unique nonempty compact…

We show that, given a rank 3 affine root system $\Phi$ with Weyl group $W$, there is a unique oriented matroid structure on $\Phi$ which is $W$-equivariant and restricts to the usual matroid structure on rank 2 subsystems. Such oriented…

Let $\Phi$ be a root system of type $E_6$, $E_7$, or $E_8$. Let $K$ be a field of characteristic $2$. Let $\delta$ be the maximal root of $\Phi$ and set $\Phi_0 = \{\alpha\in\Phi; \delta\perp\alpha\}$. We describe orbits of the group…

Motivated by work of Kac and Lusztig, we define a root system and a Weyl groupoid for a large class of semisimple Yetter-Drinfeld modules over an arbitrary Hopf algebra. The obtained combinatorial structure fits perfectly into an existing…