# GIT First Lecture

Question: if is an alg. group acting on an affine variety say over an algebraically closed field , then is there a good *geometric* object to call ? Considering just the topological structure, there is a topological space (constructed by modding out by an equivalence relation determined by G-orbits), but the usual quotienting business for a top. sp might not produce an alg. variety.

Let be the affine coordinate ring of . The action of on produces ring automorphisms . A good thing to do is to consider the ring of invariants , and consider as a candidate for a geometric quotient. Now

- In general is not finitely generated, but it is fin. gen. in the case of reductive groups ( meaning G is a reductive group?)
- In general, as topological spaces, (example 1)
- In general, (example 1); but it is true if there is a stable orbit (more later)

### Examples

Example 1: , so and with action

In this case its not hard to see that the only regular function that are invariants are quotients of homogeneous polynomials of the same degree, but there are no quotients in , so . Thus is a point . Also

But .

An action on is a closed action if the orbit of any point is a closed set.

Example 2: In the affine plan, is a closed action of .

Example 3: , with action given by . So in particular the orbits are the conjugacy classes which are classified by the Jordan normal form.

Now , so what is and what are the invariant matrices?

Recall the is invariant under conjugation, so writing

where, for example,

It follows that ; in fact (claim!) .

Let be the diagonal matrices. Then it is readily verified that are the elementary symmetric polynomials in n variables, hence alg. independent.

In this case .

Example 4: Here a moduli space is constructed for degree 2 curves in the affine plane considered up to roation and translation. A general element can be equivalently given by the matrix

Now the group we want to quotient out by is the semidirect product of the rotation group with the group of rigid translations: . In view of , there is representation of G ( suppressing full sine and cosine notation):

My normal definition of rotations and translations would say that positive rotation are counterclockwise and translating by (l,m) takes the origin to (l,m), meaning the equations in original coordinates changes from to . But if instead the curve always remains fixed, and the ambient plane moves then all of the above get switched. If the space in which the curve sits rotates counterclockwise by some amount, with the curve fixed, it would appear to from the ambient space’s perspective that the curve has rotated clockwise; now translating by (l,m) takes to . Then there seems to be the following interpretation:

This interpretation is consistent (I think) with matrix multiplication for the representation given above.

As is 6 dimensional and the representation above is 3 dimensional we expect the ring of invariants to be 6-3 = 3 dimensional. Here are some invariants:

Proposition:

proof: It can be checked that . Also, are invariant under the induced automorphisms of on . Thus, it suffices to prove

Calculating the determinant gives . But the determinant is invariant (since ) so after applying a general element of $latex G_0$, get . Using these observations, conclude that does not depend on . (apparently) this is enough info to conclude that generate all other invariants. Q.E.D

Now consider the group generated by and (acting by multiplication of scalar matrices). Also assume meaning deal only with nondegenerate quadratics. Then can get something interesting when considering . Here we’re looking for ratios of homogeneous polynomials where the denominator is some power of D.

In fact for can show (exercise!) that generate all the invariants of . So it would appear that a moduli space for nondegenerate degree 2 curves in the plane is given by the surface defined by .

## About this entry

You’re currently reading “GIT First Lecture,” an entry on Math Meandering

- Published:
- August 26, 2009 / 10:00 pm

- Category:
- GIT (course)

- Tags:

## No comments yet

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