# The étale fundamental group in the non-normal case

It is known, that the étale fundamental group of a normal connected scheme equals the galois group of the maximal unramified extension of its function field.

This is not true for integral schemes in general. The point is somehow, that one cannot construct flat finite covers from a function field extension as one does with normalization. So my questions are as follows:

1. What are examples for integral schemes, where the fundamental group is not a galois group of the function field? Or equivalently: A scheme with non-isomorphic étale covers but isomorphic function fields?

2. Is there already an example which is one-dimensional, e.g. an algebraic curve or an order in a number field? Somehow the étale covers should look different over the singularities. What can happen there?

3. In the case of curves it is known how to construct singular curves from normal ones. Is there a way of constructing étale covers of a singular curve by taking its normalization in a function field extension and then singularizing it again?

• As you can see from ACL's example, by losing normality, you lose the correspondence between connected covers and field extensions. The cover gives you an étale algebra over the function field, whose spectrum is disconnected, but the gluing makes the cover itself a connected scheme. May 5, 2013 at 13:35
• It would be instructive to address the related issue of whether a connected finite etale cover of a non-normal irreducible (noetherian) $X$ is determined up to isomorphism by its generic fiber. In ACL's answer, the connected finite etale covers are determined up to isomorphism by their generic fiber. May 5, 2013 at 15:18
• No. Just take the self-product of two copies of ACL's example. There will be many etale covers of each degree. May 5, 2013 at 17:22
• How does this answer xuhan's question? Taking the self-product of two degree n covers from ACL should give a disjoint union of n copies of it. More generally the product of two such covers of degree n and m receives a morphism from the cover of degree lcm(n,m). It is then isomorphic to gcd(n,m) many copies of that. So still every connected component is determined by its degree/generic fibre. May 5, 2013 at 18:39

Take a nodal cubic $C$, that is a projective line of which you identify two points $0$ and $\infty$. This curve has connected étale covers of any degree: take $n$ copies of the projective line, numbered circularly, and identify the $\infty$ of each of them with the $0$ of the next one. This is a $\mathbf Z/n\mathbf Z$-Galois cover of $C$.