Example 61.6.3. Let $k$ be a field. Let $T$ be a profinite topological space. There exists an ind-Zariski ring map $k \to A$ such that $\mathop{\mathrm{Spec}}(A)$ is homeomorphic to $T$. Namely, just apply Lemma 61.6.2 to $T \to \pi _0(\mathop{\mathrm{Spec}}(k)) = \{ *\} $. In fact, in this case we have
\[ A = \mathop{\mathrm{colim}}\nolimits \text{Map}(T_ i, k) \]
whenever we write $T = \mathop{\mathrm{lim}}\nolimits T_ i$ as a filtered limit with each $T_ i$ finite.
Comments (0)