MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

There is a reference or a methode which by it we can calculate the cohomology of a configuration space of a compact manifold simply connected? It is possible to find a spectral sequence converging to this cohomology (but the Cohen-Taylor spectral sequence)?

share|cite|improve this question
What kind of configuration spaces do you have in mind? For example, the configuration space of k points in the 2-dimensional disc is the classifying space of the k-strand braid group, and there is a rather large literature on its properties including its cohomology. Is that an example of what you are asking about? – Lee Mosher Feb 23 '13 at 20:04
I mean how to calculate the rational cohomology of the configuration space of a compact manifold simply connected in general, or if it is possible determinate a model fot the configuration space, i know that Kriz and Totaro gave a model for the configuration spaces $F(M,k)$ when $M$ is a complex projective manifold, but in general case, it is possible to use the same technics to determinate it? – Hicham YAMOUL Feb 23 '13 at 22:05
Let me rephrase my question. What definition of a configuration space are you using? For example, is the space of k-element subsets of the 2-dimensional disc an example of your type of configuration space? The terminology "configuration space" is not completely standard, hence the need to state what definition you are using. – Lee Mosher Feb 24 '13 at 5:14
@Lee Mosher: here configuration space means $F(M,k) = M^k \setminus \Delta$ where $\Delta$ is the "big diagonal". – Dan Petersen Feb 24 '13 at 8:18
I use the classical the following definition of ordered configuration space: Let $M$ an $m-$dimensional manifold. The space of ordered configurations of $k$ pointsis the space $$F(M,k)=\{(x_1,...,x_k)\in M^k ;x_i\neq x_j for i\neq j \}$$, and we ask to find the rational cohomology of this space. – Hicham YAMOUL Feb 24 '13 at 9:57

I would be extremely surprised if there was anything other than the Cohen-Taylor spectral sequence that you can do in this generality.

As you know, the first nontrivial page of Cohen-Taylor spectral sequence depends only on the ring $H^\bullet(M)$. I think it's written up somewhere that the higher order differentials are defined by Massey products on $M$. In particular the result you refer to in a comment that $H^\bullet(F(M,n))$ (or its associated graded) can be computed explicitly from $H^\bullet(M)$ extends to arbitrary formal manifolds $M$, not just smooth projective varieties. And if you give yourself a minimal model of $M$ you should be able to compute $H^\bullet(F(M,n))$ for all $n$ as well (but not a minimal model of $F(M,n)$ -- see the paper of Longoni and Salvatore).

share|cite|improve this answer
The paper of Longoni and Salvatore shows that configuration spaces are not homotopy invariant in the non-simply connected case. I believe the question of whether the rational homotopy type of $F(M,n)$ is an invariant of rational homotopy type of simply-connected closed $M$ is still open. See the paper of Lambrechts and Stanley, which treats the $2$-connected case. – Mark Grant Feb 25 '13 at 7:29

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.