On Davis–Januszkiewicz homotopy types II : Completion and globalisation

Notbohm, Dietrich¹ ; Ray, Nigel²

¹Department of Mathematics, Vrije Universiteit Amsterdam, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands
²School of Mathematics, University of Manchester, Oxford Road, Manchester M13 9PL, United Kingdom

Algebraic and Geometric Topology, Tome 10 (2010) no. 3, pp. 1747-1780

Résumé

For any finite simplicial complex K, Davis and Januszkiewicz 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 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.

Détail

DOI : 10.2140/agt.2010.10.1747

Keywords: arithmetic square, completion, Davis–Januszkiewicz space, homotopy colimit, homotopy type, Stanley–Reisner algebra, $T$–functor, $p$–completion

Bibliographie

[1] A Bahri, M Bendersky, F R Cohen, S Gitler, The polyhedral product functor: a method of computation for moment-angle complexes, arrangements and related spaces

[2] A K Bousfield, D M Kan, Homotopy limits, completions and localizations, 304, Springer (1972)

[3] W Bruns, J Herzog, Cohen–Macaulay rings, 39, Cambridge Univ. Press (1998)

[4] V M Buchstaber, T E Panov, Torus actions and their applications in topology and combinatorics, 24, Amer. Math. Soc. (2002)

[5] M W Davis, T Januszkiewicz, Convex polytopes, Coxeter orbifolds and torus actions, Duke Math. J. 62 (1991) 417

[6] F X Dehon, J Lannes, Sur les espaces fonctionnels dont la source est le classifiant d’un groupe de Lie compact commutatif, Inst. Hautes Études Sci. Publ. Math. (1999)

[7] J Grbić, S Theriault, The homotopy type of the complement of a coordinate subspace arrangement, Topology 46 (2007) 357

[8] J Hollender, R M Vogt, Modules of topological spaces, applications to homotopy limits and E∞ structures, Arch. Math. (Basel) 59 (1992) 115

[9] N J Kuhn, M Winstead, On the torsion in the cohomology of certain mapping spaces, Topology 35 (1996) 875

[10] J Lannes, Sur les espaces fonctionnels dont la source est le classifiant d’un p–groupe abélien élémentaire, Inst. Hautes Études Sci. Publ. Math. (1992) 135

[11] D Notbohm, N Ray, On Davis–Januszkiewicz homotopy types. I. Formality and rationalisation, Algebr. Geom. Topol. 5 (2005) 31

[12] B Oliver, Higher limits via Steinberg representations, Comm. Algebra 22 (1994) 1381

[13] L Schwartz, Unstable modules over the Steenrod algebra and Sullivan’s fixed point set conjecture, , Univ. of Chicago Press (1994)

[14] R P Stanley, Combinatorics and commutative algebra, 41, Birkhäuser (1996)

[15] R Thom, L’homologie des espaces fonctionnels, from: "Colloque de topologie algébrique, Louvain, 1956", Georges Thone (1957) 29

[16] R M Vogt, Convenient categories of topological spaces for homotopy theory, Arch. Math. (Basel) 22 (1971) 545

[17] Z Wojtkowiak, On maps from hoF to Z, from: "Algebraic topology, Barcelona, 1986" (editors J Aguadé, R Kane), Lecture Notes in Math. 1298, Springer (1987) 227

[18] A Zabrodsky, On phantom maps and a theorem of H Miller, Israel J. Math. 58 (1987) 129