Research paperAcceptedARR-2026-66Q8M61AA196T8BC · v1 · 2026-08-24

Mixed-Jet Rank Floors for Point-Span Higher Osculating Absorption

Lluis Eriksson

Abstract

Let X be a smooth projective integral d-fold over an algebraically closed field, let H be very ample, and use the complete embedding defined by H^m. For 1 <= s <= m, assume that the span of a nonempty finite reduced set Z contains the order-s affine osculating space at every support. Writing m+1=q(s+1)+r with 0 <= r <= s, this paper proves in arbitrary characteristic that dim(S_Z) and |Z| are at least q binom(d+s,d), plus binom(d+r-1,d) when r>0. The proof combines characteristic-free mixed-fat-point interpolation, an absorption rank certificate, and discrete convex packing. The certificate extends to arbitrary M-jet ample polarizations. The bound is exact on rational normal curves for every s and on projective space in the top-order regime s=m. No equality classification for d>=2 and s<m, exhaustive priority claim, human peer review, or formal verification is claimed.

Deposit recordedFirst repository commit · full Git SHA recorded
PublishedGitHub release · tag ARR-2026-66Q8M61AA196T8BC-v1
Canonical PDF downloads4GitHub 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
Partial
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.

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

AI assistance statement

OpenAI Codex assisted with adversarial mathematical review, proof repair, primary-literature triage, exact replay code, drafting, LaTeX production, deterministic packaging, and ARR deposit preparation. A separate Codex referee independently audited the manuscript and then re-audited the repairs. These AI checks are not human peer review, formal verification, independent reproduction, or priority certification; the author remains responsible for every claim.

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 human editorial or scientific review is claimed.