pith. sign in

arxiv: 1906.10280 · v1 · pith:K5K7FCVVnew · submitted 2019-06-25 · 🧮 math.CO

The Bose representation of PG(2,q³) in PG(8,q)

S.G. Barwick , Wen-Ai Jackson , Peter Wild This is my paper

Pith reviewed 2026-05-25 17:03 UTC · model grok-4.3

classification 🧮 math.CO
keywords Bose representationPG(2,q^3)2-spread2-regulusSegre varietyF_q-sublineF_q-subplaneF_q-conic
0
0 comments X

The pith

An F_q-subline of PG(2,q^3) corresponds to a 2-regulus in the Bose representation as a 2-spread of PG(8,q).

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

The paper studies the Bose representation that realizes the projective plane PG(2,q^3) as a 2-spread inside the eight-dimensional space PG(8,q). It establishes explicit correspondences under this embedding: every F_q-subline becomes a 2-regulus and every F_q-subplane becomes the Segre variety S_{2;2}. The work also tracks how these varieties extend when the base field is enlarged to q^3 and q^6. These identifications are finally applied to describe the image of an F_q-conic inside the spread. A reader cares because the translation converts questions about substructures over the subfield into questions about familiar varieties inside a known spread.

Core claim

In the Bose representation of PG(2,q^3) as a 2-spread of PG(8,q), an F_q-subline corresponds to a 2-regulus, an F_q-subplane corresponds to a Segre variety S_{2;2}, the extensions of these objects to PG(8,q^3) and PG(8,q^6) are determined, and the structure of an F_q-conic of PG(2,q^3) is thereby identified inside PG(8,q).

What carries the argument

The Bose representation of PG(2,q^3) as a 2-spread in PG(8,q), which supplies the embedding that converts subfield objects into reguli and Segre varieties.

Load-bearing premise

The Bose representation of PG(2,q^3) exists and is realized as a 2-spread inside PG(8,q).

What would settle it

A concrete calculation for a small q, such as q=2, exhibiting an F_q-subline whose image under the Bose map is not a 2-regulus.

read the original abstract

This article looks at the Bose representation of $PG(2,q^3)$ as a 2-spread of $PG(8,q)$. It is shown that an $\mathbb F_q$-subline of $PG(2,q^3)$ corresponds to a 2-regulus, and an $\mathbb F_q$-subplane corresponds to a Segre variety $S_{2;2}$. Moreover, the extension of these varieties to $PG(8,q^3)$ and $PG(8,q^6)$ is determined. These are used to determine the structure of an $\mathbb F_q$-conic of $PG(2,q^3)$ in the Bose representation in $PG(8,q)$.

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

0 major / 1 minor

Summary. The paper studies the Bose representation of PG(2,q^3) as a 2-spread in PG(8,q). It establishes that an F_q-subline corresponds to a 2-regulus and an F_q-subplane corresponds to the Segre variety S_{2;2}, determines the extensions of these varieties to PG(8,q^3) and PG(8,q^6), and applies the correspondences to describe the structure of an F_q-conic of PG(2,q^3) inside the representation in PG(8,q).

Significance. If the stated correspondences hold, the work supplies explicit geometric identifications of substructures (sublines, subplanes, conics) under the standard Bose embedding, which relies on the vector-space model of F_{q^3}/F_q. Such identifications can aid the analysis of reguli, Segre varieties, and spreads in finite geometry; the derivations are presented as direct consequences of the linear algebra of the model rather than new ad-hoc constructions.

minor comments (1)
  1. The abstract and introduction invoke the Bose representation as given; a brief one-paragraph recap of its definition (e.g., the explicit 2-spread construction via the field extension) would improve accessibility for readers unfamiliar with the 1980s literature.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript and their recommendation to accept. The referee's description of the paper's content is accurate.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper takes the Bose representation of PG(2,q^3) as a 2-spread in PG(8,q) as a given standard construction based on the vector space model of the field extension F_{q^3}/F_q. It then derives the stated correspondences (F_q-subline to 2-regulus, F_q-subplane to Segre variety S_{2;2}, and the induced structure on an F_q-conic) directly from the linear algebra and incidence geometry of that model, including extensions to higher fields. No equations reduce a claimed result to a fitted parameter or self-definition, no load-bearing uniqueness theorem is imported from the authors' prior work, and no ansatz is smuggled via self-citation. The derivation chain is self-contained against the external benchmark of the established Bose representation.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on the standard axioms of finite projective geometry and the definition of the Bose representation as a 2-spread; no free parameters or invented entities are introduced in the abstract.

