Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2009/iii/paper-6/4/ii/solution

Number the simple roots so that is short and is long. In a Euclidean plane take
Their squared lengths are , and their angle is . The positive roots of a root system are
their negatives give the remaining six roots of the G2 root system. The three short positive roots of a root system are , , and .
Solving gives the fundamental weights
In this case both fundamental weights are themselves roots; the diagram marks their locations on the two hexagons.
Figure 1.
The twelve G2 roots with short-first simple roots and fundamental weights marked on the short and long hexagons
. Details.
Let and . Relative to the simple coroots, the six positive coroots, in the root order above, have coordinates
For example, has squared length one, so its coroot is ; the analogous length computation gives each other entry. Since , the pairings of with these coroots are , , , , , and . Their values at multiply to . The Weyl dimension formula therefore yields the G2 dimension polynomial
This holds for all nonnegative integers . In particular it gives dimensions and for and , and for . Reversing the numbering of the simple roots would interchange in the polynomial, so the short-first convention matters.

New to topics? Read the docs here!