Higher prequantum geometry

Abstract

This is a survey of motivations, constructions and applications of higher prequantum geometry. In section 1 we highlight the open problem of prequantizing local field theory in a local and gauge invariant way, and we survey how a solution to this problem exists in higher differential geometry. In section 2 we survey examples and problems of interest. In section 3 we survey the abstract cohesive homotopy theory that serves to make all this precise and tractable.