Algebraic Topology: (infinity,n)-Stacks and Algebraic Geometry over Structured Ring Spectra
by Clark Barwick (UPenn)
There
are two different ways --- due, evidently independently, to C. Simpson
and C. Rezk --- to use G. Segal's delooping machine to produce, for any
n, a theory of (infinity,n)-categories such that the i-morphisms are
isomorphisms for i>n. As I shall explain, the category of these
``(infinity,n)-categories'' carries a number of model structures of
interest, and one can use the homotopy theory of these
(infinity,n)-categories to formulate the theory of symmetric monoidal
(infinity,n)-categories and that of (infinity,n)-stacks. Using these
ideas, I shall discuss some surprising applications of homotopy theory
to algebraic geometry. In particular, I sketch the proof of a powerful
new local-to-global principle for complexes of modules, and for an
algebraic variety X, I describe a kind of motivic homotopy type X_M,
the representations of the loop space of which correspond naturally to
cohomology theories on X.