Searcharxiv⌕ Search

arXiv subjects

Pascal Lambrechts

Publications and source records attributed to Pascal Lambrechts.

14 recordsLinked to original sources
arXiv2018

Configuration Spaces of Manifolds with Boundary

We study ordered configuration spaces of compact manifolds with boundary. We show that for a large class of such manifolds, the real homotopy type of the configuration spaces only depends on the real homotopy type of the pair consisting of the manifold and its boundary. We moreover describe explicit real models of these configuration spaces using three different approaches. We do this by adapting previous constructions for configuration spaces of closed manifolds which relied on Kontsevich's proof of the formality of the little disks operads. We also prove that our models are compatible with the richer structure of configuration spaces, respectively a module over the Swiss-Cheese operad, a module over the associative algebra of configurations in a collar around the boundary of the manifold, and a module over the little disks operad.

math.AT↗
arXiv2015

Rational models of the complement of a subpolyhedron in a manifold with boundary

Let W be a compact simply connected triangulated manifold with boundary and $K \subset W$ be a subpolyhedron. We construct an algebraic model of the rational homotopy type of the complement $W \setminus K$ out of a model of the map of pairs $(K, K \cap \partial W) \to (W,\partial W)$ under some high codimension hypothesis. We deduce the rational homotopy invariance of the configuration space of two points in a compact manifold with boundary under 2-connectedness hypotheses. Also, we exhibit nice explicits models of these configuration spaces for a large class of compact manifolds.

math.AT↗
arXiv2015

Pretty rational models for Poincar\'e duality pairs

We prove that a large class of Poincar\'e duality pairs admit rational models (in the sense of Sullivan) of a particularly nice form associated to some Poincar\'e duality CDGA. These models have applications in particular to the construction of rational models of configuration spaces in compact manifolds with boundary.

math.AT↗
arXiv2012

Formality of the little N-disks operad

We develop the details of Kontsevich's proof of the formality of little N-disks operad over the field of real numbers. Formality holds in the category of operads of chain complexes and also in some sense in the category of commutative differential graded algebras, which is the category encoding "real" homotopy theory. We also prove a relative version of the formality for the inclusion of the little m-disks operad in the little N-disks operad for N>=2m+1.

math.AT↗
arXiv2011

Real Homotopy Theory of Semi-Algebraic Sets

We complete the details of a theory outlined by Kontsevich and Soibelman that associates to a semi-algebraic set a certain graded commutative differential algebra of "semi-algebraic differential forms" in a functorial way. This algebra encodes the real homotopy type of the semi-algebraic set in the spirit of the DeRham algebra of differential forms on a smooth manifold. Its development is needed for Kontsevich's proof of the formality of the little cubes operad.

math.AT↗
arXiv2008

A remarkable DG-module model for configuration spaces

Let M be a simply-connected closed manifold and consider the (ordered) configuration space of $k$ points in M, F(M,k). In this paper we construct a commutative differential graded algebra which is a potential candidate for a model of the rational homotopy type of F(M,k). We prove that our model it is at least a Sigma_k-equivariant differential graded model. We also study Lefschetz duality at the level of cochains and describe equivariant models of the complement of a union of polyhedra in a closed manifold.

math.AT↗
arXiv2008

Poincare duality and commutative differential graded algebras

We prove that every commutative differential graded algebra whose cohomology is a simply-connected Poincare duality algebra is quasi-isomorphic to one whose underlying algebra is simply-connected and satisfies Poincare duality in the same dimension. This has application in particular to the study of CDGA models of configuration spaces on a closed manifold.

math.AT↗
arXiv2007

Coformality and the rational homotopy groups of spaces of long knots

We show that the Bousfield-Kan spectral sequence which computes the rational homotopy groups of the space of long knots in ${\mathbb R}^d$, where $d\ge 4$, collapses at the $E^2$ page. The main ingredients in the proof are Sinha's cosimplicial model for the space of long knots and a coformality result for the little balls operad.

