A Geometric Lower Bound Theorem

We resolve a conjecture of Kalai relating approximation theory of convex bodies by simplicial polytopes to the face numbers and primitive Betti numbers of these polytopes and their toric varieties. The proof uses higher notions of chordality. Further, for C^2-convex bodies, asymptotically tight lower bounds on the g-numbers of the approximating polytopes are given, in terms of their Hausdorff distance from the convex body.Comment: 26 pages, 6 figures, to appear in Geometric and Functional Analysi

Remarks on the combinatorial intersection cohomology of fans

We review the theory of combinatorial intersection cohomology of fans developed by Barthel-Brasselet-Fieseler-Kaup, Bressler-Lunts, and Karu. This theory gives a substitute for the intersection cohomology of toric varieties which has all the expected formal properties but makes sense even for non-rational fans, which do not define a toric variety. As a result, a number of interesting results on the toric $g$ and $h$ polynomials have been extended from rational polytopes to general polytopes. We present explicit complexes computing the combinatorial IH in degrees one and two; the degree two complex gives the rigidity complex previously used by Kalai to study $g_2$. We present several new results which follow from these methods, as well as previously unpublished proofs of Kalai that $g_k(P) = 0$ implies $g_k(P^*) = 0$ and $g_{k+1}(P) = 0$.Comment: 34 pages. Typos fixed; final version, to appear in Pure and Applied Math Quarterl

Rigidity and volume preserving deformation on degenerate simplices

Given a degenerate $(n+1)$-simplex in a $d$-dimensional space $M^d$ (Euclidean, spherical or hyperbolic space, and $d\geq n$), for each $k$, $1\leq k\leq n$, Radon's theorem induces a partition of the set of $k$-faces into two subsets. We prove that if the vertices of the simplex vary smoothly in $M^d$ for $d=n$, and the volumes of $k$-faces in one subset are constrained only to decrease while in the other subset only to increase, then any sufficiently small motion must preserve the volumes of all $k$-faces; and this property still holds in $M^d$ for $d\geq n+1$ if an invariant $c_{k-1}(\alpha^{k-1})$ of the degenerate simplex has the desired sign. This answers a question posed by the author, and the proof relies on an invariant $c_k(\omega)$ we discovered for any $k$-stress $\omega$ on a cell complex in $M^d$. We introduce a characteristic polynomial of the degenerate simplex by defining $f(x)=\sum_{i=0}^{n+1}(-1)^{i}c_i(\alpha^i)x^{n+1-i}$, and prove that the roots of $f(x)$ are real for the Euclidean case. Some evidence suggests the same conjecture for the hyperbolic case.Comment: 27 pages, 2 figures. To appear in Discrete & Computational Geometr