MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $L/k$ be a field extension of algebraically closed fields of characteristic zero. Let $U$ be a smooth quasi-projective variety over $k$.

I am trying to understand why the base-change functor from $k$ to $L$ from

  1. the category of finite etale $k$-morphisms to $U$


  1. the category of finite etale $L$-morphisms to $U_L$

is faithful.

I have the feeling it is almost "trivial" and that there is a much more general statement concerning the base-change functor.

Does this appear anywhere, or could anybody provide some explanation?

share|cite|improve this question
Just out of curiosity: in which context are you interested in a (nontrivial) extention of an algebraically closed field which is itself algebraically closed? – Qfwfq Jun 17 '13 at 14:36
An important example is $\mathbb{C}$ over $\overline{\mathbb{Q}}$ (links between number theory and complex geometry). – Martin Brandenburg Jun 17 '13 at 14:40

Let $L/k$ be a field extension. Then the base change functor $\mathsf{Sch}/k \to \mathsf{Sch}/L$ is faithful, i.e. if $f,g : X \to Y$ are morphisms of $k$-schemes with $f_L = g_L : X_L \to Y_L$, then $f=g$.

Proof: Choose an open affine covering of $Y$, pull it back to $X$ via $f$ and $g$ and take an affine refinement of the two affine coverings of $X$. This shows that we may assume that $X,Y$ are affine. But if $\alpha,\beta : A \to B$ are homomorphisms of $k$-algebras with $\alpha \otimes L = \beta \otimes L : A \otimes_k L \to B \otimes_k L$, then of course $\alpha=\beta $ since $B \to B \otimes_k L$ is injective. $\square$

Actually much more is true. See for example Grothendieck's exposé on descent theory in FGA or Vistoli's notes on descent theory.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.