Related papers: Derivatives of embedding functors I: the stable ca…

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…

We associate to a 2-vector bundle over an essentially finite groupoid a 2-vector space of parallel sections, or, in representation theoretic terms, of higher invariants, which can be described as homotopy fixed points. Our main result is…

In a fibre bundle, natural derivatives of a section are defined as tangent vector fields on the image of a section of the fibre bundle. A local extension to vector fields in the tangent bundle leads to a direct proof of the formula…

Given a field of Hilbert spaces there are two ways to endow it with a smooth structure: the standard and geometrical notion of Hilbert (or Hermitian) bundle and the analytical notion of smooth field of Hilbert spaces. We study the…

Classical homological algebra takes place in additive categories. In homotopy theory such additive categories arise as homotopy categories of ``additive groupoid enriched categories'', in which a secondary analog of homological algebra can…

We prove that the map on Balmer spectra induced by a fully faithful geometric functor is a quotient map whose fibers are connected. This is an analogue of the Zariski Connectedness Theorem in algebraic geometry and it can be applied to a…

Given a convex polytope, we define its geometric spectrum, a stacky version of Batyrev's stringy E-functions, and we prove a stacky version of a formula of Libgober and Wood about the E-polynomial of a smooth projective variety. As an…

Let n>3, and let L be a Lagrangian embedding of an n-disk into the cotangent bundle of n-dimensional Euclidean space that agrees with the cotangent fiber over a non-zero point x outside a compact set. Assume that L is disjoint from the…

The construction of topological index maps for equivariant families of Dirac operators requires factoring a general smooth map through maps of a very simple type: zero sections of vector bundles, open embeddings, and vector bundle…

Starting from simple and necessary axioms on a (derivator enhanced) four-functor-formalism, we construct derivator six-functor-formalisms using compactifications. This works, for instance, for the stable homotopy categories of…

A natural explicit condition is given ensuring that an action of the multiplicative monoid of non-negative reals on a manifold F comes from homotheties of a vector bundle structure on F, or, equivalently, from an Euler vector field. This is…

We deal with the construction of covariant derivatives for some quite general Ehresmann connections on fibre bundles. We show how the introduction of a vertical endomorphism allows construction of covariant derivatives separately on both…

We study Goodwillie-Weiss embedding calculus through its relationship with Goodwillie's functor calculus. Specifically, building on a result of Tillmann and Weiss, we construct a functorial complement for \(T_{n}\)-embeddings that takes…

A map Y -> P^n is determined by a line bundle quotient of (O_Y)^{n+1}. In this paper, we generalize this description to the case of maps from Y to an arbitrary smooth toric variety. The data needed to determine such a map consists of a…

We study the differential geometry of principal G-bundles whose base space is the space of free paths (loops) on a manifold M. In particular we consider connections defined in terms of pairs (A,B), where A is a connection for a fixed…

We give an account, in terms of fibered categories and their fibrewise duals, of aspects of the theory of bundle functors and star-bundle functors in differential geometry.

We give a formalism for constructing hidden sector bundles as extensions of sums of line bundles in heterotic $M$-theory. Although this construction is generic, we present it within the context of the specific Schoen threefold that leads to…

For $k \in \mathbb{Z}_{>0}$, let $\mathcal{H}^{(k)}_{g,n}$ denote the vector bundle over $\mathfrak{M}_{g,n}$ whose every fiber consists of meromorphic $k$-differentials with poles of order at most $k-1$ on a fixed Riemman surface of genus…

Shape Theory, together with Shape-and-Scale Theory, comprise Relational Theory. This consists of $N$-point models on a manifold $M$, for which some geometrical automorphism group $G$ is regarded as meaningless and is thus quotiented out…

We recapture Douglas' framework for twisted parametrized stable homotopy theory in the language of $\infty$- categories. A twisted spectrum is essentially a section of a bundle of presentable stable $\infty$-categories whose fiber is the…