Related papers: Embeddings, Normal Invariants and Functor Calculus

We prove various results in infinite-dimensional differential calculus which relate differentiability properties of functions and associated operator-valued functions (e.g., differentials). The results are applied in two areas: 1. in the…

We present a generalization of free fermionic topological insulators that are composed of topological subsystems of differing dimensionality. We specifically focus on topological subsystems of nonzero co-dimension are embedded within a…

We introduce the notion of a semifree isovariant $G$-Poincar\'e space, a homotopical notion interpolating between semifree closed smooth $G$-manifolds and the equivariant Poincar\'e spaces of [HKK24b]. It carries the additional structure of…

The orthogonal and unitary calculi give a method to study functors from the category of real or complex inner product spaces to the category of based topological spaces. We construct functors between the calculi from the…

We study the beginning of the Taylor tower, supplied by manifold calculus of functors, for the space of r-immersions, which are immersions without r-fold self-intersections. We describe the first r layers of the tower and discuss the…

We show Goodwillie's calculus of functors and $n$-geometric $D^{-}$-stacks share similar features by starting to focus on the convergence of Taylor towers for homotopy functors and the fact that $\mathbb{R} F(A) \cong \text{holim}…

We prove an abstract structure theorem for weighted manifolds supporting a weighted $f$-Poincar\'e inequality and whose ends satisfy a suitable non-integrability condition. We then study how our arguments can be used to obtain full…

We define an ``algebraic'' version of the Goodwillie tower, P_n^alg F(X), that depends only on the behavior of F on coproducts of X. When F is a functor to connected spaces or grouplike H-spaces, the functor P_n^alg F is the base of a…

The study of embeddings of smooth manifolds into Euclidean and projective spaces has been for a long time an important area in topology. In this paper we obtain improvements of classical results on embeddings of smooth manifolds, focusing…

Motivated by the Poincare conjecture, we study properties of digital n-dimensional spheres and disks, which are digital models of their continuous counterparts. We introduce homeomorphic transformations of digital manifolds, which retain…

We define a moduli space of translation structures on the open topological disk with a basepoint and endow it with a locally-compact metrizable topology. We call this the immersive topology, because it is defined using the concept of…

The theory of intersection spaces assigns cell complexes to certain stratified topological pseudomanifolds depending on a perversity function in the sense of intersection homology. The main property of the intersection spaces is Poincar\'e…

We study intersection cohomology of moduli spaces of semistable vector bundles on a complex algebraic surface. Our main result relates intersection Poincare polynomials of the moduli spaces to Donaldson-Thomas invariants of the surface. In…

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…

A stable $\infty$-category is $1$-semiadditive if the norms for all finite group actions are equivalences. In the presence of $1$-semiadditivity, Goodwillie calculus simplifies drastically. We introduce two variants of $1$-semiadditivity…

We obtain multirelative connectivity statements about spaces of smooth embeddings, deducing these from analogous results about spaces of Poincare embeddings that were established in our previous paper.

We study quotients of multi-graded bundles, including double vector bundles. Among other things, we show that any such quotient fits into a tower of affine bundles. Applications of the theory include a construction of normal bundles for…

We show that for a wide class of manifold pairs N, M satisfying dim(M) = dim(N) + 1, every \pi_1-injective map f : N --> M factorises up to homotopy as a finite cover of an embedding. This result, in the spirit of Waldhausen's torus…

A new method is presented for solving the Gauss-Codazzi equations for a compact Riemann surface to be immersed in a 3-manifold of constant curvature. In the negative curvature case, the moduli for such embeddings are cohomology classes of…

Given a finite CW complex $K$, we use a version of the Goodwillie-Weiss tower to formulate an obstruction theory for embedding $K$ into a Euclidean space $\mathbb{R}^d$. For $2$-dimensional complexes in $\mathbb{R}^4$, a geometric analogue…