Abstract
This paper is a contribution to the classification of parallelisms in three-dimensional projective spaces over small finite fields of order q by computer. The smallest space in which parallelisms have not yet been classified is for \(q=4.\) Partial results are available. The parallelisms admitting a nontrivial automorphism of odd prime order are known. Moreover, much is known about the case of parallelisms of \({{\mathrm{PG}}}(3,4)\) whose automorphism group is a two group. Namely, everything is known for two of the three possible groups of order two, as well as for cyclic groups of order 4. The present paper will settle the case of parallelisms whose automorphism group is elementary abelian of order 4. This leaves open the cases of parallelisms whose full automorphism groups are either trivial or a specific group of order two.
Similar content being viewed by others
References
Al-ogaidi, A., Betten, A.: Large arcs in small planes. Congr. Numer. 232, 119–136 (2019)
Baker, R.D.: Partitioning the planes of \(AG_{2m}(2)\) into 2-designs. Discrete Math. 15, 205–211 (1976). https://doi.org/10.1016/0012-365X(76)90025-X
Beth, T., Jungnickel, D., Lenz, H.: Design theory I. Encyclopedia of Mathematics and its Applications, vol. 69, 2nd ed., Cambridge University Press, Cambridge (1999). https://doi.org/10.1017/CBO9780511549533
Betten, A.: Spreads and Packings-an Update. In: Booklet of Combinatorics 2016, pp. 45. Maratea (PZ), Italy, 29th May – 5th June (2016)
Betten, A.: The packings of \(PG(3,3)\). Des. Codes Cryptogr. 79(3), 583–595 (2016). https://doi.org/10.1007/s10623-015-0074-6
Betten, A.: Orbiter—a program to classify discrete objects, 2019. https://github.com/abetten/orbiter
Betten, A.: Orbiter User’s Guide, 2020. https://www.math.colostate.edu/~betten/orbiter/users_guide.pdf
Betten, A., Topalova, S., Zhelezova, S.: Parallelisms of \(PG(3,4)\) invariant under a Baer involution. In: Proceedings of the 16th International Workshop on Algebraic and Combinatorial Coding Theory, pp. 57 – 61. http://acct2018.skoltech.ru/ Svetlogorsk, Russia, (2018)
Betten, A., Topalova, S., Zhelezova, S.: Parallelisms of \(PG(3,4)\) invariant under cyclic groups of order \(4\). In: Ciric, M., Droste, M., Pin, J.-E. (ed.) 8-th International Conference, CAI 2019, LNCS, vol. 11545, pp. 88–99. Springer, Heidelberg (2019). https://doi.org/10.1007/978-3-030-21363-3_8
Betten, A., Topalova, S., Zhelezova, S.: New Uniform Subregular Parallelisms of \(PG(3,4)\) Invariant Under an Automorphism of Order \(2\).Cyber. Inf. Technol. 20(6), 18–27 (2020). https://doi.org/10.2478/cait-2020-0057
Beutelspacher, A.: On parallelisms in finite projective spaces. Geom. Dedicata 3(1), 35–40 (1974). https://doi.org/10.1007/BF00181359
Bosma, W., Cannon, J., Playoust, C.: The Magma algebra system I: the user language. J. Symbolic Comput. 24(3–4), 235–265 (1997). https://doi.org/10.1006/jsco.1996.0125
Dempwolff, U., Reifart, A.: The classification of the translation planes of order \(16\). I. Geom. Dedicata 15(2), 137–153 (1983). https://doi.org/10.1007/BF00147760
Denniston, R. H. F.: Some packings of projective spaces. Atti Accad. Naz. Lincei Rend. Cl. Sci. Fis. Mat. Natur. 52 (8), 36–40 (1972)
Fuji-Hara, R.: Mutually 2-orthogonal resolutions of finite projective space. Ars Combin. 21, 163–166 (1986)
The GAP Group: GAP - Groups, Algorithms, Programming—a System for Computational Discrete Algebra, version 4.11.1, 2021. http://www.gap-system.org/
Hirschfeld, J.W.P.: Finite projective spaces of three dimensions. Clarendon Press, Oxford (1985)
Johnson, N. L.: Some new classes of finite parallelisms. Note Mat. 20 (2), 77 – 88 (2000/01)
Johnson, N. L.: Combinatorics of spreads and parallelisms. Series: Chapman & Hall Pure and Applied Mathematics, 295, CRC Press, Boca Raton, FL. (2010)
Kaski, P., Östergård, P.: Classification algorithms for codes and designs, series: algorithms and computation in mathematics 15. Springer-Verlag, Berlin (2006)
Penttila, T., Williams, B.: Regular packings of \(PG(3, q)\). European J. Combin. 19(6), 713–720 (1998)
Prince, A.R.: Parallelisms of \(PG(3,3)\) invariant under a collineation of order 5. In: Johnson, N.L. (ed.) Mostly Finite Geometries. Lecture Notes in Pure and Applied Mathematics, vol. 190, pp. 383–390. Marcel Dekker, New York (1997)
Prince, A.R.: The cyclic parallelisms of \(PG(3,5)\). European J. Combin. 19(5), 613–616 (1998)
Sarmiento, J.: Resolutions of \(PG(5,2)\) with point-cyclic automorphism group. J. Combin. Des. 8(1), 2–14 (2000). https://doi.org/10.1002/(SICI)1520-6610(2000)8:1$<$2::AID-JCD2>3.0.CO;2-H
Stinson, D.R., Vanstone, S.A.: Orthogonal packings in \(PG(5,2)\). Aequationes Math. 31(1), 159–168 (1986)
Storme, L.: Finite Geometry. In: Colbourn, C., Dinitz, J. (ed.) Handbook of Combinatorial Designs. 2nd ed., Discrete mathematics and its applications, pp. 702–729. CRC Press, Boca Raton, FL. (2007)
Topalova, S., Zhelezova, S.: On transitive parallelisms of \(PG(3,4)\). Appl. Algebra Engrg. Comm. Comput. 24(3–4), 159–164 (2013). https://doi.org/10.1007/s00200-013-0194-z
Topalova, S., Zhelezova, S.: On point-transitive and transitive deficiency one parallelisms of \(PG(3,4)\). Des. Codes Cryptogr. 75(1), 9–19 (2015).
Topalova, S., Zhelezova, S.: New parallelisms of \(PG(3,4)\). Electronic Notes in Discrete Mathematics 57, 193–198 (2017).
Topalova, S., Zhelezova, S.: Isomorphism and Invariants of Parallelisms of Projective Spaces. In: Bigatti A., Carette J., Davenport J., Joswig M., de Wolff T. (ed.) Mathematical Software - ICMS 2020. ICMS 2020, LNCS, vol. 12097, pp. 162–172, Springer, Cham. (2020)
Topalova, S., Zhelezova, S.: Backtrack Search for Parallelisms of Projective Spaces. In: Flocchini P., Moura L. (ed.) Combinatorial Algorithms. IWOCA 2021. Lecture Notes in Computer Science, vol. 12757, 544 - 557. Springer, Cham. (2021)https://doi.org/10.1007/978-3-030-79987-8_38
Wagner, A.: Involutions of projective spaces, involutions of projective spaces. Math. Z. 112, 37–51 (1969)
Zaicev, G., Zinoviev, V., Semakov, N.: Interrelation of Preparata and Hamming codes and extension of Hamming codes to new double-error-correcting codes, In: Proceedings of International Symposium on Information Theory, (Armenia, USSR, 1971), pp. 257–263. Budapest, Académiai Kiadó (1973)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The research of the second and the third author is partially supported by the Bulgarian National Science Fund under Contract No. KP-06-N32/2-2019.
Appendices
A Proof of Lemma 3 using Orbiter
A computer calculation shows that \(C_G(c_1)\) has 29 orbits on the elements of class 2C, one of which consists of the element \(c_1\). Of the 28 orbits other than \(c_1\), we reject 21 because \(c_3=c_1c_2\) does not belong to class 2C. This leaves 7 possibilities for \(c_2\) under the action of \(C_G(c_1)\), summarized in Table 11.
But these 7 cases do not correspond to the conjugacy classes of subgroups, because \(c_1\) is distinguished. They are pairs of groups (H, K) with \(H \le K\) with \(H = \langle c_1 \rangle\) and all nontrivial elements of K belong to class 2C. We now have to consider all other choices for subgroups of K which could play the role of H. To do so, we let each of \(c_2\) and \(c_3\) play the role of \(c_1\). We consider only one case, the other case is similar. Suppose we pick \(c_2\) to play the role of \(c_1\). To this end, we determine an element \(g \in G\) such that \(c_2^g=c_1,\) so \(\langle c_2^g \rangle = H.\) We then check to which line in Table 11\(c_1^g\) belongs. There are two cases. If \(c_1^g\) belongs to the same orbits as \(c_2\) under \(C_G(c_1)\) we can determine an element \(h\in C_G( c_1)\) such that \(c_1^{gh} = c_2.\) In this case we have
and hence \(gh \in N_G(K).\) If \(c_1^g\) belongs to a different case in Table 11, we eliminate that case. We then repeat the procedure for \(c_3\), again finding \(g\in G\) and possibly \(h\in C_G( c_1)\) to either find another generator for \(N_G(K)\) or to eliminate another row of Table 11. The set of gh for which we compute when we stay in the same case in Table 11 form a system of coset representatives for \(N_G(\langle c_1,c_2,c_3\rangle )\) with respect to the subgroup that is listed as the stabilizer of \(c_2\) in \(C_G(c_1)\). After small calculations in the computer algebra system Orbiter [6], this yields the 5 groups listed in Table 2. Note that this procedure gives explicit generators for the normalizer \(N_G(\langle c_1,c_2,c_3\rangle ).\)
B Orbiter code for the construction of parallelisms
Orbiter is written in C++ and uses the unix command line. For a description, see the user’s guide at [7]. Makefiles or shell scripts can be used to perform simple programming of orbiter command, for instance using string variables. Makefiles allow to store multiple commands in one file, which is not the case with shell scripts. We will show some example code (makefile code) that was used to verify the claims made in the paper. Line numbers are shown for convenience (they are not part of the file). Makefiles are very sensitive to whitespace characters. For this reason, we show the code in a slightly enhanced form. Tabulator symbols are indicated as small triangles pointing to the right. The command below sets up makefile variables for the group, its normalizer, and for the spreads in \({\mathrm{PG}}(3,4)\). We define the group H1 as the first group from Lemma 3, and the group N1 to be the normalizer (of order 768). Both groups are then collected in the variable GROUP_AND_NORMALIZER:
The next step is to create a table of all spreads in \({\mathrm{PG}}(3,4).\) The following command does just that.
This command starts by defining the field \(F={{\mathbb {F}}}_4\), the projective space \(P={\mathrm{PG}}(3,4)\), and the table of spreads T. This command takes some computing time (about an hour on a conventional laptop). The spread tables are stored in files in a subdirectory SPREAD_TABLES_4. The parameter 2 refers to the vector space dimension of the spread elements (we are considering line-spreads). The parameter "0,1,2" refers to the three isomorphism types of spreads in \({\mathrm{PG}}(3,4)\) as in Lemma 2. The following command creates the orbits of H1 on spreads and writes a latex report:
The next command computes the 5-cliques on the graph of fix-spreads, and classifies them under the action of N1. As it turns out, there are 8 orbits.
The following command processes each of the orbits on fix points and computes the cliques on the graph of long orbits:
The final steps involve assembly of the packings from the long and short orbits, as well as isomorphism testing. For reasons of space, we omit these steps. The complete set of makefiles associated with the work described in this paper is available through the Orbiter distribution [6] (in the directory examples/BTZ2022).
Rights and permissions
About this article
Cite this article
Betten, A., Topalova, S. & Zhelezova, S. Parallelisms of PG(3,4) invariant under an elementary abelian group of order 4. AAECC 33, 649–674 (2022). https://doi.org/10.1007/s00200-022-00562-7
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00200-022-00562-7