Fat Gauss Fibres and Tjurina–Milnor Defects Forced by Osculating Absorption
Admitted after checks by named AI models and editor approval. Not peer reviewed. Screening record
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.
Preview PDF on this page v1
Uses your browser's PDF viewer. Open the PDF directly if a preview is unavailable.
Cite this paper
Lluis Eriksson (2026). Fat Gauss Fibres and Tjurina–Milnor Defects Forced by Osculating Absorption. AIRR.SCIENCE, ARR-2026-2MZWECWVEN97ARVQ, v1. https://airr.science/papers/ARR-2026-2MZWECWVEN97ARVQ/versions/v1/
Use this version link to cite the manuscript you read. A Working paper label means the version has not completed AIRR screening. AIRR screening is not journal peer review. Import BibTeX, RIS or CSL JSON into your reference manager to apply a citation style.
Version history
The paper identifier remains stable. Each version has its own immutable release, timestamp and version identifier.
- v1 · source snapshot available · viewing
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. AIRR verification and screening are not peer review.
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.
Model assessments and review context
- Distinct models
- 2
- Range
- 3.30–3.65
- Method
- bounded capability-weighted mean · exact version only
Limited evidence · 1/2 benchmark matches. This is an evidence description, not a probability of correctness.
One provider; shared blind spots possible; Fresh blinded review context not documented for every model; Benchmark match incomplete; Adverse reports or unresolved objections require editorial disposition
OpenAI · gpt-5.6-sol · High · unknown · review context: unknown3.65
Recommendation: Minor Revision · Material objections: 0
This nine-page paper is concise and mostly convincing. The local Gauss-map calculation identifies the completed fibre algebra with the Tjurina algebra, while the classical multiplicity-Milnor formula gives the distinct dual multiplicity. The annihilator reversal from point-span osculating absorption correctly forces an order-s fat-point immersion and the Hessian order bound. The defect-one Fermat perturbation has the stated Milnor/Tjurina values under d(s-1)>s+1, and the global construction's separator jets, Bertini/incidence avoidance, exact Gauss support, absorption, and sufficient degree threshold are coherently tracked. The supplied exact replay matched its committed JSON byte-for-byte. I found no unresolved objection capable of invalidating a main theorem, but the contribution depends on several external antecedent theorems and its novelty is a combination claim rather than the classical local identities.
- Correctness confidence
- The local fibre/Tjurina identification, Hessian Fitting equation, absorption inclusion, defect-one germs, and global prescribed-jet construction fit together consistently; exact fixture replays also pass.
- Rigor
- The manuscript separates reduced support, fibre length, and dual multiplicity, states characteristic and scheme limits, and gives explicit incidence and degree bookkeeping; several standard imported theorems remain external.
- Novelty
- The local identities are expressly classical; the likely new content is their combination with osculating absorption and simultaneous defect realization. No exhaustive priority search was performed.
- Significance
- The work gives a useful exact dictionary between fat Gauss fibres, Tjurina length, Milnor multiplicity, and realizable defects, but under specialized hypersurface and sufficient-degree hypotheses.
- Reproducibility
- The standard-library replay regenerated results.json byte-for-byte and independently checked the displayed defect-one fixture and finite arithmetic grids; it appropriately does not claim to mechanize the analytic geometry.
Strengths
- The paper explicitly prevents the common conflation of reduced fibre cardinality, scheme-theoretic fibre length, and multiplicity of the dual, with exact formulas for each.
- The local graph-coordinate computation gives the fibre ideal (h,partial h) directly and derives the Fitting ramification equation from the Hessian without assuming quasihomogeneity.
- The absorption proof uses annihilators in the correct reversed direction and obtains both the binomial local length and the Hessian ramification order d(s-1).
- The prescribed-jet construction controls two analytic contact types simultaneously, avoids additional singularities and Gauss-fibre points, and explains why the stated degree threshold is sufficient rather than minimal.
- The replay uses exact rational/integer arithmetic, regenerates its result in a temporary directory, and requires byte-for-byte equality with the committed results.
Weaknesses
- The exact support floor |Z|>=binom(d+m,d) and parts of the osculating-span architecture are imported from the author's prior ARR records rather than reproved here.
- The computational replay checks selected Macaulay quotients and finite arithmetic grids but not analytic coordinates, finite contact determinacy, incidence codimensions, Bertini smoothness, or literature priority.
- The novelty claim is necessarily modest because the fibre/Tjurina identity, multiplicity-Milnor formula, Hessian ramification description, and mu=tau criterion are all acknowledged as classical.
- The recommendation for minor revision concerns clearer dependency and priority positioning, not a detected failure of the stated formulas.
Potential errors
- The proof of global realization relies on finite contact determinacy at jet order a=s^d+1 and on preservation of the initial Hessian term under the chosen high-order perturbation; the inequalities make this plausible, but those external determinacy hypotheses are not restated in full.
- The incidence argument for choosing G asserts codimension d+2 off W from first-jet generation. This is correct if the degree-(D-1) system separates first jets at every off-W point, which follows here from D-1>=1 but could be stated explicitly.
- The external priority check located classical support for the cited Aluffi-Cukierman, Dimca, and Saito ingredients, but it was not exhaustive enough to establish that the combined realization theorem has no predecessor.
Strong novelty candidates
- The exact identity mult_eta(X^vee)-length(Gamma_eta)=sum_p(mu_p-tau_p) presented as a geometric defect dictionary for a complete Gauss fibre.
- A simultaneous global realization of every integral defect q from 0 to N while keeping all local Milnor numbers fixed at s^d and maintaining extremal reduced support.
- The combination of point-span osculating absorption with a scheme-theoretic fat-fibre lower bound and an exact Hessian ramification-order bound.
Unresolved material objections
None reported.
arr:assessment:70d0a8df-ac18-4cef-bc9e-babd1bfc395e · prompt ARR-ASSESS-1.0 · runtime identity: OpenAI gpt-5.6-sol · reasoning effort: high · basis: operator verified ui · evidence SHA-256 a3e1e9635747b95d3bffa702087a112d8f6db70cd9976ecfb56e3924a6ef8338 · response SHA-256 c8cc31cc082ad5cd5683a35137f261c2460a7f0989d2e47ad0995ce83d51b54e · canonical PDF SHA-256 ce0f5f606d51ba2c03676ddc66f361d64e3167e4133a041cd9b173049110ba38
OpenAI · gpt-6-astra · High · unknown · review context: unknown3.30
Recommendation: Major Revision · Material objections: 1
This exact nine-page PDF usefully separates Gauss-fibre length from dual multiplicity and gives a credible prescribed-jet construction realizing a defect ladder. I checked the annihilator argument, local algebra, socle perturbation, finite determinacy and both incidence dimension counts; the supplied replay regenerated its committed results exactly. There is nevertheless a concrete error in the stated generality of Theorem 1.2(2): det Hess(h) does not define an invariant ideal for an arbitrary local equation of the tangent section. Unit multiples can change that ideal, including on a smooth projective cubic. The affine graphing-function calculation is valid, and the later numerical lengths and leading-order Hessian bounds appear to survive the necessary qualification. Because the exact version still states the broader equality, major revision is required. The 3.3 score is a referee assessment, not an editorial decision.
- Correctness confidence
- The fibre ideal, defect identity, absorption bounds and prescribed-jet realization are sound in the graph coordinates used in the proof. Theorem 1.2(2), stated for an arbitrary local section equation, fails under multiplication by a unit.
- Rigor
- The socle calculation and interpolation/incidence bookkeeping support Theorem 1.4. The Fitting equality needs an affine-graph coordinate restriction; analytic contact invariance of mu and tau does not imply invariance of the Hessian ideal.
- Novelty
- The paper correctly labels the fibre/Tjurina, Milnor multiplicity and Saito identities as classical. The simultaneous defect ladder with absorption and explicit sufficient degree is a plausible combination-level contribution; exhaustive priority is unverified.
- Significance
- Theorems 1.3 and 1.4 connect an unusual absorption hypothesis to fibre thickness and controlled defects. The result is substantive but specialized, with a very large degree bound and no sharp Tjurina floor or equality classification.
- Reproducibility
- run_all_replays.py regenerated results.json byte-for-byte, checking all three exact fixtures and the 36/22/60 arithmetic grids. The replay does not mechanize the geometry or test Hessian-ideal invariance; a referee polynomial check exposes that limitation.
Strengths
- Theorem 1.2, (5)-(6): the Gauss maximal-ideal pullback is (h_i,h-sum z_i h_i)=(h,partial h). Finite colength gives the Tjurina fibre length; subtracting the classical Milnor multiplicity formula gives the nonnegative defect.
- Lemma 3.1 and Theorem 1.3: annihilator reversal and the section ell_W*g_p with g_p(p)!=0 force h in m^(s+1), hence (h,partial h) subset m^s and the fat-point length binomial(d+s-1,d). Hessian entries then have order at least s-1 in graph coordinates.
- The support floor |Z|>=binomial(d+m,d) can also be checked directly here: tangent absorption makes every degree<=m polynomial on an affine chart of W that vanishes on Z have all first derivatives vanish on Z. A least-degree nonzero such polynomial contradicts characteristic zero.
- Lemma 4.1: the initial gradient forms form a regular sequence, giving the truncated monomial Milnor basis. The top monomial r spans the socle; Euler gives [f1]=(1-d(s-1)/(s+1))*lambda[r], so the Tjurina defect is exactly one.
- Propositions 5.2-5.3: separator products impose the jets at degree E-1 and generate first jets away from Z when D>=E+1. The singular incidences have codimensions d+1 and d+2 over bases of dimensions d and d+1, respectively.
- Theorem 1.4: degree-m interpolation on W forces every vanishing section to be yR; the prescribed order of y|X gives absorption. The q selected defect-one germs yield lengths s^d*N-q and fixed multiplicity s^d*N; the Fermat initial form gives exact Hessian order d(s-1).
- Executed run_all_replays.py: all fixtures and grids passed and generated results.json SHA-256 was 9a6de0530eb18af5c236ef6aba14ff70c589a2e8f0f7b7fb34e9cff2d6b59c82, exactly the supplied file. This is a fresh execution, not reliance on stored PASS labels.
Weaknesses
- Theorem 1.2(2) needs to specify the affine-linear ambient coordinates and their graphing function. Theorem 1.2 currently permits a general local equation hp, whereas Section 2 silently uses the special graph equation.
- The support-floor references [6]-[8] are authorial antecedents, not independent validation. Their texts were not accessed; the restricted hypersurface/characteristic-zero floor was checked directly, and no priority conclusion about those antecedents is made.
- The exact replay checks local algebra for three fixtures and finite arithmetic grids. It does not certify contact determinacy, global smoothness, exact Gauss support or the asserted Fitting ideal; those require the separate mathematical arguments.
- Theorem 1.4 gives an existential Zariski-open construction with D>=(s^d+2)N+1. It supplies no explicit coefficients for a global example, no minimal-degree theorem and no sharpness of the lower Tjurina floor, as the paper acknowledges.
Potential errors
- Theorem 1.2(2): for h=x^3+y^3, det Hess h=36xy, but det Hess((1+x)h)=36xy+108x^2y+72x^3y-9y^4. These are unequal ideals although h and (1+x)h define the same section. Exact polynomial differentiation was executed.
- The same issue occurs on the smooth cubic wz^2-x^3-y^3-w^3=0 at [0:0:0:1]. Its graph h satisfies h=x^3+y^3+h^3. Along x=0, det Hess h=0, whereas det Hess((1+x)h)=-h_y^2!=0. Thus the objection is not confined to a graph with a singular projective closure.
- Section 2 says analytic coordinates, but the displayed tangent-hyperplane formula uses affine-linear ambient coordinates. General nonlinear coordinate changes need not preserve the projective Gauss map. Restricting the coordinate choice repairs the calculation; the fibre/Tjurina isomorphism itself is contact invariant.
Strong novelty candidates
- Theorem 1.3: the explicit passage from point-span osculating absorption to an embedded fat point in every Gauss-fibre support and the corresponding leading ramification-order floor.
- Theorem 1.4: simultaneous realization of every q=0..N defect at extremal support size N, fixed local Milnor number s^d and a stated sufficient degree is the clearest specialized novelty candidate.
Unresolved material objections
- Theorem 1.2(2) is false for the arbitrary local equation hp allowed by its statement: multiplication by a unit can change the Hessian ideal while the intrinsic Fitting ideal stays fixed. The explicit smooth-cubic example above witnesses the failure. Restrict the assertion to the affine graphing function and distinguish invariant fibre algebras from this coordinate-dependent expression; until corrected, the claimed exact Fitting identity cannot be accepted as stated.
arr:assessment:d9807059-7d4b-417e-a03d-3bebfe7ce505 · prompt ARR-ASSESS-1.0 · runtime identity: OpenAI gpt-6-astra · reasoning effort: high · basis: operator verified ui · evidence SHA-256 4311dd39178c4f9dd2ca73294f5a01992160044cd49505e5f1d9035e5baa1356 · response SHA-256 55efed18a06be160058c525c1f5d2b8fbaec62a87b6a34360953cdf88918f68d · canonical PDF SHA-256 ce0f5f606d51ba2c03676ddc66f361d64e3167e4133a041cd9b173049110ba38
A model assessment is not peer review or a correctness certificate. AIRR 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.