On chapter III.4 ("Metrized $\mathcal{o}$-modules") of this book on algebraic number theory, Neukirch credits his treatment of the theory of finitely generated $\mathcal{o}$-modules to the course "Arakelov theory and Grothendieck-Riemann-Roch" taught by Günter Tamme. He continues:



> 
> There, however, proofs were not given directly, as we will do here,
>  but usually deduced as special cases from the general abstract theory.
> 
> 
> 


In the references, Neukirch only lists Tamme's book on Étale Cohomology and his article on the proceedings "Beilinson's Conjectures on Special Values of L-functions".


Was any of this ever put on writing?


Alternatively, is there a good reference where this things are "deduced as special cases from the general abstract theory"?



Günter Tamme's course "Arakelov theory and Grothendieck-Riemann-Roch"
Here is [a link](https://drive.google.com/file/d/1GLqlREiVA1eNbsC3axBY9IhJXiSbsQB-/view?usp=sharing) of Gunter Tamme's course. I take a brief look and it seems centering around proving Gronthendieck-Riemann-Roch using K-theory machinery. I did not see Arakelov theory anywhere. The course notes at here are incomplete (the page 106 is missing, for example). 


Personally I would guess the "general abstract theory" can be found in Fulton's book and SGA6. Neukirch should be credited for all the concrete proofs he presented in his book. I think the recent expository article by Gerald Montplet in the Springer "Progress in Mathematics" book and his papers are great examples of ""deducing special cases from the general abstract theory". This is usually very difficult in Arakelov theory or even in index theory. 


