Linear Systems

Ok, so last time, we discussed divisors. We’re going to keep going in that direction now, and now we’re going to talk about linear systems of divisors. Whenever we talk about linear systems, we’ll assume that our variety X is nonsingular, so we can even talk about Weil divisors with no problem, though we’ll sometimes also use Cartier divisors due to how things will be handed to us.

Last time we took a Cartier divisor and got a line bundle. So let D a divisor and \mathscr{L} the line bundle associated to the divisor. Now take s\in \Gamma(X,\mathscr{L}). On open sets where \mathscr{L} is trivial, s restricts to a regular function, so we get a Cartier divisor which we will call (s)_0. This can also be taken as a formal sum of codimension one subvarieties. Now, the following are true, but I won’t prove them:

  1. For any s\in \Gamma(X,\mathscr{L}) which is nonzero, the divisor (s)_0 is linearly equivalent to D and is effective (recall that that means that the coefficients of the Weil divisor are all nonnegative)
  2. Every effective divisor linearly equivalent to D is (s)_0 for some s\in \Gamma(X,\mathscr{L}).
  3. If s,s'\in\Gamma(X,\mathscr{L}) have (s)_0=(s')_0, then there is a nonzero \lambda such that s=\lambda s'.

Now, this tells us that the vector space of global sections of \mathscr{L}, minus the origin, maps down to the effective divisors linearly equivalent to D, but that nonzero scalar multiples get identified. This should sound familiar…mostly because it’s precisely how projective space itself is constructed. That means that there’s a natural structure of projective space on the set of effective divisors linearly equivalent to a given divisor!

So we define a complete linear system to be the set of all effective divisors linearly equivalent to some given divisor D, which forms a projective space, and is denoted |D|. A linear system is then \mathfrak{d}, a linear subspace of |D|, so it just corresponds to a vector subspace of \Gamma(X,\mathscr{L}). We define the dimension of a linear system to be the dimension of the projective space it defines.

Now, a bit more terminology: a point P\in X is a base point of a linear system \mathfrak{d} if and only if for every D\in \mathfrak{d}, we have P in one of the prime divisors of D. In terms of sheaves, this says that for all s\in V, where V\subset\Gamma(X,\mathscr{L}) is the vector space determining \mathfrak{d}, we have s_P\in \mathfrak{m}_P \mathscr{L}_P.

Remember when we talked about how a line bundle determines a rational map to projective space? Well, in truth, it might define quite a few, though there is one into a biggest projective space arrived at this way. In fact, a morphism X\to\mathbb{P}^k is the same as a linear system without base points on X and a set of elements in the vector space determining it which span it.

So now when is the map a closed immersion, as defined in the comments on the post on line bundles? The conditions are that the linear system \mathfrak{d} separates points and tangent vectors. The first condition is that for all points p,q\in X, we have a divisor in the linear section so that p is contained in one of its prime divisors but q is not. That is, there’s a function which is zero at one point and nonzero at the other.

Separating tangent vectors is a bit more mysterious. Take p\in X and latex v\in T_p(X). Remember that this is just a linear map \mathfrak{m}_P/\mathfrak{m}_P^2\to k. Then we want there to be a divisor D\in\mathfrak{d} such that v\notin T_p(D). This tangent space makes sense, because D is effective, and so gives an algebraic subset of X, so T_p(D)\subset T_p(X). The point is that for any tangent vector, we can have it point in a direction not along some divisor.

Now that we have this definition, let’s do some examples. We’ll take X=\mathbb{P}^n, and choose our divisor to be D=d H where H is a hyperplane and d>0. It’s a fact that every divisor on projective space is linearly equivalent to one of this form. So now we look at |D|. This will consist of all formal linear sums of hypersurfaces \sum n_i V_i with \sum n_i \deg V_i=d. These are precisely given by the homogenous polynomials of degree d. We can choose as a basis for the complete linear system the functions given by monomials of degree d. Now, this system is base point free and separates both points and tangent vectors, so we get a morphism \mathbb{P}^n\to\mathbb{P}^{\binom{n+d}{d}-1}, the latter dimension being the dimension of the space of homogeneous degree d polynomials after projectivizing. We’ve actually already seen this map! It’s just the Veronese Embedding, phrased with linear systems. A similar construction can be used to get the Segre Embedding, or, as mentioned, any map into projective space.

That seems enough for now, and we’ve got a couple of options of where to go next that I’ve been thinking about, and I’m going to leave it up to you readers. Post a comment to let me know which of the following is preferred, and I’ll do it:

  1. Riemann-Roch Theorem and the geometry of curves
  2. Bertini’s Theorem and more about divisors, including generalizing to cycles and some intersection theory
  3. Something rather different: some computational techniques, blow-ups, and the 27 lines on a cubic surface
  4. Other suggestions? I know what I’d do for the other three, but if something is suggested that people want to see me make an attempt at explain, I’m open to the possibility
About these ads

About Charles Siegel

Charles Siegel is currently a postdoc at Kavli IPMU in Japan. He works on the geometry of the moduli space of curves.
This entry was posted in AG From the Beginning, Algebraic Geometry. Bookmark the permalink.

7 Responses to Linear Systems

  1. funky says:

    thanks for nice discussion on basic alg geometry. i would like to read more about divisors. ample,big,nef etc etc and then intersection theory for surfaces

  2. Eric says:

    It seems to be rather late to add another vote, but I’ve just found your blog and really like it (having just struggled through an algebraic geometry course and still not understanding things as well as I’d like), and would be very interested in seeing more computational topics.

  3. Charles says:

    Not too late at all. If it helps, the view I’m taking on Cohomology (through the Cech theory) is considered computational. But really, I will get into Groebner bases and the like later, this was more to determine what order I do things in.

  4. Pingback: Bertini’s Theorem « Rigorous Trivialities

  5. Pingback: Riemann-Roch Theorem for Curves « Rigorous Trivialities

  6. Pingback: Canonical Linear Systems « Rigorous Trivialities

  7. Brian says:

    Hi,

    Thanks for the good work. I am also reading section 2.7 in Hartshorne. There seem to be 2 different conditions that are called “separate tangent vectors”: one is given in proposition II.7.3.(2) and another one is given above (and also II.7.8.(2)). It’s not so obvious to me why the two are equivalent. Could you please explain?

    Thanks a lot!
    Brian

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s