On the Isotypic Decomposition of Cohomology Modules of Symmetric Semi-algebraic Sets: Polynomial Bounds on Multiplicities

Abstract

We consider symmetric (under the action of products of finite symmetric groups) real algebraic varieties and semi-algebraic sets, as well as symmetric complex varieties in affine and projective spaces, defined by polynomials of degrees bounded by a fixed constant <i>d</i>. We prove that if a Specht module, S^λ⁠, appears with positive multiplicity in the isotypic decomposition of the cohomology modules of such sets, then the rank of the partition λ is bounded by O(<i>d</i>). This implies a polynomial (in the dimension of the ambient space) bound on the number of such modules. Furthermore, we prove a polynomial bound on the multiplicities of those that do appear with positive multiplicity in the isotypic decomposition of the abovementioned cohomology modules. We give some applications of our methods in proving lower bounds on the degrees of defining polynomials of certain symmetric semi-algebraic sets, as well as improved bounds on the Betti numbers of the images under projections of (not necessarily symmetric) bounded real algebraic sets, improving in certain situations prior results of Gabrielov, Vorobjov, and Zell.