5
$\begingroup$

I am trying to learn Geometric invariant theory like it was introduced by Mumford. But I do not have a strong motivation and so I want to know the reason of studying Geometric invariant theory. I just know Geometric invariant theory plays an important role in the construction of moduli spaces.

What's a reason for studying Geometric invariant theory? And, what are related (big or small) problems with Geometric invariant theory in algebraic geometry?

Any answer will be very helpful for me.

$\endgroup$
  • $\begingroup$ Would "it is interesting and rich" count as a "reason for studying GIT"? (I think that if this question stays open then it would be helpful to have a better idea of the kind of answer you want.) $\endgroup$ – Yemon Choi May 3 '15 at 16:10
  • 2
    $\begingroup$ One reason for studying GIT would be the construction of quotients (and hence of various types of moduli spaces). Mumford showed that if $X \subseteq \Bbb{P}(V)$ is a projective variety with $V$ a linear representation of a linearly reductive group $G$, such that $G$ acts on $X$ via restriction, then a good quotient of the semistable locus $X^{ss}$ exists. This idea was used by Mumford, Gieseker, etc to prove that a coarse moduli space $M_g$ exists. Nowadays, there are more fancy methods to prove this coarse moduli space exists, such as the Keel-Mori Theorem. $\endgroup$ – Ben Lim May 3 '15 at 16:59
19
$\begingroup$

I guess that the first motivation for geometric invariant theory was elementary geometry. From the point of view of the Erlangen program, a geometry is the study of the properties of a space that are invariant under a given group of transformations. Pretty close from the goal of geometric invariant theory, isn't it?

So for example, the only invariant of four points on the projective plane (under the projective group) is the cross-ratio (to be precise, any such rational invariant is an algebraic expression of the cross-ratio) . There are several invariants of two vectors in the euclidean plane: the inner product of the vectors, the (square of the norm of the) exterior product of these vectors and the ones obtained from the (square of the) norms of the two vectors, and of course any algebraic expression obtained from these invariants. There are none others and they give rise to the usual invariants of euclidean geometry, namely, length and angles.

Geometric invariant theory also classifies the relations between the invariants (and relations between the relations etc). For example, the ideal of relations between the invariants of two vectors in euclidean geometry is generated by the relation $$ \parallel u \parallel^2 \parallel v \parallel^2 - \parallel u \times v\parallel^2 - \parallel u | v \ \parallel^2 $$ It can be shown that any theorem of projective plane geometry (either true or false) is equivalent to a relation between the invariants of the geometry. Here, the term "Theorem" should be understood in a geometric sense, as a (finite) succession of projective transformations that build points and lines from a given (finite) set of initial conditions.

For example the projective Pappus theorem is equivalent to the following (true) relation $$ [ (b \wedge c') \wedge (b'\wedge c), (c \wedge a')\wedge (c' \wedge a), (a \wedge b')\wedge (a'\wedge b)] = [b',c',a][c',a',b][a',b',c][a,b,c] - [b,c,a'][c,a,b'][a,b,c'][a',b',c'] $$ where $a,b,c,a',b',c'$ are ( projective coordinates of the) points in the plane, $a\wedge b$ is (the coordinates in the dual of) the line determined by the points $a,b$, the wedge of two lines is the intersection point of the lines, and the bracket is the determinant of the three vectors representing the points in the projective plane. This may appear as a pretty complex relation between the coordinates of the points when expanded in polynomial form, but geometric invariant theory provides a neat classification of these relations.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.