{"id":"arxiv/2605.22499","url":"https://arxiv.org/abs/2605.22499","tags":["math.AG","math.CT"],"score":0,"title":"A condensed proof of the pro-étale and étale exodromy theorems","domain":"math.AG","source":"arxiv","authors":["Remy van Dobben de Bruyn"],"reviews":0,"subject":"math.AG","summary":"The exodromy correspondence of Barwick, Glasman, and Haine computes constructible sheaves of spaces on a scheme $X$ as an $\\infty$-category of continuous functors from the profinite category $\\operatorname{Gal}(X)$. Viewing $\\operatorname{Gal}(X)$ instead as a condensed category, this was extended by Wolf to an exodromy correspondence for pro-étale sheaves. Using the condensed perspective from the outset, we give a quick and self-contained proof of the pro-étale exodromy theorem. This is used to extract an exodromy theorem for (Postnikov complete) étale sheaves that does not yet appear in…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-21","reactions":{}}