The Exact Universal Rank Floor for Point-Span Tangent Absorption: Projection, Fattening, and Common-Tangent Extremizers
Let X be a smooth projective integral complex d-fold, L very ample, m at least one, and Z a nonempty finite reduced set whose point span in the complete L^m-embedding contains every tangent space at its supports. We prove the exact codimension-free floor h_Z(m), |Z| >= binom(d+m,d). An adapted finite projection to P^d transfers absorption to equality between the degree-m pieces of the radical ideal of the projected points and its symbolic square; the characteristic-zero fattening gap forces that piece to vanish. Simplex-lattice interpolation and Bertini yield proper-span equality examples in every dimension and degree. We also prove downward propagation and secondary rank-sensitive Gauss-fibre refinements. No positive-characteristic, singular, nonreduced, or equality-classification result is claimed.
Verification record
- Frontier-model screening
- Not assessed
- Source integrity
- Pass
- Bibliographic integrity
- Not assessed
- Reproducibility
- Partial
- Lean 4
- Not applicable
Recorded under ARR-VERIFY-1.0. ARR verification and screening are not peer review.
Version history
The ARR identifier remains stable. Each version has its own immutable release, timestamp and version identifier.
AI assistance statement
OpenAI Codex assisted with proof discovery, adversarial proof auditing, literature triage, exact replay code, drafting, PDF production, and ARR packaging. The author remains responsible for the mathematical claims. A separate read-only Codex audit found no fatal error and recommended publication after minor revision, but this is not human peer review or priority certification.
Frontier-model screening
Status: not_assessed. Any listed reports correspond to this exact version under ARR-SCREEN-1.0; no absent assessment is represented as a pass.
Independent model assessments
No eligible independent ARR-ASSESS-1.0 report is published for this exact version. Missing evidence is not scored as zero.
No model reports are published for this version.
A model assessment is not peer review or a correctness certificate. ARR preserves disagreement, exact-version provenance and later reassessments.
Editorial disclosure
Founder-owned pilot record: the author and editorial signer are the same person; no independent editorial review is claimed.