Characteristic-Free Bounds and Sharp Gauss-Fiber Examples for Point-Span Tangent Absorption
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.
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.
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 human editorial or scientific review is claimed.