Related papers: Manifold calculus and homotopy sheaves
The lambda calculus is a universal programming language. It can represent the computable functions, and such offers a formal counterpart to the point of view of functions as rules. Terms represent functions and this allows for the…
In the theory of operads we consider functors of generalized symmetric powers defined by sums of coinvariant modules under actions of symmetric groups. One observes classically that the construction of symmetric functors provides an…
Let M be a smooth manifold, and let O(M) be the poset of open subsets of M. Manifold calculus, due to Goodwillie and Weiss, is a calculus of functors suitable for studying contravariant functors (cofunctors) F: O(M)--> Top from O(M) to the…
This survey/expository article covers a variety of topics related to the "topology at infinity" of noncompact manifolds and complexes. In manifold topology and geometric group theory, the most important noncompact spaces are often…
This survey aims to provide a guide to the literature on topological 4-manifolds. Foundational theorems on 4-manifolds are stated, especially in the topological category. Precise references are given, with indications of the strategies…
Taylor's theorem (and its variants) is widely used in several areas of mathematical analysis, including numerical analysis, functional analysis, and partial differential equations. This article explains how Taylor's theorem in its most…
We introduce Manifold tensor categories, which make precise the notion of a tensor category with a manifold of simple objects. A basic example is the category of vector spaces graded by a Lie group. Unlike classic tensor category theory,…
We study novel type of contributions to the entropy of the Maxwell system defined on a compact manifold such as torus. These new terms are not related to the physical propagating photons. Rather, these novel contributions emerge as a result…
A twisted ring is a ring endowed with a family of endomorphisms satisfying certain relations. One may then consider the notions of twisted module and twisted differential module. We study them and show that, under some general hypothesis,…
We study a system of equations on a compact complex manifold, that couples the scalar curvature of a Kaehler metric with a spectral function of a first-order deformation of the complex structure. The system comes from an…
Classical functional calculus is primarily spectral, capturing eigenvalue information through resolvent methods while largely ignoring nilpotent structure. Building on the projector-nilpotent characterization developed in our companion…
This article provides a pedagogically oriented introduction to geometric (Clifford) calculus on pseudo-Riemannian manifolds. Unlike usual approaches to the topic, which rely on embedding the geometric algebra either within a tensor algebra…
Homotopy type theory is a new branch of mathematics, based on a recently discovered connection between homotopy theory and type theory, which brings new ideas into the very foundation of mathematics. On the one hand, Voevodsky's subtle and…
We investigate a quantization problem which asks for the construction of an algebra for relative elliptic problems of pseudodifferential type associated to smooth embeddings. Specifically, we study the problem for embeddings in the category…
We exploit the theory of $\infty$-stacks to provide some basic definitions and calculational tools regarding stratified homotopy theory of stratified topological stacks.
\emph{Scalable spaces} are simply connected compact manifolds or finite complexes whose real cohomology algebra embeds in their algebra of (flat) differential forms. This is a rational homotopy invariant property and all scalable spaces are…
We study the space of Riemannian metrics with positive scalar curvature on a compact manifold with boundary. These metrics extend a fixed boundary metric and take a product structure on a collar neighbourhood of the boundary. We show that…
Given smooth manifolds $M$ and $N$, manifold calculus studies the space of embeddings $\operatorname{Emb}(M,N)$ via the "embedding tower", which is constructed using the homotopy theory of presheaves on $M$. The same theory allows us to…
We develop an alternative to the May-Thomason construction used to compare operad based infinite loop machines to that of Segal, which relies on weak products. Our construction has the advantage that it can be carried out in $Cat$, whereas…
Simplicial, piecewise-flat discretizations of manifolds provide a clear path towards curvature analysis on discrete geometries and for solutions of PDE's on manifolds of complex topologies. In this manuscript we review and expand on…