$\DeclareMathOperator\Spec{Spec}$Let $k \subset L$ be two algebraically closed fields of characteristic $0$. Let $U \subset \mathbb P^n\_k$ be a smooth quasi-projective variety and let $U\_L$ denote the base change of $U$ to $\Spec (L)$. Does anyone have a reference for why the map on étale fundamental groups $\pi\_1(U\_L) \rightarrow \pi\_1(U)$ is an isomorphism?


Ultimately, I'm interested in the case that $U$ is normal, but I have a fairly easy argument to deduce that from the case that $U$ is smooth. Brian Conrad has also suggested a promising, though involved, avenue of attack using that topological $\pi\_1$ is finitely generated. However since this seems like something that should be known, I was curious whether anyone knows of a reference (or perhaps a very short proof).


Here are some further remarks: It's fairly clear that the map is a surjection, and it is known to be an isomorphism if $U$ is projective (even in characteristic $p$). However, if $U$ is quasi-projective, the map need not be an isomorphism in characteristic $p$ (for example, it fails to be an isomorphism for $\mathbb A^1$, due to Artin–Schreier covers). I suspect the isomorphism still holds true without the smoothness hypothesis on U, and true for prime to $p$ parts of the étale fundamental group in characteristic $p$, but I really only want to apply this when $U$ is smooth (or normal) and $k$ is a subfield of $\mathbb C$.



Is the map on étale fundamental groups of a quasi-projective variety, upon base change between algebraically closed fields, an isomorphism?
$\DeclareMathOperator\Frac{Frac}\DeclareMathOperator\Spec{Spec}\DeclareMathOperator\Hilb{Hilb}$This is an expansion of my comments above. You do not need resolution of singularities or SGA 4. The key step is "elimination of
ramification" or "Abhyankar's Lemma". This is proved in Append. 1 of Exposé XIII of SGA 1. Here is the link in the Stacks
Project.   



Abhyankar's Lemma, [Stacks Project Tag 0BRM](http://stacks.math.columbia.edu/tag/0BRM).


Here is the setup for Abhyankar's Lemma. Let $A$ be a
DVR that contains a characteristic $0$ field, let $A\subset B$ be an
injective, local homomorphism of DVRs with ramification index $e$, i.e.,
$\mathfrak{m}\_B^{e+1}\subset \mathfrak{m}\_AB \subset \mathfrak{m}\_B^e$, let
$K\_1/\Frac(A)$ be a finite field extension, let $L\_1/\Frac(B)$
be **a** compositum of $K\_1/\Frac A)$ and
$\Frac(B)/\Frac(A)$, let $A\subset A\_1$, resp. $B\subset B\_1$,
be the integral closure of $A$ in $K\_1$, resp. of $B$ in $L\_1$. Let
$\mathfrak{n}\_A\subset A\_1$ be a maximal ideal that contains $\mathfrak{m}\_A
A\_1$, and let $\mathfrak{n}\_B\subset B\_1$ be any maximal ideal that contains
$\mathfrak{m}\_B B\_1 + \mathfrak{n}\_A B\_1$.


**Abhyankar's Lemma.**
If the ramification index $e$ of $A\subset B$ divides the ramification index
of $A\to (A\_1)\_{\mathfrak{n}\_A}$, then $(A\_1)\_{\mathfrak{n}\_A}\subset
(B\_1)\_{\mathfrak{n}\_B}$ is formally smooth, i.e., the ramification index
equals $1$.


**Nota bene.** In characteristic $0$ this follows easily from the Cohen
Structure Theorem, etc. In positive characteristic, Abhyankar's lemma says
more, because (1) the tensor product $\Frac(B)\otimes\_{\Frac(A)}
K\_1$ may be nonreduced, and (2) under the assumption that the the residue
field extension $A/\mathfrak{m}\_A \to B/\mathfrak{m}\_B$ is separable, we
need to also prove that the residue field extension of
$(A\_1)\_{\mathfrak{n}\_A} \to (B\_1)\_{\mathfrak{n}\_B}$ is separable. This
requires a further assumption that $e$ is prime to $p$. When $e$ is not
prime to $p$, Abhyankar's Lemma has counterexamples, but the result that
sometimes does the job is Krasner's Lemma, [Stacks Project Tag 0BU9](http://stacks.math.columbia.edu/tag/0BU9).


