Doesn't Abhyankar's lemma contradict faithful flat descent (no, but I'm confused)

Question

Let $O_K$ be a dvr with fraction field $K$. Let $L/K$ be a tamely ramified finite Galois extension. Then, Abhyankar's Lemma implies that there exists a finite Galois extension $K^\prime/K$ such that the compositum $L^\prime$ of $K^\prime$ and $L$ is unramified over $K^\prime$. (This statement is wrong: QiL explains that one must normalize)

In other words, we're starting with a finite flat surjective morphism $Spec \ O_L\to Spec \ O_K$. Then, we make a base change along the morphism $Spec \ O_{K^\prime}\to Spec \ O_K$ and obtain an etale morphism $Spec \ O_{L^\prime} \to Spec \ O_{K^\prime}$. But doesn't faithful flat descent imply then that the morphism $Spec \ O_L\to Spec \ O_K$ was already etale?

Certainly not, but what am I misunderstanding here?

Answer 1

You are right and you are wrong.

First you are right because a morphism which becomes étale after a faithfully flat base change is certainly étale.

Second, your interpretation of Abhyankar's lemma is wrong. It says that the normalization of the tensor product is unramified over $O_{K'}$. In the finite flat Galois case, it is trivial, just take $O_{K'}=O_{L}$ and normalize the tensor product: you will get a finite disjoint union of copies of $O_L$. Before normalization, theses copies have intersections points in the closed fiber.

There is a more general result (See Epp, Inventiones Math. in the 70's) which says that Abhyankar's lemma holds also for wilde ramifications (and for more general type of extensions of DVR's, not necessarily finite).