What about spectral seq from Arakelov motivic cohom to arithmetic K-theory?
nLab page on Arakelov motivic spectral sequence