1
$\begingroup$

How do you compute $V(x^2+y^2-1) \cap V(x^2+y^2-2)$ in $A_{R}^{2}$ and $A_{C}^{2}$ ?

In the real affine 2-plane there are no intersection points (this is clear since these these are just two circles with different radii and do not intersect).

What happens in $A_{C}^2$? My first intuition is that there will be two solutions and they will be complex conjugates of each other. But how do you compute them?

The problem continues and asks you to take the equations into the projective plane. Then asks you to compute their intersection again, in $P_{R}^{2}$ and then in $P_{C}^{2}$, so basically solve;
$V(X^2+Y^2-Z^2) \cap V(X^2+Y^2-2Z^2)$

I learnt Bezouts theorem before attempting this problem and here both my homogeneous polynomials are of degree 2, there should be exactly 4 intersection points in the complex plane. Making both $=0$ and solving simultaneously, I guess that [1:0:0] and [0:1:0] are the two solutions in the real projective plane. (it's a guess but these points work...). but where are the two other solutions for the complex?

So my question is how do I do these computations? Also, is there anywhere where my understanding of things is wrong?

  • 0
    The comments above answered your question, but you should learn a little about the resultant of two polynomials to solve equations more complicated. It is easy and very useful. I recommend Walker, R. J. Algebraic Curves, p. 23.2012-04-23

1 Answers 1

2

1) Since the ideals $(x^2+y^2-1), (x^2+y^2-2)$ are comaximal over any field, the corresponding varieties are disjoint in any version of algebraic geometry (classical, scheme-theoretic).

2) To use a pleasantly old-fashioned terminology, the two complex projective circles $V(X^2+Y^2-Z^2)$ and $V(X^2+Y^2-2Z^2)$ go through the cyclic points $(1:\pm i:0)\in \mathbb P^2(\mathbb C) $ and are tangent there.