A Model for Configuration Spaces of Closed Manifolds
Last week I was at the Max Planck Institute for the Conference for Young researchers in homotopy theory and categorical structures (which was, by the way, a great conference -- thanks to the organizers), and I gave yet another talk about the Lambrechts--Stanley model for configuration spaces. So maybe it's time I write a little bit about it on this blog. I'll write a first post about the model itself, and later I will explain how the Fulton--MacPherson operad is involved in all this.
Consider a manifold . Then given some integer , one can build the configuration space of points in :
Many people are interested in configuration spaces for many different reasons. One could wonder: what does the homotopy type of tell us about the homotopy type of ? More concretely, does the homotopy type of depend exclusively on the homotopy type of ?
Of course, if we don't know anything about , then this is blatantly false. Indeed, consider that is homotopy equivalent to , whereas is homotopy equivalent to , even though . The main defect, here, is that is not a closed manifold, so we might as well restrict ourselves to studying closed manifolds.
But even then, the question could appear hopeless. Indeed, [Longoni--Salvatore, 2005], found a counterexample: they showed that some -dimensional lens spaces are homotopy equivalent and yet their configuration spaces are not homotopy equivalent. But not all hope is lost! Indeed, these lens spaces are not simply connected. So maybe if we restrict to simply connected manifolds, things will work out.
I'll admit it, I'm only comfortable over fields of characteristic zero. And over ℚ, we can use Sullivan's framework of rational models to study the real homotopy type of spaces. So let us take a rational model of , and try to build a rational model of from it.
If you recall, we are looking at a closed manifold . This feature appears on the level of cohomology in the form of Poincaré duality. Well, it also appears on the level of rational models! [Lambrechts--Stanley, 2008] showed that any simply-connected closed manifold has a rational model which is a Poincaré duality CDGA. Roughly speaking, it means that it has a non-degenerate dg-pairing with itself, of formal dimension .
Intuitively, we can look at the configuration space as the product from which we removed the fat diagonal , where . We can then reuse the ideas of Poincaré--Lefschetz duality and say that, morally, a model of should be given by a model of in which we kill the classes that are Poincaré dual to homology classes from the fat diagonal. We can take to be the model of , and the Poincaré duality allows to build explicit representatives of the fundamental classes of the diagonals .
This is precisely what [Lambrechts--Stanley, 2008] did, and they considered a CDGA given by:
For small , this CDGA is particularly simple:
- is isomorphic to ℝ, which is indeed a model for ;
- is isomorphic to , which is a model for ;
- and is the mapping cone of ; it is quasi-isomorphic to .
This model has a long history, which I'll try to summarize here (hopefully without forgetting anything):
- Around 1969, Arnold (for ) and Cohen (for a general ) described the cohomology of ; it is suspiciously similar to where we take to be and the diagonal classes vanish.
- In 1978, Cohen and Taylor built a spectral sequence which converges to and whose term is precisely given by .
- In 1991, Bendersky and Gitler built another spectral sequence which converges instead to the homology of .
- Around 1994, two independent results were found in the case where is a smooth projective complex manifold. Note that in this case, has to be a Kähler manifold, and it is thus formal by a result of [Deligne--Griffiths--Morgan--Sullivan, 1975], i.e. is a rational model of .
- Totaro showed that the Cohen--Taylor spectral sequence collapses at the page, and therefore that is isomorphic to as a graded algebra (by a result of Deligne);
- Kriz showed that in this case, is, in fact, a rational model for .
- In 2004, Lambrechts and Stanley showed that is indeed a model for when is -connected.
- Also around 2004, Félix and Thomas, and Berceanu, Markl and Papadima, showed independently that the dual of is isomorphic to the dual of the Bendersky--Gitler spectral sequence.
- In 2008, Lambrechts and Stanley showed that has the same cohomology as as a graded -vector space. This is, to my knowledge, the first time that the model was built out of a general Poincaré duality CDGA (and not just the cohomology of ), hence my choice for the name of the model.
- Finally, in 2015, Cordova Bulens showed that is a rational model for when is even dimensional and simply connected.
We now get to my contribution:
Theorem. Let be a smooth, simply connected manifold of dimension at least . Then is a real model for , for all .
Unlike the theorems mentioned before, this describes a model over ℝ, not over ℚ. Descent would be an interesting (but difficult problem). Note that since is at least -dimensional in the theorem, using the Fadell--Neuwirth fibrations one can show that all the remain simply connected, hence completely determines the real homotopy type of .
I actually showed more than that: the model is compatible with the action of the Fulton--MacPherson operad, by using a proof inspired by Kontsevich's proof of the formality of the little disks operad. What does this mean? How does the proof go? Stay tuned! (Alternatively, you can read my article :wink:.)