Equivariant log-concavity and equivariant Kähler packages

Abstract

We show that the exterior algebra $\hat{I}{›}_R\left[\hat{I}{\pm }_1,\cdots ,\hat{I}{\pm }_n\right]$, which is the cohomology of the torus $T=(S^1{)}^n$, and the polynomial ring $\mathbb{R}\left[t_1,\dots ,t_n\right]$, which is the cohomology of the classifying space $B(S^1{)}^n={\left(\mathbb{C}{\mathbb{P}}^{\infty }\right)}^n$, are $S_n$-equivariantly log-concave. We do so by explicitly giving the $S_n$-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 algebraic analogies of the Poincaré duality, hard Lefschetz, and Hodge-Riemann bilinear relations, holds on the corresponding sequences in an equivariant setting.

19 pages