The integral polytope group (Q2664122)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The integral polytope group
scientific article

    Statements

    The integral polytope group (English)
    0 references
    0 references
    20 April 2021
    0 references
    The set of polytopes in a real finite-dimensional space \(V\) forms a commutative monoid under the Minkowski sum. Let \(\mathcal{P}(V)\) denote its Grothendieck group. Given a finitely generated free-abelian group \(H\), a polytope in \(V_H=H\otimes_{\mathbb Z} \mathbb{R}\) is said to be integral if all of its vertices belong to \(H\). Then the subgroup \(\mathcal{P}(H) \subset \mathcal{P}(V_H)\) is determined and called the integral poytope group. The author shows that the Grothendieck group \(\mathcal{P}(\mathbb{Z}^n)\) associated to integral polytopes in \(\mathbb{R}^n\) is free abelian, by providing an explicit basis. Moreover, the author identifies the involution on this polytope group given by reflection about the origin as a sum of Euler characteristic type. The author also computes the kernel of the norm map sending a polytope to its induced seminorm on the dual of \(\mathbb{R}^n\).
    0 references
    integral polytope
    0 references
    Grothendieck group
    0 references
    Minkowski sum
    0 references

    Identifiers