pith. sign in

arxiv: 2511.19455 · v1 · submitted 2025-11-20 · 🧮 math.HO · math.MG

Linear Geometry: flats, ranks, regularity, parallelity

Taras Banakh , Ivan Hetman , Alex Ravsky , Vlad Pshyk This is my paper

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

classification 🧮 math.HO math.MG
keywords linear geometryflat hullsflatsrankparallelitymodularityregularityexchange property
0
0 comments X

The pith

Linear Geometry organizes line-dependent properties through flat hulls that produce flats, ranks, regularity, modularity, and parallelity.

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

The paper surveys the core notions of Linear Geometry when everything is built from the flat hull of a set of points. It presents flats as the basic closed sets, the exchange property for adding points, rank as a measure of linear independence, regularity and modularity as structural axioms, and parallelity as a relation between flats. A reader would care because this approach gives a coordinate-free and metric-free way to define what counts as linear geometry. If the survey holds, these notions turn out to be mutually dependent and sufficient to capture the essential behavior of lines.

Core claim

Linear Geometry describes geometric properties that depend on the fundamental notion of a line, and the survey collects the basic notions and results that follow once everything is grounded in flat hulls: flats, exchange, rank, regularity, modularity, and parallelity.

What carries the argument

The flat hull, the smallest flat containing a given set of points, which generates all the other listed notions.

If this is right

  • Exchange and rank become definable directly from the flat hull operation.
  • Regularity and modularity appear as natural consequences of the flat structure.
  • Parallelity between flats can be stated uniformly once ranks and hulls are fixed.
  • The whole package works without reference to coordinates or distances.

Where Pith is reading between the lines

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

  • The same flat-hull foundation could be tested in matroid-like settings that lack a geometric embedding.
  • One could ask whether dropping regularity still leaves a usable parallelity relation.
  • The framework might clarify which linear properties survive when the ambient space is replaced by an abstract poset of flats.

Load-bearing premise

The listed notions of flats, exchange, rank, regularity, modularity, and parallelity together form the basic and mutually dependent structure of Linear Geometry when everything starts from flat hulls.

What would settle it

A concrete geometric property that depends on lines yet cannot be recovered from the flat hull, exchange, rank, regularity, modularity, or parallelity relations.

read the original abstract

Linear Geometry describes geometric properties that depend on the fundamental notion of a line. In this paper we survey basic notions and results of Linear Geomery that depend on the flat hulls: flats, exchange, rank, regularity, modularity, and parallelity.

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 manuscript is a survey of basic notions and results in Linear Geometry that depend on the flat-hull construction, covering flats, exchange, rank, regularity, modularity, and parallelity.

Significance. As an explicit survey in the math.HO category that organizes standard concepts from incidence geometry and matroid theory around the flat-hull construction, the paper offers a coherent descriptive framework for these well-established notions without introducing new theorems or quantitative predictions. This organizing principle is conventional and could serve as a useful reference for readers seeking an overview of the foundational structures.

minor comments (1)
  1. [Abstract] Abstract, second sentence: 'Linear Geomery' is a typographical error and should read 'Linear Geometry'.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of our survey manuscript on Linear Geometry. We appreciate the recognition that the paper provides a coherent descriptive framework organizing standard concepts from incidence geometry and matroid theory around the flat-hull construction, and that it may serve as a useful reference. We note the recommendation for minor revision.

Circularity Check

0 steps flagged

No significant circularity: explicit survey of established notions

full rationale

This is an explicit survey paper in the math.HO category whose central claim is descriptive: it collects and organizes standard notions (flats, exchange, rank, regularity, modularity, parallelity) as they arise from the flat-hull construction in linear geometries. No new theorems, quantitative predictions, or internal equations are asserted. The listed concepts are well-established in incidence geometry and matroid theory; the paper draws from external sources without any load-bearing step that reduces a result to a fitted parameter, self-definition, or self-citation chain. The derivation chain is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The survey rests on the domain assumption that flat hulls provide a coherent foundation for the listed geometric notions. No free parameters or invented entities are visible from the abstract.

axioms (1)
  • domain assumption Flat hulls exist and serve as the primitive for defining flats, rank, and related properties.
    Invoked as the basis for all surveyed notions in the abstract.

