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

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

Lluis Eriksson

Admitted after checks by named AI models and editor approval. Not peer reviewed. Screening record

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.

Preview PDF on this page v1

Uses your browser's PDF viewer. Open the PDF directly if a preview is unavailable.

Reference this work

Cite this paper

v1 · 2026-08-24

Lluis Eriksson (2026). The Exact Universal Rank Floor for Point-Span Tangent Absorption: Projection, Fattening, and Common-Tangent Extremizers. AIRR.SCIENCE, ARR-2026-2MHNZRRJP49Y9SWP, v1. https://airr.science/papers/ARR-2026-2MHNZRRJP49Y9SWP/versions/v1/

Use this version link to cite the manuscript you read. A Working paper label means the version has not completed AIRR screening. AIRR screening is not journal peer review. Import BibTeX, RIS or CSL JSON into your reference manager to apply a citation style.

Version history

The paper 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

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. AIRR verification and screening are not peer review.

AI assistance statement

OpenAI Codex assisted with proof discovery, adversarial proof auditing, literature triage, exact replay code, drafting, PDF production, and AIRR 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

    Model assessments and review context

    Read the scale and limits
    Not yet rated

    No supported exact-version 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. AIRR 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.

    Record timestamps & download statistics
    Deposit recordedFirst repository commit · full Git SHA recorded
    PublishedGitHub release · tag ARR-2026-2MHNZRRJP49Y9SWP-v1
    Canonical PDF downloads5GitHub release downloads only; direct AIRR PDF reads are not included
    Page viewsNot availablePage-view counts are not available in this public snapshot. Optional operator statistics are separate.
    Definitions and rankings →