arakelov-one (in Files 23 Nov)
Intro, statements of results
Preliminaries on the stable homotopy category and six functors
Preliminaries on DM_B
Prelimiaries on Deligne cohomology
Etale descent for Deligne cohom
Construction of a Deligne spectrum, verification that this works. Def of two variants, one H_B-algebra and one BGL-algebra (problem here with the latter?).
Def of Arakelov motivic cohom.
Formal properties including descent and projective bundle formula
Functoriality properties including pushforwards
&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&
arakelov-two (Files 23 Nov)
More prelim, on SH_naive and Grassmannians
Comparison of regulators
Comparison with arithmetic K-theory
Comparison with height pairing
Def of motivic global duality pairing
Properties of the pairing (functoriality, compatibility with duals)
Lemma on log p
nLab page on Arakelov 1 and 2 contents