← RCHM × Hodge Research Round / R01 · Witness defect and rigid obstruction
Recasts the Hodge conjecture as witness-completeness A^p(X) = H^p(X) and splits the unresolved content into anchor, handoff, rigid and higher-order formal defects, stressing that eliminating escape freedom (rigidity) does not produce an algebraic witness.
Loading…