Lemma 33.8.4. Let $k$ be a field. Let $X$, $Y$ be schemes over $k$. Assume $X$ is geometrically irreducible over $k$. Then the projection morphism

$p : X \times _ k Y \longrightarrow Y$

induces a bijection between irreducible components.

Proof. First, note that the scheme theoretic fibres of $p$ are irreducible, since they are base changes of the geometrically irreducible scheme $X$ by field extensions. Moreover the scheme theoretic fibres are homeomorphic to the set theoretic fibres, see Schemes, Lemma 26.18.5. By Morphisms, Lemma 29.23.4 the map $p$ is open. Thus we may apply Topology, Lemma 5.8.15 to conclude. $\square$

There are also:

• 2 comment(s) on Section 33.8: Geometrically irreducible schemes

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).