The Tamagawa Number Conjecture of Bloch and Kato (and various refinements thereof).
Iwasawa Theory.
Euler, Kolyvagin and Stark systems (of arbitrary rank).
Stark's Conjecture.
Epsilon constants and de Rham structure
invariants associated to arithmetic schemes with a finite group action.
Algebraic K-theory and homological algebra.