Exterior algebra and projection of polytopes (Q912187)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Exterior algebra and projection of polytopes
scientific article

    Statements

    Exterior algebra and projection of polytopes (English)
    0 references
    0 references
    1990
    0 references
    The principal object of study is the Grassmann manifold G(k,n) of all k- dimensional subspaces of \({\mathbb{R}}^ n\). Let Q be a convex polytope in \({\mathbb{R}}^ n\) and let V(Q:L) be the k-dimensional volume of the orthogonal projection of Q into a k-plane \(L\in G(k,n)\). The basis of the results of the paper is Theorem I: The function V(Q:L) is piecewise linear on G(k,n). This fact is not new [\textit{H. Busemann}, \textit{G. Ewald} and \textit{G. C. Shephard}, Convex bodies and convexity on Grassmann cones, Math. Ann. 151, 1-41 (1963; Zbl 0112.373)], but its proof in Section 2 contains an alternative construction of V(Q:L) which yields some interesting new corollaries. As an application of Theorem I, the author proves in Section 3 that the transform of a polytope also gives its volume. A special case of the above occurs when Q is an n-dimensional simplex. Then the decomposition of G(k,n) induced by V(Q:L) corresponds to the combinatorial equivalence of polytopes with at most \(n+1\) (labeled) vertices. This decomposition refines to the decomposition induced by chirotopes. The final section deals with the problem of maximizing V(Q:L), \(L\in G(k,n)\). Section 4 relates the largest projections of the regular simplex, cross polytope, and cube to the solutions of other extremum problems and gives some necessary conditions. Section 5 contains a unique result for the problem above. Theorem II: There is at most one maximal projection in each open region of G(k,n), \(k=2\) or n-2, on which V(Q:L) is linear.
    0 references
    0 references
    0 references
    0 references
    0 references
    exterior algebra
    0 references
    projection of polytopes
    0 references
    Grassmann manifold
    0 references
    convex polytope
    0 references
    simplex
    0 references
    combinatorial equivalence
    0 references
    decomposition
    0 references
    0 references