Algebraicity of Kuga-Satake Correspondences for K3 Surfaces

The proof relies on an adaptation of the flawed stabilization-trace construction in Algebraicity of Weil classes on split abelian eightfolds. The sign error in that construction prevents the required signed-double-point cancellation. The resulting gap leaves this paper’s claimed algebraicity theorem unproved.

This withdrawal concerns the proof; it does not assert that the mathematical statement is false.