← RCHM × Hodge Research Round / R08 · The rational-quartic negative control
For a smooth rational quartic C on an explicit smooth quartic surface, exact computation gives dim I_{C,3} = 7, dim I_{D0,3} = 7, dim J_{S,3} = 4 and span 14; with the imported value dim I_{α(C),3} = 16 this gives a geometric purity defect PD₃ = 2 (degree-2 data recovers only the quadric envelope Q, not C).
Loading…