# Vandermonde varieties, mirrored spaces, and the cohomology of symmetric semi-algebraic sets

## TL;DR

This paper presents a polynomial-time algorithm for computing low-dimensional cohomology groups of symmetric semi-algebraic sets, leveraging new representation theory results on the structure of their cohomology modules.

## Contribution

It introduces a novel polynomial-time algorithm for cohomology computation of symmetric semi-algebraic sets, based on new representation theoretic insights into their cohomology modules.

## Key findings

- Algorithm computes first (ll+1) cohomology groups efficiently
- Specht modules with long partitions do not appear in low-dimensional cohomology
- Generalizes previous restrictions on partitions in symmetric polynomial cohomology

## Abstract

Let $\mathrm{R}$ be a real closed field. We prove that for each fixed $\ell, d \geq 0$, there exists an algorithm that takes as input a quantifier-free first order formula $\Phi$ with atoms $P=0, P > 0, P < 0 \text{ with } P \in \mathcal{P} \subset \mathrm{D}[X_1,\ldots,X_k]^{\mathfrak{S}_k}_{\leq d}$, where $\mathrm{D}$ is an ordered domain contained in $\mathrm{R}$, and computes the ranks of the first $(\ell+1)$ cohomology groups, of the symmetric semi-algebraic set defined by $\Phi$. The complexity of this algorithm (measured by the number of arithmetic operations in $\mathrm{D}$) is bounded by a \emph{polynomial} in $k$ and $\mathrm{card}(\mathcal{P})$ (for fixed $d$ and $\ell$). This result contrasts with the $\mathbf{PSPACE}$-hardness of the problem of computing just the zero-th Betti number (i.e. the number of semi-algebraically connected components) in the general case for $d \geq 2$ (taking the ordered domain $\mathrm{D}$ to be equal to $\mathbb{Z}$). The above algorithmic result is built on new representation theoretic results on the cohomology of symmetric semi-algebraic sets. We prove that the Specht modules corresponding to partitions having long lengths cannot occur with positive multiplicity in the isotypic decompositions of low dimensional cohomology modules of closed semi-algebraic sets defined by symmetric polynomials having small degrees. This result generalizes prior results obtained by the authors giving restrictions on such partitions in terms of their ranks, and is the key technical tool in the design of the algorithm mentioned in the previous paragraph.