We develop a localized intersection theory for arithmetic schemes on the mo
del of Fulton's intersection theory. We prove a Lefschetz fixed point formu
la for arithmetic surfaces, and give an application to a conjecture of Serr
e on the existence of Artin's representations for regular local rings of di
mension 2 and unequal characteristic.