axioms (1)
  • standard math Standard axioms of projective spaces over finite fields and the existence of the Bose 2-spread representation
    Invoked as the ambient setting for all correspondences.

pith-pipeline@v0.9.0 · 5651 in / 1229 out tokens · 44729 ms · 2026-05-25T17:03:52.586900+00:00 · methodology

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

22 extracted references · 22 canonical work pages

  1. [1]

    \"Uber nicht-Desarguessche Ebenen mit

    J.\ Andr\'e. \"Uber nicht-Desarguessche Ebenen mit

    work page

  2. [2]

    Barwick and G.L

    S.G. Barwick and G.L. Ebert. Unitals in Projective Planes . Springer Monographs in Mathematics. Springer, New York, 2008

    work page 2008

  3. [3]

    Barwick and W.-A

    S.G. Barwick and W.-A. Jackson. Sublines and subplanes of PG (2,q^3) in the Bruck-Bose representation in PG (6,q) . Finite Fields Appl., 18 (2012) 93--107

    work page 2012

  4. [4]

    Barwick and W.-A

    S.G. Barwick and W.-A. Jackson. An investigation of the tangent splash of a subplane of PG (2,q^3)

    work page

  5. [5]

    Barwick and W.-A

    S.G. Barwick and W.-A. Jackson, A Characterisation of Tangent

    work page

  6. [6]

    Barwick and W.-A

    S.G. Barwick and W.-A. Jackson. Exterior splashes and linear sets of rank 3

    work page

  7. [7]

    Barwick and W.-A

    S.G. Barwick and W.-A. Jackson. The exterior splash in (6,q) : transversal lines. Innov. Incidence Geom. , to appear

    work page

  8. [8]

    Barwick and W.-A

    S.G. Barwick and W.-A. Jackson. The exterior splash in (6,q) : carrier conics

    work page

  9. [9]

    Barwick, W.-A

    S.G. Barwick, W.-A. Jackson and C.T. Quinn. Conics and caps

    work page

  10. [10]

    subconics in (2,q^2) in BB

    Barwick, Jackson, Wild. subconics in (2,q^2) in BB

    work page

  11. [11]

    Barwick, W.-A

    S.G. Barwick, W.-A. Jackson and P. Wild. Specialness and the Bose representation. Preprint

    work page

  12. [12]

    Barwick, W.-A

    S.G. Barwick, W.-A. Jackson and P. Wild. A characterisation of -conics of (2,q^3) . Preprint

    work page

  13. [13]

    R.C. Bose. On a representation of the B aer subplanes of the D esarguesian plane (2,q^ 2 ) in a projective five dimensional space. Teorie Combinatorie, vol. I, Accad. Naz. dei Lincei, Rome, 1976, (Rome, 1973), pp. 381--391

    work page 1976

  14. [14]

    Construction problems of finite

    R.H.\ Bruck. Construction problems of finite

    work page

  15. [15]

    The construction of

    R.H.\ Bruck and R.C.\ Bose. The construction of

    work page

  16. [16]

    R.H.\ Bruck and R.C.\ Bose. Linear

    work page

  17. [17]

    Casse and C.M

    L.R.A. Casse and C.M. O'Keefe. Indicator sets for t -spreads of ((s+1)(t+1)-1,q) . Bollettino U.M.I. , 4 (1990) 13--33

    work page 1990

  18. [18]

    Bruen and J.W.P

    A.A. Bruen and J.W.P. Hirschfeld

    work page

  19. [19]

    General Galois Geometries

    J.W.P.\ Hirschfeld and J.A.\ Thas. General Galois Geometries. Oxford University

    work page

  20. [20]

    General Galois Geometries

    J.W.P.\ Hirschfeld and J.A.\ Thas. General Galois Geometries. 2nd edition. Springer-Verlag, London, 2016

    work page 2016

  21. [21]

    A note on Buekenhout-Metz unitals

    K.\ Metsch. A note on Buekenhout-Metz unitals

    work page

  22. [22]

    J. G. Semple and L. Roth. Introduction to Algebraic Geometry. Oxford University Press, 1949

    work page 1949