The purpose of this post and the next is to work through a basic example of intersection theory: intersections of curves on a surface. This is a fundamental and basic example in algebraic geometry, and since I’ve never studied intersection theory, it like seems a reasonable place to start. The references here are chapter 5 of Hartshorne’s *Algebraic geometry *and Mumford’s *Lectures on curves on an algebraic surface.*

**1. Curves on surfaces**

The subject of “curves on a surface” is the subject of Mumford’s book mentioned above; the purpose of this section is simply to set down the definitions.

Let be an algebraically closed field. A **surface** is a smooth projective surface over . There is a classification of surfaces, but let’s just list a couple of basic examples: , (smooth) hypersurfaces in , and ruled surfaces.

Definition 1Acurveon a surface is an (effective) divisor on . Equivalently, it is a subscheme pure of codimension one, so locally cut out by one equation. (But is not necessarily smooth, or even reduced.)

The goal of this post and the next is to set up a basic intersection theory for curves on surfaces. Given two curves , we’d like to define the **intersection product** . There is one case where it is easy: suppose and meet only **transversely**. In other words, for each , we choose local equations for the subschemes , and

In particular, this implies that are nonsingular at all points of intersection. In this case, we would like to require

Once we require the above condition and two more natural conditions, we will prove that the intersection product is uniquely determined:

- The equation (1) holds under transversality assumptions and if are smooth.
- The intersection product is
**additive**. That is, given curves , we havewhere is treated as an effective Cartier divisor.

- The intersection product is invariant under
**linear equivalence.**If are linearly equivalent curves, we wantso that the intersection product is invariant under deformation. In particular, this and the previous item show that the intersection product only depends on the line bundle associated to a divisor (and can make sense for any divisor, not necessarily effective).

Our goal is to prove:

Theorem 2There is a unique pairing

satisfying the above three conditions.

**2. Existence of the intersection pairing: complex case**

Let be a smooth -dimensional oriented manifold. Given oriented submanifolds of complementary dimensions intersecting transversely, we can compute the size of the intersection using “calculus” (or cohomology): let be the fundamental classes. Then we have:

where “integration” means actual integration in the de Rham theory, or equivalently pairing with the fundamental homology class.

**Caveat:** The “cardinality” of is really a signed one: each point is counted with an orientation. In the algebraic (or complex) case, this is not a problem: the local intersection multiplicities for transverse intersections are always positive as the orientation on a complex vector space is canonical.

Let’s now imagine that is a **complex** algebraic surface. In this case, given a curve , we can associate to a fundamental cohomology class (even when is singular!); this is equivalently the first Chern class of the (holomorphic) line bundle on . Alternatively, it is the form defined by the property

for all forms on . (Note that the integral vanishes unless is a -form, so that can itself be taken to be a -form.)

In the Hodge decomposition for , which yields

the fundamental classes therefore live in . The Lefschetz theorem states that such fundamental classes span the -cohomology. (The generalization of this to higher dimensions is the famous Hodge conjecture.)

Here is a possible definition of the intersection pairing in the complex case:

**Possible definition:** Given curves , the **intersection product **is

Intersection theory in differential topology, as quoted above, implies that this gives the correct answer when are smooth curves intersecting transversely. The rest of the properties are evident; the fact that the Chern classes live in integral cohomology implies that the intersection product actually takes values in . So, at least over the complex numbers, this gives a satisfactory definition of the intersection pairing.

**3. Uniqueness of the intersection pairing**

The above result, constructing the intersection pairing over , is not really satisfactory if we are working in characteristic . (We could try to use étale cohomology to replace complex cohomology, but we certainly do not need such heavy machinery… .)

Let’s first start by checking uniqueness of any intersection theory. In other words, the intersection product is determined by what happens in the “nice” case of smooth curves with transverse intersection. We can’t generally deform a pair of curves to this case (in fact, this impossibility leads to negative intersection products), but we’ll see that we can after adding a sufficiently ample divisor.

Choose an ample divisor on the surface (say, the intersection of the surface with a hyperplane in some projective imbebdding). Then for ,

are all very ample line bundles. We now need to invoke a theorem of Bertini about the generic hyperplane section of a smooth variety imbedded in projective space:

- The generic hyperplane section is smooth.
- (If .) The generic hyperplane section is connected. This isn’t really necessary for us.

In view of this, choose a generic divisor linearly equivalent to : by Bertini’s theorem, it can be represented by a smooth, connected curve on the surface . The generic divisor linearly equivalent to is a smooth connected curve on , which moreover intersects in a smooth scheme (thus transversely). Similarly, the generic divisor linearly equivalent to is a smooth, connected curve on , which intersects transversely.

In other words, by choosing and appropriate divisorial representatives, we are in the “nice” situation for . The pairwise intersections here are already determined by equation (1); this forces .

**4. Existence (incomplete)**

But now we need to check existence. The above proof suggests a way of *defining* the intersection pairing through repeated use of Bertini’s theorem and hyperplane sections. However, it’s also possible to give a direct, computationally useful formula. We’ll start towards that formula in this section.

Let’s go back to the “nice” situation where it was clear what the intersection number should be: this was where two curves were nonsingular and intersected transversely. (In fact, we just needed to assume that they intersected transversely: they could be singular elsewhere.) Why is this case so nice? One reason is that the intersection

is a “homotopy invariant” intersection, which moreover consists of just a direct sum of reduced points. In other words, we have

by definition, but in the “nice” case the tensor product also happened to be the (homotopy invariant) **derived tensor product.** If is a ring and is a regular sequence in , then

In general, without this regularity assumption, this completely fails.

This suggests that the problem with defining naively

is two-fold:

- The
**scheme**may be non-reduced: there may be “fuzz” on the points in it that should be taken into account when computing intersection multiplicities. - The “homotopy-theoretic” tensor product might not be the same as . There might be higher homotopy groups in , which can be thought of as a higher version of nilpotents, and which also should be accounted.

The first problem is a problem with working with classical varieties, which don’t see nilpotents, and which the use of schemes allows us to solve. The second problem can’t be solved only in the framework of schemes, but one of the motivations of derived algebraic geometry is to form a “homotopy-theoretic” fiber product

whose structure sheaf is in fact the derived tensor product (although the structure sheaf is no longer a sheaf of ordinary commutative rings!).

Let’s work in a thought bubble, and assume without comment that this is perfectly meaningful. In this case, we might imagine that we can solve our problems by defining

where we have to specify what “size” means. The Euler characteristic of the structure sheaf (which we’d want to be ) is a decent invariant. We might thus define:

Definition 3We define theintersection multiplicity

more generally this allows us to define the intersection multiplicity of line bundles.

The Euler characteristic is the alternating sum of the dimensions of the (hyper)cohomology groups.

This definition is, in fact, no different from the one without the derived tensor product unless share a common irreducible component: the higher groups will vanish. In higher dimensions, this higher terms are necessary, and this is **Serre’s intersection formula**. Nonetheless, this point of view will prove useful in motivating a more explicit version of the above formula in the next post.

January 28, 2013 at 12:53 pm

I’ve actually never seen this. When “motivating” derived stuff everyone should point to this example. Maybe everyone does and I just haven’t ever sat down to read about it though … ?

January 28, 2013 at 3:54 pm

I first learned this example at a talk (I think it was by Daniel Erman) at a workshop on derived algebraic geometry at Michigan last summer. But I think the use of intersection theory to motivate derived stuff is already in Lurie’s thesis (and in fact goes back well before him, according to http://mathoverflow.net/questions/12236/serre-intersection-formula-and-derived-algebraic-geometry).