Segre Varieties and Desarguesian Spreads
Pith reviewed 2026-05-22 05:04 UTC · model grok-4.3
The pith
If two distinct Desarguesian (h-1)-spreads in PG(kh-1,q) share a pseudo-arc of size k+1, their intersection is exactly the system of (h-1)-subspaces from a generalized Segre variety S^r for some proper divisor r of h.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We investigate the intersection of two Desarguesian (h-1)-spreads of PG(kh-1,q) and show that it is determined by a subgeometry over a suitable extension field. Our approach combines a characterization of subsets of points of PG(k-1,q^h) closed under q-order subgeometries with a matrix model for Desarguesian spreads based on Moore matrices. This leads naturally to the notion of generalized Segre varieties S^r_{kr-1,h-1}(q) and a geometric description of their maximal subspaces. As a main application, we prove that if two distinct Desarguesian (h-1)-spreads of PG(kh-1,q) contain a common pseudo-arc of size k+1, then their intersection is precisely the system R^r_{h,q} of (h-1)-dimensional of
What carries the argument
The generalized Segre variety S^r_{kr-1,h-1}(q) whose maximal (h-1)-dimensional subspaces form the system R^r_{h,q} that exactly matches the intersection of the two spreads.
If this is right
- The intersection is completely determined and equals the R system from some S^r variety.
- A geometric description of the maximal subspaces inside these generalized Segre varieties follows directly.
- Any two such spreads obeying the pseudo-arc condition must overlap in one of these controlled subfield configurations.
Where Pith is reading between the lines
- The same closure property under subgeometries might classify intersections even without assuming a shared pseudo-arc.
- The Moore-matrix-plus-subgeometry technique could extend to intersections involving non-Desarguesian spreads.
- The resulting varieties may supply new examples of constant-dimension codes whose weight distributions are governed by the divisor r.
Load-bearing premise
The characterization of point subsets in PG(k-1,q^h) that are closed under q-order subgeometries is enough to fix the intersection once the Moore matrix model is applied.
What would settle it
An explicit pair of distinct Desarguesian (h-1)-spreads in PG(kh-1,q) that share a pseudo-arc of size k+1 yet whose common (h-1)-subspaces fail to coincide with R^r_{h,q} for every proper divisor r of h.
read the original abstract
Let $\mathrm{PG}(n-1,q)$ denote the $(n-1)$-dimensional projective space over $\mathbb{F}_q$. We investigate the intersection of two Desarguesian $(h-1)$-spreads of $\mathrm{PG}(kh-1,q)$ and show that it is determined by a subgeometry over a suitable extension field. Our approach combines a characterization of subsets of points of $\mathrm{PG}(k-1,q^h)$ closed under $q$-order subgeometries with a matrix model for Desarguesian spreads based on Moore matrices. This leads naturally to the notion of generalized Segre varieties $\mathcal S^r_{kr-1,h-1}(q)$ and a geometric description of their maximal subspaces. As a main application, we prove that if two distinct Desarguesian $(h-1)$-spreads of $\mathrm{PG}(kh-1,q)$ contain a common pseudo-arc of size $k+1$, then their intersection is precisely the system $\mathcal R^r_{h,q}$ of $(h-1)$-dimensional subspaces of $\mathcal S^r_{kr-1,h-1}(q)$, for some proper divisor $r$ of $h$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims that the intersection of two distinct Desarguesian (h-1)-spreads of PG(kh-1,q) sharing a common pseudo-arc of size k+1 is precisely the system R^r_{h,q} of (h-1)-dimensional subspaces of the generalized Segre variety S^r_{kr-1,h-1}(q) for some proper divisor r of h. This is derived by combining a characterization of q-order subgeometry-closed point subsets of PG(k-1,q^h) with a Moore-matrix coordinatization of the spreads, which also yields a geometric description of the maximal subspaces of these varieties.
Significance. If the central result holds, the work supplies a precise geometric classification of intersections between Desarguesian spreads under the pseudo-arc hypothesis and introduces generalized Segre varieties as a tool for studying subgeometries in finite projective spaces. The matrix-model approach may prove reusable for related questions on spreads and translation planes.
major comments (1)
- [Main theorem] Main theorem (as stated in the abstract and proved via the subgeometry-plus-Moore-matrix approach): the claim that the characterization of subgeometry-closed point sets forces the intersection to be exactly R^r_{h,q} for a single proper divisor r rests on the unverified assertion that no other closed sets can arise from distinct Desarguesian spreads that still share the given pseudo-arc; without an explicit exhaustion or counter-example exclusion, the uniqueness conclusion remains load-bearing and unconfirmed.
minor comments (2)
- [Preliminaries] The definition of the generalized Segre variety S^r_{kr-1,h-1}(q) is introduced without an immediate comparison table or reduction check to the classical Segre variety when r=1, which would aid readers.
- [Notation] Notation for the system R^r_{h,q} is used before its explicit relation to the maximal subspaces of S^r_{kr-1,h-1}(q) is stated; a forward reference or diagram would improve clarity.
Simulated Author's Rebuttal
We thank the referee for the careful reading and the detailed comment on the main theorem. We address the concern regarding the uniqueness of the divisor r below.
read point-by-point responses
-
Referee: [Main theorem] Main theorem (as stated in the abstract and proved via the subgeometry-plus-Moore-matrix approach): the claim that the characterization of subgeometry-closed point sets forces the intersection to be exactly R^r_{h,q} for a single proper divisor r rests on the unverified assertion that no other closed sets can arise from distinct Desarguesian spreads that still share the given pseudo-arc; without an explicit exhaustion or counter-example exclusion, the uniqueness conclusion remains load-bearing and unconfirmed.
Authors: We thank the referee for this observation. The proof of the main theorem proceeds in two steps. First, the common points of the two spreads are shown to form a q-order subgeometry-closed set in the model PG(k-1,q^h) (see the argument following Lemma 4.2). Second, Theorem 3.2 provides a complete classification: every such closed set is precisely the point set of a generalized Segre variety S^r_{kr-1,h-1}(q) for a unique proper divisor r of h. The Moore-matrix coordinatization of the Desarguesian spreads then identifies the (h-1)-dimensional subspaces of this variety as the intersection. Because the classification in Theorem 3.2 is exhaustive and the pseudo-arc condition fixes the common subfield (hence fixes r), no other closed sets arise from distinct spreads sharing the given pseudo-arc. We will add a short clarifying paragraph immediately after the statement of Theorem 4.1 that explicitly invokes the exhaustiveness of Theorem 3.2 in this context. revision: partial
Circularity Check
No circularity: derivation combines external characterization with Moore matrices to obtain spread intersection
full rationale
The paper's main result follows from combining a characterization of point subsets of PG(k-1,q^h) that are closed under q-order subgeometries with the Moore-matrix coordinatization of Desarguesian spreads. This produces the generalized Segre varieties S^r_{kr-1,h-1}(q) and the system R^r_{h,q} as the precise intersection when a common pseudo-arc of size k+1 is present. No equation or step reduces the claimed intersection to a fitted parameter, a self-referential definition, or a load-bearing self-citation whose content is merely renamed; the argument is built from standard field-extension geometry and matrix models whose assumptions are stated independently of the target theorem.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Vector space and projective geometry structure over finite fields F_q
- domain assumption Desarguesian spreads arise from field extensions and admit Moore matrix representations
invented entities (1)
-
generalized Segre variety S^r_{kr-1,h-1}(q)
no independent evidence
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
if two distinct Desarguesian (h-1)-spreads ... contain a common pseudo-arc of size k+1, then their intersection is precisely the system R^r_{h,q} of (h-1)-dimensional subspaces of S^r_{kr-1,h-1}(q), for some proper divisor r of h
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
-
[1]
L. Bader and G. Lunardon. Desarguesian spreads.Ric. Mat., 60(1):15–37, 2011
work page 2011
-
[2]
A. Beutelspacher and U. Rosenbaum.Projective geometry: from foundations to applications. Cambridge University Press, Cambridge, 1998
work page 1998
-
[3]
K. Drudge. On the orbits of Singer groups and their subgroups.Electron. J. Combin., 9(1):Research Paper 15, 10, 2002. 16
work page 2002
-
[4]
J. Harris.Algebraic geometry. A first course, volume 133 ofGraduate Texts in Mathematics. Springer-Verlag, New York, 1992
work page 1992
-
[5]
J. W. P . Hirschfeld and J. A. Thas.General Galois geometries. Springer Monographs in Mathematics. Springer, London, 2016
work page 2016
-
[6]
B. Huppert.Finite groups. I, volume 364 ofGrundlehren der mathematischen Wissenschaften (Fundamental Principles of Mathematical Sciences). Springer, Cham, 2025
work page 2025
-
[7]
G. A. Jones. Cyclic regular subgroups of primitive permutation groups.J. Group Theory, 5(4):403–407, 2002
work page 2002
-
[8]
M. Lavrauw and G. Van de Voorde. Field reduction and linear sets in finite geometry. InTopics in finite fields, volume 632 ofContemp. Math., pages 271–293. Amer. Math. Soc., Providence, RI, 2015
work page 2015
-
[9]
M. Lavrauw and C. Zanella. Segre embeddings and finite semifields.Finite Fields Appl., 25:8–18, 2014
work page 2014
- [10]
-
[11]
S. Rottey and G. Van de Voorde. Pseudo-ovals in even characteristic and ovoidal Laguerre planes.J. Combin. Theory Ser. A, 129:105–121, 2015
work page 2015
-
[12]
B. Segre. Teoria di Galois, fibrazioni proiettive e geometrie non desarguesiane.Ann. Mat. Pura Appl. (4), 64:1–76, 1964
work page 1964
-
[13]
J. A. Thas. Them-dimensional projective spaceS m(Mn(GF(q))) over the total matrix algebra Mn(GF(q)) of then×n-matrices with elements in the Galois field GF(q).Rend. Mat. (6), 4:459–532, 1971
work page 1971
-
[14]
J. A. Thas and H. Van Maldeghem. Characterizations of Segre varieties.J. Combin. Theory Ser. A, 120(4):795–802, 2013
work page 2013
-
[15]
G. Van de Voorde. Desarguesian spreads and field reduction for elements of the semilinear group.Linear Algebra Appl., 507:96–120, 2016. 17
work page 2016
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.