4
$\begingroup$

Let $k$ be a field. Let $X$, $Y$ and $C$ be varieties over $k$ such that $X\times_k C $ is isomorphic to $Y\times_k C$. Assume that $C$ is a curve. (The varieties $X$, $Y$ and $C$ are assumed to be smooth projective and geometrically connected over $k$.)

Does it follow that $X$ is isomorphic to $Y$?

My guess is that $X\to X\times C\cong Y\times C\to Y$ gives an isomorphism. (The first map is the inclusion and the second map is the projection. For the first map to be defined you might want to assume $C(k)$ is non-empty.) Anyway, the inverse map should be given by the reverse construction: $Y\to Y\times C\cong X\times C\to X$.

Is this correct? (No if $X=Y=C$. But let's assume $\dim X = \dim Y \geq 2$.)

  • 4
    Your argument is not correct. For instance, $X$ and $Y$ and $C$ can all be $\mathbb{P}^1$ and the isomorphism in the middle step can be the one that swaps the factors. Then your composite map is a constant map (it's true that $X$ and $Y$ are isomorphic in this case, but the map you wrote down isn't an isomorphism between them).2012-12-21
  • 0
    What if I take $X$ and $Y$ to be of dimension at least $2$? Then this phenomenon can't happen.2012-12-21
  • 0
    My particular counterexample won't happen, but the proof is still not correct. The problem is that you have no control over the map from $X \times C$ to $Y \times C$. (I believe I have read that the result you are trying to establish is false, by the way, but I don't know a reference or how to look it up! Sorry not to be more helpful.)2012-12-21
  • 0
    Thank you very much! Your example did convince me that this is not going to be true. A counterexample shouldn't be hard to find, but it will be cumbersome.2012-12-21
  • 2
    Related question: http://mathoverflow.net/questions/78194/v-w-are-varieties-does-v-times-mathbfp1w-times-mathbfp1-imply-v2012-12-21
  • 0
    Thank you! What an amazing result by Fujita!2012-12-21

0 Answers 0