Multiplicative Aspects of the Halperin-Carlsson Conjecture

TL;DR

This paper explores the multiplicative structure in algebraic topology to provide simplified proofs of cohomology dimension estimates for spaces with free torus actions, and discusses potential improvements using minimal models.

Contribution

It introduces a new approach leveraging the multiplicative structure of the Koszul resolution to simplify existing cohomology estimates and suggests enhancements via the minimal Hirsch-Brown model.

Findings

Simplified proofs for cohomology dimension bounds.

Identification of potential improvements with multiplicative structures.

Application to filtered differential modules over polynomial rings.

Abstract

We use the multiplicative structure of the Koszul resolution to give short and simple proofs of some known estimates for the total dimension of the cohomology of spaces which admit free torus actions and analogous results for filtered differential modules over polynomial rings. We also point out the possibility of improving these results in the presence of a multiplicative structure on the so-called minimal Hirsch-Brown model for the equivariant cohomology of the space.