On Davis–Januszkiewicz homotopy types II: Completion and globalisation
Algebraic and Geometric Topology
For any finite 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, which they showed to be homotopy equivalent to the original examples. It is therefore natural to investigate the extent to which the homotopy type of a space X is determined by such a cohomology ring. Having analysed this
... analysed this problem rationally in Part I, we here consider it prime by prime, and utilise Lannes' T functor and Bousfield-Kan type obstruction theory to study the p-completion of X. We find the situation to be more subtle than for rationalisation, and confirm the uniqueness of the completion whenever K is a join of skeleta of simplices. We apply our results to the global problem by appealing to Sullivan's arithmetic square, and deduce integral uniqueness whenever the Stanley-Reisner algebra is a complete intersection.