Pseudo-simplicial complexes from maximal locally convex functions (Q818695): Difference between revisions

A pseudo-simplex generalizes the notion of a pseudo-triangle. It is a set \(P\) homeomorphic to a \(d\)-ball for some \(d\), its boundary is piecewise linear, and it has just \(d+1\) corners, at which there are local support hyperplanes meeting \(P\) just in those points. The paper discusses pseudo-simplicial complexes, composed of pseudo-simplices, in terms of locally convex functions on polytopal domains \(D\) (again homeomorphic to \(d\)-balls), where by locally convex is meant convex on every line-segment in \(D\). A height function assigns a height \(h_i\) to each vertex \(v_i\) of \(D\), and the interest here is in locally convex functions \(f^*\) which are maximal such that \(f^*(v_i) \leq h_i\) for each \(i\); such a complex then results. There are also related pseudo-flips between these complexes when the height functions change. [A comment: in the references, the reviewer's paper has a mistake in the title and the name of the journal, and the year of publication is wrong.]