pith. sign in

arxiv: 2604.14628 · v2 · pith:IAC3G6GOnew · submitted 2026-04-16 · 🧮 math.CO

Orbits and incidence matrices for points, planes and lines regarding the twisted cubic in PG(3,q), q = 2, 3, 4

Alexander A. Davydov , Stefano Marcugini , Fernanda Pambianco This is my paper

Pith reviewed 2026-05-21 00:17 UTC · model grok-4.3

classification 🧮 math.CO
keywords twisted cubicPG(3,q)orbit classificationincidence matricesfinite projective geometrynormal rational curveprojectivity group
0
0 comments X

The pith

For q=2, 3 and 4 the orbits of points, planes and lines under the group fixing the twisted cubic in PG(3,q) are classified and their incidence matrices are determined.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper examines the normal rational curve called the twisted cubic inside the three-dimensional projective space PG(3,q) over a finite field. It determines every orbit of points, planes and lines that arises when the projectivity group fixing this curve acts on the space. The authors also produce the incidence matrices that record how objects from each orbit meet objects from every other orbit. A reader would care because these explicit partitions and matrices finish previously open classification tasks for the smallest fields, supplying concrete combinatorial data that can be checked by hand or machine.

Core claim

The projectivity group G_q that stabilizes the twisted cubic in PG(3,q) partitions the points, planes and lines into finitely many orbits for q equal to 2, 3 and 4. The paper lists representatives for each orbit and computes the incidence matrices between the point orbits, the plane orbits and the line orbits.

What carries the argument

The projectivity group G_q that fixes the twisted cubic, acting by collineations on the points, planes and lines of PG(3,q).

If this is right

  • Explicit orbit representatives and incidence counts become available for direct use in combinatorial constructions for these three fields.
  • The incidence matrices give exact intersection sizes between any two geometric objects belonging to known orbit types.
  • The classification supplies a complete atlas of G_q-invariant configurations of points, lines and planes on the twisted cubic.
  • The results can serve as base cases for checking conjectures about orbit structures when q grows.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same orbit data may reveal patterns that suggest how the classification behaves for larger q without performing a full search.
  • These matrices could be used to construct new constant-weight codes or designs whose automorphism group contains G_q.
  • The method of enumerating orbits via stabilizers might extend to other rational curves in higher-dimensional projective spaces.

Load-bearing premise

The enumeration of orbits under the full stabilizer group of the twisted cubic is assumed to be complete and without duplicates for these three small values of q.

What would settle it

An independent computer search that finds an orbit of points (or planes or lines) not appearing in the listed partitions for q=4, or that obtains different intersection numbers in any of the incidence matrices.

read the original abstract

In the three-dimensional projective space PG(3,q) over the finite field F_q with q elements, we consider the normal rational curve known as a twisted cubic and the projectivity group G_q that fixes it. For q = 2, 3, 4, we solve the open problems of classifying the orbits of points, planes, and lines under G_q and of determining the corresponding incidence matrices between points, planes, and lines partitioned into these orbits.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The manuscript classifies the orbits of points, planes, and lines in PG(3,q) under the action of the stabilizer G_q ≅ PGL(2,q) of the twisted cubic, for the small values q=2,3,4. It supplies explicit orbit representatives together with the full incidence matrices (in tabular form) between the resulting point orbits, plane orbits, and line orbits.

Significance. For these small q the spaces are small enough that exhaustive enumeration is feasible by hand or machine; the explicit tables therefore constitute a concrete, verifiable contribution that resolves the stated open problems for q=2,3,4 and supplies data that can be used to test or motivate general statements about orbit structures on the twisted cubic in PG(3,q).

major comments (1)
  1. [§3.2] §3.2 (point orbits for q=4): the listed representatives and the claim of completeness rest on a direct enumeration under a group of order 60; an explicit verification that every point lies in exactly one listed orbit (or a short computer-assisted check) would strengthen the central claim.
