Abstract:Many important theorems in differential topology relate properties of manifolds to properties of their underlying homotopy types -- defined e.g. using the total singular complex or the Čech nerve of a good open cover. Upon embedding the category of manifolds into the $\infty$-topos $\mathbf{Diff}^\infty$ of differentiable sheaves one gains a further notion of underlying homotopy type: the shape of the corresponding differentiable sheaf. In a first series of results we prove using simple cofinality and descent arguments that the shape of any manifold coincides with many other notions of underlying homotopy types such as the ones mentioned above. Our techniques moreover allow for computations, such as the homotopy type of the Haefliger stack, following Carchedi. This leads to more refined questions, such as what it means for a mapping differential sheaf to have the correct shape. To answer these we construct model structures as well as more general homotopical calculi on the $\infty$-category $\mathbf{Diff}^\infty$ (which restrict to its full subcategory of $0$-truncated objects,$\mathbf{Diff}^\infty_{\leq 0}$) with shape equivalences as the weak equivalences. These tools are moreover developed in such a way so as to be highly customisable, with a view towards future applications, e.g. in geometric topology. Finally, working with the $\infty$-topos $\mathbf{Diff}^0$ of sheaves on topological manifolds, we give new and conceptual proofs of some classical statements in algebraic topology. These include Dugger and Isaksen's hypercovering theorem, and the fact that the Quillen adjunction between simplicial sets and topological spaces is a Quillen equivalence.

Homotopy theory of Stokes structures and derived moduli

On the cohomology of differentiable stacks

Generalized cohomology theories for algebraic stacks

The homotopy theory of differentiable sheaves

Relative étale slices and cohomology of moduli spaces

Stokes phenomenon of Kloosterman and Airy connections

Global spaces and the homotopy theory of stacks

A topological algorithm for the Fourier transform of Stokes data at infinity

Schematic homotopy types and non-abelian Hodge theory

Homotopy theory of smooth compactifications of algebraic varieties

Vector Fields and Flows on Differentiable Stacks

On the homotopy theory of Grothendieck \infty-groupoids

Arithmetic Hodge-Iwasawa Moduli Stacks

Moduli stack of stable curves from a stratified homotopy viewpoint

Homology and K-theory of dynamical systems III. Beyond stably disconnected Smale spaces

Co-t-structures on derived categories of coherent sheaves and the cohomology of tilting modules

Topological Laplace Transform and Decomposition of nc-Hodge Structures

Stratified homotopy theory of topological $\infty$-stacks: a toolbox

Holomorphic Poisson Cohomology

Hopf algebras and homotopy invariants

Cohomology and Hodge Theory on Symplectic Manifolds: III