Witt vector affine Springer fibers | Synapse