Let $k$ be an algebraically closed field and let $X$, $Y$ be varieties over $k$. Let us denote by $\mathcal{O}(X)$ and $\mathcal{O}(Y)$ the $k$-algebra of regular functions on $X$ and $Y$ respectively. There exists a natural homomorphism of $k$-algebras: $$ \theta \colon \mathcal{O}(X) \otimes_k \mathcal{O}(Y) \to \mathcal{O}(X \times Y) \, , \quad f \otimes g \mapsto \left( (x,y) \mapsto f(x)f(y) \right) \, . $$ It is well-known, that $\theta$ is an isomorphism in case $X$ and $Y$ are affine. Is it true that $\theta$ is an isomorphism if $X$ and $Y$ are just quasi-affine (i.e. not necessarily affine)? Is this true for arbitrary varieties $X$ and $Y$? Any proof or counter-example or any reference to a text book would be perfect.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.