Exact Multiplicity Floors for Dual Singularities from Absorbing Gauss Fibres
Let X be a smooth complex hypersurface and let Z be the complete reduced fibre of its Gauss map over a tangent hyperplane W. In the complete O_X(m) embedding, assume that the point span of Z contains the order-s osculating space at every support, with 1 <= s <= m. We prove the sharp floor mult_W(X^vee) >= s^d |Z| >= s^d binom(d+m,d). Absorption forces order-(s+1) contact; the classical multiplicity-Milnor formula and a local Milnor lower bound give the dual multiplicity estimate, while exact tangent absorption gives the branch floor. For every d,m,s we construct equality examples with proper point span, exact reduced Gauss fibre, ordinary section singularities, and the stated weighted tangent-cone cycle. The construction gives a sufficient nonminimal hypersurface degree. No equality classification, positive-characteristic extension, exhaustive priority claim, human peer review, or formal verification is claimed.
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 proof development, adversarial repair, primary-literature and public-corpus triage, exact replay code, drafting, LaTeX production, packaging, and deposit preparation. A separate read-only Codex referee audited exact source hashes. 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.
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. Deposit preserves a citable, reproducible research object but does not constitute independent editorial acceptance or scientific certification.