Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $f:X \to Y$ be a morphism of varieties and let $Z \subset X$ be a closed subset. Assume that $f^{-1}(p) \cap Z$ is irreducible and of the same dimension for all $p \in Y.$ Show that $Z$ is irreducible.

Here is what I tried:

Assume the contrary and let $Z=Z_1 \cup Z_2$ where $Z_i$s are closed in $Z.$ By assumption, $f^{-1}(p) \cap Z=(f^{-1}(p) \cap Z_1) \cup (f^{-1}(p) \cap Z_2)$ is irreducible, so let $U=\{p \in Y|\; f^{-1}(p) \cap Z=f^{-1}(p) \cap Z_1 \}$ and $V=\{p \in Y|\; f^{-1}(p) \cap Z=f^{-1}(p) \cap Z_2 \}.$ My strategy is to prove that $U,V$ are closed in $Y$ and get the contradiction ( $Y$ is a variety, so irreducible). For instance, consider $U \subset Y.$ Then $Y$ has a finite open affine cover by $Y_i$s, so is enough to show that $U \cap Y_i$ is closed in $Y_i$ for all $i.$ I also know that there is an open subset in $W \subset Y$ s.t. all fibers $f^{-1}(x)$ have the same dimension for all $x \in W,$ but I got stuck and don’t know how to proceed and use the fact that $f^{-1}(p) \cap Z$ have the same dimension for all $p \in Y.$

share|improve this question
    
I don't know what do you meaning by "varieties". At least $Y$ must be irreducible (obvious), and $Z$ must be connected (otherwise let $Y$ be the affine line and $Z=X$ be dijoint union of one point of $Y$ and of its complement). –  user18119 Nov 22 '12 at 22:24
    
Dear @QiL by variety I mean, an irreducible prevariety which is covered by finitely many open affines or a separated and irreducible scheme of finite type over an alg. closed field. –  Ehsan M. Kermani Nov 23 '12 at 3:09
    
OK now I see in your post it is said $Y$ is irreducible. Sorry. I remember I did an exercise like this one in Harthorne, but how ? I can show that for any irreducible component $Z_i$ of $Z$, we have $Z_i=f^{-1}(f(Z_i))\cap Z$, but then I also got stuck. The images $f(Z_i)$ are constructible in $Y$, but this is not enough to conclude. –  user18119 Nov 23 '12 at 8:24
    
Note that to simply the settings, one can replace $X$ with $Z$ (a scheme of finite type over $Y$) and try to show $X$ is irreducible under the assumption that $f : X\to Y$ has irreducible fibers of the same dimension ($Y$ irreducible and $X$ connected). –  user18119 Nov 23 '12 at 8:28
add comment

1 Answer

This isn't true as stated. For example, consider $Z = X = \{x = y, z = 0\} \cup \{xz = 1\}$ in $\mathbb{A}^3$ and $Y = \mathbb{A}^2$ with the morphism $f:X \to Y$ given by $(x,y,z) \mapsto (y,z)$. Each fiber is just a singleton so it satisfies your hypothesis but $X$ is not irreducible. However, if we impose some mild assumptions, then this is true. We can choose one of two assumptions:

  1. $f$ is a closed map.
  2. The irreducible components of $Z$ are the same dimension and $f$ is surjective.

A very similar thing is proved here. The result is as follows:

Suppose $f:X \to Y$ is surjective, proper morphism to an irreducible variety $Y$ such that the fibers are irreducible and of the same dimension. Then $X$ is irreducible.

The argument in that proof can be modified to obtain your result. First, as implied in the comments, we can restrict to our closed subset $Z$ and replace $Y$ with $\overline{f(Z)}$. Then we have reduced the problem to a dominant morphism $f:X \to Y$ of varieties with $Y$ irreducible and satisfying the conditions on the fibers.

Let $Z_i$ be the irreducible components of $X$ and $X_y = f^{-1}(y)$ for any $y \in Y$. By the same argument as in the linked question, but replacing $f(Z_i)$ with $\overline{f(Z_i)}$ since we aren't assuming $f$ is closed, we can conclude that each $Z_i$ is the union of fibers $X_y$ that intersect it.

  1. If we assume that $f$ is closed, then by the same argument in the linked question, some component $Z_0$ satisfies $f(Z_0) = Y$ so $Z_0$ contains every nonempty fiber and thus $Z_0 = X$ is irreducible.
  2. If we assume each of the irreducible components are the same dimension and $f$ is surjective, then since $Y$ is irreducible and $f$ is dominant, there exists some component $Z_0$ such that $\overline{f(Z_0)} = Y$. Then letting $d$ be the dimension of the fibers, we know that $d = \dim Z_i - \dim \overline{f(Z_i)}$ as in the link. Now, since each component is the union of fibers that intersect it, we know that $Z_0$ is the only dominant component. Thus, $f(Z_i) \subset Y \setminus f(Z_0)$ for all $i \neq 0$. But $Y \setminus f(Z_0)$ has dimension lower than $f(Z_0)$. In particular, $\dim Y > \dim \overline{f(Z_i)}$ for $i \neq 0$. By the equality above, $\dim Z_0 - \dim Y = \dim Z_i - \dim \overline{f(Z_i)}$. Putting these two things together, we get $\dim Z_0 > \dim Z_i$ for $i \neq 0$, contradicting the fact that all the irreducible components are the same dimension, thus $Z_0 = X$ and $X$ is irreducible.
share|improve this answer
add comment

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.