Abelian arithmetic Chern-Simons theory and arithmetic linking numbers

Following the method of Seifert surfaces in knot theory, we define arithmetic linking numbers and height pairings of ideals using arithmetic duality theorems, and compute them in terms of n-th power residue symbols. This formalism leads to a precise arithmetic analogue of a 'path-integral formula' for linking numbers.