Let $K$ be a field (not necessarily characteristic $0$), let
$X\_K$ be a projective, connected $K$-scheme, and let $x\_0\in X\_K$ be a $K$-rational point. For every $K$-scheme $T$, an **étale cover of $X\_T$ trivialized over $x\_0$** is a finite, étale morphism $g\_T:Z\_T\to X\_T$ of some degree $d$ together with an ordered $n$-tuple of $T$-morphisms $(s\_i:T\to Z\_T)\_{i=1,\dotsc,d}$ such that the union of the images of the sections $s\_i$ equals $Z\_T\times\_{X\_K} \Spec\kappa(x\_0)$.


**Rigidity in the Projective Case.** For every $K$-scheme $T$, every étale cover of $X\_T$ trivialized over $x\_0$ is isomorphic to the base change of an étale cover of $X\_K$ trivialized over $x\_0$, and that trivialized étale cover is unique up to unique isomorphism.


This is, essentially, proved in Section 1 of Exposé X of SGA 1. The key point is rigidity of trivialized étale covers in the proper case.


**Descent for Affine Curves.**
Now assume further that $K$ is a characteristic $0$ field that contains all roots of unity. Assume that $X\_K$ is a smooth, projective, connected curve over $K$. Let
$Y\_K\subset X\_K$ be a
proper closed subset, i.e., a finite set of closed points. Denote
$X\_K\setminus Y\_K$ by $U\_K$, and assume that the $K$-point $x\_0$ is contained in $U\_K$.


Fix an integer $d$.
Let
$f\_K:\widetilde{X}\_K\to X\_K$ be a finite surjective morphism of some degree
$n$ with $\widetilde{X}\_K$ a smooth, projective curve such that (i)
$f\_K^{\*}(x\_0)$ is a set of $n$ distinct $K$-rational points of
$\widetilde{X}\_K$, and such that for every closed point $y\in Y\_K$, for
every closed point $\widetilde{y}\in \widetilde{X}\_K$ with
$f(\widetilde{y})=y$, the ramification index of $\mathcal{O}\_{X\_K,y}\to
\mathcal{O}\_{\widetilde{X}\_K,\widetilde{y}}$ is divisible by $e$ for every
$e\leq d$. For instance, begin with a finite morphism $g:X\_K\to
\mathbb{P}^1\_K$ that is smooth at every point of $Y\_K$, such that $g(x\_0)$
equals $[1,1]$, and such that $Y\_K\subset
f^{-1}(\underline{0}+\underline{\infty})$, and define $\widetilde{X}\_K$ to
be the normalization of the fiber product of $g$ and the morphism
$\mathbb{P}^1\_K\to \mathbb{P}^1\_K$ by $[z\_0,z\_1]\mapsto
[z\_0^{d!},z\_1^{d!}]$.