pith-pipeline@v0.9.0 · 5329 in / 1066 out tokens · 34487 ms · 2026-05-17T21:08:16.332383+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 · 2 internal anchors

  1. [1]

    Linear Geometry and Algebra

    T. Banakh,Linear Geometry and Algebra, preprint (2025); (arxiv.org/abs/2506.14060)

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  2. [2]

    Banakh, I

    T. Banakh, I. Hetman, A. Ravsky,Steiner systemsS(2,6,226)andS(2,6,441)do exist!, preprint (2025); (arxiv.org/abs/2511.05191)

    work page internal anchor Pith review arXiv 2025

  3. [3]

    Barwick, G

    S. Barwick, G. Ebert,Unitals in projective planes, Springer Monographs in Mathematics. Springer, New York,

    work page

  4. [4]

    Bose,On the construction of balanced incomplete block designs, Ann

    R.C. Bose,On the construction of balanced incomplete block designs, Ann. Eugenics9(1939), 353–399

    work page 1939

  5. [5]

    Bruck,A survey of binary systems, Berlin, Springer, 1971

    R.H. Bruck,A survey of binary systems, Berlin, Springer, 1971

    work page 1971

  6. [6]

    Bruck, H.J

    R.H. Bruck, H.J. Ryser,The nonexistence of certain finite projective planes, Canad. J. Math. 1 (1949), 88–93

    work page 1949

  7. [7]

    Burnside,On an unsettled question in the theory of discontinuous groups, Quart

    W. Burnside,On an unsettled question in the theory of discontinuous groups, Quart. J. Pure Appl. Math.37 (1901), 230–238

    work page 1901

  8. [8]

    Colbourn, J.H

    C.J. Colbourn, J.H. Dinitz (eds.),Handbook of combinatorial designs, Discrete Mathematics and its Applica- tions. Chapman & Hall/CRC, Boca Raton, FL, 2007. xxii+984 pp

    work page 2007

  9. [9]

    Denniston,Some maximal arcs in finite projective planes, J

    R.H.F. Denniston,Some maximal arcs in finite projective planes, J. Combinatorial Theory6(1969), 317–319

    work page 1969

  10. [10]

    Doyen, X

    J. Doyen, X. Hubaut,Finite regular locally projective spaces. Math. Z.119(1971), 83–88

    work page 1971

  11. [11]

    Euclid.The Elements: Books I–XIII, Translated by Thomas L. Heath. Edited by Dana Densmore. Santa Fe, NM: Green Lion Press, 2002

    work page 2002

  12. [12]

    Grannell, T.S

    M.J. Grannell, T.S. Griggs, C.A. Whitehead,The resolution of the anti-Pasch conjecture, J. Combin. Des.8:4 (2000), 300–309

    work page 2000

  13. [13]

    Hall,On the order of Hall triple systems, J

    J.I. Hall,On the order of Hall triple systems, J. Combin. Theory Ser. A29:2 (1980), 261–262

    work page 1980

  14. [14]

    Hall, Jr.Automorphisms of Steiner triple systems, IBM J

    M. Hall, Jr.Automorphisms of Steiner triple systems, IBM J. Res. Develop.4(1960), 460–472

    work page 1960

  15. [15]

    Houghten, L.H

    S.K. Houghten, L.H. Thiel, J. Janssen, C.W. Lam,There is no(46,6,1)block design, J. Combin. Des.9:1 (2001), 60–71

    work page 2001

  16. [16]

    C.W.H. Lam, L. Thiel, S. Swiercz,The nonexistence of finite projective planes of order10, Canad. J. Math. 41:6 (1989), 1117–1123

    work page 1989

  17. [17]

    Levi,Groups in which the commutator operation satisfies certain algebraic conditions, J

    F.W. Levi,Groups in which the commutator operation satisfies certain algebraic conditions, J. Indian Math. Soc.6(1942), 87-97

    work page 1942

  18. [18]

    Ray-Chaudhuri, R.M

    D.K. Ray-Chaudhuri, R.M. Wilson,Solution of Kirkman’s schoolgirl problem, Combinatorics (Proc. Sympos. Pure Math., Vol. XIX, Univ. California, Los Angeles, Calif., 1968), pp. 187–203, Proc. Sympos. Pure Math., Vol. XIX, Amer. Math. Soc., Providence, RI, 1971

    work page 1968

  19. [19]

    Skolem,Some remarks on the triple systems of Steiner, Math

    Th. Skolem,Some remarks on the triple systems of Steiner, Math. Scand.6(1958), 273–280

    work page 1958

  20. [20]

    Wilson,An existence theory for pairwise balanced designs, I

    R.M. Wilson,An existence theory for pairwise balanced designs, I. Composition theorems and morphisms, J. Combinatorial Theory Ser. A13(1972), 220–245

    work page 1972

  21. [21]

    Wilson,An existence theory for pairwise balanced designs

    R.M. Wilson,An existence theory for pairwise balanced designs. II. The structure of PBD-closed sets and the existence conjectures, J. Combinatorial Theory Ser. A13(1972), 246–273

    work page 1972

  22. [22]

    Wilson,An existence theory for pairwise balanced designs

    R.M. Wilson,An existence theory for pairwise balanced designs. III. Proof of the existence conjectures, J. Combinatorial Theory Ser. A18(1975), 71–79. T. Banakh: Ivan Franko National University of L viv (Ukraine) and Jan Kochanowski University in Kielce (Poland) Email address:t.o.banakh@gmail.com I. Hetman: L viv (Ukraine) Email address:vespertilion@gmail...

    work page 1975