On Davis-Januszkiewicz homotopy types I; formality and rationalisation

Abstract

For an arbitrary simplicial complex K, Davis and Januszkiewicz have defined a family of homotopy equivalent CW-complexes whose integral cohomology rings are isomorphic to the Stanley-Reisner algebra of K. Subsequently, Buchstaber and Panov gave an alternative construction (here called c(K)), which they showed to be homotopy equivalent to Davis and Januszkiewicz's examples. It is therefore natural to investigate the extent to which the homotopy type of a space is determined by having such a cohomology ring. We begin this study here, in the context of model category theory. In particular, we extend work of Franz by showing that the singular cochain algebra of c(K) is formal as a differential graded noncommutative algebra. We specialise to the rationals by proving the corresponding result for Sullivan's commutative cochain algebra, and deduce that the rationalisation of c(K) is unique for a special family of complexes K. In a sequel, we will consider the uniqueness of c(K) at each prime separately, and apply Sullivan's arithmetic square to produce global results for this family.

Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol5/agt-5-3.abs.html

Cited by in corpus (10)

• On the integral cohomology of smooth toric varieties
• The cohomology rings of smooth toric varieties and quotients of moment-angle complexes
• Polyhedral products over finite posets
• The cohomology rings of real toric spaces and smooth real toric varieties
• Basic cohomology of canonical holomorphic foliations on complex moment-angle manifolds
• Recognizing nullhomotopic maps into the classifying space of a Kac-Moody group
• Graph products of spheres, associative graded algebras and Hilbert series
• Koszul homomorphisms and universal resolutions in local algebra
• E2 formality via obstruction theory
• Equivariant cohomology of moment-angle complexes with respect to coordinate subtori