math.AT↗
arXiv2007

Calculus of functors, operad formality, and rational homology of embedding spaces

Let M be a smooth manifold and V a Euclidean space. Let Ebar(M,V) be the homotopy fiber of the map from Emb(M,V) to Imm(M,V). This paper is about the rational homology of Ebar(M,V). We study it by applying embedding calculus and orthogonal calculus to the bi-functor (M,V) |--> HQ /\Ebar(M,V)_+. Our main theorem states that if the dimension of V is more than twice the embedding dimension of M, the Taylor tower in the sense of orthogonal calculus (henceforward called ``the orthogonal tower'') of this functor splits as a product of its layers. Equivalently, the rational homology spectral sequence associated with the tower collapses at E^1. In the case of knot embeddings, this spectral sequence coincides with the Vassiliev spectral sequence. The main ingredients in the proof are embedding calculus and Kontsevich's theorem on the formality of the little balls operad. We write explicit formulas for the layers in the orthogonal tower of the functor HQ /\Ebar(M,V)_+. The formulas show, in particular, that the (rational) homotopy type of the layers of the orthogonal tower is determined by the (rational) homology type of M. This, together with our rational splitting theorem, implies that under the above assumption on codimension, the rational homology groups of Ebar(M,V) are determined by the rational homology type of M.

math.AT↗
arXiv2007

The rational homotopy type of a blow-up in the stable case

Suppose that f:V->W is an embedding of closed oriented manifolds whose normal bundle has the structure of a complex vector bundle. It is well known in both complex and symplectic geometry that one can then construct a manifold W' which is the blow-up of W along V. Assume that dim(W)>2.dim(V)+2 and that H^1(f) is injective. We construct an algebraic model of the rational homotopy type of the blow-up W' from an algebraic model of the embedding and the Chern classes of the normal bundle. This implies that if the space W is simply connected then the rational homotopy type of W' depends only on the rational homotopy class of f and on the Chern classes of the normal bundle.

math.AT↗
arXiv2007

The rational homology of spaces of long knots in codimension >2

We determine the rational homology of the space of long knots in R^d for $d\geq4$. Our main result is that the Vassiliev spectral sequence computing this rational homology collapses at the E^1 page. As a corollary we get that the homology of long knots (modulo immersions) is the Hochschild homology of the Poisson algebras operad with a bracket of degree d-1, which can be obtained as the homology of an explicit graph complex and is in theory completely computable. Our proof is a combination of a relative version of Kontsevich's formality of the little d-disks operad and of Sinha's cosimplicial model for the space of long knots arising from Goodwillie-Weiss embedding calculus. As another ingredient in our proof, we introduce a generalization of a construction that associates a cosimplicial object to a multiplicative operad. Along the way we also establish some results about the Bousfield-Kan spectral sequences of a truncated cosimplicial space.

math.AT↗
arXiv2006

Homotopy graph-complex for configuration and knot spaces

In the paper we prove that the primitive part of the Sinha homology spectral sequence E^2-term for the space of long knots is rationally isomorphic to the homotopy E^2-term. We also define natural graph-complexes computing the rational homotopy of configuration and of knot spaces.

math.AT↗
arXiv2005

Algebraic models of Poincare embeddings

Let f: P-->W be an embedding of a compact polyhedron in a closed oriented manifold W, let T be a regular neighborhood of P in W and let C:=closure(W-T) be its complement. Then W is the homotopy push-out of a diagram C<--dT-->P. This homotopy push-out square is an example of what is called a Poincare embedding. We study how to construct algebraic models, in particular in the sense of Sullivan, of that homotopy push-out from a model of the map f. When the codimension is high enough this allows us to completely determine the rational homotopy type of the complement C = W-f(P). Moreover we construct examples to show that our restriction on the codimension is sharp. Without restriction on the codimension we also give differentiable modules models of Poincare embeddings and we deduce a refinement of the classical Lefschetz duality theorem, giving information on the algebra structure of the cohomology of the complement.

math.AT↗