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. P A 6.1. Poincaré Lemma for Ω * P A 6.2. Sheaf propery of Ω * P A 6.3. Extendability of the simplicial set Ω P A (∆ • ) 6.4. The weak equivalence Ω * P A ≃ A P L 7. Monoidal equivalences 8. Oriented semi-algebraic bundles and integration along the fiber 8.1. Properties of SA bundles 8.2. Properties of integration along the fiber
Abstract. We determine the rational homology of the space of long knots in R d for d ≥ 4. 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 GoodwillieWeiss 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.
Let M be a smooth manifold and V a Euclidean space. Let Emb(M, V ) be the homotopy fiber of the map Emb(M, V ) −→ Imm(M, V ). This paper is about the rational homology of Emb(M, V ). We study it by applying embedding calculus and orthogonal calculus to the bi-functor (M, V ) → HQ ∧ Emb(M, V )+. Our main theorem states that if dim V ≥ 2 ED(M ) + 1 (where ED(M ) is 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 functorThe formulas show, in particular, that the (rational) homotopy type of the layers of the orthogonal tower is determined by the (rational) homotopy type of M . This, together with our rational splitting theorem, implies that, under the above assumption on codimension, rational homology equivalences of manifolds induce isomorphisms between the rational homology groups of Emb(−, V ).
Configuration space integrals have been used in recent years for studying the cohomology of spaces of (string) knots and links in R n for n > 3 since they provide a map from a certain differential graded algebra of diagrams to the deRham complex of differential forms on the spaces of knots and links. We refine this construction so that it now applies to the space of homotopy string links -the space of smooth maps of some number of copies of R in R n with fixed behavior outside a compact set and such that the images of the copies of R are disjoint -even for n = 3. We further study the case n = 3 in degree zero and show that our integrals represent a universal finite type invariant of the space of classical homotopy string links. As a consequence, we deduce that Milnor invariants of string links can be written in terms of configuration space integrals.
We associate a Taylor tower supplied by the calculus of the embedding functor to the space of long knots and study its cohomology spectral sequence. The combinatorics of the spectral sequence along the line of total degree zero leads to chord diagrams with relations as in finite type knot theory. We show that the spectral sequence collapses along this line and that the Taylor tower represents a universal finite type knot invariant.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.