The equivariant Ehrhart theory of the permutahedron

MaRDI QIDQ2199885zbMATH OpenFDO

Authors Federico Ardila, Mariel Supina, Andrés R. Vindas Meléndez

Publication date 14 September 2020

Published in Séminaire Lotharingien de Combinatoire (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1911.11159, http://www.mat.univie.ac.at/~slc/wpapers/FPSAC2020//83.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

Ehrhart theorypermutahedronquasipolynomialrepresentation theorysymmetric groupzonotope

Mathematics Subject Classification ID

Combinatorial aspects of representation theory (05E10) Combinatorial aspects of algebraic geometry (05E14) Representations of finite symmetric groups (20C30) Polyhedra and polytopes; regular figures, division of spaces (51M20) Combinatorial properties of polytopes and polyhedra (number of faces, shortest paths, etc.) (52B05) Lattice polytopes in convex geometry (including relations with commutative algebra and algebraic geometry) (52B20)

Abstract: Equivariant Ehrhart theory enumerates the lattice points in a polytope with respect to a group action. Answering a question of Stapledon, we describe the equivariant Ehrhart theory of the permutahedron, and we prove his Effectiveness Conjecture in this special case.

Review text

In [\textit{A. Stapledon}, Adv. Math. 226, No. 4, 3622--3654 (2011; zbl 1218.52014)] Stapledon introduced \textit{equivariant Ehrhart theory}, a variant of Ehrhart theory that takes group actions into account. For a lattice polytope \(P\) whose vertices lie in the lattice \(M\) and a group \(G\) acting on \(M\), one can define the \textit{equivariant \(H^*\)-series} \(H^*[z]\) which can be written as \(\sum_{i\geq 0} H_i^*z^i\) for appropriate virtual characters \(H_i^*\). Stapledon asks whether or not this series is effective, i.e, whether all the \(H_i^*\) are characters of representations of \(G\), and proposes the \textit{effectiveness conjecture} which states that the effectiveness of the equivariant \(H^*\)-series is equivalent to two other properties, namely \begin{itemize} \item[(i)] the toric variety of \(P\) admits a \(G\)-invariant non-degenerate hypersurface, \item[(ii)] the equivariant \(H^*\)-series is a polynomial. \end{itemize} It is already known that (i) is a sufficient and (ii) is a necessary condition. The present paper proves the effectiveness conjecture and three minor conjectures in the case of permutahedra under the action of the symmetric group.

Recommendations

• The equivariant Ehrhart theory of the permutahedron
• The equivariant Ehrhart theory of polytopes with order-two symmetries
• Equivariant Ehrhart theory
• On permutation polytopes: notions of equivalence
• Ehrhart-equivalent 3-polytopes are equidecomposable
• Note on the Hilbert polynomial of a spherical variety
• On the Todd class of the permutohedral variety
• On the Todd class of the permutohedral variety
• Ehrhart polynomials of lattice-face polytopes
• Affine symmetries of orbit polytopes

Cites work

• Combinatorial Properties of Associated Zonotopes
• Computing the Continuous Discretely
• scientific article; zbMATH DE number 3163858 (Why is no real title available?)
• scientific article; zbMATH DE number 17664 (Why is no real title available?)
• Newton polyhedra and toroidal varieties
• The equivariant volumes of the permutahedron

Cited in

(6)

• The equivariant Ehrhart theory of the permutahedron
• The equivariant volumes of the permutahedron
• The equivariant volumes of the permutahedron
• The equivariant Ehrhart theory of polytopes with order-two symmetries
• Equivariant Ehrhart theory
• Techniques in equivariant Ehrhart theory

This page was built for publication: The equivariant Ehrhart theory of the permutahedron

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2199885)