Geometry
Read with:
Status: proved structural theorem plus finite proof-mining signal
Date: 2026-08-14
Project: Free Computation Foundation / CENTL
Claim boundary: this note does not prove QDSC, universal Direct-Shadow Completeness, universal López Type A/B coverage, or the Erdős-Straus conjecture. It isolates exactly where a square lift can create new local quadratic-signature information beyond its ancestor.
Read with:
- SQUARE-LIFT-SIGNATURE.md
- QUADRATIC-SIGNATURE-QUOTIENT.md
- SQUARE-LIFT-RECIPROCITY.md
- QUADRATIC-SIGNATURE-SHIELD-K1200.md
1. Ancestor signature spaces
Let
be squarefree. Let
be the local Legendre-sign space at the distinct primes dividing d.
Let
be the ancestor divisor-signature space.
Let
be the Jacobi functional, obtained by summing the local sign bits with the odd-exponent weights of d. Since d is squarefree, this is simply the parity of the local negative signs.
The Type A/B divisor-Jacobi theorem gives
Define the quadratic quotient dimension
Because J_d is nonzero and annihilates V_a, kappa(a)>=1.
2. The defect quotient
Define the reciprocity defect quotient of the ancestor by
Its dimension is
Thus R_a measures exactly the local quadratic information that remains after removing:
- the ordinary Jacobi bit;
- the signatures already generated by divisors of the ancestor depth
a.
When kappa(a)=1, this quotient is zero and SQUARE-LIFT-SIGNATURE.md gives automatic signature shadowing for every square lift.
3. Prime defect classes
For any integer q coprime to d with
define its defect class
The class is zero exactly when
Now let
be a square lift of the ancestor.
Square-lift reciprocity proves
for every prime ell|j, so every prime divisor of j has a well-defined defect class
4. Signature defect of the lift
Let
be the projected divisor-signature space of the lift.
Its image in the defect quotient is
Equivalently,
Theorem
The square lift is completely shadowed by its ancestor at local quadratic-signature resolution if and only if
This is the quotient form of the criterion W_{j->a} subset V_a.
Thus every square-lift signature exception is precisely a nonzero subspace of the ancestor's reciprocity defect quotient.
5. Conservation law for square-lift defects
Factor
Because
we have
But 4 is a square modulo every prime divisor of d. Therefore
By multiplicativity of the signature map,
Passing to the defect quotient gives the exact conservation law
Consequence
New square-lift signature information cannot appear as an unbalanced single defect.
It must occur in a parity-cancelling configuration of prime-factor defect classes.
This is a structural restriction on every possible square-lift signature exception.
6. One-dimensional defect quotient
Suppose
Then
There is only one nonzero defect class.
Therefore a square lift has nonzero signature defect exactly when at least one prime divisor has the nonzero defect class, while the conservation law forces the total parity of nonzero-defect prime exponents to be even.
So every exception in this case is built from one of two patterns:
- at least two odd-exponent prime factors carrying the same nonzero defect;
- a prime carrying nonzero defect to an even positive exponent.
The full lift may contain additional zero-defect prime factors.
This converts a higher-dimensional signature phenomenon into a parity law.
7. Finite k <= 1200 exception structure
Among the 224 non-squarefree layers through j<=1200, only 17 escape their squarefree ancestor at full quadratic-signature resolution.
Of those:
16 have kappa(a)=2, so dim R_a=1
1 has kappa(a)=3, so dim R_a=2
The one-dimensional cases exhibit the conservation law transparently. Examples include:
j=115 over a=13: prime factors 5 and 23 carry the same nonzero defect
j=205 over a=23: prime factors 5 and 41 carry the same nonzero defect
j=259 over a=29: prime factors 7 and 37 carry the same nonzero defect
j=319 over a=13: prime factors 11 and 29 carry the same nonzero defect
j=529 over a=59: the nonzero-defect prime 23 occurs with exponent 2
j=625 over a=13: the nonzero-defect prime 5 occurs with exponent 4
j=961 over a=107: the nonzero-defect prime 31 occurs with exponent 2
The unique k<=1200 exception with a two-dimensional defect quotient is
j=979
m_j=3915
ancestor a=109
ancestor modulus d=435
kappa(a)=3
j=11*89
and the two odd prime factors again carry equal defect classes, so their sum vanishes as required.
These are finite proof-mining observations. The defect quotient and conservation law are universal theorems.
8. Reciprocity-matrix interpretation
Let the rows be the primes dividing d and the columns the primes dividing the relevant depth. Put
where the entry is the local Legendre-sign bit.
Then:
- the ancestor space
V_ais the column space of the ancestor matrix; - the Jacobi functional is a canonical nonzero left-kernel vector;
R_ais the remaining left-quotient after removing that Jacobi direction;- square-lift prime factors contribute columns whose classes live in
R_a; - the exponent-parity vector of
jgives a right-kernel relation becauselambda_d(j)=0.
So the signature exception problem is a finite binary reciprocity-matrix problem with both a canonical left constraint and a canonical right dependency.
9. Why this matters for QDSC
The full quadratic-signature shield showed no collective obstruction without a direct signature residual through k<=1200.
The square-lift part of that phenomenon now has a sharper architecture:
while for kappa(a)>1, all genuinely new lift information is confined to
and must satisfy the defect conservation law.
Thus a potentially large local-signature system reduces to a small quotient with a built-in parity dependency.
The next target is to classify which defect configurations can actually occur from the norm-form depths
and prove that their induced signature constraints are already shadowed by lower-codimension layers.
10. Novelty boundary
Quadratic reciprocity, Legendre symbols, quotient vector spaces, and parity relations are classical. The candidate contribution is the reciprocity defect quotient and conservation law specialized to square-lift López Type A/B shadowing inside the minimal-depth framework.
Publication priority remains subject to broader literature review and external mathematical review.