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.

Cohomology of the diffeomorphism group of the connected sum of two generic lens spaces

Cohomology of spaces of Hopf equivariant maps of spheres

Cohomology and K-theory of generalized Dold manifolds fibred by complex flag manifolds

Cohomology of toric diagrams

Cohomology and Hodge Theory on Symplectic Manifolds: III

Complex-projective and lens product spaces

The Diffeological Čech-de Rham Obstruction

The cohomology of framed moduli spaces and the coordinate ring of torus fixed points of quotient singularities

Delooping cyclic groups with lens spaces in homotopy type theory

The homotopy theory of differentiable sheaves

Homology of torus spaces with acyclic proper faces of the orbit space

Basic cohomology of canonical holomorphic foliations on complex moment-angle manifolds

Cohomology operations for moment-angle complexes and resolutions of Stanley-Reisner rings

Differential Cohomology as Diffeological Homotopy Theory

Homotopy types of diffeomorphism groups of polar Morse–Bott foliations on lens spaces, 2

Diffuse radio emission in a REFLEX cluster

Equivariant Cohomology and Analytic Descriptions of Ring Isomorphisms

Cohomology of group theoretic Dehn fillings II

Cohomology of Moduli Space of Multiscale Differentials in Genus 0

On grid homology for lens space links: combinatorial invariance and integral coefficients

Schematic homotopy types and non-abelian Hodge theory