[GAP Forum] Linear representation of G2(q), q even

Frank Lübeck frank.luebeck at math.rwth-aachen.de
Mon Dec 22 12:53:42 GMT 2008

```On Sat, Dec 20, 2008 at 04:01:37PM +0100, Nagy Gábor wrote:
> It is "well known" that for even prime power q, the exceptional Lie group
> G2(q) has two linear representations of dimension 6, both are transitive on
> the set of non-zero vectors.
>
>
> I am escpecially interested in the question if the induced transitive
> representations on the 5-dimensional projective spaces PG(5,q) are
> primitive?

Dear Gabor, dear Forum,

I don't have a reference, but maybe the following is of some help.

G2(q), q=2^f, has f irreducible representations in characteristic 2,
one of the fundamental representations and its Frobenius twists
(i.e., combinations with the field automorphism of GF(q)/GF(2)).

I print below "generic" generators of G2(2^f), substitute the variable T
by Z(2^f) to get generators for some specific f.

With this you can check for q = 2, 4, 8 in GAP that the action on non-zero
vectors is transitive and the action on PG(5, q) is primitive. I'm not sure
if one could somehow use these generators also to prove these properties in
general.

Best regards,

Frank

And here are the matrices, these are generators of root subgroups:

G2char2gens :=
[ [ [ 1, T, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, T^2, 0, 0 ],
[ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, T ], [ 0, 0, 0, 0, 0, 1 ] ],
[ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, -T, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ],
[ 0, 0, 0, 1, T, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ],
[ [ 1, 0, 0, 0, 0, 0 ], [ T, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ],
[ 0, 0, T^2, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, T, 1 ] ],
[ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, -T, 1, 0, 0, 0 ],
[ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, T, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ];

--
///  Dr. Frank Lübeck, Lehrstuhl D für Mathematik, Templergraben 64,  ///
\\\                    52062 Aachen, Germany                          \\\
///  E-mail: Frank.Luebeck at Math.RWTH-Aachen.De                        ///
\\\  WWW:    http://www.math.rwth-aachen.de/~Frank.Luebeck/           \\\

```