0
$\begingroup$

Let $S_1,S_2\subset \mathbb P^n$ be two algebraic surfaces (we may assume that $n=3$). Is it possible that $S_1\cap S_2=\{x_1,\dots,x_N\}$ a finite set of points?
I can imagine the surfaces two be disjoint, if they are parallel; to intersect along a curve, which should be the general situation; and to intersect along a surface, which occurs if $S_1=S_2$. Thus it seems like everything else is possible and that's why I am curious whether a point intersection could also be possible.

$\endgroup$
  • $\begingroup$ Do you means "surfaces" (subvarieties of dimension two) or "hypersurfaces" (subvarieties defined by a single equation). Two hypersurfaces in $\Bbb P^n$ meet in a set of dimension at least $n-2$. $\endgroup$ – Lord Shark the Unknown Sep 7 '18 at 9:29
  • $\begingroup$ I mean surfaces, i.e. two-dimensional subvarieties. $\endgroup$ – James Sep 7 '18 at 11:49
3
$\begingroup$

I am assuming the base field is algebraically closed.

You say rather casually in the question "we may assume that $n=3$", but the answer depends crucially on whether $n=3$ or not.

If $n=3$ then any two surfaces intersect in a set of dimension at least 1 (they cannot be disjoint, and there is no such thing as "parallel" in projective space). A reference is Hartshorne Theorem I.7.2.

If $n>3$ then certainly it is possible for two surfaces in $\mathbf P^n$ to intersect in a finite set of points --- for example, try coordinate planes in $\mathbf P^4$. Indeed, by the Theorem already mentioned, any two surfaces in $\mathbf P^4$ must have nonempty intersection, and in general the intersection will be a finite set.

If $n>4$ then any dimension up to 2 is possible for the intersection of two surfaces, but there are statements analogous to the above for intersections of higher-dimensional algebraic subsets.

$\endgroup$
  • $\begingroup$ OK, I didn't know its depending so much on the dimension and was just assuming that we could assume $n=3$. Actually, I was thinking way to much of a plane in $\mathbb P^n$ as a three-dimensional object in $\mathbb C^{n+1}$. The reference you mentioned is actually very helpful! By intersection of coordinate planes you mean for example $S_1=\{x_0=x_1=0\}, S_2=\{x_2=x_3=0\}\subset\mathbb P^4$ which intersect in the point $(0:0:0:0:1)$, correct? $\endgroup$ – James Sep 7 '18 at 11:46
  • $\begingroup$ @James: yes, that's right. $\endgroup$ – Asal Beag Dubh Sep 7 '18 at 12:02
  • $\begingroup$ Thank you very much! :) $\endgroup$ – James Sep 7 '18 at 12:12

Your Answer

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.