Study embedding calculus and link invariants using functor calculus.
arXiv research
A locally-built, LLM-digested index of recent arXiv papers in quant finance, geometry/topology, and statistical ML — keyword search served straight from SQLite on this machine.
Trend · papers per month
Koszul duality for manifold modules proven.
Unified Lie structures in homotopy and isotopy calculus.
Embedding calculus proves convergence for surfaces.
Study of embedding calculus using infinite operads.
We develop a generalization of manifold calculus in the sense of Goodwillie-Weiss where the manifold is replaced by a simplicial complex. We consider functors from the category of open subsets of a fixed simplical complex into the category of topological spaces and prove an analogue of the approximation theorem. Namely…
Let M and N be smooth manifolds without boundary. Immersion theory suggests that an understanding of the space of smooth embeddings emb(M,N) should come from an analysis of the cofunctor V |--> emb(V,N) from the poset O of open subsets of M to spaces. We therefore abstract some of the properties of this cofunctor, and …
This paper investigates the space of codimension zero embeddings of a Poincare duality space in a disk. One of our main results exhibits a tower that interpolates from the space of Poincare immersions to a certain space of "unlinked" Poincare embeddings. The layers of this tower are described in terms of the coefficien…
The paper develops obstructions for embedding 2D complexes into 4D space.
We describe Taylor towers for spaces of knots arising from Goodwillie-Weiss calculus of the embedding functor and extend the configuration space integrals of Bott and Taubes from spaces of knots to the stages of the towers. We show that certain combinations of integrals, indexed by trivalent diagrams, yield cohomology …
The category of small covariant functors from simplicial sets to simplicial sets supports the projective model structure. In this paper we construct various localizations of the projective model structure and also give a variant for functors from simplicial sets to spectra. We apply these model categories in the study …
We study the space of "link maps": the space of maps of a disjoint union of compact, closed manifolds P_1, . . ., P_k into a manifold N whose images are pairwise disjoint. We apply the manifold calculus of functors developed by Goodwillie and Weiss to study the difference between it and its linear and quadratic approxi…
We give a complete obstruction to turning an immersion of an m-dimensional manifold M in Euclidean n-space into an embedding when 3n>4m+4. It is a secondary obstruction, and exists only when the primary obstruction, due to Haefliger, vanishes. The obstruction lives in a twisted cobordism group, and its vanishing implie…
Let Map(K,X) denote the space of pointed continuous maps from a finite cell complex K to a space X. Let E_* be a generalized homology theory. We use Goodwillie calculus methods to prove that under suitable conditions on K and X, Map(K, X) will send a E_*--isomorphism in either variable to a map that is monic in E_* hom…
Embedding calculus invariants solve knot connectivity and grope cobordism problems.
Detecting exotic spheres involves analyzing framed configuration spaces.
We show that the map on components from the space of classical long knots to the n-th stage of its Goodwillie-Weiss embedding calculus tower is a map of monoids whose target is an abelian group and which is invariant under clasper surgery. We deduce that this map on components is a finite type-(n-1) knot invariant. We …
As in the case of the associahedron and cyclohedron, the permutohedron can also be defined as an appropriate compactification of a configuration space of points on an interval or on a circle. The construction of the compactification endows the permutohedron with a projection to the cyclohedron, and the cyclohedron with…
Goodwillie's model connects knot spaces to cosimplicial spaces, aiding in knot homotopy computation.
Let M and N be smooth manifolds. For an open V of M let emb(V,N) be the space of embeddings from V to N. By results of Goodwillie and Goodwillie-Klein, the cofunctor V |--> emb(V,N) is analytic if dim(N)-dim(M) > 2. We deduce that its Taylor series converges to it. For details about the Taylor series, see Part I.
Constructs knot-like structures in high-dimensional spaces.
This work continues the study of a homotopy-theoretic construction of the author inspired by the Bott-Taubes integrals. Bott and Taubes constructed knot invariants by integrating differential forms along the fiber of a bundle over the space of knots. Their techniques were later used by Cattaneo et al. to construct real…
Study shows a modified cobordism category's first derivative is equivalent to a Thom spectrum.
Suppose that and are closed smooth manifolds of dimension that are homeomorphic. We prove that the spaces of smooth knots and have the same homotopy -type. In the 4-dimensional case this means that the spaces of smooth knots in homeomorphic 4-manifolds have sets $…
The two-category with three-manifolds as objects, h-cobordisms as morphisms, and diffeomorphisms of these as two-morphisms, is extremely rich; from the point of view of classical physics it defines a nontrivial topological model for general relativity. A rather striking amount of work on pseudoisotopy theory [Hatcher, …
Study geometric characterization of asymptotic pseudodifferential calculus on spinor bundles.
We explain that general differential calculus and Lie theory have a common foundation: Lie Calculus is differential calculus, seen from the point of view of Lie theory, by making use of the groupoid concept as link between them. Higher order theory naturally involves higher algebra (n-fold groupoids).(conceptual, topol…
Secondary Calculus formalizes PDEs using cohomology, simplifying their study.
In arXiv:1207.0332 [cs.LO] was proposed a graphic lambda calculus formalism, which has sectors corresponding to untyped lambda calculus and emergent algebras. Here we explore the sector covering knot diagrams, which are constructed as macros over the graphic lambda calculus.
Extends differential calculus to triole algebras.
Introduces tractors for basic examples and modern differential calculus.
A diagrammatic language for 3D manifolds with boundary.
We examine the N-Koszul calculus for the N-symmetric algebras. The case N=2 corresponds to the Elie Cartan calculus. We conjecture that, as in the case N=2, the N-Cartan calculus extends to manifolds when N>2, which would provide a new type of noncommutative differential geometry.
This paper is concerned with pseudodifferential calculus on manifolds with fibred corners. Following work of Connes, Monthubert, Skandalis and Androulidakis, we associate to every manifold with fibred corners a longitudinally smooth groupoid which algebraic and differential structure is explicitely described. This grou…
This memoir deals with the hypoelliptic calculus on Heisenberg manifolds, or Heisenberg calculus. The Heisenberg manifolds generalize CR and contact manifolds and in this context the main differential operators at stake include the Hörmander's sum of squares, the Kohn Laplacian, the horizontal sublaplacian and its conf…
Simplified calculus for semimartingales makes complex transformations easier.
Euler calculus is based on integrating simple functions with respect to the Euler characteristic. This paper makes the case for extending Euler calculus to continuous integrands by integrating with respect to (Gaussian) curvature. This requires a metric but is nevertheless defined within any O-minimal theory. It satisf…
This is a short description of graphic lambda calculus, with special emphasis on a duality suggested by the two different appearances of knot diagrams, in lambda calculus and emergent algebra sectors of the graphic lambda calculus respectively. This duality leads to the introduction of the dual of the graphic beta move…
Develops symmetric Cartan calculus linking to Patterson-Walker metric.
New algebraic formalism for differential calculus in Diolic algebras.
New calculus solves boundary value problems for elliptic operators.
New integration theory on topological spaces, including fractals.
Following the programme set out in Part I of this work, we develop a conceptual higher order differential calculus. The '' local linear algebra '' defined in Part I is generalized by '' higher order local linear algebra ''. The underlying combinatorial object of such higher algebra is the natural n-dimensional hyper-cu…
Cartan calculus applied to string topology homology.
Develops a graphical calculus for stable curvature invariants.
Simplified calculus for manifold operators, proving index theorems.
Derives optimal control conditions using calculus of variations.
The calculus correspondence has been known to exist between generic pedal evolutions and generic wave front evolutions. In this paper, we first extend the known results on the calculus correspondence to evolutions with multi-parameters, and then give applications of calculus correspondence. Moreover, we discuss the pos…