[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.
>
> Can you suggest me some literature about this construction?
>
> 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/ \\\
More information about the Forum
mailing list