Dimension-raising homomorphisms between lattices of convex bodies

DOI10.1016/J.AIM.2015.11.016MaRDI QIDQ904015zbMATH OpenOpenAlexFDO

Authors Luisa Allgaier, Heinz Weisshaupt

Publication date 15 January 2016

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1501.05635

zbMATH Keywords

anti-homomorphismconvex bodiesdimension raisinglattice homomorphismsLegendre-Fenchel transformpartially ordered set

Mathematics Subject Classification ID

Convex sets in (n) dimensions (including convex hypersurfaces) (52A20) Lattices and convex bodies in (n) dimensions (aspects of discrete geometry) (52C07)

Abstract: We settle the first unsolved case of a problem of P. M. Gruber, asked by him in 1991, namely, to investigate the homomorphisms from the lattice of convex bodies of ${mathbbE}^c$ to the lattice of convex bodies of ${mathbbE}^d$ for $c<d$. We completely describe these homomorphisms for the case $d=c+1$, for $cge3$. The obtained result is then applied to characterize anti-homomorphisms and homomorphisms from lattices of convex bodies to lattices of convex functions.

Review text

Let \(K^n\) denote the class of compact convex sets in \(\mathbb{R}^n\). Equipped with the two operations \(\cap\) (intersection) and \(\vee\) defined through \[ L \vee M := \text{conv} (L \cup M), \] where conv\(( \dots )\) denotes convex hull, \(K^n\) becomes a lattice (i.e., a partially ordered set with unique meets and joins). The main theorem in the paper under review classifies the homomorphisms \(K^n \to K^{ n+1 }\): for \(n \geq 3\), a function \(\Phi : K^n \to K^{ n+1 }\) is a nontrivial lattice homomorphism if and only if there exist a hyperplane \(H \subset K^{ n+1 }\) and an affine bijection \(\phi : K^n \to H\) such that precisely one of the following cases hold: {\parindent=6mm \begin{itemize}\item[(i)] For \(v = 0 \in \mathbb{R}^{ n+1 }\) or some fixed \(v \in \mathbb{R}^{ n+1 }\) not parallel to \(H\), \[ \Phi(C) = \bigcup_{ x \in C } [\phi(x), \phi(x)+v] \qquad \text{for all } C \in K^n . \] \item[(ii)] For some fixed \(o \in \mathbb{R}^{ n+1 } \setminus H\) and some fixed \(\gamma \in [0, 1)\), \[ \Phi(C) = \bigcup_{ x \in C } [\phi(x), \gamma \phi(x) + (1-\gamma)o] \qquad \text{for all } C \in K^n . \] \end{itemize}} Homomorphisms \(K^n \to K^n\) were classified in [\textit{P. M. Gruber}, Abh. Math. Semin. Univ. Hamb. 61, 121--130 (1991; Zbl 0754.52006)]; the general case \(K^n \to K^m\) remains open, though the paper under review gives a general dimension bound for \(n < m\).

Recommendations

• On duality and endomorphisms of lattices of closed convex sets
• Homometry and direct-sum decompositions of lattice-convex sets
• The endomorphisms of the lattice of closed convex cones
• Characterizing circles by a convex combinatorial property
• Parallel axiom in convexity lattices
• scientific article; zbMATH DE number 3967065
• scientific article; zbMATH DE number 558643
• Classification of lattice-regular lattice convex polytopes
• Some latticial and convex aspects of mathematical morphology
• scientific article; zbMATH DE number 6459972

Cites work

• A characterization of duality through section/projection correspondence in the finite dimensional setting
• A characterization of the concept of duality
• A characterization of the duality mapping for convex bodies
• A characterization of the support map
• Convex and Discrete Geometry
• Duality on convex sets in generalized regions
• Einige Anwendungen der projektiven Geometrie auf Fragen der Flächentheorie
• Hidden structures in the class of convex functions and a new duality transform
• scientific article; zbMATH DE number 1912012 (Why is no real title available?)
• scientific article; zbMATH DE number 3211481 (Why is no real title available?)
• scientific article; zbMATH DE number 3214278 (Why is no real title available?)
• On duality and endomorphisms of lattices of closed convex sets
• Order isomorphisms in cones and a characterization of duality for ellipsoids
• Order isomorphisms in windows
• Some applications of a theorem on convex functions
• The concept of duality in convex analysis, and the characterization of the Legendre transform
• The endomorphisms of the lattice of convex bodies

Cited in

(2)

• The endomorphisms of the lattice of convex bodies
• Dualities and endomorphisms of pseudo-cones

This page was built for publication: Dimension-raising homomorphisms between lattices of convex bodies

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