Given d >= 1, 1 <= s <= m, N = binom(d+m,d), and any N isolated complex hypersurface germs g_i of order at least s+1, we construct, for every D >= 1 + sum_i(tau(g_i)+2), a smooth integral degree-D hypersurface with a tangent hyperplane whose reduced Gauss fibre has exactly N points, is point-span order-s osculating-absorbing, and has the prescribed completed Tjurina algebras. The fibre length is sum_i tau(g_i), and the dual multiplicity is sum_i mu(g_i). For surfaces, the classical complete Tjurina spectrum of ordinary plane multiple points yields every integer fibre length between binom(m+2,2) floor((3s^2+4s-3)/4) and binom(m+2,2)s^2 at fixed dual multiplicity. We also give a direct strong-Lefschetz proof that x^(s+1)+y^(s+1)+z^(s+1)+(x+y+z)^(s+2) attains Wahl's classical three-variable value s(s+2)(2s-1)/3, producing sharp absorbed threefold fibres. All claims are over C; degree bounds are sufficient, not asserted minimal, and no exhaustive priority or human peer-review claim is made.
Let h in C[[x_1,...,x_d]] have order at least s+1 and finite Tjurina algebra. Euler cancellation replaces h, without changing its Tjurina ideal, by a generator of order at least s+2. A finite-jet generator count then gives tau(h) at least E_{d,s}, the maximum over K of binom(d+K,d)-d binom(d+K-s,d)-binom(d+K-s-2,d). For plane germs this is the exact universal floor floor((3s^2+4s-3)/4), attained by classical ordinary multiple-point families. Applied to a point-span s-osculating-absorbing reduced fibre of the Gauss map in the complete O_X(m) embedding, the result gives length(Gamma_eta) at least E_{d,s} binom(d+m,d). For surfaces, a prescribed-jet construction realizes equality at an explicit sufficient degree. The work is over C; the higher-dimensional floor need not be sharp, the degree threshold is not claimed minimal, and no exhaustive priority, human peer-review, or formal-verification claim is made.
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.
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.
Let X be a smooth projective integral d-fold over an algebraically closed field, let H be very ample, and use the complete embedding defined by H^m. Fix 1 <= s <= m and suppose that the span of a nonempty finite reduced set Z contains the order-s affine osculating space at every support. We prove the exact characteristic-free floor dim(S_Z), |Z| >= binom(d+m,d), by reduction to exact tangent absorption. For every d, m, s and every characteristic, we construct a smooth integral hypersurface with a proper-span equality set whose normal coordinate vanishes to order s+1 at every support. If r_1(Z) is the degree-one evaluation rank and m >= 2s+1, we also prove the rank-sensitive term binom(d+s,d) r_1(Z); rational normal curves show the threshold is necessary for that uniform formula. The earlier mixed-jet certificate is retained for jet-ample polarizations but identified as numerically subordinate for tensor powers. No equality classification, minimal hypersurface degree, exhaustive priority claim, human peer review, or formal verification is claimed.
Let X be a smooth projective integral d-fold over an algebraically closed field of arbitrary characteristic, let L be very ample, let m be at least one, and let Z be a nonempty finite reduced set whose point span in the complete L^m-embedding contains every tangent space at its supports. We prove the exact codimension-free floor h_Z(m), |Z| >= binom(d+m,d). An adapted finite projection to P^d transfers absorption to equality between the degree-m pieces of the radical ideal of the projected points and its symbolic square. The standard perfect-field derivative/p-th-root gap forces that piece to vanish. Simplex-lattice interpolation and characteristic-zero Bertini yield proper-span equality examples over C in every dimension and degree. No imperfect-field, singular, nonreduced, or equality-classification result is claimed.
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.
