A 1976 conjecture of Halperin on positively elliptic spaces has been confirmed in formal dimensions up to 16. In this article, we shorten the proof and extend the result up to formal dimension 20. We work with Meier’s algebraic characterization of the conjecture, so the proof is elementary in that it involves only polynomial algebras, ideals, and derivations.
- Artinian complete intersection algebras
- Halperin conjecture
- positively elliptic spaces
ASJC Scopus subject areas
- Algebra and Number Theory