We develop a localized intersection theory for arithmetic schemes on the model of Fulton's intersection theory. We prove a Lefschetz fixed point formula for arithmetic surfaces, and give an application to a conjecture of Serre on the existence of Artin's representations for regular local rings of dimension 2 and unequal characteristic.