Definition of a point of intersection: common points of two projective curves.

Introduction

Projective geometry extends the concept of Euclidean geometry by introducing the idea of points at infinity, ensuring that every pair of distinct curves in projective space intersects at least at one point. Unlike affine geometry, where parallel lines do not intersect, projective geometry guarantees that any two distinct curves intersect in a finite number of points, or potentially infinitely many if they are identical. This article delves into the formal definition of a point of intersection for two projective curves, emphasizing the algebraic and geometric properties that distinguish this concept from its affine counterpart.

Algebraic Foundations of Intersection Points

In projective geometry, a curve is defined by a polynomial equation of degree $ n $, where $ n $ is the degree of the curve. For two projective curves $ C_1: F(x, y, z) = 0 $ and $ C_2: G(x, y, z) = 0 $, their intersection points are determined by solving the system of equations $ F(x, y, z) = 0 $ and $ G(x, y, z) = 0 $. The solutions to this system correspond to the points where the curves meet, and the number of such points depends on the degrees and multiplicities of the curves.

The intersection of two projective curves is not merely a set of points but also involves the concept of intersection multiplicity, which quantifies how many times a point is shared by the two curves. For example, two lines in projective space intersect at exactly one point, but if they are tangent, the multiplicity can be higher. This multiplicity is crucial for understanding the geometric behavior of curves and their intersections.

Projective Space and the Role of Homogeneous Coordinates

Projective curves are defined using homogeneous polynomials, where the leading terms of the polynomials are scaled by a non-zero factor. This allows for the inclusion of points at infinity, which are essential in projective geometry. For instance, the equation $ x^2 + y^2 + z^2 = 0 $ defines a projective curve in three-dimensional space, and its intersection with another curve is analyzed by considering the homogeneous coordinates $ [x : y : z] $.

The intersection of two projective curves is often studied in the context of rational functions or algebraic geometry, where the coordinates are treated as elements of a field. In this framework, the intersection points are determined by solving the system of equations derived from the curves' defining polynomials. This process ensures that even if the curves are not defined by polynomials of the same degree, their intersections are still well-defined.

Determining Intersection Points: Methods and Examples

To find the intersection points of two projective curves, one can use algebraic techniques such as resultant theory or elimination theory. The resultant of two polynomials $ F $ and $ G $ is a polynomial in the coordinates of the curves that vanishes if and only if the curves intersect. Similarly, elimination theory allows for the elimination of variables to find the coordinates of the intersection points.

For example, consider two projective curves:

• $ C_1: x^2 + y^2 + z^2 = 0 $ (a sphere in projective space)
• $ C_2: x + y + z = 0 $ (a plane)

Solving these equations simultaneously yields the intersection points. Substituting $ z = -x - y $ into the