TY - JOUR
T1 - The symmetric representation of lines in PG(F3⊗F3)
AU - Lavrauw, Michel
AU - Popiel, Tomasz
N1 - Funding Information:
The first author acknowledges the support of The Scientific and Technological Research Council of Turkey TÜBİTAK (project no. 118F159 ). The second author acknowledges the support of the Australian Research Council Discovery Grant DP140100416 , which funded his previous appointment at The University of Western Australia (UWA). He is also indebted to UWA’s Centre for the Mathematics of Symmetry and Computation for partially funding his visit to the University of Padua in June 2016, during which this work was initiated, and to the University of Padua for their hospitality. Both authors would like to thank the anonymous referees for their time and interest in this work, and for pointing out the papers [1,18] . They would also like to thank Hans Havlicek for valuable discussions and feedback which lead to significant corrections and improvements to the paper.
Funding Information:
The first author acknowledges the support of The Scientific and Technological Research Council of Turkey T?B?TAK (project no. 118F159). The second author acknowledges the support of the Australian Research Council Discovery Grant DP140100416, which funded his previous appointment at The University of Western Australia (UWA). He is also indebted to UWA's Centre for the Mathematics of Symmetry and Computation for partially funding his visit to the University of Padua in June 2016, during which this work was initiated, and to the University of Padua for their hospitality. Both authors would like to thank the anonymous referees for their time and interest in this work, and for pointing out the papers [1,18]. They would also like to thank Hans Havlicek for valuable discussions and feedback which lead to significant corrections and improvements to the paper.
Publisher Copyright:
© 2019 Elsevier B.V.
PY - 2020/4
Y1 - 2020/4
N2 - Let F be a finite field, an algebraically closed field, or the field of real numbers. Consider the vector space V=F3⊗F3 of 3 × 3 matrices over F, and let G≤PGL(V) be the setwise stabiliser of the corresponding Segre variety S3,3(F) in the projective space PG(V). The G-orbits of lines in PG(V) were determined by the first author and Sheekey as part of their classification of tensors in F2⊗V in [15]. Here we solve the related problem of classifying those line orbits that may be represented by symmetric matrices, or equivalently, of classifying the line orbits in the F-span of the Veronese variety V3(F)⊂S3,3(F) under the natural action of K=PGL(3,F). Interestingly, several of the G-orbits that have symmetric representatives split under the action of K, and in many cases this splitting depends on the characteristic of F. Although our main focus is on the case where F is a finite field, our methods (which are mostly geometric) are easily adapted to include the case where F is an algebraically closed field, or the field of real numbers. The corresponding orbit sizes and stabiliser subgroups of K are also determined in the case where F is a finite field, and connections are drawn with old work of Jordan and Dickson on the classification of pencils of conics in PG(2,F), or equivalently, of pairs of ternary quadratic forms over F.
AB - Let F be a finite field, an algebraically closed field, or the field of real numbers. Consider the vector space V=F3⊗F3 of 3 × 3 matrices over F, and let G≤PGL(V) be the setwise stabiliser of the corresponding Segre variety S3,3(F) in the projective space PG(V). The G-orbits of lines in PG(V) were determined by the first author and Sheekey as part of their classification of tensors in F2⊗V in [15]. Here we solve the related problem of classifying those line orbits that may be represented by symmetric matrices, or equivalently, of classifying the line orbits in the F-span of the Veronese variety V3(F)⊂S3,3(F) under the natural action of K=PGL(3,F). Interestingly, several of the G-orbits that have symmetric representatives split under the action of K, and in many cases this splitting depends on the characteristic of F. Although our main focus is on the case where F is a finite field, our methods (which are mostly geometric) are easily adapted to include the case where F is an algebraically closed field, or the field of real numbers. The corresponding orbit sizes and stabiliser subgroups of K are also determined in the case where F is a finite field, and connections are drawn with old work of Jordan and Dickson on the classification of pencils of conics in PG(2,F), or equivalently, of pairs of ternary quadratic forms over F.
KW - Pencils of conics
KW - Quadratic form
KW - Segre variety
KW - Tensor product
KW - Veronese variety
UR - http://www.scopus.com/inward/record.url?scp=85076835508&partnerID=8YFLogxK
U2 - 10.1016/j.disc.2019.111775
DO - 10.1016/j.disc.2019.111775
M3 - Article
AN - SCOPUS:85076835508
SN - 0012-365X
VL - 343
JO - Discrete Mathematics
JF - Discrete Mathematics
IS - 4
M1 - 111775
ER -