An overview of operations is given that produce gram matrices to construct standard forms. The notion standard form is explained in Section 7.2, in the context of canonical and standard polar spaces.
‣ CanonicalGramMatrix ( type, d, f )  ( operation ) 
Returns: a Gram matrix usable as input to construct a sesquilinear form
The arguments d and f are the vector dimension and the finite field respectively. The argument type is either "symplectic", "hermitian", "hyperbolic", "elliptic" or "parabolic".
If type equals "symplectic", the Gram matrix is

If type equals "hermitian", the Gram matrix is the identity matrix of dimension d over the field \(f=GF(q)\)
If type equals "hyperbolic", the Gram matrix is

If type equals "elliptic", the Gram matrix is

If type equals "parabolic", the Gram matrix is

There is no error message when asking for a hyperbolic, elliptic or parabolic type if the characteristic of the field \(f\) is even. In such a case, a matrix is returned, which is of course not suitable to create a bilinear form that corresponds with an orthogonal polar space. For this reason, CanonicalGramMatrix
is not a operation designed for the user.
‣ CanonicalQuadraticForm ( type, d, f )  ( operation ) 
Returns: a Gram matrix usable as input to construct a quadratic form
The arguments d and f are the vector dimension and the finite field respectively. The argument type is either "hyperbolic", "elliptic" or "parabolic". The matrix returned can be used to construct a quadratic form.
If type equals "hyperbolic", the Gram matrix returned will result in the quadratic form x_{1}x_{2}+...+ x_{d1}x_{d}
If type equals "elliptic", the Gram matrix returned will result in the quadratic form x_{1}^{2}+x_{1}x_{2}+νx_{2}^{2} ...+ x_{d1}x_{d}with ν=α^{i}, with α the primitive element of the multiplicative group of \(GF(q)\), which is in GAP Z(q)
, and \(i\) the first number in \([0,1,...,q2]\) for which x^{2}+x+ν is irreducible over \(GF(q)\).
If type equals "parabolic", the Gram matrix returned will result in the quadratic form x_{1}^{2}+x_{2}x_{3}+... + x_{d1}x_{d}
This function is intended to be used only when the characteristic of f is two, but there is no error message is this is not the case. For this reason, CanonicalQuadraticForm
is not an operation designed for the user.
As explained in Chapter 7, Section 7.7, we have assumed that the user asks for the projective classical groups in an indirect way, i.e. as a (subgroup) of the collineation group of a classical polar space. However, shortcuts to these groups exist. More information on the notations can be found in Section 7.7.
‣ SOdesargues ( e, d, f )  ( operation ) 
Returns: the special isometry group of a canonical orthogonal polar space
The argument e determines the type of the orthogonal polar space, i.e. 1,0,1 for an elliptic, hyperbolic, parabolic orthogonal space, respectively. The argument d is the dimension of the underlying vector space, f is the finite field. The method relies on SO
, a GAP command returning the appropriate matrix group. Internally, the invariant form is asked, and the base change to our canonical form is obtained using the package form
gap> SOdesargues(1,6,GF(9)); PSO(1,6,9) gap> SOdesargues(0,7,GF(11)); PSO(0,7,11) gap> SOdesargues(1,8,GF(16)); PSO(1,8,16)
‣ GOdesargues ( e, d, f )  ( operation ) 
Returns: the isometry group of a canonical orthogonal polar space
The argument e determines the type of the orthogonal polar space, i.e. 1,0,1 for an elliptic, hyperbolic, parabolic orthogonal space, respectively. The argument d is the dimension of the underlying vector space, f is the finite field. The method relies on GO
, a GAP command returning the appropriate matrix group. Internally, the invariant form is asked, and the base change to our canonical form is obtained using the package form
gap> GOdesargues(1,6,GF(9)); PGO(1,6,9) gap> GOdesargues(0,7,GF(11)); PGO(0,7,11) gap> GOdesargues(1,8,GF(16)); PGO(1,8,16)
‣ SUdesargues ( d, f )  ( operation ) 
Returns: the special isometry group of a canonical hermitian polar space
The argument d is the dimension of the underlying vector space, f is the finite field. The method relies on SU
, a GAP command returning the appropriate matrix group. Internally, the invariant form is asked, and the base change to our canonical form is obtained using the package form
gap> SUdesargues(4,GF(9)); PSU(4,3^2)
‣ GUdesargues ( d, f )  ( operation ) 
Returns: the isometry/similarity group of a canonical hermitian polar space
The argument d is the dimension of the underlying vector space, f is the finite field. The method relies on GU
, a GAP command returning the appropriate matrix group. Internally, the invariant form is asked, and the base change to our canonical form is obtained using the package form
gap> GUdesargues(4,GF(9)); PGU(4,3^2)
‣ Spdesargues ( d, f )  ( operation ) 
Returns: the (special) isometry group of a canonical symplectic polar space
The argument d is the dimension of the underlying vector space, f is the finite field. The method relies on Sp
, a GAP command returning the appropriate matrix group. Internally, the invariant form is asked, and the base change to our canonical form is obtained using the package form
gap> Spdesargues(6,GF(11)); PSp(6,11)
‣ GeneralSymplecticGroup ( d, f )  ( operation ) 
Returns: the isometry group of a canonical symplectic form
The argument d is the dimension of the underlying vector space, f is the finite field. Internally, the invariant form is asked, and the base change to our canonical form is obtained using the package form
gap> GeneralSymplecticGroup(6,GF(7)); GSp(6,7)
‣ GSpdesargues ( d, f )  ( operation ) 
Returns: the similarity group of a canonical symplectic polar space
The argument d is the dimension of the underlying vector space, f is the finite field. The method relies on Sp
, a GAP command returning the appropriate matrix group. Internally, the invariant form is asked, and the base change to our canonical form is obtained using the package form
gap> GSpdesargues(4,GF(9)); PGSp(4,9)
‣ GammaSp ( d, f )  ( operation ) 
Returns: the collineation group of a canonical symplectic polar space
The argument d is the dimension of the underlying vector space, f is the finite field. The method relies on GeneralSymplecticGroup
, and adds the frobenius automorphism.
gap> GammaSp(4,GF(9)); PGammaSp(4,9)
‣ DeltaOminus ( d, f )  ( operation ) 
Returns: the similarity group of a canonical elliptic orthogonal polar space
The argument d is the dimension of the underlying vector space, f is the finite field. The method relies on GOdesargues
, and computes the generators to be added.
gap> DeltaOminus(6,GF(7)); PDeltaO(6,7)
‣ DeltaOplus ( d, f )  ( operation ) 
Returns: the similarity group of a canonical hyperbolic orthogonal polar space
The argument d is the dimension of the underlying vector space, f is the finite field. The method relies on GOdesargues
, and computes the generators to be added.
gap> DeltaOplus(8,GF(7)); PDeltaO+(8,7)
‣ GammaOminus ( d, f )  ( operation ) 
Returns: the collineation group of a canonical elliptic orthogonal polar space
The argument d is the dimension of the underlying vector space, f is the finite field. The method relies on DeltaOminus
, and computes the generators to be added.
gap> GammaOminus(4,GF(25)); PGammaO(4,25)
‣ GammaO ( d, f )  ( operation ) 
Returns: the collineation group of a canonical parabolic orthogonal polar space
The argument d is the dimension of the underlying vector space, f is the finite field. The method relies on GO
, a GAP command returning the appropriate matrix group. Internally, the invariant form is asked, and the base change to our canonical form is obtained using the package form. Furthermore, the generators to be added are computed.
gap> GammaO(5,GF(49)); PGammaO(5,49)
‣ GammaOplus ( d, f )  ( operation ) 
Returns: the collineation group of a canonical hyperbolic orthogonal polar space
The argument d is the dimension of the underlying vector space, f is the finite field. The method relies on DeltaOplus
, and computes the generators to be added.
gap> GammaOplus(6,GF(64)); PGammaO+(6,64)
‣ GammaU ( d, f )  ( operation ) 
Returns: the collineation group of a canonical hermitian variety
The argument d is the dimension of the underlying vector space, f is the finite field. The method relies on GU
, a GAP command returning the appropriate matrix group. Internally, the invariant form is asked, and the base change to our canonical form is obtained using the package form. Furthermore, the generators to be added are computed.
gap> GammaU(4,GF(81)); PGammaU(4,9^2)
‣ G2fining ( d, f )  ( operation ) 
Returns: the Chevalley group G_2(q)
This group is the group of projectivities stabilising the split Cayley hexagon embedded in the parabolic quadric \(Q(6,q):\) X_{0}X_{4}+X_{1}X_{5}+X_{2}X_{6}=X_{3}^{2}. f must be a finite field and d must be 5 or 6. When d is 5, F must be a field of even order, and then the returned group consists of projectivities of \(W(5,q)\). The generators of this group are described explicitly in [VM98], Appendix D. A correction can be found in [Off00]. However, also this source contains a mistake.
‣ 3D4fining ( f )  ( operation ) 
Returns: the Chevalley group 3D4(q)
The argument f must be a field of order q^{3} This group is the group of collineations stabilising the twisted triality hexagon embedded in the hyperbolic quadric Q^{+}(7,q): X_{0}X_{4}+X_{1}X_{5}+X_{2}X_{6}+X_{3}X_{7} The generators of this group are described explicitly in [VM98], Appendix D.
The GenSS uses a function FindBasePointCandidates
taking a group as one of the arguments. From a geometrical point of view, it is straightforward to construct a basis for a collineation group for the action on projective points.
‣ FindBasePointCandidates ( g, opt, i, parentS )  ( operation ) 
Returns: a record
The returned record contains the base points for the action, and some other fields. The information in the other fields is determined from the arguments opt and i. More information on these details can be found in the manual of GenSS.
Variations on this version of BasePointCandidates
are found in FinInG used in previous versions of GenSS. These variations are already or will become obsolete in the (near) future.
generated by GAPDoc2HTML