# Is there a condensed / pyknotic refinement of the shape of an $\infty$-topos?

Let $$\mathcal E$$ be an $$\infty$$-topos. Recall that Lurie defines the shape of $$\mathcal E$$ as the left-exact, accessible functor $$\Gamma \Delta: Spaces \to Spaces$$ where $$\Delta: Spaces^\to_\leftarrow \mathcal E: \Gamma$$ is the the constant / global sections adjunction, the unique geometric morphism from $$\mathcal E \to Spaces$$. The $$\infty$$-category of left-exact, accessible endofunctors of $$Spaces$$ is better-known as the $$\infty$$-category of Pro-spaces.

As a pro-space, the shape of $$\mathcal E$$ is like having a space, but even better, because its homotopy groups are not just groups, but pro-discrete groups. For instance, the shape of the etale site of a scheme $$X$$ is essentially the etale homotopy type of $$X$$, and its fundamental groupoid is essentially the etale fundamental groupoid, complete with its usual profinite topology (I am glossing over some additional finiteness considerations; to be honest this is largely because I don't fully understand them and have even less idea how they change the picture conceptually.)

This situation -- of homotopy groups which come with a topology -- is (from some perspective) exactly what the condensed mathematics of Clausen and Scholze / pyknotic mathematics of Barwick and Haine was developed for, and my understanding is that the example of the etale homotopy type is particularly germane, as Bhatt and Scholze's first application of the theory is to study the pro-etale site and its associated fundamental group. So I think the answer to the following questions must be yes, at least modulo the finiteness conditions I haven't understood:

Question 1: Is there a condensed / pyknotic "re-interpretation" of the pro-discrete topology on the homotopy groups of the shape of an arbitrary $$\infty$$-topos?

Question 2: Is there a condensed / pyknotic refinement of the shape of an arbitrary $$\infty$$-topos, perhaps containing more information than the usual pro-space?

I think if I read Bhatt and Scholze, it should all be in there. Unfortunately, I'm hampered by the fact that the etale fundamental group is usually approached differently by algebraic geometers, in a way which circumvents considering all of the data of the etale homotopy type. This approach is doubtless more practical for algebraic geometry (and of course, my way of putting it is completely ahistorical, as Grothendieck constructed the etale fundamental group long before Artin and Mazur constructed the etale homotopy type), but unfortunately I am not an algebraic geometer and I've never dug into it to understand. It appears that Bhatt and Scholze use a similar approach, which is an obstacle for me to understand it. So I'm wondering if somebody can translate these formal aspects of the situation into a language which I personally happen to understand better.

• Side question: the etale homotopy type (Artin-Mazur) recovers the SGA3 (pro-discrete) etale fundamental group, which is smaller than the pro-etale fundamental group (Bhatt-Scholze). Do we expect the refinement you seek to have the pro etale fundamental group as its $\pi_1$? It’s not always pro-discrete as a group, only as a topological space (more precisely, a Noohi group). – Piotr Achinger Feb 8 at 8:12
• @PiotrAchinger Good question. Clearly I haven't considered this carefully, but it's already a bit of a lie to say that we're working with pro-discrete spaces, since unlike in the profinite case, the "take the limit" functor $Pro(Set) \to Top$ is not full (e.g. a pro-system of infinite sets can have empty limit without being pro-isomorphic to the empty set). So the future work of Barwick, Glasman, and Haine addressing this conjecture has a few conceptual stumbling blocks to work out! – Tim Campion Feb 8 at 16:26

• This certainly validates the idea that the pro-etale fundamental group is indeed the pyknotic fundamental group of a pyknotic space, but hang on -- the construction described in 13.8.10 is the pyknotic analog of the geometric realization of a category -- not the shape of an $\infty$-topos. (This actually makes it potentially even more interesting to me for unrelated reasons...) I ought to know the relation between geometric realization and shape in ordinary $\infty$-categories, but I don't... – Tim Campion Feb 8 at 16:32