The book that I'm reading tells me that G2's weight lattice coincides with its root lattice but I do not understand the concept of weight lattice. I've been able to construct G2's root diagram (the one that looks like a star) from its Dynkin Diagram but now I'm stuck. I thought that weights depend on the representation you choose so I do not know how to approach this general question.
1 Answers
This is indeed a confusing issue. I hope to find time to write a longer answer later but in short:
There are two definitions of the weight lattice (they are equivalent, but that they are equivalent is a very interesting, non-trivival fact)
The weight lattice is the collection of points in $\mathbb{R}^2$ (for $G_2$), or in $\mathfrak{h}^*$ (in general) that appear as a weight in some finite dimensional representation. So while you are right that weights depend on the representation and each finite dimensional representation has only finitely many of them, the weight lattice is the collection of all such weights. The surprising thing is that they form a lattice - naively you would perhaps expect that the weights of one representation had no incentive whatsoever to behave 'nice' with respect to the weights of a different representation they have no way of knowing about, but somehow they do.
The weight lattice is the set of point that have integer inner product with each of the points in the root lattice. Here it is not surprising that they form a lattice, but it is surprising that this definition gives the same thing as definition 1.
- 10,614
-
1BTW I wrote a long answer about what weights are earlier. Maybe you already know everything in there, but maybe it is useful, see here: https://math.stackexchange.com/a/3949435/101420 – Vincent Mar 02 '22 at 10:47
-
Ohh thanks, this clarifies some things. How would you go about calculating this weight lattice? When do yo you know how to stop? – Athena Mar 02 '22 at 12:12
-
1Since any root is a linear combination of simple roots with integral coefficients, it is sufficient to check that the inner products with the simple roots are integers. – Andreas Cap Mar 02 '22 at 12:34