Does $\pi_1(Spec(\mathbb{Z}[1/p]))$ depend on p?

Question

How difficult is it to know what $\pi_1(Spec(\mathbb{Z}[1/(p_1...p_r)]))$ is? Is it independent of the choice of $p_1,...,p_r$? When is it known, and what is known about it?

Answer 1

The full etale fundamental groups in question are, I believe, complicated infinite profinite groups. (They are however "small" in the technical sense that they have only finitely many open normal subgroups of any given finite index, as follows from Hermite's finiteness theorem in algebraic number theory.)

The abelianization of $\pi_1(\operatorname{Spec}(\mathbb{Z}[\frac{1}{p}])$ is the Galois group of the maximal abelian extension of $\mathbb{Q}$ which is ramified only at $p$ (and infinity). By Class Field Theory, this field is the direct limit of the ray class fields of conductor $p^n (\infty)$, i.e., the field generated by all $p$-power roots of unity. The Galois group is thus the inverse limit of the groups $(\mathbb{Z}/p^n \mathbb{Z})^{\times}$. When $p$ is odd, this is isomorphic to $\mathbb{Z}_p \times \mu_{p-1}$ (where the second factor is cyclic of order $p-1$). So yes, this depends on $p$!

Answer 2

To add on to Pete's answer, let me comment that the differences are even more pronounced if we look at the maximal pro-$p$ quotient $\pi_1(\operatorname{Spec}(\mathbb{Z}\left[\frac{1}{p_1p_2\cdots p_r}\right])^{(p)}$ of this etale fundamental group. For example, if $r\geq 4$, then this group is infinite, in fact non-$p$-adic-analytic, if each $p_i\equiv 1\pmod{p}$ and is trivial if each $p_i\not\equiv1\pmod{p}$. The latter is basically for stupid reasons (only primes which are 1 mod p can ramify in a $p$-extension). But even ignoring stupid cases, there's a lot of fantastic arithmetic going on here. For example, $\pi_1(\operatorname{Spec}(\mathbb{Z}\left[\frac{1}{19\cdot 103}\right])^{(2)}$ is finite whereas $\pi_1(\operatorname{Spec}(\mathbb{Z}\left[\frac{1}{17\cdot 103}\right])^{(2)}$ is infinite, results which stem from simple quadratic residue calculations. Figuring out to generate these kinds of results more generally is an active and difficult area of research.