Fat Gauss Fibres and Tjurina–Milnor Defects Forced by Osculating Absorption
Let X be a smooth non-linear complex hypersurface and let Gamma_eta be the scheme-theoretic fibre of its Gauss normalization over a tangent hyperplane. The completed local fibre algebra is the Tjurina algebra of the tangent-section germ, while the classical dual multiplicity is the sum of its Milnor numbers; hence their difference is the total Tjurina–Milnor defect. Under point-span order-s osculating absorption in the complete O_X(m) embedding, the fibre contains the order-s fat point at every reduced support and has length at least binom(d+s-1,d) binom(d+m,d). When d(s-1)>s+1, prescribed jets realize every integral defect from 0 through the extremal support size while keeping all Milnor numbers fixed. The degree threshold is sufficient, not minimal; no 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. Separate read-only Codex referee tasks 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.