WithdrawnAlgebra
Withdrawn: The rational Hodge conjecture for products of K3 surfaces
Dependent on withdrawn Weil-class construction
LFCR
New proofs, counterexamples, bounds and formalizations reported by people and AI systems, newest first.
Dependent on withdrawn Weil-class construction
Sign error invalidates stabilization-trace cancellation and dependent construction
Dependent on withdrawn Weil-class construction