Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

X is a projective variety, W is a quasi-projective variety over the algebraically closed field k.

I would like to construct a k-algebra isomorphism between O(XxW) and O(W) (the rings of regular functions).

On the level of varieties I know that the projection XxW->W maps closed sets to closed sets. I feel like this should lead me to the algebra, but I have no idea how I would define the map going the other way.

share|cite|improve this question
up vote 4 down vote accepted

Any regular function on a projective variety (assumed irreducible) is constant. Recall that this is a consequence of the valuative criterion for properness (among other things; alternatively, the image would be proper, and no non-finite subset of the affine line is proper).

So given any regular function $f$ on $X \times W$, it is constant on every fiber over $W$. Thus if $W \to X \times W$ is any section of the projection, the pull-back of $f$ to $W$ pulls back to $f$ via the projection $X \times W \to W$. Thus the map $\mathcal{O}(W) \to \mathcal{O}(X \times W)$ is surjective. Injectivity is clear because $X \times W \to W$ is surjective.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.