Local structure of smooth p-adic analytic Artin stacks
Resolved Clausen’s Conjecture 5.17 on the local light–profinite structure of smooth For p-adic analytic Artin stacks, the proof includes a generalization of the classical van Dantzig theorem to the case of groupoids and a closed-skeleton reduction. In particular, this result implies that smooth p-adic analytic Artin stacks are !-good.
Derived Stone Embedding
Uses ∞-topoi to partially characterize the essential image of the derived Stone embedding of the pro-category of π-finite spaces into pyknotic spaces, extending the classical Stone embedding to a derived setting.