# Commutator table for Chevalley group G_2

Dear community,

I'm looking for a table that lists the full commutation relations for the Chevalley group $G_2$. I could do this myself (although it would take quite a while), but maybe there is already such a table out there?

Sincerely, and thank you,

-
Jut to be sure: you want the commutation relations for the group or the Lie algebra? –  Mariano Suárez-Alvarez Apr 10 '12 at 1:49
Dear Mariano : Yes, I'd like the commutation relations for the group. –  Moshe Adrian Apr 10 '12 at 2:22
Would the relations between 6 or 7 consecutive root groups of $G_2(q)$ be sufficient for your purposes? I can give you that if you want. –  Koen S Apr 10 '12 at 11:18
@ Koen : thank you for your response, Jim has now provided me with what I need. –  Moshe Adrian Apr 10 '12 at 18:05

It would help to clarify the context of "Chevalley group" here, but over any field one gets uniform results by starting with a Chevalley basis for the associated complex Lie algebra. The commutation relations for rank 2 groups including $G_2$ are given explicitly in SGA3 and written down similarly in my 1975 Springer text Linear Algebraic Groups in section 33.5.

ADDED: There are two cases not involving a pair of positive roots. 1) If the two roots are independent, they both lie in some positive system. Using the standard picture of the 12 roots, it's easy to visualize the Weyl group transformation involved. Then just relabel the two roots by the corresponding two in the fixed positive system and apply the formulas worked out there. 2) If the roots are negatives of each other, life gets a little more complicated. But here the commutation takes place in a rank 1 group. Explicit commutation formulas here are usually avoided in the literature but take place just in a group like $\rm{SL}_2$.

Maybe it would also help to add two relevant online references. Both are based ultimately on a Chevalley basis (keeping in mind that such a basis is unique only up to certain sign choices) as well as the ideas in Chevalley's 1956-58 classification seminar.

SGA3 is now online here. See in particular Expose XXIII.

Steinberg's 1967-68 Yale lectures on Chevalley groups are available at his homepage here. See Section 6, page 66.

-
Dear Jim, This is exactly what I am looking for, however : it seems that in the references you mentioned, there are only formulas for $[\epsilon_{\delta}(y), \epsilon_{\gamma}(x)]$ where $\delta, \gamma$ are positive roots. Is there a reference where $\delta, \gamma$ can be arbitrary roots? (many commutators will be trivial, but it is important for me to allow $\delta$ or $\gamma$ to be negative) Moshe –  Moshe Adrian Apr 10 '12 at 15:01
@Moshe: Maybe my added comments will help to clarify things. –  Jim Humphreys Apr 10 '12 at 17:18
Dear Jim, Perfect. Thanks again. –  Moshe Adrian Apr 10 '12 at 17:26

At first: sorry, I could't find the source you were looking for, but I'm so free to sketch two ways how you in my opinion get very fast to the informations you need (especially the latter, generic, might be the reason rarely somebody wants to work out all relations?)

Maybe you've a more specific question than just knowing the entire table, which schould be quite huge?

By the way: With Chevalley-group you mean the finite simple group? But not the twisted one? I assume yes on both, as this is what you wrote ;-)

1) The probably easiest way to directly and elementary get ahold of $G_2$ is as folding of $D_4$ by the cyclic interchange of the three outer nodes. I.e. take $D_4=so_8$ and take the sub-algebra, sub-root-system, etc. fixed by the outer order-3-automorphism often named triality. I'm not 100% sure and don't have a proper source, where this is done for Chevalley groups, but I'm pretty positive, you just do it ;-)

....do NOT confuse this with the construction of the Steinberg group $^3D_4(q^3)$, where one takes (analogously to the construction of unitary groups) the elements, where the action of the automorphisms matches the order 3 galois field automorphisms forced to exist by taking $\mathbb{F}_{q^3}$.

This way you're commutator relations of $G_2(q)$ are just a subset of those in $SO_8(\mathbb{F}_q)$, where calculating is obvious (but tedious?)

2) The more uniform, direct way would be starting with a Chevalley basis of the Lie algebra $G_2$ (which I'm sure is not hard and/or can be found in literature - I'll look into it, if I find time...) - the relations are then just exponentiated to the Chevalley group.

This way you can read off the commutator relations just from the structure constants of the Lie algebra $G_2$, that I'm sure are worked out at many places

-
@ Simon : Thank you for your response, 2) is the approach I was hoping to take, and Jim has kindly provided a resolution of this. –  Moshe Adrian Apr 10 '12 at 19:25
Yes, that was definitely the more precise and helpful answer - but thanks for the thanks at this place too ;-) ;-) I looked at his Lie algebra book but only found the "reader problem", whether the usual G2 basis is a Chevalley one... –  Simon Lentner Apr 10 '12 at 23:42