Section Criteria for Integral Lorentzian Lattices and the Cost of Realization (Geometry of the vacuum, floor 0)

For an integral lattice of signature (3,1) and a positive definite integral lattice L of rank 3, a criterion is given for L to be a primitive timelike section by a primitive vector of norm -n. The criterion runs on three data -- signature, bilinear discriminant form and parity (type I/II) -- and states that such a section exists if and only if there is an anti-isometry of glue subgroups whose graph satisfies an isometry of discriminant forms and whose glued overlattice has the same parity as the ambient. Both requirements are shown to be load-bearing: the order-only version of the first fails at the first non-cyclic discriminant, and without the second the statement is false, with an explicit counterexample on diag(1,1,2,-2). The reverse implication rests on two checkable conditions, (T0) that the named data determine the genus of the ambient and (T0c) that this genus contains one class; for rank 4, signature (3,1) and |det| <= 4 both are proved -- (T0) by a complete enumeration of genera (exactly seven, with the triple of data separating them pairwise), (T0c) by Eichler's theorem with a margin of 5^6. Substituting a trivial discriminant returns the unimodular condition <1/n> of the preceding paper, and a parity rider shows that boundary to be sharp. From the criterion the minimal ambient discriminant -- the cost of a lattice -- is shown to depend only on the bilinear discriminant form, hence to be a genus invariant, and a closed expression for it is given whose range is finite by structure rather than by a search bound. Evaluated on fourteen representatives the expression gives a table of costs indexed by the discriminant form, not by Bravais type: cost is neither a type invariant nor monotone in the order of the discriminant. The cubic centrings obtain exact addresses, FCC = 3 and BCC = 8, and the blocking of lower values for FCC splits into two distinct congruence mechanisms. No physical reading of any object is made anywhere in the work.

Authors

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-08-27
DOI
https://doi.org/10.5281/zenodo.22125370
Primary Topic
Advanced Combinatorial Mathematics
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
preprint

Section Criteria for Integral Lorentzian Lattices and the Cost of Realization (Geometry of the vacuum, floor 0)

Vladimir Sobol
Zenodo (CERN European Organization for Nuclear Research)
Advanced Combinatorial Mathematics
preprint

Section Criteria for Integral Lorentzian Lattices and the Cost of Realization (Geometry of the vacuum, floor 0)

Vladimir Sobol
preprint en

Abstract

For an integral lattice of signature (3,1) and a positive definite integral lattice L of rank 3, a criterion is given for L to be a primitive timelike section by a primitive vector of norm -n. The criterion runs on three data -- signature, bilinear discriminant form and parity (type I/II) -- and states that such a section exists if and only if there is an anti-isometry of glue subgroups whose graph satisfies an isometry of discriminant forms and whose glued overlattice has the same parity as the ambient. Both requirements are shown to be load-bearing: the order-only version of the first fails at the first non-cyclic discriminant, and without the second the statement is false, with an explicit counterexample on diag(1,1,2,-2). The reverse implication rests on two checkable conditions, (T0) that the named data determine the genus of the ambient and (T0c) that this genus contains one class; for rank 4, signature (3,1) and |det| <= 4 both are proved -- (T0) by a complete enumeration of genera (exactly seven, with the triple of data separating them pairwise), (T0c) by Eichler's theorem with a margin of 5^6. Substituting a trivial discriminant returns the unimodular condition <1/n> of the preceding paper, and a parity rider shows that boundary to be sharp. From the criterion the minimal ambient discriminant -- the cost of a lattice -- is shown to depend only on the bilinear discriminant form, hence to be a genus invariant, and a closed expression for it is given whose range is finite by structure rather than by a search bound. Evaluated on fourteen representatives the expression gives a table of costs indexed by the discriminant form, not by Bravais type: cost is neither a type invariant nor monotone in the order of the discriminant. The cubic centrings obtain exact addresses, FCC = 3 and BCC = 8, and the blocking of lower values for FCC splits into two distinct congruence mechanisms. No physical reading of any object is made anywhere in the work.

Zenodo (CERN European Organization for Nuclear Research)
Reduced inequalities
Advanced Combinatorial Mathematics
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Section Criteria for Integral Lorentzian Lattices and the Cost of Realization (Geometry of the vacuum, floor 0) — Vladimir Sobol · Zenodo (CERN European Organization for Nuclear Research) (2026) | TGRS Research Map | TGRS