Return to Answer

As Kevin points out, $V$ is indeed $\mathcal{O}_K[1/2]$ in your example. Your link to the fundamental group is also correct. $\pi_1(U)$ is the Galois group of the maximal extension of $\mathbb{Q}$ unramified outside 2 (since you can restrict attention to the connected etale $\mathbb{Q}$-algebras). More generally, in your original question, these are replaced by $\mathcal{O}_L$ with the primes above the support of $D$ inverted, and the Galois group of the maximal extension of $\mathbb{Q}$ unramified outside the support of $D$. These groups can get pretty horrendous, and so number-theorists tend to (at least in my view) study the more well-behaved but still very mysterious maximal pro-$p$-quotients of these groups. Now these pro-$p$ groups are not only finitely generated by work of Shafarevich ("Extensions with prescribed ramification points"), they are $d$-generated, where $d$ is the cardinality of the support of $D$ (for "tame" and not silly $D$). More impressively, the relation rank is also calculated/bounded (in this case, it's also $d$!!!), frequently leading to conclusions about when these groups are finite or infinite.

The "more complicated" starting point of $\mathcal{O}_K$ is in a sense not actually much more complicated. You're still asking for the Galois group of the maximal extension of $K$ unramified outside a finite set of primes, and Shafarevich's work gives formulas for the relation rank and generator rank for the pro-$p$-quotients.

The answer to your overall classification question is thus pretty difficult, and consume entire subdisciplines of number theory. As an example, Christian Maire has constructed number fields with a trivial class group but infinite unramified extensions -- you'd have to have a complete understanding of when this could happen before you could hope to prescribe all unramified extensions of a given degree, with or without certain primes inverted. There are certain cases where this can be done via, e.g., root discriminant bounds, but the story is far from being complete at this point.

I'll leave it for someone else more knowledgeable to address this with detail (e.g., Lars's answer), but the situation is much much better understood for $\mathbb{P}_\mathbb{C}^1$ than it is for number fields.

