Let $\pi: Y \to X$ be an etale morphism of finitetype 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?
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.
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. 

