# GIT lecture 7

This lecture ( GIT7 ) was given on 9/11/09

### Excerpts

Regarding the example of the alternating group. Let , then acts on . By the group of order 2 can only act on a vector space trivially or by multiplication by , because are all the irreducibly representations. Hence all are semi invariants, from a lemma last time these can be written as a product of for the orbits of the subset of reflections, in this case there is only one orbits, so only one semi invaraint, so the claim about the structure of .

Also in the example of the symmetries of the cube, invariants and semi invariants were constructed and from these we obtained (using ) to get . and there was a relation , but plugging everything an multiplying did not seem to give zero.

Consider smooth maps with . The problem is to classify germs of such maps. The map is simple, ( is simple singularity) if a small nbd of intersects nontrivially with only finitely many orbits under the action (the twiddle means only defined in a small nbd, and Diff stands for diffeomorphisms). Not really sure what this means….

### Finite subgroups of SU(2)

Recall the double cover . So for finite, we get an image group . The upshot is the image group is either a rotation group, a dihedral group, or rotations of a polytope. The vertices of the polytope can be recovered as . Its a finite set with an action, so it can be partitioned into orbits.

The key idea is to count the cardinality of the set . This group is a subset of SO(3), so its a rotation hence fixes two points on the sphere, so . Setting then is the order of . So . In particular, we get

Since these things are all integers it can be checked only are possible. From this the order of can be determined. It turns out that corresponds to rotations, . Then and various different values of the gives dihedral groups and the rotational symmetries of the tetrahedron, the cube (or octahedron), and dodecahedron (or icosahedron). This first part is essentially the same as what is presented in Artin’s Algebra book. The notes also contain a table of geometric quotients you get when modding out by these groups.

### Lie Algebras & Algebraic Groups

The connection between the description and is given by defined by and .

For an algebraic group, consider all . Then we can single out the right invariants ones. By abuse of notation, also denote the backwards map induced by by . Right invariant mean is the same as . And this should be true for all , and the map can be written as the composition , which gives a ring homomorphism , so right invariance can be described using the hopf algebra maps, and we the Lie algebra is defined

.

## About this entry

You’re currently reading “GIT lecture 7,” an entry on Math Meandering

- Published:
- September 15, 2009 / 2:06 pm

- Category:
- GIT (course)

- Tags:
- red text

## No comments yet

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