Intersection of Projective Varieties: A Dimension Criterion and a Counterexample

We investigate intersections of projective varieties in the framework of classical dimension theory. Our first result proves that if two projective varieties X.Y = P" have dimensions satisfying dim X + dim Y > n, then the intersection X Y is nonempty. The proof proceeds by induction on the ambient dimension, using hyperplane sections to reduce the problem step by step. As a contrast, we then show that this criterion fails for arbitrary projective varieties Z, presenting a concrete example on a smooth quadric surface in p³ where two disjoint lines satisfy dim X + dim Y = dim Z. We conclude with remarks on the role of projective space, joins of varieties, and possible extensions of these results.

کلیدواژه ها:

Projective variety ، dimension inequality ، intersection ، quadric surface ، join of varieties