# How many points determine a line?

Consider the affine space $\mathbb C^n$ and then, because of reasons, compactify it to obtain the projective space $\mathbb P^n$. One of the most basic axioms or propositions of geometry is that through two distinct points in $\mathbb P^n$ there passes a single projective line.

Somehow this seems to be very much a fact of projective space. Thus it seems natural to ask how this fact changes when we consider a different ambient space.

So, for simplicity, let's consider a compact complex surface $X$. Again, for simplicity, assume that it admits some rational curves, of degree 1 even. How many of those pass through two (or more?) points of $X$? (We do not assume that a line passes through any two points. We just want to know that given two points that lie on a line, could another line pass through those points?)

From what I understand, basic intersection theory was developed to answer exactly these problems, so one should be able to obtain the answer by intersecting relevant Chern classes on the right vector bundles. Any reasonable attempt at this kind of answer leads to the badly understood problem of calculating the Chow groups and intersection products of surfaces or manifolds. Thus we arrive at a perhaps answerable

Question: Is there an example of a surface (or manifold) $X$ on which we know that more than one projective line passes through two given points? In that case, do we know how many points are necessary to determine a line?

-
If by line you mean geodesic, there are likely to be very bumpy manifolds where several geodesics share the same $\kappa$-many points for appropriate cardinals $\kappa$. Even with fewer bumps, considering hyperbolic planes and similar geometries may suggest examples to you. Gerhard "Ask Me About System Design" Paseman, 2012.01.24 – Gerhard Paseman Jan 24 '12 at 18:19
The questions seems difficult to make sense of, because of the phrase "rational curves of degree 1". The degree of a subvariety is defined with respect to a given projective embedding of your surface (or complex manifold, or whatever). But given such an embedding, the fact that there is a unique line in projective space through two given points implies the same thing for the surface. – user5117 Jan 24 '12 at 18:23
The issue now is that your original motivation is no longer true: in projective space there can be lots of rational curves through a given set of points. For instance in P^2, there is a 3-dimensional family of conics through any pair of points, and any smooth member of that family is isomorphic to P^1. – user5117 Jan 24 '12 at 18:41
Anyway, all that is just to say that the question in your last paragraph has a rather trivial answer, for either interpretation of the term "projective line". On the other hand, the problem of enumerating the rational curves passing through certain sets of points (even in projective space) is a very famous and actively-researched one. I guess the keywords to search for are Gromov-Witten invariants and Kontsevich moduli spaces. – user5117 Jan 24 '12 at 18:49
I think Edison said he needed a hundred tries before coming up with one good idea. The same seems to be true for learning anything, and this process now seems to be public. – Gunnar Þór Magnússon Jan 25 '12 at 8:34

If $X$ is Fano (like $\mathbb P^n$), then a natural ample line bundle to use for degree is the anticanonical bundle. Mori's celebrated Bend & Break Theorem (II.5.4 in Rational curves on algebraic varieties by János Kollár) implies that what you are asking cannot happen for minimal rational curves (with respect to the anticanonical bundle), that is, no two of them will pass through two separate points. In other words, those minimal rational curves actually behave like lines. It also follows that the anticanonical degree of minimal rational curves on Fano varieties is at most $\dim X+1$ which is achieved by lines on projective spaces and by a recent theorem of Cho-Miyaoka-Shepherd-Barron that's the only case when that bound is achieved.
If you do not require the curves to be deformation equivalent, then all kind of things can happen. For instance a line and a conic in the projective plane will have two intersection points and this occurs quite a lot and similar intersections all over. Or you can take your favorite smooth surface that contains a rational curve with a simple node (say $\mathbb P^2$ with a nodal cubic) and blow up the node. The proper transform of the rational curve with the node will intersect the exceptional curve in two points.