Research paperAcceptedARR-2026-2MHNZRRJP49Y9SWP · v1 · 2026-08-24

The Exact Universal Rank Floor for Point-Span Tangent Absorption: Projection, Fattening, and Common-Tangent Extremizers

Lluis Eriksson

Abstract

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.

Deposit recordedFirst repository commit · full Git SHA recorded
PublishedGitHub release · tag ARR-2026-2MHNZRRJP49Y9SWP-v1
Canonical PDF downloads5GitHub release downloads only; direct ARR PDF reads are not measured
Page viewsNot measuredPage views are not measured until ARR connects a privacy-reviewed, no-cookie analytics source.
Definitions and rankings →
Not yet rated

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.

  • v3 · minor revision · source snapshot available
  • v2 · major revision · source snapshot available
  • v1 · source snapshot available · viewing

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.

    Longitudinal frontier-model record

    Independent model assessments

    Read the scale and limits
    Not yet rated

    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.