# More Kirwan Excerpts

In this installment, a little lemma about tangent lines for curves in , resultants and a curves intersecting, and recovering a compact riemann surface from an equation of an algebraic curve.

### Tangent Line Lemma

I give a quick definition of tangent lines for curves in affine space, and for curves in projective space. The lemma shows they definitions behave well with one another. Let be homogeneous, so that it defines a curve in . For a point on the curve, the tangent line is the projective line given by the vanishing of

This is motivated by the fact tangent vectors should be orthogonal to the vector of partials . Also note that being perpendicular to this vector of partial uniquely determines a projective line, and (by the Euler relation) this line goes through the original point .

For the affine case, we could copy the above and say the tangent line at a point is given by the vanishing of

This gives a unique line through the origin, but this line will NOT necessarily go through our original point unless . But the above condition determines the slope of the line, so forcing it to go through the point uniquely determines the tangent line to be

Lemma: If defines a projective plane curve, and is the tangent line at a point on the curve, then restricted to the usual affine patch is the affine tangent line.

proof: I assume . Write for etc. The projective tangent line is

Note that as is homogeneous, so are all its partials. This is because it is a sum of monomials, and when differentiated each monomial either drops out completely or goes down one in total degree. It follows that Also from the Euler relation we have . So plugging we get in the affine patch the line

QED.

### Resultants and Intersections.

The reason to care about resultants is if are polynomials then they have a common root iff the resultant . Write and . The resolvent is defined as the determinant of some matrix constructed from the .

The way to prove this property of the resultant is as follows. To have a common factor means and and this is equivalent to t(x)p(x) = s(x)q(x)$. Now write everything as a sum of monomials and you get a bunch of conditions on the coefficients, and being able to obtain solutions is equivalent to the previous determinant vanishing.

Prop: Any two curves in intersect.

proof: Let the equations be Consider them as polynomials in with coefficients in . Calculate the resultant. It is a polynomial in , over an algebraically closed field it splits as a sum of linear factors, so there are numbers such that , so there is a common root and then as desired.

QED.

### Recovering a compact curve from its equations.

(See around pg. 90) You might say that the projective closure of sitting in is already a compact Riemann surface, but there is something else you can do.

Thinking of as an implicit function for $late y$, it is not well defined, you need to make various branch cuts, but then you can glue these things together to get something that looks more like a sphere with handles.

For example is not well defined. You need to make a branch cut. Take two copies of minus the negative reals. Then you can glue these guys so that you get a well defined holomoprhic function on this glued together peice.

You do this in general for more complicated equations $laetx f(x,y)$ but the identifications can get tricky (see page 90). But the moral of the story is you can play around with them and eventually glue it into something that looks like a sphere with handles.

In general to show that any compact connected Riemann surface is a sphere with handles, you triangulate it so that you can flatted it out and cleverly cut and paste it around (all the while preserving a triangulation of the same abstract space) so that you eventually get it to look like some -gon where all vertices are identified and you get the thing you want. This is the appendix of this Kirwan book.

Also a good proof of the implicit function theorem.

## About this entry

You’re currently reading “More Kirwan Excerpts,” an entry on Math Meandering

- Published:
- December 11, 2009 / 7:40 pm

- Category:
- wall scribble

- Tags:

## No comments yet

Jump to comment form | comment rss [?] | trackback uri [?]