Related papers: Manifold calculus and homotopy sheaves

Motivated by applications to spaces of embeddings and automorphisms of manifolds, we consider a tower of $\infty$-categories of truncated right-modules over a unital $\infty$-operad $\mathcal{O}$. We study monoidality and naturality…

This text gives a rough, but linear summary covering some key definitions, notations, and propositions from Lambda Calculus: Its Syntax and Semantics, the classical monograph by Barendregt. First, we define a theory of untyped extensional…

We establish compatibility of Lie structures that appear in homotopy calculus of functors and isotopy calculus of embeddings. On one hand, we give a new proof of the Johnson--Arone--Mahowald result describing the layers of the Goodwillie…

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…

We study the homotopy theory of locally ordered spaces, that is manifolds with boundary whose charts are partially ordered in a compatible way. Their category is not particularly well-behaved with respect to colimits. However, this category…

Given an oriented $2$-manifold $M$, a locally constant sheaf of lattices $\Lambda$ over $M$, and a pointed morphism $q : \textsf B^2\Lambda \rightarrow \textsf B^4\mathbf C^{\times}$, we define an $\mathbb E_M$-category…

The Taylor tower of a functor from based spaces to spectra can be classified according to the action of a certain comonad on the collection of derivatives of the functor. We describe various equivalent conditions under which this action can…

The main purpose of this article is to extend some of the ideas from Schubert calculus to the more general setting of Hamiltonian torus actions on compact symplectic manifolds with isolated fixed points. Given a generic component of the…

Classical spectral theory provides powerful tools for analyzing linear operators, but does not extend naturally to nonlinear or compositional settings. In particular, there is no general way to transport spectral invariants in a functorial…

Let K be a subset of a smooth manifold M. In some cases functor calculus methods lead to a homotopical formula for M minus K in terms of the subspaces M minus S, where S runs through the finite subsets of K.

We study the dependence of the embedding calculus Taylor tower on the smooth structures of the source and target. We prove that embedding calculus does not distinguish exotic smooth structures in dimension 4, implying a negative answer to a…

In this first part of the paper, we define a natural dual object for manifolds with corners and show how pseudodifferential calculus on such manifolds can be constructed in terms of the localization principle in C*-algebras. In the second…

The possibility of extending operations of topological and semitopological algebras to their Stone-\v{C}ech compactification and factorization of continuous functions through homomorphisms to metrizable algebras are investigated. Most…

For any object A in a simplicial model category M, we construct a topological space \^A which classifies homogeneous functors whose value on k open balls is equivalent to A. This extends a classification result of Weiss for homogeneous…

We endow categories of non-symmetric operads with natural model structures. We work with no restriction on our operads and only assume the usual hypotheses for model categories with a symmetric monoidal structure. We also study categories…

Let G be a compact Lie group. We build a tower of G-spectra over the suspension spectrum of the space of linear isometries from one G-representation to another. The stable cofibres of the maps running down the tower are certain interesting…

We show that one can use model categories to construct rational orthogonal calculus. That is, given a continuous functor from vector spaces to based spaces one can construct a tower of approximations to this functor depending only on the…

We develop a geometric version of the inverse problem of the calculus of variations for discrete mechanics and constrained discrete mechanics. The geometric approach consists of using suitable Lagrangian and isotropic submanifolds. We also…

We show that the space of chains of smooth maps from spheres into a fixed compact oriented manifold has a natural structure of a transversal $d$-algebra. We construct a structure of transversal 1-category on the space of chains of maps from…

We establish a braid of interlocking exact sequences containing the group of homotopy self-equivalences of a smooth or topological 4-manifold. The braid is computed for manifolds whose fundamental group is finite of odd order.