minor comments (2)
  1. [Table 5] Table 5 (incidence matrix for q=3 lines vs. planes): the row and column labels are not repeated on the second page of the table; this makes cross-reference slightly inconvenient.
  2. [§2] The notation for the twisted cubic is introduced in §2 but the explicit parametric equations appear only in an appendix; moving the equations to the main text would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for the positive assessment that our explicit tables for q=2,3,4 constitute a concrete contribution resolving the stated open problems. We address the single major comment below and will incorporate the suggested strengthening in the revised version.

read point-by-point responses

  1. Referee: [§3.2] §3.2 (point orbits for q=4): the listed representatives and the claim of completeness rest on a direct enumeration under a group of order 60; an explicit verification that every point lies in exactly one listed orbit (or a short computer-assisted check) would strengthen the central claim.

    Authors: We agree that an explicit verification strengthens the presentation. In the revised manuscript we will add a brief computational check (or an appendix) confirming that the listed representatives generate a partition of the 85 points of PG(3,4). Concretely, we enumerate all 60 elements of G_4 ≅ PGL(2,4), apply them to each representative, and verify that the resulting orbits are disjoint and cover every point exactly once. Given the small order, this verification is straightforward and can be performed either by hand for the smallest orbits or via a short script; we will include a summary table of orbit sizes and a statement that the check was carried out. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper classifies orbits of points, planes, and lines under the stabilizer G_q ≅ PGL(2,q) for the small finite values q=2,3,4 via explicit enumeration on the finite point sets of PG(3,q), followed by direct incidence counting between representatives. The spaces are small enough for exhaustive case-by-case analysis with standard group orders, and the resulting incidence matrices are presented in tabular form without any reduction to fitted parameters, self-definitional relations, or load-bearing self-citations. All steps rely on the external definitions of projective space, the twisted cubic, and group actions, making the derivation self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on the standard axioms of three-dimensional projective geometry over finite fields and the definition of the twisted cubic as a normal rational curve; no free parameters or new invented entities are introduced in the abstract.

axioms (1)
  • domain assumption PG(3,q) is the three-dimensional projective space over the finite field F_q, and the twisted cubic is a fixed normal rational curve whose stabilizer is the projectivity group G_q.
    This is the foundational setup stated in the abstract for all subsequent orbit and incidence computations.

pith-pipeline@v0.9.0 · 5619 in / 1290 out tokens · 102574 ms · 2026-05-21T00:17:07.339905+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

