| We study metric properties of convex bodies B and their polars B0, where B is the convex hull of an orbit under the action of a compact group G. Examples include the Traveling Salesman Polytope in polyhedral combinatorics ( G = Sn, the symmetric group), the set of non-negative polynomials in real algebraic geometry (G = SO(n), the special orthogonal group), and the convex hull of the Grassmannian and the unit comass ball in the theory of calibrated geometries (G = SO( n), but with a different action). We derive several results on the structure of the set of non-negative polynomials (the radius of the inscribed ball, volume estimates), which allow us to conclude that there are substantially more nonnegative polynomials than sums of squares. We also compute the radius of the largest ball contained in the symmetric Traveling Salesman Polytope, and give a reasonably tight estimate for the radius of the Euclidean ball containing the unit comass ball. Many of the above results use the same unified framework of orbits. Our main tool is a new simple description of the ellipsoid of the largest volume contained in B0. |
