Define an arithmetic scheme $X$ to be a separated, integral scheme, flat and finite type over $\mathbb{Z}$. I am interested in obtaining examples of finite étale covers of arithmetic schemes. I am mainly interested in the case of arithmetic surfaces, but I would enjoy examples of finite étale covers of arithmetic schemes of any dimension $>1$.

Let us restrict to schemes proper over $\mathbb{Z}$ to rule out the possibility of forming a finite integral extension and then restricting to an open subscheme on which the morphism is étale. Let us also restrict to geometrically connected (generic fiber?) to rule out the possibility of base ring extensions.

In the case where $X\to Spec(\mathbb{Z})$ is also smooth, the Katz-Lang finiteness theorem tells us that there will be at most finitely many abelian étale covers of $X$.

Abelian varieties can be a convenient way to create covers: if $A$ is an abelian variety, and $H$ a finite subgroup, then the dual isogeny to $A\to A/H$ is an étale cover of $A$. However, there are no abelian varieties over $Z$. I'm not sure whether this approach could be modified to produce an example.

It would be preferable to stick to regular or at least normal schemes, but that's not strictly necessary.

So, can anyone provide some nice examples of étale covers satisfying these conditions? If you would like to weaken some of the conditions to provide an interesting example (particularly, allowing nonproper or working over another $\mathcal{O}_K$), I guess I'll allow it.

To summarize, the optimal conditions on $X$ are regular, geometrically connected, proper over $\mathbb{Z}$.

Thanks.

Galois Groups over $\mathbb{Q}$proves among other things that $\mathbb{P}_{\mathbb{Z}}^1$ minus $0$, $\infty$ and the $N$-th roots of unity is such an example, and then there is Bost's paperPotential theory and Lefschetz theorems for arithmetic surfaces. $\endgroup$2more comments