30 extracted references · 30 canonical work pages

  1. [1]

    https :{{doi.org{10.48550{arXiv.2512.07547

    Adriaensen, S.: Intersection problems for linear codes and polynomials over finite fields, arXiv:2512.07547 [mathCO] (2025). https :{{doi.org{10.48550{arXiv.2512.07547

    work page arXiv 2025

  2. [2]

    https :{{doi.org{10.1016{j.ffa.2020.101710

    Bartoli, D., Davydov, A.A., Marcugini, S., Pambianco, F.: On planes through points off the twisted cubic in PG(3,q) and multiple covering codes, Finite Fields Appl.67, Article 101710 (2020). https :{{doi.org{10.1016{j.ffa.2020.101710. 25 Table 6.2: Parameters of #L ˚ i ˆ#M ˚ j submatricesI ΛP˚ ij and #L i ˆ#M j submatrices IΛP ij of the line-point 357ˆ85 ...

    work page arXiv 2020

  3. [3]

    Ballico, E., Cossidente, A.: Curves of the projective 3-space, tangent developables and partial spreads, Bull. Belg. Math. Soc.7, 387–394 (2000). https :{{doi.org{10.36045{bbms{1103055653

    work page 2000

  4. [4]

    https :{{doi.org{10.1007{BF01111448

    Block, R.E.: On the orbits of collineation groups, Mathematische Zeitschrift96, 33—49 (1967). https :{{doi.org{10.1007{BF01111448

    work page 1967

  5. [5]

    Codes Cryptogr.90(9), 2223–2247 (2022)

    Blokhuis, A., Pellikaan, R., Sz¨ onyi, T.: The extended coset leader weight enumerator of a twisted cubic code, Des. Codes Cryptogr.90(9), 2223–2247 (2022). https :{{doi.org{10.1007{s10623´022´01060´0

    work page 2022

  6. [6]

    https :{{doi.org{10.1016{j.disc.2005.03.010

    Bonoli, G., Polverino, O.: The twisted cubic in PGp3, qqand translation spreads in Hpqq, Discrete Math.296, 129–142 (2005). https :{{doi.org{10.1016{j.disc.2005.03.010

    work page 2005

  7. [7]

    Bosma, W., Cannon, J., Playoust, C.: The Magma Algebra System. I. The User Language, J. Symbolic Comput.24, 235–265 (1997). https :{{doi.org{10.1006{jsco.1996.0125

    work page arXiv 1997

  8. [8]

    Dedicata6, 495–509 (1977)

    Bruen, A.A., Hirschfeld, J.W.P.: Applications of line geometry over finite fields I: The twisted cubic, Geom. Dedicata6, 495–509 (1977). https :{{doi.org{10.1007{BF00147786

    work page 1977

  9. [9]

    Combin.23, 367–376 (2002)

    Cardinali, I., Lunardon, G., Polverino, O., Trombetti, R.: Spreads inHpqqand 1- systems ofQp6, qq, European J. Combin.23, 367–376 (2002). https :{{doi.org{10.1006{eujc.2001.0578

    work page arXiv 2002

  10. [10]

    https :{{doi.org{10.1016{j.disc.2023.113594

    Ceria, M., Pavese, F.: On the geometry of apq`1q-arc of PGp3, qq,qeven, Discrete Math.346, Article 113594 (2023). https :{{doi.org{10.1016{j.disc.2023.113594

    work page arXiv 2023

  11. [11]

    Cossidente, A., Hirschfeld, J.W.P., Storme, L.: Applications of line geometry, III: The quadric Veronesean and the chords of a twisted cubic, Austral. J. Combin.16, 99–111 (1997). https :{{ajc.maths.uq.edu.au{pdf{16{ocr´ajc´v16´p99.pdf

    work page 1997

  12. [12]

    Davydov, A.A., Marcugini, S., Pambianco, F.: On cosets weight distributions of the doubly-extended Reed-Solomon codes of codimension 4, IEEE Trans. Inform. Theory 67(8), 5088–5096 (2021). https :{{doi.org{10.1109{TIT.2021.3089129

    work page arXiv 2021

  13. [13]

    Codes Cryptogr.89(10), 2211–2233 (2021)

    Davydov, A.A., Marcugini, S., Pambianco, F.: Twisted cubic and point-line incidence matrix in PGp3, qq, Des. Codes Cryptogr.89(10), 2211–2233 (2021). https :{{doi.org{10.1007{s10623´021´00911´6. 28

    work page 2021

  14. [14]

    Geom.113(2), Article 29 (2022)

    Davydov, A.A., Marcugini, S., Pambianco, F.: Twisted cubic and plane-line incidence matrix in PGp3, qq, J. Geom.113(2), Article 29 (2022). https :{{doi.org{10.1007{s00022´022´00644´4

    work page 2022

  15. [15]

    Davydov, A.A., Marcugini, S., Pambianco, F.: Orbits of lines for a twisted cubic in PGp3, qq, Mediterr. J. Math.20(3), Article 132 (2023). https :{{doi.org{10.1007{s00009´023´02279´4

    work page 2023

  16. [16]

    Pambianco, F.: Orbits of the classO 6 of lines external to the twisted cubic in PGp3, qq, Mediterr

    Davydov, A.A., Marcugini, S. Pambianco, F.: Orbits of the classO 6 of lines external to the twisted cubic in PGp3, qq, Mediterr. J. Math.20(3), Article 160 (2023). https :{{doi.org{10.1007{s00009´023´02349´7

    work page 2023

  17. [17]

    Geom.114(2), Article 21 (2023)

    Davydov, A.A., Marcugini, S., Pambianco, F.: Incidence matrices for the classO 6 of lines external to the twisted cubic in PGp3, qq, J. Geom.114(2), Article 21 (2023). https :{{doi.org{10.1007{s00022´023´00678´2

    work page 2023

  18. [18]

    Davydov, A.A., Marcugini, S., Pambianco, F.: Further results on orbits and incidence matrices for the classO 6 of lines external to the twisted cubic in PGp3, qq, Mediterr. J. Math.22(5), Article 129 (2025). https :{{doi.org{10.1007{s00009´025´02887´2

    work page 2025

  19. [19]

    https :{{doi.org{10.1016{j.disc.2009.11.040

    Giulietti, M., Vincenti, R.: Three-level secret sharing schemes from the twisted cubic, Discrete Math.310, 3236–3240 (2010). https :{{doi.org{10.1016{j.disc.2009.11.040

    work page 2010

  20. [20]

    https :{{doi.org{10.1016{j.ffa.2021.101960

    G¨ unay, G., Lavrauw, M.: On pencils of cubics on the projective line over finite fields of characteristicą3, Finite Fields Appl.78, Article 101960 (2022). https :{{doi.org{10.1016{j.ffa.2021.101960

    work page arXiv 2022

  21. [21]

    Press, Oxford (1985)

    Hirschfeld, J.W.P.: Finite Projective Spaces of Three Dimensions, Oxford Univ. Press, Oxford (1985)

    work page 1985

  22. [22]

    Press, Oxford (1999)

    Hirschfeld, J.W.P.: Projective Geometries over Finite Fields, 2nd edition, Oxford Univ. Press, Oxford (1999)

    work page 1999

  23. [23]

    (Eds.), Finite Geometries (Proc

    Hirschfeld, J.W.P., Storme, L.: The packing problem in statistics, coding theory and finite projective spaces: Update 2001, in: Blokhuis, A., Hirschfeld, J.W.P., Jungnickel, D., Thas, J.A. (Eds.), Finite Geometries (Proc. 4th Isle of Thorns Conf., July 16-21, 2000), Dev. Math., vol. 3, pp. 201–246, Kluwer, Dordrecht (2001). https :{{dx.doi.org{10.1007{978...

    work page 2001

  24. [24]

    https :{{dx.doi.org{10.1016{j.ffa.2014.10.006

    Hirschfeld, J.W.P., Thas, J.A.: Open problems in finite projective spaces, Finite Fields Appl.32, 44–81 (2015). https :{{dx.doi.org{10.1016{j.ffa.2014.10.006. 29

    work page 2015

  25. [25]

    https :{{doi.org{10.48550{arXiv.2312.07118

    Kaipa, K., Patanker, N., Pradhan, P.: On theP GL 2pqq-orbits of lines of PGp3, qq and binary quartic forms, arXiv:2312.07118v3 [math.CO] (2025). https :{{doi.org{10.48550{arXiv.2312.07118

    work page arXiv 2025

  26. [26]

    https :{{doi.org{10.48550{arXiv.2508.11229

    Kaipa, K., Pradhan, P.: On theP GL 2pqq-orbits of lines of PGp3, qqand binary quartic forms in characteristic 3, arXiv:2508.11229 [math.CO] (2025). https :{{doi.org{10.48550{arXiv.2508.11229

    work page arXiv 2025

  27. [27]

    https :{{doi.org{10.48550{arXiv.2509.15332

    Kaipa, K., Pradhan, P.: Incidence of lines, points, and planes in PGp3, qqwith respect to the twisted cubic, arXiv:2509.15332 [math.CO] (2025). https :{{doi.org{10.48550{arXiv.2509.15332

    work page arXiv 2025

  28. [28]

    Codes Cryptogr.64(1), 3–15 (2012)

    Korchm´ aros, G., Lanzone, V., Sonnino, A.: Projectivek-arcs and 2-level secret- sharing schemes, Des. Codes Cryptogr.64(1), 3–15 (2012). https :{{doi.org{10.1007{s10623´011´9562´5

    work page 2012

  29. [29]

    Lunardon, G., Polverino, O.: On the twisted cubic of PGp3, qq, J. Algebr. Combin. 18, 255–262 (2003). https :{{doi.org{10.1023{B : JACO.0000011940.77655.b4

    work page arXiv 2003

  30. [30]

    Zannetti, M., Zuanni, F.: Note on three-characterpq`1q-sets in PGp3, qq, Austral. J. Combin.47, 37–40 (2010). https :{{ajc.maths.uq.edu.au{pdf{47{ajc v47 p037.pdf. 30

    work page 2010