Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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?

share|improve this question
add comment

2 Answers 2

up vote 16 down vote accepted

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$!

share|improve this answer
    
That was quick! Thanks. –  Makhalan Duff Nov 29 '10 at 1:30
    
In paragraph 2, I think you mean that the abelianization of $\pi_1$ is the Galois group of the maximal abelian extension of $\mathbb{Q}$. –  Joel Dodge Nov 29 '10 at 2:18
    
@Joel: Yes, indeed. Thanks. –  Pete L. Clark Nov 29 '10 at 2:40
add comment

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.

share|improve this answer
    
There is no $n$ in the statement of the question. You mean $r$ is at least 4. –  KConrad Nov 29 '10 at 4:43
3  
Nigel Boston and I wrote a paper speculating about the distribution of the pro-p quotients Cam mentions above: indeed, our guess is that every possibility for the pi_1 which is not ruled out for "easy reasons" actually occurs for some p_1, ... p_r. math.wisc.edu/~ellenber/randombraid.pdf –  JSE Nov 29 '10 at 6:15
    
@KConrad: Thanks, fixed. @JSE: Thanks for the reference. I hadn't seen that. –  Cam McLeman Nov 29 '10 at 14:10
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.