On Davis–Januszkiewicz homotopy types I ; formality and rationalisation

Notbohm, Dietrich¹ ; Ray, Nigel²

¹Department of Mathematics and Computer Science, University of Leicester, University Road, Leicester LE1 7RH, United Kingdom
²Department of Mathematics, University of Manchester, Oxford Road, Manchester M13 9PL, United Kingdom

Algebraic and Geometric Topology, Tome 5 (2005) no. 1, pp. 31-51

Résumé

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

Détail

DOI : 10.2140/agt.2005.5.31

Keywords: colimit, formality, Davis–Januszkiewicz space, homotopy colimit, model category, rationalisation, Stanley–Reisner algebra

Bibliographie

[1] A K Bousfield, V K A M Gugenheim, On PL de Rham theory and rational homotopy type, Mem. Amer. Math. Soc. 8 (1976)

[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 University Press (1993)

[4] V M Buchstaber, T E Panov, Torus actions and their applications in topology and combinatorics, 24, American Mathematical Society (2002)

[5] H Cartan, S Eilenberg, Homological algebra, Princeton University Press (1956)

[6] W Chachólski, J Scherer, Homotopy theory of diagrams, Mem. Amer. Math. Soc. 155 (2002)

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

[8] W G Dwyer, Classifying spaces and homology decompositions, from: "Homotopy theoretic methods in group cohomology", Advanced Courses in Mathematics, CRM Barcelona, Birkhäuser (2001) 1

[9] W G Dwyer, J Spaliński, Homotopy theories and model categories, from: "Handbook of algebraic topology" (editor I M James), North-Holland (1995) 73

[10] Y Félix, S Halperin, J C Thomas, Rational homotopy theory, 205, Springer (2001)

[11] M Franz, On the integral cohomology of smooth toric varieties

[12] P Gabriel, M Zisman, Calculus of fractions and homotopy theory, 35, Springer New York, New York (1967)

[13] J A Green, Axiomatic representation theory for finite groups, J. Pure Appl. Algebra 1 (1971) 41

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

[15] M Hovey, Model categories, 63, American Mathematical Society (1999)

[16] S Jackowski, J Mcclure, Homotopy decomposition of classifying spaces via elementary abelian subgroups, Topology 31 (1992) 113

[17] S Mac Lane, Categories for the working mathematician, 5, Springer (1998)

[18] J P May, Simplicial objects in algebraic topology, 11, D. Van Nostrand Co., Princeton, N.J.-Toronto, Ont.-London (1967)

[19] D Notbohm, N Ray, On Davis–Januskiewicz homotopy types II : completion and globalisation, in preparation

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

[21] T Panov, N Ray, R Vogt, Colimits, Stanley–Reisner algebras, and loop spaces, from: "Categorical decomposition techniques in algebraic topology (Isle of Skye, 2001)", Progr. Math. 215, Birkhäuser (2004) 261

[22] S Schwede, B E Shipley, Algebras and modules in monoidal model categories, Proc. London Math. Soc. (3) 80 (2000) 491

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

[24] D Sullivan, Infinitesimal computations in topology, Inst. Hautes Études Sci. Publ. Math. (1977)

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

[26] V Welker, G M Ziegler, R T Živaljević, Homotopy colimits—comparison lemmas for combinatorial applications, J. Reine Angew. Math. 509 (1999) 117