The Stacks project

A morphism from a nonempty product of projective lines over a field to a separated finite type algebraic space over a field factors as a finite morphism after a projection to a product of projective lines.

Lemma 79.11.2. Let $k$ be a field. Let $n \geq 1$ and let $(\mathbf{P}^1_ k)^ n$ be the $n$-fold self product over $\mathop{\mathrm{Spec}}(k)$. Let $f : (\mathbf{P}^1_ k)^ n \to Z$ be a morphism of algebraic spaces over $k$. If $Z$ is separated of finite type over $k$, then $f$ factors as

\[ (\mathbf{P}^1_ k)^ n \xrightarrow {projection} (\mathbf{P}^1_ k)^ m \xrightarrow {finite} Z. \]

Proof. We may assume $k$ is algebraically closed (details omitted); we only do this so we may argue using rational points, but the reader can work around this if she/he so desires. In the proof products are over $k$. The automorphism group algebraic space of $(\mathbf{P}^1_ k)^ n$ contains $G = (\text{GL}_{2, k})^ n$. If $C \subset (\mathbf{P}^1_ k)^ n$ is a closed subvariety (in particular irreducible over $k$) which is mapped to a point, then we can apply More on Morphisms of Spaces, Lemma 76.35.3 to the morphism

\[ G \times C \to G \times Z,\quad (g, c) \mapsto (g, f(g \cdot c)) \]

over $G$. Hence $g(C)$ is mapped to a point for $g \in G(k)$ lying in a Zariski open $U \subset G$. Suppose $x = (x_1, \ldots , x_ n)$, $y = (y_1, \ldots , y_ n)$ are $k$-valued points of $(\mathbf{P}^1_ k)^ n$. Let $I \subset \{ 1, \ldots , n\} $ be the set of indices $i$ such that $x_ i = y_ i$. Then

\[ \{ g(x) \mid g(y) = y,\ g \in U(k)\} \]

is Zariski dense in the fibre of the projection $\pi _ I : (\mathbf{P}^1_ k)^ n \to \prod _{i \in I} \mathbf{P}^1_ k$ (exercise). Hence if $x, y \in C(k)$ are distinct, we conclude that $f$ maps the whole fibre of $\pi _ I$ containing $x, y$ to a single point. Moreover, the $U(k)$-orbit of $C$ meets a Zariski open set of fibres of $\pi _ I$. By Lemma 79.11.1 the morphism $f$ factors through $\pi _ I$. After repeating this process finitely many times we reach the stage where all fibres of $f$ over $k$ points are finite. In this case $f$ is finite by More on Morphisms of Spaces, Lemma 76.35.2 and the fact that $k$ points are dense in $Z$ (Spaces over Fields, Lemma 72.16.2). $\square$


Comments (1)

Comment #887 by on

Suggested slogan: A morphism from a nonempty product of projective lines over a field to a separated finite type algebraic space over a field factors as a finite morphism after a projection to a product of projective lines.


Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0AEM. Beware of the difference between the letter 'O' and the digit '0'.