For a field extension $L/K$, the ramification hypothesis on
$f\_L:\widetilde{X}\_L\to X\_L$ over $Y\_L$ is still valid. For every finite
surjective morphism $W\_L\to X\_L$ of degree $d$, for every closed point $w$
of $W\_L$ that maps to $Y\_L$, the ramification index $e$ at $w$ divides $d!$.
Thus, by Abhyankar's Lemma, the normalization $\widetilde{W}\_L$ of
$W\_L\times\_{X\_L} \widetilde{X}\_L$ is étale over $\widetilde{X}\_L$ at
every closed point lying over $Y\_L$. Thus, if $W\_L\to X\_L$ is assumed to be
étale away from $Y\_L$ then $\widetilde{W}\_L\to \widetilde{X}\_L$ is
everywhere étale of finite degree $d$. Assume further that the fiber of $W\_L$ over $x\_0$ is a set of $d$ distinct $L$-rational points. Then also the fiber of $\widetilde{W}\_L$ is a set of distinct $L$-rational points. By the projective descent result above, there exists a finite, étale morphism $\widetilde{W}\_K\to
\widetilde{X}\_K$ whose fiber over $x\_0$ is a set of distinct $K$-rational points and whose base change equals $\widetilde{W}\_L$. Thus, $W\_L$ is
an intermediate extension of the base change to $L$ of the extension
$\widetilde{W}\_K\to X\_K$. In particular, for the fiber $\widetilde{W}\_K \times\_{X\_K} \Spec\kappa(x\_0)$ over $x\_0$, the degree $n$ morphism $\widetilde{W}\_L \to W\_L$ defines a partition $\Pi$ of the fiber into $d$ subsets of size $n$.


**Descent for $W\_L$.** There exists a unique irreducible component $W\_K$ of the relative Hilbert scheme $\Hilb^n\_{\widetilde{W}\_K/X\_K} \to X\_K$ whose fiber over $x\_0$ parameterizes the partition $\Pi$ above. The base change of $W\_K\to X\_K$ to $L$ is isomorphic to $W\_L\to X\_L$.


In conclusion, for the open
subset $U\_K=X\_K\setminus Y\_K$, for every finite étale morphism
$V\_L\to U\_L$, there exists a finite étale morphism $V\_K\to U\_K$ whose
base change to $L$ equals $V\_L\to U\_L$.


**Descent in Arbitrary Dimension.**
Now let $k$ be a characteristic $0$ field containing all roots of unity, and let $U\_k$ be a normal, quasi-projective variety of dimension $r\geq 1$ together with a specified $k$-rational point $u\_0$ in the smooth locus. I claim that there exists a blowing up $\nu\_k:U'\_k\to U\_k$ at finitely many points including $u\_0$ such that $U'\_k$ is normal, and there exists a flat morphism $\pi:U'\_k\to \mathbb{P}^{r-1}\_k$ such that the exceptionial divisor $E\_0$ over $u\_0$ is the image of a rational section of $\pi$. The easiest way to get this is to embed $U\_k$ into a projective space $\mathbb{P}^{r+s}\_k$, choose a linear $\mathbb{P}^s\_k\subset \mathbb{P}^{r+s}\_k$ that intersects $U'\_k$ transversally in finitely many points including $u\_0$, and then let $\pi$ be the restriction to $U\_k$ of the linear projection away from $\mathbb{P}^s\_k$. Now let $K$ be the fraction field $k(\mathbb{P}^{r-1}\_k)$ of $\mathbb{P}^{r-1}\_k$, and let $U\_K$ be the generic fiber of $\pi$. Let $x\_0$ be the $K$-rational point corresponding to the exceptional divisor $E\_0$.


For every field extension $\ell/k$, for every finite étale morphism $V\_\ell\to U\_\ell$ whose fiber over $u\_0$ is a set of distinct $\ell$-rational points, the fiber product with $\nu\_\ell:U'\_\ell\to U\_\ell$ is a finite étale morphism to $U'\_\ell$ that is trivialized over $E\_0$. Thus, setting $L=k(\mathbb{P}^{r-1}\_\ell)$, we obtain a finite étale morphism $V\_L\to U\_L$ whose fiber over $x\_0$ is a set of distinct $L$-rational points. Applying the curve case, this descends the generic fiber of $V\_\ell\to U\_\ell$ to a variety $V\_K$ over $K=k(\mathbb{P}^{r-1}\_k)$. Finally, we can construct $V\_k\to U\_k$ as the integral closure of $U\_k$ in the fraction field of the $V\_K$.


