1: \begin{abstract}

2: We construct a motivic Eilenberg-MacLane spectrum with a highly structured

3: multiplication over smooth schemes over Dedekind domains

4: which represents Le\-vine's motivic cohomology. The latter is defined via

5: Bloch's cycle complexes.

6: Our method is by gluing $p$-completed and rational parts along an

7: arithmetic square. Hereby the finite coefficient spectra are obtained

8: by truncated \'etale sheaves (relying on the now proven

9: Bloch-Kato conjecture)

10: and a variant of Geisser's version of syntomic cohomology, and the rational

11: spectra are

12: the ones which represent Beilinson motivic cohomology.

13: 

14: As an application the arithmetic motivic cohomology groups can be realized as

15: Ext-groups

16: in a triangulated category of Tate sheaves with integral coefficients.

17: These can be modelled as representations of derived fundamental groups.

18: 

19: Our spectrum is compatible with base change giving rise

20: to a formalism of six functors for triangulated categories of

21: motivic sheaves over general base schemes including the localization triangle.

22: 

23: Further applications include a generalization of the Hopkins-Morel isomorphism

24: and a structure result for the dual motivic Steenrod algebra in the case where

25: the coefficient characteristic is invertible on the base scheme.

26: \end{abstract}

27: