A remarkable DGmodule model for configuration spaces. (English) Zbl 1152.55004

Given a closed \(n\)-manifold \(M\), denote by \(F(M,k)=\{x_1,\dots,x_k\in M^k\), \(x_i\not= x_j\) if \(i\not=j\}\) the unordered configuration space of \(k\) particles in \(M\). It is known that, if \(M\) is not necessarily simply connected, the homotopy type of \(F(M,k)\) does not only depend on the homotopy type of \(M\). On the other hand, if \(M\) is \(2\)-connected, the homotopy type (resp. more generally the rational homotopy type) of \(F(M,k)\) depends only on the homotopy type (resp. the rational homotopy type) of \(M\). The rational version was indeed proved by the authors in a previous paper. For a simply connected manifold, the problem remains open and this is the assumption in the paper under review.
The authors construct a commutative differential graded algebra over the rationals, \(F(A,k)\), which models the algebra of PL forms on \(F(M,k)\), \(A_{\text{PL}}(F(M,K))\), as differential graded modules over \(A_{\text{PL}}(M^k)\). Moreover, this model is equivariant with respect to the action of the symmetric group \(\Sigma_k\) on \(M^k\). The authors remark that the algebra \(F(A,k)\) is then a promising candidate to be a model (in the sense of Sullivan) of the configuration space.
This interesting algebra is built out of a model \(A\) of \(M\) which is itself a Poincaré duality algebra (this is always possible as was shown by the authors in a previous paper). Through a deep understanding of the algebraic description of the complement of an embedding, the algebra \(F(A,k)\) is obtained from \(A^{\otimes k}\) by “adding” a suitable exterior algebra and dividing it by the so called “Arnold” and “symmetry” relations.


55P62 Rational homotopy theory
55R80 Discriminantal varieties and configuration spaces in algebraic topology
Full Text: DOI arXiv


[1] L Abrams, Two-dimensional topological quantum field theories and Frobenius algebras, J. Knot Theory Ramifications 5 (1996) 569 · Zbl 0897.57015
[2] M Bendersky, S Gitler, The cohomology of certain function spaces, Trans. Amer. Math. Soc. 326 (1991) 423 · Zbl 0738.54007
[3] A K Bousfield, V K A M Gugenheim, On \(\mathrm{PL}\) de Rham theory and rational homotopy type, Mem. Amer. Math. Soc. 8(179) (1976) · Zbl 0338.55008
[4] E B Curtis, Simplicial homotopy theory, Advances in Math. 6 (1971) 107 · Zbl 0225.55002
[5] Y Félix, S Halperin, J C Thomas, Rational homotopy theory, Graduate Texts in Math. 205, Springer (2001)
[6] Y Félix, D Tanré, The cohomology algebra of unordered configuration spaces, J. London Math. Soc. \((2)\) 72 (2005) 525 · Zbl 1079.55018
[7] Y Félix, J C Thomas, Configuration spaces and Massey products, Int. Math. Res. Not. (2004) 1685 · Zbl 1078.55018
[8] W Fulton, R MacPherson, A compactification of configuration spaces, Ann. of Math. \((2)\) 139 (1994) 183 · Zbl 0820.14037
[9] T G Goodwillie, Calculus. II. Analytic functors, \(K\)-Theory 5 (1991/92) 295 · Zbl 0776.55008
[10] T Hüttemann, Total cofibres of diagrams of spectra, New York J. Math. 11 (2005) 333 · Zbl 1096.55007
[11] I K\vz, On the rational homotopy type of configuration spaces, Ann. of Math. \((2)\) 139 (1994) 227 · Zbl 0829.55008
[12] P Lambrechts, D Stanley, Poincaré duality and commutative differential graded algebra, to appear in Ann. Sc. E. N. S. · Zbl 1172.13009
[13] P Lambrechts, D Stanley, The rational homotopy type of configuration spaces of two points, Ann. Inst. Fourier (Grenoble) 54 (2004) 1029 · Zbl 1069.55006
[14] P Lambrechts, D Stanley, Algebraic models of Poincaré embeddings, Algebr. Geom. Topol. 5 (2005) 135 · Zbl 1114.55007
[15] R Longoni, P Salvatore, Configuration spaces are not homotopy invariant, Topology 44 (2005) 375 · Zbl 1063.55015
[16] J R Munkres, Elements of algebraic topology, Addison-Wesley (1984) · Zbl 0673.55001
[17] C A Weibel, An introduction to homological algebra, Cambridge Studies in Advanced Math. 38, Cambridge University Press (1994) · Zbl 0797.18001
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.