Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $\pi: Y \to X$ be an etale morphism of finite-type schemes over a field $k$. Let $Z$ be a $k$-scheme. Suppose we have a morphism $f:Y \to Z$. When does $f$ descend to a morphism $g: X \to Z$? Is the answer simpler if any of $X,Y, Z$ are affine?

share|improve this question

1 Answer 1

For a faithfully flat morphism $\pi\colon Y\to X$ of finite type, the morphism $f$ will descend if and only if the composites of it with the two projection morphisms $Y\times_X Y \to Y$ coincide. Etale maps are flat, and faithfully flat if surjective. If your etale morphism $\pi$ is Galois, then the second condition just says that $f$ is invariant under the action of the Galois group.

share|improve this answer
1  
$\pi$ only has to be faithfully flat and quasi-compact, i.e. fpqc (in fact a weaker version of fpqc also works, see Angelo Vistoli's notes on descent theory). –  Martin Brandenburg Nov 11 '13 at 16:31

Your Answer

 
discard

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.