An equivalence of profinite completions (Q2168897)

There are two well-known methods of studying profinite homotopy theory. The first, due to \textit{G. Quick} [Doc. Math. 13, 585--612 (2008; Zbl 1173.55008)], involves constructing a model category structure on the category of simplicial profinite spaces. The second, due to Lurie [Spectral algebraic geometry], uses the infinity category of profinite spaces. There is a close connection between these two approaches. For example, Barnea, Harpaz and Horel show that the underlying infinity category of Quick's model category is equivalent (as an infinity category) to Lurie's infinity category of profinite spaces by studying the relationship between pro-categories in the two different settings [\textit{I. Barnea} et al., Algebr. Geom. Topol. 17, No. 1, 567--643 (2017; Zbl 1360.18025)]. Both of these approaches come with the notion of profinite completion and a natural question arises: are these two profinite completions compatible with the equivalence of Barnea, Harpaz and Horel? The main result of this paper answers this question in the affirmative. The proof makes use of previous work by the author [\textit{C.-Y. Chough}, Int. Math. Res. Not. 2021, No. 10, 7799--7849 (2021; Zbl 1484.14001)], in which it is shown that the profinite completion functor on the pro-category of simplicial sets with the strict model structure admits a right adjoint. As a consequence the author deduces connections between comparison theorems for algebro-geometric objects. There is a theorem of \textit{M. Artin} and \textit{B. Mazur} [Etale homotopy. Berlin-Heidelberg-New York: Springer-Verlag (1969; Zbl 0182.26001)] which, for a connected finite type scheme \(X\) over the complex numbers, gives a map from the singular complex of the underlying topological space of the analytification of \(X\) to the étale homotopy type of \(X\). This map induces an isomorphism on profinite completions. Previous work of the author extended this result to algebraic stacks. The author uses the result on equivalences of profinite completions to state the result on algebraic stacks in the infinity categorical setting and shows that this recovers an independent result by \textit{D. Carchedi} [High. Struct. 5, No. 1, 121--185 (2021; Zbl 1493.14033)]. The paper is organized as follows. Section 1 is an introduction, outlining the new material in the paper and where it fits in the existing literature. Section 2 recalls the necessary background on topological types of topoi as well as the author's previous comparison result for algebraic stacks. Section 3 recalls the necessary details on the equivalence of Barnea, Harpaz and Horel. Finally in Section 4, the author combines the material in Sections 3 and 4 to prove the results outlined above.