Welcome to MathOverflow

Question

3

I've always thought of the degree of a subvariety of projective space as the degree of the divisor that defines the (given) embedding into projective space. It's been pointed out to me that this works only for curves. Now I'm confused: is there a similar characterization of the degree of a general subvariety of some projective space?

flag	asked Mar 26 2010 at 3:55 Randy Brown 954●5●13

1

Maybe the reason for your confusion is that on a curve the degree of a divisor is intrinsically defined, whereas in general the notion of degree of a divisor depends on the projective embedding of the variety. Nevertheless, as Allen says below, the relationship still holds in higher dimensions. – Johan Mar 27 2010 at 18:28

jvp · Accepted Answer · 2010-03-26 04:17:18Z UTC

4

If $X\subset \mathbb P^n$ is a subvariety of dimension $m$ embedded by a linear system $V \subset H^0(X,\mathcal O_X(D))$ then the degree of $X$ is equal to $D^m$.

answered Mar 26 2010 at 4:17

jvp
5,390●1●8●23

1

To elaborate on jvp's point slightly, you can't even define the degree of a divisor on a variety that isn't a curve. On a curve, you count the points. But what about on a surface? You would need the degrees of curves, which are less obvious. However, the self-intersection of a curve is well defined and gives the right answer. – Charles Siegel Mar 26 2010 at 11:13

7-adic · Answer 2 · 2010-03-26 04:37:49Z UTC

See the section about intersection of chapter I of hartshorne. Intuitively degree is the number of intersection of the dimension r subvariety and the GENERIC dimension n-r linear subspace if they are both in P^n. A rigorous definition was given in that section by the leading coefficient of the Hilbert polynomial.

Allen Knutson · Answer 3 · 2010-03-26 16:36:43Z UTC

I disagree with "this works only for curves". Say we've already defined degree for schemes up to dimension $n$. Then use your rule to define it for schemes of dimension $n+1$. Dr. "This works only for curves" is unwilling to go beyond the $n=0$ case, for some reason.

Degrees of subvarieties of projective space

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

3 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.