A new approach to etale homotopy theory

Etale homotopy theory, as originally introduced by Artin and Mazur in the late 60s, is a way of associating to a suitably nice scheme a pro-object in the homotopy category of spaces, and can be used as a tool to extract topological invariants of the scheme in question. It is a celebrated theorem of theirs that, after profinite completion, the etale homotopy type of an algebraic variety of finite type over the complex numbers agrees with the homotopy type of its underlying topological space equipped with the analytic topology. We will present work of ours which offers a refinement of this construction which produces a pro-object in the infinity-category of spaces (rather than its homotopy category) and applies to a much broader class of objects, including more general schemes and all algebraic stacks. We will also present a generalization of the previously mentioned theorem of Artin-Mazur, which holds in much greater generality than the original result.