As Kevin points out, $V$ is indeed $\mathcal{O}_K[\frac{1}{2}]$ in your example. Your link to the fundamental group is also correct. $\pi_1(U)$ is the Galois group of the maximal extension of $\mathbb{Q}$ unramified outside 2 (since you can restrict attention to the connected etale $\mathbb{Q}$-algebras)*. More generally, in your original question, these are replaced by $\mathcal{O}_L$ with the primes above the support of $D$ inverted, and the Galois group of the maximal extension of $\mathbb{Q}$ unramified outside the support of $D$. These groups can get pretty horrendous, and so number-theorists tend to (at least in my view) study the more well-behaved but still very mysterious maximal pro-$p$-quotients of these groups. Now these pro-$p$ groups are not only finitely generated by work of Shafarevich ("Extensions with prescribed ramification points"), they are $d$-generated, where $d$ is the cardinality of the support of $D$ (for "tame" and not silly $D$). More impressively, the relation rank is also calculated/bounded (in this case, it's also $d$!!!), frequently leading to conclusions about when these groups are finite or infinite.

The "more complicated" starting point of $\mathcal{O}_K$ is in a sense not actually much more complicated. You're still asking for the Galois group of the maximal extension of $K$ unramified outside a finite set of primes, and Shafarevich's work gives formulas for the relation rank and generator rank for the pro-$p$-quotients.

The answer to your overall classification question is thus pretty difficult, and consume entire subdisciplines of number theory. As an example, Christian Maire has constructed number fields with a trivial class group but infinite unramified extensions -- you'd have to have a complete understanding of when this could happen before you could hope to prescribe all unramified extensions of a given degree, with or without certain primes inverted. There are certain cases where this can be done via, e.g., root discriminant bounds, but the story is far from being complete at this point.

As in Lars's answer, the situation is much much better understood for $\mathbb{P}_\mathbb{C}^1$ and Riemann surfaces than it is for number fields.

*: Actually, you have to be a little careful about 2-extensions. Etaleness doesn't pick up on whether or not infinite primes ramify. Everything's fine if you start with an totally imaginary field.

As Kevin points out, $V$ is indeed $\mathcal{O}_K[1/2]$ in your example. Your link to the fundamental group is also correct. $\pi_1(U)$ is the Galois group of the maximal extension of $\mathbb{Q}$ unramified outside 2. More generally, in your original question, these are replaced by $\mathcal{O}_K$ with the primes above the support of $D$ inverted, and the Galois group of the maximal extension of $\mathbb{Q}$ unramified outside the support of $D$. These groups can get pretty horrendous, and so number-theorists tend to (at least in my view) study the more well-behaved but still very mysterious maximal pro-$p$-quotients of these groups. These pro-$p$ groups are finitely generated by work of Shafarevich ("Extensions with prescribed ramification points") -- in fact, they are $d$-generated, where $d$ is the cardinality of the support of $D$ (for reasonable $D$). More impressively, the relation rank is also calculated/bounded (in this case, it's also $d$!!!), frequently leading to conclusions about when these groups are finite or infinite.

The "more complicated" starting point of $\mathcal{O}_K$ is not actually much more complicated (in some sense). You're still asking for the Galois group of the maximal extension of $K$ unramified outside a finite set of primes, and Shafarevich's work gives formulas for the relation rank and generator rank for the pro-$p$-quotients.

Ack, have to run. I'm going to come back and elaborate (and possibly proof-read) in the near future.

As Kevin points out, $V$ is indeed $\mathcal{O}_K[1/2]$ in your example. Your link to the fundamental group is also correct. $\pi_1(U)$ is the Galois group of the maximal extension of $\mathbb{Q}$ unramified outside 2 (since you can restrict attention to the connected etale $\mathbb{Q}$-algebras). More generally, in your original question, these are replaced by $\mathcal{O}_L$ with the primes above the support of $D$ inverted, and the Galois group of the maximal extension of $\mathbb{Q}$ unramified outside the support of $D$. These groups can get pretty horrendous, and so number-theorists tend to (at least in my view) study the more well-behaved but still very mysterious maximal pro-$p$-quotients of these groups. Now these pro-$p$ groups are not only finitely generated by work of Shafarevich ("Extensions with prescribed ramification points"), they are $d$-generated, where $d$ is the cardinality of the support of $D$ (for "tame" and not silly $D$). More impressively, the relation rank is also calculated/bounded (in this case, it's also $d$!!!), frequently leading to conclusions about when these groups are finite or infinite.

The "more complicated" starting point of $\mathcal{O}_K$ is in a sense not actually much more complicated. You're still asking for the Galois group of the maximal extension of $K$ unramified outside a finite set of primes, and Shafarevich's work gives formulas for the relation rank and generator rank for the pro-$p$-quotients.

The answer to your overall classification question is thus pretty difficult, and consume entire subdisciplines of number theory. As an example, Christian Maire has constructed number fields with a trivial class group but infinite unramified extensions -- you'd have to have a complete understanding of when this could happen before you could hope to prescribe all unramified extensions of a given degree, with or without certain primes inverted. There are certain cases where this can be done via, e.g., root discriminant bounds, but the story is far from being complete at this point.

I'll leave it for someone else more knowledgeable to address this with detail (e.g., Lars's answer), but the situation is much much better understood for $\mathbb{P}_\mathbb{C}^1$ than it is for number fields.

As Kevin points out, $\pi_1(U)$ is indeed $\mathcal{O}_K[1/2]$ in your example. Your link to the fundamental group is also correct. $\pi_1(U)$ is the Galois group of the maximal extension of $\mathbb{Q}$ unramified outside 2. More generally, in your original question, these are replaced by $\mathcal{O}_K$ with the primes above the support of $D$ inverted, and the Galois group of the maximal extension of $\mathbb{Q}$ unramified outside the support of $D$. These Galois groups are finitely generated by work of Shafarevich ("Extensions with prescribed ramification points") -- in fact, they are $d$-generated, where $d$ is the cardinality of the support of $D$. More impressively, the relation rank is also calculated/bounded (in this case, it's also $d$!!!), frequently leading to conclusions about when these groups are finite or infinite.

The "more complicated" starting point of $\mathcal{O}_K$ is not actually much more complicated (in some sense). You're still asking for the Galois group of the maximal extension of $K$ unramified outside a finite set of primes, and Shafarevich's work gives formulas for the relation rank and generator rank.

Ack, have to run. I'm going to come back and elaborate (and possibly proof-read) in the near future.

As Kevin points out, $V$ is indeed $\mathcal{O}_K[1/2]$ in your example. Your link to the fundamental group is also correct. $\pi_1(U)$ is the Galois group of the maximal extension of $\mathbb{Q}$ unramified outside 2. More generally, in your original question, these are replaced by $\mathcal{O}_K$ with the primes above the support of $D$ inverted, and the Galois group of the maximal extension of $\mathbb{Q}$ unramified outside the support of $D$. These groups can get pretty horrendous, and so number-theorists tend to (at least in my view) study the more well-behaved but still very mysterious maximal pro-$p$-quotients of these groups. These pro-$p$ groups are finitely generated by work of Shafarevich ("Extensions with prescribed ramification points") -- in fact, they are $d$-generated, where $d$ is the cardinality of the support of $D$ (for reasonable $D$). More impressively, the relation rank is also calculated/bounded (in this case, it's also $d$!!!), frequently leading to conclusions about when these groups are finite or infinite.

The "more complicated" starting point of $\mathcal{O}_K$ is not actually much more complicated (in some sense). You're still asking for the Galois group of the maximal extension of $K$ unramified outside a finite set of primes, and Shafarevich's work gives formulas for the relation rank and generator rank for the pro-$p$-quotients.

Ack, have to run. I'm going to come back and elaborate (and possibly proof-read) in the near future.