Equivariant log-concavity and equivariant Kähler packages

Abstract

We show that the exterior algebra ΛR[α1,⋯,αn], which is the cohomology of the torus T=(S1)n, and the polynomial ring R[t1,…,tn], which is the cohomology of the classifying space B(S1)n=(CP∞)n, are Sn-equivariantly log-concave. We do so by explicitly giving the Sn-representation maps on the appropriate sequences of tensor products of polynomials or exterior powers and proving that these maps satisfy the hard Lefschetz theorem. Furthermore, we prove that the whole Kähler package, including the Poincaré duality, the hard Lefschetz theorem, and the Hodge–Riemann bilinear relations, holds on the corresponding sequences in an equivariant setting.