Homotopical calculi and the smooth Oka principle

Abstract: I will present a new proof of Berwick-Evans, Boavida de Brito, and Pavlov’s theorem that for any smooth manifold A, and any sheaf X on the site of smooth manifolds, the mapping sheaf Hom(A,X) has the correct homotopy type. The talk will focus on the main innovation of this proof, namely the use of test categories to construct homotopical calculi on locally contractible ∞-toposes. With this tool in hand I will explain how a suitable homotopical calculus may be constructed on the ∞-topos of sheaves on the site of smooth manifolds using a new diffeology on the standard simplices due to Kihara. The main theorem follows using a similar argument that for any CW-complex A, and any topological space X the set of continuous maps Hom(A,X) equipped with compact-open topology models the mapping-homotopy-type map(A,X).

mathematical physicsalgebraic topologycategory theory

Audience: researchers in the topic

( paper )

Topology and Geometry Seminar (Texas, Kansas)