Steve Simon, Courant Institute and Cooper Union
Monday, December 5, 2011 - 12:15pm - 1:15pm
The Ham Sandwich Theorem states that under generic conditions any n finite Borel measures on R^n can be bisected by a single hyperplane. Viewing this theorem as a Z_2-symmetry statement for measures, we generalize the theorem to other finite groups, notably the finite subgroups of the spheres S^1 and S^3, in each case realizing group symmetries on Euclidian space as group symmetries of its Borel measures by studying the topology of associated spherical space forms. Direct equipartition statements for measures are given as special cases. We shall also discuss the contributions of the tangent bundles of these manifolds in answering similar questions.