# Solution to exercises

**Exercise 1.1**

Let be a finite generated -algebra and suppose is a maximal ideal. Then the natural injection is an isomorphism.

*Proof*

To begin notice that the polynomial ring has countably infinite dimension over . Since such a polynomial ring surjects onto it follows that is countably infinite. Next observe that, for any , a non-trivial -linear relation

**Exercise 1.2**

What is the interpretation of the quotient of an affine variety by the action of a finite group in terms of coordinate rings?

*Proof*

Let be an affine variety in , where is an ideal in . Let be a finite group which acts on . We can think of the elements of as maps , because the kernel of such a map is a maximal ideal, or equivalently, a maximal ideal gives such a map by the projection. This is convenient because it gives an easy way to define the Spec of a -algebra morphism. Given a morphism of -algebras , we can get a morphism of varieties in the opposite direction , using composition:

We want a variety which will be the quotient of by this action, a variety where we can think of the elements as orbits over the group action. That is, we want a surjective morphism of varieties such that for all and , and which is somehow universal.

Consider the set of -invariant elements of :

So all we need to check is that is a finitely generated -algebra. Suppose The elements of are a subset of , so let . If , then we have a morphism

So it is enough to show that is finitely generated. Writing is like choosing a basis for a vector space, and in fact, we can choose the generators and the ideal in such a way that each acts on the generators as a permutation (of the indices). So we can assume that is a subgroup of , the symmetric group on -variables. Then we have inclusions

**Exercise 1.3**

Let be an affine complex algebraic variety. It is compact in the euclidean topology if and only if it is a finite collection of points.

*Proof*

Let us suppose to be not empty and connected and let be the radical ideal of such that . Since is not empty, cannot be the entire polynomial ring. Let us consider any polynomial which does not belong to and let us take the regular function given by the restriction of the polynomial to the variety . Since is a connected compact analytic space and is a holomorphic function, we deduce from the maximum principle that is equal to a constant . We see that this constant is different from 0 since does not belong to the ideal . However, vanishes on and thus it belongs to the radical idea . Therefore we deduce that the ideal generated by and coincides with the whole ring since it contains . To sum up, we have proven that for any elements the ideal generated by and coincide with the ring of polynomials . This means that the ideal is maximal. Thus we conclude that is a point by the Nullstellensatz. If were not connected, it would be the union of a finite number of connected affine algebraic varieties and we can conclude by the above argument.

**Exercise 1.4**

A grading on the vector space such that the are finite dimensional is "the same as" a -action on with the property that each is contained in a finite dimensional subspace of that is -stable and such that the induced action on is algebraic.

*Proof*

Let us first find all one-parameter subgroups of , i.e. all group homomorphisms

**Exercise 1.5**

Derive the degree-genus formula for a nonsingular curve in of degree by degenerating it to the union of lines in general position.

*Proof*

Let be a nonsingular degree curve in . We know that such a curve is a compact and connected Riemann surface, so in particular it is a closed, connected, orientable manifold of real dimension 2 and hence it is topologically determined by its genus. We would like to "continuously deform" our given polynomial to one of the form

To make this a little more precise, note that we can identify each degree curve in with a point in . This is because a homogeneous polynomial of degree in three variables has coefficients and by the Nullstellensatz two such polynomials define the same curve in if and only if they are constant multiples of eachother. So we want our continuous deformation to be a path in connecting the point corresponding to to the one corresponding to such that each point on it, other than , corresponds to a nonsingular curve (so that its genus is well-defined).

Suppose we have achieved such a deformation (a word on why this is possible to follow). Then the curve defined by is a union of projective lines, that is, Riemann spheres in . But every two lines in intersect in a point. So we end up with spheres, every two of which touch, and the genus is the number of holes (right before we reach on our path of deformation we have a curve which looks like the touching spheres but every two of them are connected by a thin tube). To count the holes imagine shrinking the spheres to points, while the common point of every two spheres stretches to become a line segment connecting the two points. We thus obtain a complete graph with vertices. The number of edges in the graph is and a maximal tree has edges. Note that the maximal tree consists in fact of one root and leaves. From then on, every added edge creates a hole---the triangle with vertices the endpoints of that edge and the root. So the number of holes is

We now argue that the desired deformation always exists. We start with the two distinct points and in . Through them passes a unique projective line . Let be the set of points representing singular curves of degree in . It is a Zariski closed subset of and hence is Zariski closed in . But and so Zariski closed subsets (i.e. zeros of polynomials) are only finite sets or the whole of . But , so is finite. Thus is a Riemann sphere with finitely many points removed and hence there is a smooth path from to .

**Exercise 1.6**

Why the name "spectrum"? Given consider the (commutative!) -algebra generated by . What is its Spec?

*Proof*

Using the linear algebra definition, the spectrum of the linear operator is the set of its eigenvalues: . We want to see that this set is precisely the set of maximal ideal of the ring (so it's the same spectrum we defined in the lecture), i.e. the commutative -algebra generated by . We have already seen that

So we write down explicitly the maps between this two set and we show they are inverse maps. Let an eigenvalue, then

If is not a unit, then for some maximal ideal . So we associate to the homomophism whose kernel is . In the other direction, fixed , we have that , so it's not invertible and then . It's straightforward to check that these maps are inverse to each other.