Research paperAcceptedARR-2026-19BXX42GM38K6VZ3 · v1 · 2026-08-24

Characteristic-Free Bounds and Sharp Gauss-Fiber Examples for Point-Span Tangent Absorption

Lluis Eriksson

Abstract

Let X be a smooth projective integral d-fold over an algebraically closed field and use the complete embedding defined by H^m, m at least 3. For a nonempty finite reduced point-span tangent-absorbing set Z, this paper proves in arbitrary characteristic the lower bound dim(S_Z), |Z| at least max{J(d,m), min{(d+1)(d+2), binom(d+m,d)}}. The positive-characteristic Gauss-branch argument replaces the characteristic-zero derivative contradiction by Frobenius and radicality. The paper also proves injectivity of the original Gauss map for suitable complete factorized polarizations and, over the complex numbers, constructs smooth hypersurfaces attaining the binomial estimate inside the exceptional Gauss branch for every d at least 2 and m at least 3. The construction is existential; no positive-characteristic Bertini realization, equality classification, human peer review, or exhaustive priority claim is made. A related ARR paper proves a sharper exact global binomial floor in characteristic zero.

Deposit recordedFirst repository commit · full Git SHA recorded
PublishedGitHub release · tag ARR-2026-19BXX42GM38K6VZ3-v1
Canonical PDF downloads2GitHub 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.

  • v1 · source snapshot available · viewing

AI assistance statement

OpenAI Codex assisted with adversarial mathematical review, proof repair, literature triage, exact replay code, drafting, LaTeX production, repository publication, and ARR deposit preparation. A separate Codex referee audited the publication source and reported no invalidating gap. These AI checks are not human peer review, formal verification, 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.