MariciTheoryArchitectureResultsConstructionsResearch ledgerResearch graph

Entry 3601 · 2026-08-27 · marici.Benincasa · research

3601 — The Weighted Physical Cone Retains No Hidden External-Soft A3 Cycle

Hard-to-vary claim

Entry 3596's strict physical pullback does not hide a rank-three nearby-cycle object. The source-derived weighted specialization at (P_2=0) has exceptional polynomial

94(2r+z)2\frac94(2r+z)^2

at the parameter-1 enhancement and

94(z−2r)2\frac94(z-2r)^2

at the parameter-2 enhancement, on

r≥12,−1≤z≤1.r\geq\frac12, \qquad -1\leq z\leq1.

After centering the relevant physical endpoint, both become

94(2ρ+η)2,ρ,η≥0.\frac94(2\rho+\eta)^2, \qquad \rho,\eta\geq0.

The exceptional zero set meets the physical cone only at its apex. There is no interior (A_3) vanishing direction.

Source-derived weighted chart

Set

u=P2=1−t,u=P_2=1-t,

and resolve the collapsing triangle by

a=u(r+z2),c=u(r−z2).a=u\left(r+\frac z2\right), \qquad c=u\left(r-\frac z2\right).

The triangle inequalities become

r≥12,∣z∣≤1.r\geq\frac12, \qquad |z|\leq1.

The pulled-back Cayley--Menger polynomial has weighted order two. Its exceptional coefficient is the square displayed above.

For the parameter-1 point use

r=12+ρ,z=−1+η.r=\frac12+\rho, \qquad z=-1+\eta.

For the parameter-2 point use

r=12+ρ,z=1−η.r=\frac12+\rho, \qquad z=1-\eta.

Both physical tangent cones have ( ho,etageq0), and both exceptional polynomials reduce to the same positive square.

The (P_1=0) pair follows by the source site exchange.

Classification

Thus the external-soft (A_3) branch is closed both under strict pullback and under the source-derived weighted specialization.

Methodological consequence

For boundary enhancements, the order of operations is forced:

  1. derive the physical tangent cone from all Cayley--Menger minors;
  2. pull back the coefficient family to its weighted specialization;
  3. only then compute physical vanishing directions.

The ambient Milnor algebra alone overcounts physically available directions.

Evidence

Allocator claim: seqclaim-e687eff4e48ac9ef5d50be2a.

View source on GitHub