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 $X$ and $Y$ be projective varieties (both in $\mathbb P^n$) and let $\phi:\mathbb P^n\times \mathbb P^n\to\mathbb P^m$ be a rational map defined by homogeneous equations $f_0,\dots,f_m$ where $\phi(x:y) = (f_0: \ldots :f_m)$. The graph of $\phi$ has points of the form $(x_0:\ldots:x_n:y_0:\ldots:y_n:f_0:\ldots:f_m)$.

I know from literature that the graph of $\phi$ is a projective variety (Harris), but I'm having trouble determining what the ideal defining this variety is. Intuitively I thought it may just be the ideals of $X$ and $Y$ along with the ideal defining the closure of $\phi$ in $P^m$, but I seem to be missing equations. It has been hinted at that this is not an easy question to answer in the projective case, but I have found an example done in the affine case.

My question is, can I find all of the equations in the projective case by looking at all the affine patches of the projective graph of $\phi$ (i.e. performing homogenization on the equations arising on each of the affine patches)?

share|improve this question
add comment

Your Answer


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

Browse other questions tagged or ask your own question.